SYNASC 2004
Photos


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: synasc04@info.uvt.ro