Event | When | Where | Deadline | |
CS & IT 2021 |
Computer Science & Information Technology Conference Proceedings | |
N/A |
N/A |
TBD |
SDL Forum 2017 |
SDL Forum | |
Oct 9, 2017 - Oct 11, 2017 |
Budapest, Hungary |
Jun 4, 2017 (May 28, 2017) |
HVC 2017 |
Haifa Verification Conference | |
Nov 13, 2017 - Nov 15, 2017 |
Haifa, Israel |
Jul 28, 2017 |
MODELSWARD 2018 |
6th International Conference on Model-Driven Engineering and Software Development | |
Jan 22, 2018 - Jan 24, 2018 |
Funchal, Madeira, Portugal |
Jul 31, 2017 |
ICSE 2018 |
International Conference on Software Engineering | |
May 27, 2018 - Jun 3, 2018 |
Gothenburg, Sweden |
Oct 10, 2017 |
ETAPS 2018 |
ETAPS 2018: European Joint Conferences on Theory and Practice of Software | |
Apr 14, 2018 - Apr 21, 2018 |
Thessaloniki, Greece |
Oct 20, 2017 (Oct 13, 2017) |
ICSR 2018 |
17th International Conference on Software Reuse (ICSR 2018) Madrid (Spain), May 21-23rd, 2018 | |
May 21, 2018 - May 23, 2018 |
Madrid (Spain) |
Dec 4, 2017 |
DSN 2018 |
The 48th IEEE/IFIP International Conference on Dependable Systems and Networks | |
Jun 25, 2018 - Jun 28, 2018 |
Luxembourg City, Luxembourg |
Dec 4, 2017 (Nov 27, 2017) |
RE 2018 |
26th IEEE Intl. Requirements Engineering Conference | |
Aug 20, 2018 - Aug 24, 2018 |
Banff, Alberta, Canada |
Feb 28, 2018 (Feb 16, 2018) |
SEFM 2018 |
The 16th International Conference on Software Engineering and Formal Methods | |
Jun 27, 2018 - Jun 29, 2018 |
Toulouse, France |
Mar 2, 2018 (Feb 23, 2018) |
TAP 2018 |
12th International Conference on Tests And Proofs | |
Jun 27, 2018 - Jun 29, 2018 |
Toulouse |
Mar 11, 2018 (Mar 5, 2018) |
QEST 2018 |
QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems | |
Sep 4, 2018 - Sep 7, 2018 |
Beijing, China |
Mar 25, 2018 (Mar 18, 2018) |
MODELS 2018 |
ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems | |
Oct 14, 2018 - Oct 19, 2018 |
Copenhagen, Denmark |
May 4, 2018 (Apr 27, 2018) |
ICFEM 2018 |
20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS | |
Nov 12, 2018 - Nov 16, 2018 |
Gold Coast, Australia |
May 14, 2018 (May 7, 2018) |
ICTSS 2018 |
IFIP International Conference on Testing Software and Systems | |
Oct 1, 2018 - Oct 3, 2018 |
Cádiz, Spain |
May 20, 2018 (May 13, 2018) |
SWQD 2019 |
Software Quality Days 2019 | |
Jan 15, 2019 - Jan 18, 2019 |
Vienna, Asutria |
May 25, 2018 (May 18, 2018) |
MEMOCODE 2018 |
16th ACM-IEEE International Conference on Formal Methods and Models for System Design | |
Oct 15, 2018 - Oct 18, 2018 |
Beijing, China |
Jun 1, 2018 (May 25, 2018) |
FACS 2018 |
15th International Conference on Formal Aspects of Component Software | |
Oct 10, 2018 - Oct 12, 2018 |
Pohang, Korea |
Jun 25, 2018 |
DATE 2019 |
Design, Automation, and Test in Europe | |
Mar 25, 2019 - Mar 29, 2019 |
Florence |
Sep 9, 2018 |
VMCAI 2019 |
International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 13, 2019 - Jan 15, 2019 |
Cascais/Lisbon, Portugal |
Oct 1, 2018 |