caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] SCSS 2013 - Call for Participation
       [not found] <51B9772E.7050509@risc.jku.at>
@ 2013-06-13  7:49 ` Temur Kutsia
  0 siblings, 0 replies; only message in thread
From: Temur Kutsia @ 2013-06-13  7:49 UTC (permalink / raw)
  To: caml-list

[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




^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2013-06-13  7:49 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <51B9772E.7050509@risc.jku.at>
2013-06-13  7:49 ` [Caml-list] SCSS 2013 - Call for Participation Temur Kutsia

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).