posted by system || 887 views

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

FacebookTwitterLinkedInGoogle

Link: http://lipn.univ-paris13.fr/SynCoP2014/
 
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.

Venue

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).
Support

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

Related Resources

DAFx 2017   20th International Conference on Digital Audio Effects (DAFx 17)
LOPSTR 2017   27th International Symposium on Logic-Based Program Synthesis and Transformation
CSEE & T 2017   30th IEEE Conference on Software Engineering Education and Training
LABELS 2017   Large-scale Annotation of Biomedical data and Expert Label Synthesis
ParaFPGA 2017   Parallel Computing with FPGAs
PEACD 2017   Call for SPRINGER Book Chapter Proposals: ‘‘Pathological Elements in Analog Circuit Design’’
SDF 2017   SummerSim 2017 : 49th Summer Computer Simulation Conference (SCSC 2017) - System Design Flow Track
ReCoSoC Special Session #2 2017   High Level Design Methodologies for Reconfigurable Computing and Adaptive Systems: Tool Flows and Applications
IWLS 2017   International Workshop on Logic and Synthesis
CSE 2017   2nd Workshop on Continuous Software Engineering