SynCoP 2014

1st International Workshop on Synthesis of Continuous Parameters

Sunday April 6th 2014, Grenoble, France



SynCoP aims at bringing together researchers working on parameter synthesis for systems with continuous variables, where the parameters consist of a (usually dense) set of constant values. Such problems arise for real-time, hybrid or probabilistic systems where the goal is to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values. A parameter could be, e.g., a delay in a real-time system, or a reaction rate in a biological cell model.

Topics of the workshop

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


SynCoP 2014 is a satellite of the ETAPS 2014 conference taking place in Grenoble, France.

The workshop will be able to (at least partially) support the travel and the ETAPS workshop registration fees for one or two PhD or Master student(s).


The workshop is partially supported by VERIMAG, LIPN, Universite Paris 13, and GDR IM.