Event | When | Where | Deadline | |
ICST 2020 |
13th IEEE Conference on Software Testing, Validation and Verification | |
Mar 23, 2020 - Mar 27, 2020 |
Porto, Portugal |
Oct 14, 2019 |
MSR 2020 |
Mining Software Repositories | |
May 25, 2020 - May 26, 2020 |
Seoul, South Korea |
Jan 16, 2020 (Jan 9, 2020) |
FormaliSE 2020 |
8th International Conference on Formal Methods in Software Engineering | |
May 25, 2020 - May 26, 2020 |
Seoul, South Korea |
Jan 16, 2020 (Jan 9, 2020) |
SEAMS 2020 |
15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems | |
May 25, 2020 - May 26, 2020 |
Seoul, South Korea |
Jan 17, 2020 (Jan 10, 2020) |
CLA 2020 |
Concept Lattices and their Applications | |
Jun 29, 2020 - Jul 1, 2020 |
Tallinn, Estonia |
Feb 2, 2020 (Jan 26, 2020) |
SAT 2020 |
Theory and Applications of Satisfiability Testing | |
Jul 5, 2020 - Jul 9, 2020 |
Alghero, Italy |
Feb 22, 2020 (Feb 15, 2020) |
MESS 2020 |
Metaheuristics Summer School 2020 :: Learning & Optimization from Big Data | |
Jul 27, 2020 - Jul 31, 2020 |
Catania, Italy |
Apr 15, 2020 |
|