[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
**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   DMANET@zpr.uni-koeln.de
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
 
 
 
 Posts
Posts
 
