Organization of Conferences

May 95

Organized special session ''Quantifier Elimination and its Applicaitons'' for the 1-st Intarnational IMACS Conference on Applications of Computer Algebra, Albuquerque, New Mexico, USA.

96

Member of program committee of ISSAC'96, International Symposium on Symbolic and Algebraic Computation, Zurich, Switzerland.

96

Member of program committee of the 2-nd International IMACS Conference on Applications of Computer Algebra, RISC Linz, Austria. Organized special session ''Quantifier Elimination''

Aug 97

Organized special session ''Quantifier Elimination and its Applicaitons'' fo the 15-th IMACS World Congress, August 24-29, 1997, Berlin, Germany.

97-98

General chair of 4-th International IMACS Conference on Applications of Computer Algebra ACA'98, August 9-11, 1998, Prague, Czech Republic.

99

Program chair and member of scientific committee of 5-th International IMACS Conference on Applications of Computer Algebra ACA'99, El Escorial, Spain. Organized special session ''Symbolic-Numeric Interface and Problem Solving Environments''.

99

Member of program committee of the Second Workshop on Computer Algebra in Scientific Computing CASC-99, May 31 - June 4, 1999, Munich, Germany.

2000

Program chair and member of scientific committee of 6-th International IMACS Conference on Applications of Computer Algebra ACA'2000, St. Petersburg, Russia. Organized special session ''Nonstandard Applications''

2001

Member of scientific committee of 7-th International IMACS Conference on Applications of Computer Algebra ACA'2001, Albuquerque, New Mexico, USA.

2001

Member of program committee ISSAC'2001, International Symposium on Symbolic and Algebraic Computation, London, Ontario, Canada.

2001

Member of program committee of the 4-th International Workshop on Computer Algebra in Scientific Computing CASC 2001, Konstanz, Germany.

2002

Member of scientific committee of 8-th International IMACS Conference on Applications of Computer Algebra ACA'2002, Volos, Greece.

2002

Member of program committee of the 5-th International Workshop on Computer Algebra in Scientific Computing CASC 2002, Big Yalta, Crimea, Ukraine.

2002

Chairing a session at Ninth International Conference on Hyperbolic Problems Theory, Numerics, Applications, HYP 2002, Caltech, Pasadena, CA, USA.

2003

Member of scientific committee of 9-th International IMACS Conference on Applications of Computer Algebra ACA'2003, Raleigh, North Carolina, USA.

2003

Member of program committee of the 6-th International Workshop on Computer Algebra in Scientific Computing CASC 2003, Passau, Germany.

2003

Chairing a session at The European Conference on Numerical Mathematics and Advanced Applications, Enumath 2003, Prague, Czech Republic.

2004

Member of scientific committee of 10-th International IMACS Conference on Applications of Computer Algebra ACA'2004, Beaumont, Texas, USA.

2004

Member of program committee ISSAC'2004, International Symposium on Symbolic and Algebraic Computation, Santander, Spain.

2004

Member of program committee of the 7-th International Workshop on Computer Algebra in Scientific Computing CASC 2004, St. Petersburg, Russia.

2005

Member of international advisory committee of Conference on Applications of Computer Algebra ACA'2005, Nara, Japan.

2005

Member of program committee of the 8-th International Workshop on Computer Algebra in Scientific Computing CASC 2005, Kalamata, Greece.

2006

Program chair and member of scientific committee of 12-th International Conference on Applications of Computer Algebra ACA 2006, Varna, Bulgaria.

2006

Member of program committee of the 9-th International Workshop on Computer Algebra in Scientific Computing CASC 2006, Chisinau, Moldova.

2007

Chair of the conference Numerical methods for multi-material fluid flows, CTU, Prague.

2007-2009

Member of Applications of Computer Algebra conference, ACA Board