[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

http://www.risc.jku.at/conferences/scss2013/
=================================================

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
---------------
http://www.risc.jku.at/conferences/scss2013/accepted.html





More information about the Types-announce mailing list