19th SYNASC 2017: Timisoara, Romania

Invited Papers

Symbolic Computation: Regular Papers

Symbolic Computation: Work in Progress Papers

Numerical Computing: Regular Papers

Logic and Programming: Regular Papers

Logic and Programming: Papers on Tools/Experimental Results

Artificial Intelligence: Regular Papers

Artificial Intelligence: Papers on Tools/Experimental Results


Distributed Computing: Regular Papers

Advances in the Theory of Computing: Regular Papers

Workshop on Agents for Complex Systems

Workshop on Digital Image Processing in Medicine and Automotive Industry

Workshop on Data Representation for Learning, Living-Systems and Signals

Workshop on Geoinformatics

Workshop on HPC for Science and Technology

Workshop on Natural Computing and Applications

maintained by Schloss Dagstuhl LZI, founded at University of Trier