[TYPES/announce] SCSS 2013 - Call for Participation

Temur Kutsia kutsia at risc.jku.at
Thu Jun 13 03:48:50 EDT 2013

[Please post - apologies for multiple copies.]

Call for Participation
SCSS 2013
Symbolic Computation in Software Science
5th International Symposium

Castle of Hagenberg, Austria, July 5-6, 2013
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz


Early registration deadline: June 28

Invited Speakers
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Wei Li (Beihang University, China)
Joel Ouaknine (Oxford University, UK)

Accepted Papers

More information about the Types-announce mailing list