(Apologies for duplicates)
CALL FOR PAPERS
17th International Workshop on OCL and Textual Modeling
Co-located with
STAF 2017 SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS
July 20, 2017, Marburg, Germany
Call for Papers
SERENE 2017
9th International Workshop on Software Engineering for Resilient Systems
September 4-5, 2017, Geneva, Switzerland
http://serene.disim.univaq.it/2017/home
Co-located with EDCC, European Dependable Computing
---
MFCS 2017
42nd International Symposium on
Mathematical Foundations of Computer Science
Aalborg, Denmark, August 21-25, 2017
http://mfcs2017.cs.aau.dk/
=
Please accept our apology if you receive multiple copy of this message!
A GENTLE REMINDER: ICTAC 2017 submission deadline is one month from now!
CALL FOR PAPERS - ICTAC 2017
14th International Colloquium on Theoretical Aspects of Computing
23-27 October 2017, Hanoi,
-- Call for Papers --
15th ACM/IEEE
International Conference
on
Formal Methods and Models for System Design
AlCoB 2017: call for posters*To be removed from our mailing list, please
respond to this message with UNSUBSCRIBE in the subject line*
**
The 4th International Conference on Algorithms for Computational Biology
MFPS XXXIII : Mathematical Foundations of Programming Semantics XXXIII
New submission deadline -- March 17th AoE
The 33rd Conference on the Mathematical Foundations of Programming
Semantics (MFPS XXXIII)
will take place on the campus of Ljubljana University,
CD-MAKE 2017 - CALL FOR PAPERS
**
International Cross Domain Conference for Machine Learning & Knowledge
Extraction (CD-MAKE)
August 29 - September 1, 2017, Reggio Calabria, Italy
https://cd-make.net
ARES 2017 - CALL FOR PAPERS - Deadline Extended to March 31, 2017
**
The 12th International Conference on Availability, Reliability and Security
(ARES 2017)
August 29 - September 1, 2017, Reggio Calabria,