Invited talks

Gabriel Ciobanu
Romanian Academy, Institute of Computer Science, Iasi, Romania

Simulation and Verification of the Biomolecular Systems

Tetsuo Ida
Department of Computer Science, University of Tsukuba

Layers of Abstraction in Symbolic Computation

Jens Knoop
Department of Computer Science, Technical University of Wien

Symbolic Program Analysis in Optimizing and Verifying Compilation: Opportunities, Perspectives, Challenges

Stephen M. Watt
Computer Science Department , The University of Western
Ontario London, Canada

Optimizing Compilation for Symbolic-Numeric Computation


Copyright (C) 2001-2004 Department of Computer Science, email: