11. SYNASC 2009: Timisoara, Romania

Invited Talks

Tutorials

Symbolic Computation

Logic and Programming

Numerical Computing

Parallel and Distributed Computing

Advances in the Theory of Computing

Artificial Intelligence

maintained by Schloss Dagstuhl LZI at University of Trier