SynCoP 2016

3rd International Workshop on Synthesis of Complex Parameters

Sunday 3rd of April 2016, Eindhoven, The Netherlands



SynCoP aims at bringing together researchers working on verification and parameter synthesis for systems with discrete or continuous parameters, in which the parameters influence the behavior of the system in ways that are complex and difficult to predict. Such problems may arise for real-time, hybrid or probabilistic systems in a large variety of application domains. The parameters can be continuous (e.g., timing, probabilities, costs) or discrete (e.g., number of processes). The goal can be to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values.

Topics of the workshop

The scientific subject of the workshop covers (but is not limited to) the following areas:


SynCoP 2016 is a satellite of the ETAPS 2016 conference taking place in the beautiful famous touristy sunny perfectly-suited-for-a-workshop city of Eindhoven, The Netherlands.

The workshop will take place on Sunday 3rd April 2016 in room CZ15 in the Auditorium, Eindhoven, The Netherlands.
Additional information can be found on the ETAPS workshops page.


The workshop is partially supported by French project ANR PACS (Parametric analyses of concurrent systems).