12. SYNASC 2010: Timisoara, Romania

Invited Talks

Symbolic Computing: Regular Papers

Numerical Computing: Regular Papers

Numerical Computing: Short Papers

Logic and Programming: Regular Papers

Logic and Programming: Short Paper

Artificial Intelligence: Regular Papers

Artificial Intelligence: Short Paper

Distributed Computing: Regular Papers

Distributed Computing: Short Papers

Advanced Theory of Computing: Regular Papers

Global Computing Models and Technologies: Regular Paper

Global Computing Models and Technologies: Short Paper

Software Services - Frameworks and Platforms: Invited Papers

Software Services - Frameworks and Platforms: Regular Papers

Software Services - Frameworks and Platforms: Short Papers

maintained by Schloss Dagstuhl LZI at University of Trier