Event | When | Where | Deadline | |
SEPA 2020 |
12th International Symposium on Software Engineering Processes and Applications | |
Jul 1, 2020 - Jul 4, 2020 |
Cagliari |
Feb 29, 2020 |
JCKBSE 2020 |
13th International Joint Conference on Knowledge-Based Software Engineering | |
Aug 24, 2020 - Aug 26, 2020 |
Larnaca, Cyprus |
Mar 6, 2020 |
ICSOFT 2020 |
15th International Conference on Software Technologies | |
Jul 7, 2020 - Jul 9, 2020 |
Online Streaming |
Mar 31, 2020 |
QEST 2020 |
International Conference on Quantitative Evaluation of SysTems | |
Aug 31, 2020 - Sep 3, 2020 |
Vienna, Austria |
Apr 3, 2020 (Mar 27, 2020) |
ACM--ASSE--EI Compendex, Scopus 2020 |
ACM--2020 Asia Service Sciences and Software Engineering Conference (ASSE 2020)--EI Compendex, Scopus | |
May 13, 2020 - May 15, 2020 |
Nagoya, Japan |
Apr 5, 2020 |
FORMATS 2020 |
Formal Modeling and Analysis of Timed Systems | |
Sep 1, 2020 - Sep 3, 2020 |
Vienna, Austria |
Apr 13, 2020 (Apr 6, 2020) |
ICE 2020 |
13th Interaction and Concurrency Experience | |
Jun 19, 2020 - Jun 20, 2020 |
University of Malta, Valletta |
Apr 22, 2020 (Apr 20, 2020) |
ICFEM 2020 |
The 22nd International Conference on Formal Engineering Methods (2020) | |
Nov 2, 2020 - Nov 6, 2020 |
Singapore |
May 1, 2020 |
SEFM 2020 |
Software Engineering and Formal Methods | |
Sep 14, 2020 - Sep 18, 2020 |
Amsterdam |
May 4, 2020 (Apr 27, 2020) |
FMICS 2020 |
25th International Conference on Formal Methods for Industrial Critical Systems | |
Sep 2, 2020 - Sep 3, 2020 |
Vienna, Austria |
May 15, 2020 (May 8, 2020) |
ICCSM 2020 |
2020 4th International Conference on Computer, Software and Modeling (ICCSM 2020)--JA, Scopus | |
Jul 17, 2020 - Jul 19, 2020 |
Rome, Italy |
May 20, 2020 |
iFM 2020 |
16th International Conference on integrated Formal Methods | |
Nov 16, 2020 - Nov 20, 2020 |
Lugano, Switzerland |
Jun 22, 2020 (Jun 15, 2020) |
ICTAC 2020 |
17th International Colloquium on Theoretical Aspects of Computing | |
Dec 2, 2020 - Dec 4, 2020 |
Macao |
Jun 26, 2020 (Jun 22, 2020) |
RP 2020 |
14th International Conference on Reachability Problems (RP'20) | |
Oct 19, 2020 - Oct 21, 2020 |
Paris, France |
Jul 3, 2020 (Jun 30, 2020) |
SETTA 2020 |
Symposium on Dependable Software Engineering Theories, Tools and Applications | |
Nov 24, 2020 - Nov 27, 2020 |
Guangzhou, China |
Jul 4, 2020 |
CSEA--Ei and Scopus 2020 |
2020 The 2nd International Conference on Computer, Software Engineering and Applications (CSEA 2020)--Ei Compendex, Scopus | |
Aug 5, 2020 - Aug 7, 2020 |
aichung Software Park, Taichung, Taiwan |
Jul 5, 2020 |
SBMF 2020 |
23rd Brazilian Symposium on Formal Methods | |
Nov 25, 2020 - Nov 27, 2020 |
Ouro Preto / Brazil |
Jul 17, 2020 (Jul 10, 2020) |
ICTLE--Matec, EI Compendex 2020 |
2020 8th International Conference on Traffic and Logistic Engineering (ICTLE 2020)--Ei Compendex | |
Aug 28, 2020 - Aug 30, 2020 |
Shenzhen, China |
Jul 30, 2020 |
WSSE--Ei Compendex, Scopus 2020 |
2020 The 2nd World Symposium on Software Engineering (WSSE 2020)--Ei compendex, scopus | |
Sep 25, 2020 - Sep 27, 2020 |
Chengdu, China |
Aug 15, 2020 |
ACM--ESSE--Ei Compendex, Scopus 2020 |
ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus | |
Nov 6, 2020 - Nov 8, 2020 |
Rome, Italy |
Sep 20, 2020 |