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

RISC Summer 2010

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

SCIEnce Training Event (June 28-July 9, 2010, Hagenberg, Austria)
The Fifth RISC/ScIEnce Training School in Symbolic Computation.
Sage Days (July 17-July 22, 2010, Hagenberg, Austria)
Sage Days
LOPSTR 2010 (July 23-July 25, 2010, Hagenberg, Austria)
Logic-Based Program Synthesis and Transformation.
PPDP 2010 (July 26-July 28, 2010, Hagenberg, Austria)
Principles and Practice of Declarative Programming
SCSS 2010 (July 29-July 30, 2010, Hagenberg, Austria)
Symbolic Computation in Software Science
ANB 2010 (July 31-August 2, 2010, Hagenberg, Austria)
Algebraic and Numeric Biology
Castle Hagenberg

Related Events


webmaster