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

RISC Conferences

The following conferences and workshops have been recently organized by RISC or with the participation of RISC members.

RISC Summer 2010

A sequence of international scientific events organized by RISC.


CIAO 2010

19th Clam — Inka — OMRS Workshop.


RISC Summer 2009

A sequence of international scientific events organized by RISC.


CADGME 2009

2nd International Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education.


GeoGebra Conference 2009

The First International GeoGebra Conference 2009.


FPSAC 2009

21st International Conference on Formal Power Series and Algebraic Combinatorics.


WWV'09

5th Int'l Workshop on Automated Specification and Verification of Web Systems.


RISC Summer 2008

A sequence of international scientific events organized by RISC.


ISSAC 2008

International Symposium on Symbolic and Algebraic Computation.


ACA 2008

Applications of Computer Algebra.


RTA 2008

Rewriting Techniques and Applications.


RISC Summer 2007

A sequence of international scientific events organized by RISC.


Calculemus 2007

14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, June 27-30, 2007, Hagenberg, Austria.


MKM 2007

The 6th International Conference on Mathematical Knowledge Management, June 27-30, 2007, Hagenberg, Austria.


AB2007

2nd International Conference on Algebraic Biology. Castle of Hagenberg, Austria. July 2-4, 2007.


ISPDC 2007

6th International Symposium on Parallel and Distributed Computing, Hagenberg, Austria, July 5-8, 2007.


UNIF 2006

20th International Workshop on Unification, Seattle, USA, August 11, 2006.


ISSAC 2006

International Symposium on Symbolic and Algebraic Computation, Genova, Italy, July 9-12, 2006.


Gröbner Bases Special Semester 2006

Special Semester on Gröbner Bases and Related Methods, Linz and Hagenberg, Austria, February 2006 - July 2006.


Austrian Grid Symposium 2005

First Austrian Grid Symposium, Schloss Hagenberg, Austria, December 1-2, 2005.


ALISA 2005

Workshop on algorithmic integrable systems, Linz, Austria, June 15-16, 2005.


ISSAC 2005

International Symposium on Symbolic and Algebraic Computation, Key Laboratory of Mathematics Mechanization, CAS, Beijing, China, July 24-27, 2005.


AISC 2004

Seventh International Conference on Artificial Intelligence and Symbolic Computation, Hagenberg, Austria, September 22-24, 2004.


ISSAC 2004

International Symposium on Symbolic and Algebraic Computation, University of Cantabria, Santander, Spain, July 4-7, 2004.


IJCAR 2004 Workshop

IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development, Cork, Ireland, July 05, 2004.


ADG 2002

Fourth International Workshop on Automated Deduction in Geometry, Hagenberg, Austria, September 04-06, 2002.


LMCS 2002

Logic, Mathematics and Computer Science: Interactions October 20-22, 2002, Hagenberg, Austria.


SNSC 2001

Conference on Symbolic and Numeric Computation (SNSC'01), Hagenberg, Austria, September 12-14, 2001.


MKM 2001

First International Workshop on Mathematical Knowledge Management, Hagenberg, Austria, September 24-26, 2001.


SNSC 99

Workshop on Symbolic and Numerical Scientific Computation, Linz, Austria, August 18- 20, 1999.


IMS 99

Third International Mathematica Symposium, Hagenberg, Austria, August 23-25, 1999.


33 Years of Gröbner Bases

International Conference "33 Years of Gröbner Bases", Hagenberg, Austria, February 2-4, 1998.


CP 97

Third International Conference on Principles and Practice of Constraint Programming, Hagenberg, Austria, October 29 - November 1, 1997.


webmaster