17th SYNASC 2015: Timisoara, Romania

Invited Papers

Symbolic Computation

Regular Papers

Work in Progress Papers

Numberical Computation

Regular Papers

Papers on Tools/Experimental Results

Logic and Programming

Regular Papers

Work in Progress Papers

Posters

Artificial Intelligence

Regular Papers

Papers on Tools/Experimental Results

Work in Progress Papers

Distributed Computing

Regular Papers

Work in Progress Papers

Advances in the Theory of Computing

Regular Papers

Workshop of the Management of Resources and Services in Cloud and Sky Computing

Regular Papers

Short Papers

Workshop on Extreme Data Parallel Processing, Exascale Systems Engineering, and Energy Efficiency

Regular Papers

Workshop on Agents for Complex Systems

Regular Papers

Short Papers

Workshop on Natural Computing and Applications

Regular Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics