20th SYNASC 2018: Timisoara, Romania

Invited Papers

Symbolic Computation

Regular Papers

Work in Progress Papers

Numerical Computing

Regular Papers

Work in Progress Papers

Logic and Programming

Regular Papers

Papers on Tools/Experimental Results

Advances in the Theory of Computing

Regular Papers

Distributed Computing

Regular Papers

Artificial Intelligence

Regular Papers

Papers on Tools/Experimental Results

Work in Progress Papers

Position Papers

Workshop on Agents for Complex Systems

Workshop on Digital Image Processing in Medicine and Automotive Industry

Workshop on HPC for Science and Technology

Workshop on Natural Computing and Applications

PhD Colloquium Session

a service of Schloss Dagstuhl - Leibniz Center for Informatics