List of conferences - page 22
- Call for Posters - ECOOP / ISSTA 2018 - Deadline extension
We call for posters for the co-located conferences ECOOP and ISSTA in Amsterdam!
- CFP: MORSE'18 - 5th Workshop on Model-Driven Robot Software Engineering
MORSE'18 - 5th Workshop on Model-Driven Robot Software Engineering
http://st.inf.tu-dresden.de/MORSE18
MORSE'18 is co-located with MODELS 2018 (Copenhagen, Denmark).
Workshop Date: October 15, 2018- CfP: ModComp'18: 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
ModComp'18: 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
Where: At MODELS'18, Copenhagen, Denmark
When: Full papers due July 17, 2018
What: http://www.mrtc.mdh.se/ModComp18/------------------------------------------------------------
IMPORTANT DATES
------------------------------------------------------------Deadline for submission of papers: 17 July, 2018
Notification for acceptance of papers: 17 August, 2018
Workshop dates: 14 October, 2018- Call for abstracts- Discrete models and formal verification in biology
Call for abstracts for MGMS (http://mgms.org/) meeting on formal verification in biology. To be held in Cambridge, UK 29-31 August 2018
- VECoS 2018: Deadline extensions
*****************************************************************
VECoS 2018
Call for Papers!!! Abstract and paper submission deadlines extended !!!
12th International Conference on
Verification and Evaluation of Computer and Communication SystemsSeptember 26-28, 2018, Grenoble, France
https://vecos.ensta-paristech.fr/2018/
*****************************************************************- Upcoming Deadline for SAS 2018: April 13th
= = = The submission deadline has been moved to April 13th, 2018 = = =
- 25th Static Analysis Symposium (SAS 2018): Call for Papers
The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany.
= = = New: Invited Talks, Invited Tutorials, Affiliated Events = = =
= = = Submission deadline approaching: April 6th, 2018 = = =- CALL FOR PARTICIPATION: ETAPS 2018 - 21st European Joint Conferences on Theory And Practice of Software
CALL FOR PARTICIPATION
ETAPS 2018
21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018Thessaloniki, Greece, 14-20 April 2018
http://www.etaps.org/index.php/2018
