The workshop took 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 preproceedings are available here.
8h50 - 9h00
Welcome word (Benoît Delahaye)
9h00 - 10h
Invited talk: Grégory Batt (chair: Étienne André)
What population reveals about individual cell identity: Single-cell parameter estimation of models of gene expression in yeast
10h00 - 10h30
Session 1b (chair: Étienne André)
Recent Advances in Precise Parameter Synthesis for Continuous-Time Markov Chains
11h - 12h30
Session 2 (chair: Benoît Delahaye)
Parameter Synthesis for Parametric Interval Markov Chains Paper accepted at VMCAI 2016
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements Regular paper accepted at SynCoP 2016
Parametric, Probabilistic, Timed Resource Discovery System Regular paper accepted at SynCoP 2016
] [slides (local)
14h - 15h
Invited talk: Giorgio Delzanno (chair: Jiří Srba) Joint session with the Cassting workshop
Parameterized Verification of Distributed Broadcast Protocols
15h00 - 15h30
Session 3b (chair: Jiří Srba)
Synthesis of Shared Control Protocols
16h - 18h
session 4 (chair: Laure Petrucci)
Language Emptiness of Continuous-Time Parametric Timed Automata Paper accepted at ICALP 2015
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures Regular paper accepted at SynCoP 2016
Quantitative Program Synthesis Based on Linear Operator Semantics
18h - 18h10
Closing remarks (Jiří Srba)
At The Trafalgar Pub
Note that we organize a distinct dinner from the "official ETAPS workshop dinner"
The SynCoP workshop dinner is open to anyone (every participant is expected to pay for its dinner, approx. 15-20€); however, please let us know ASAP if you plan to attend, so that we book an appropriate number of seats.