Events
RISC Summer 2007
June - July, 2006
Hagenberg, Austria
http://www.risc.uni-linz.ac.at/about/conferences/summer2007/
SYNASC 2006 - 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
September 26 - 29, 2006
Timisoara, Romania
http://synasc06.info.uvt.ro/
IJCAR 2006
August 17 - 20, 2006
Seattle, USA
http://www.easychair.org/FLoC-06/IJCAR.html
UNIF 2006
August 11, 2006
Seattle, USA
http://www.easychair.org/FLoC-06/UNIF.html
Special Semester on Gröbner Bases and Related Methods
February 26 - July 29, 2006
Linz and Hagenberg, Austria
http://www.ricam.oeaw.ac.at/specsem/srs/groeb/index.htm
Theorema-Ultra-Omega'05 Workshop
November 14 - 15, 2005
Saarbrücken, Germany
http://www.ags.uni-sb.de/~omega/workshops/TheoremaOmega05/
SYNASC 2005 - 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
September 26 - 30, 2005
Timisoara, Romania
http://synasc05.info.uvt.ro/
SYNASC 2004 - 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
September 26 - 30, 2004
Timisoara, Romania
http://synasc04.info.uvt.ro/
AISC 2004 - The 7th International Conference on Artificial Intelligence and Symbolic Computation 2004
22-24 September, 2004
RISC, Hagenberg Austria
http://www.risc.uni-linz.ac.at/conference/aisc2004/
IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development
July 05, 2004
Cork, Ireland
http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/
SYNASC 2003 - 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing
October 1-4, 2003
Timisoara, Romania
http://synasc03.info.uvt.ro/
Theorema-Omega'03 Workshop
24-27 May, 2003
RISC, Hagenberg, Austria
http://www.ags.uni-sb.de/~omega/workshops/TheoremaOmega03/
LMCS 2002 - Logic, Mathematics and Computer Science: Interactions
October 20-22, 2002
Hagenberg, Austria
http://www.risc.uni-linz.ac.at/about/conferences/LMCS2002/
SYNASC 2002 - 4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing
October 9-12, 2002
Timisoara, Romania
http://synasc02.info.uvt.ro/
SYNASC 2001 - 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing
October 2 - 5, 2001
Timisoara, Romania
http://synasc01.info.uvt.ro/
MKM 2001 - First International Workshop on Mathematical Knowledge Management
September 24-26, 2001
RISC, Hagenberg, Austria
http://www.risc.uni-linz.ac.at/about/conferences/MKM2001/
SYNASC 2000 - 2nd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing
October 4- 6, 2000
Timisoara, Romania
See Analele Universitatii din Timisoara, Seria Matematica-Informatica, Vol. XXXVIII, Fasc. 2, 2000
IMS 99 - Third International Mathematica Symposium
August 23-25, 1999
Hagenberg, Austria
http://www.risc.uni-linz.ac.at/about/conferences/summer99/ims99/
The 3rd International Theorema Workshop
25-26 August, 1999
RISC, Hagenberg Austria
http://www.risc.uni-linz.ac.at/conference/summer99
The 2nd International Theorema Workshop
29-30 June, 1998
RISC, Hagenberg, Austria
See also Theorema Proceedings 98.
The 1st International Theorema Workshop
9-10 June, 1997
RISC, Hagenberg, Austria
See also Theorema Proceedings 97.
Maintained by
webmaster@theorema.org.
© Research Institute for Symbolic Computation.