posted by system || 772 views

SynCoP 2014 : 1st International Workshop on the SYNthesis of COntinuous Parameters


When Apr 5, 2014 - Apr 5, 2014
Where Grenoble, France
Abstract Registration Due Jan 13, 2014
Submission Deadline Jan 20, 2014

Call For Papers

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:

parameter synthesis,
parametric model checking,
robustness analysis,
formalisms such as parametric timed and hybrid automata, parametric time(d) Petri nets, parametric probabilistic automata,
applications to major areas of computer science and control engineering.


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

The workshop may be able to 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.

Related Resources

LOPSTR 2016   26th International Symposium on Logic-Based Program Synthesis and Transformation
CML 2016   Constructive Machine Learning
SASHIMI 2016   Simulation and Synthesis in Medical Imaging
MEIS 2016   MEIS2016: Mathematical Progress in Expressive Image Synthesis
EUSIPCO Special Session 2016   Special Session @ EUSIPCO 2016 : Advances on Linear-in-the-Parameters Nonlinear Filters and Their Application to Audio and Speech Processing
CSE 2016   1st Workshop on Continuous Software Engineering
ICCOPT 2016   International Conference on Continuous Optimization
CODES+ISSS 2016   International Conference on Hardware/Software Codesign and System Synthesis
RCSE-JSS 2016   Journal of Systems and Software: Special Issue on Rapid Continuous Software Engineering
SCSS 2016   The 7th International Symposium on Symbolic Computation in Software Science