Home | About icms | Program | Registration/accommodations | Contact information | Social activities | About Kobe/Access | Bulletin board

LIST OF SESSIONS

This congress is comprised of some sessions devoted to different Mathematical Software issues as well as a general track . As a rule, the general track will consist of all accepted papers/presentations which do not belong to any of the sessions listed below.
____________________________________________________________________________
Title:  Computational group theory 
Organizer: Bettina Eick, Steve Linton
____________________________________________________________________________
Title: Computation of special functions
Organizer: Bruno Salvy
____________________________________________________________________________
Title:  Computer algebra and reliable computing 
Organizer: Joris van der Hoeven, Nathalie Revol
____________________________________________________________________________
Title:  Computer tools for mathematical editing and scientific visualization 
Organizer: Andres Iglesias, Setsuo Takato
____________________________________________________________________________
Title:  Exact numeric computation for algebraic and geometric computation 
Organizer: Chee Yap, Michael Sagraloff, Monique Teillaud
____________________________________________________________________________
Title:  Formal proof 
Organizer: John Harrison, Freek Wiedijk
____________________________________________________________________________
Title:  Geometry and visualization 
Organizer: Tim Hoffmann, Wayne Rossman
____________________________________________________________________________
Title:  Groebner bases and applications 
Organizer: Anne Fruehbis-Krueger, Hidefumi Ohsugi
____________________________________________________________________________
Title:  Number theoretical software 
Organizer: Shigenori Uchiyama, Ken Nakamula, Michael Pohst
____________________________________________________________________________
Title:  Software for optimization and polyhedral computation 
Organizer: Achill Schuermann, Komei Fukuda, Michael Joswig
____________________________________________________________________________
Title:  Poster session 
Organizer: Raimundas Vidunas
____________________________________________________________________________