RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

RISC Summer 2007

The RISC Summer 2007 is a sequence of international scienfic events that will be organized by the Research Institute for Symbolic Computation (RISC) in the summer of 2007.

Conference Registration and Room Reservation
Please check the home page of the various conferences for more information on the individual registration options.

Axiom Workshop 2007 (June 14-16, 2007, Hagenberg, Austria)
Axiom Workshop on "Symmetric Functions".
CoCoA School (June 18-22, 2007, Hagenberg, Austria)
International School on Computer Algebra.
SCIEnce Training Event (June 24-July 8, 2007, Hagenberg, Austria)
Symbolic Computation and Biology.
MEGA 2007 (June 24-30, 2007, Strobl, Austria)
9th International Conference on Effective Methods in Algebraic Geometry.
OpenMath/MathML/JEM 2007 (June 25-26, 2007, Hagenberg, Austria)
Workshop on OpenMath, MathML, and JEM.
WING 2007 (June 25-26, 2007, Hagenberg, Austria)
International Workshop on Invariant Generation.
MathUI 2007 (June 27, 2007, Hagenberg, Austria)
Workshop on Mathematical User Interfaces.
Calculemus 2007 (June 27-29, 2007, Hagenberg, Austria)
14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning.
MKM 2007 (June 28-30, 2007, Hagenberg, Austria)
The 6th International Conference on Mathematical Knowledge Management.
PLMMS 2007 (June 29-30, 2007, Hagenberg, Austria)
Workshop on Programming Languages for Mechanized Mathematics.
AB 2007 (July 2-4, 2007, Hagenberg, Austria)
Second International Conference on Algebraic Biology.
ISPDC 2007 (July 5-8, 2007, Hagenberg, Austria)
6th International Symposium on Parallel and Distributed Computing.
Castle Hagenberg


Wolfgang Schreiner
Last modified: Mon Apr 21 13:21:20 CEST 2008