SCSS 2013 - Call for Participation

Temur Kutsia <[email protected]> Thu, 13 Jun 2013 09:52:11 +0200

Newsgroups	gmane.comp.lang.lambda-prolog
Message-ID	<[email protected]>

[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