[Caml-list] SCSS 2013 - Call for Participation

[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




--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs