SynCoP 2020
7th International Workshop on Synthesis of Complex Parameters
Important datesImportant dates
Invited speakers
TBA
Title: TBA
TBA
Title: TBA
TBA
Title: TBA
Call for papers
-
Call for papers in PDF*/ ?>
CfP in txt */ ?>
Submission
Format and submission
Springer LNCS
TBA
Committees
Program committee
- TBA (TBA)
General chairs
Steering committee
- Parosh Abdulla (Sweden
- Étienne André (France)
- Giorgio Delzanno (Italy)
- Peter Habermehl (France)
- Loïg Jezequel (France)
- Kim Larsen (Denmark)
- Wojciech Penczek (Poland)
- Laure Petrucci (France)
Registration
Coming (not so) soon
Program
Coming (not so) soon