Event | When | Where | Deadline | |
AMAI 2021 |
Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification | |
N/A |
N/A |
Jan 31, 2021 |
DCFS 2021 |
23rd International Conference on Descriptional Complexity of Formal Systems | |
Jun 21, 2021 - Jun 24, 2021 |
Seoul, South Korea |
Feb 15, 2021 |
KGSR 2021 |
Special Issue Knowledge Graphs for Search and Recommendation | |
N/A |
N/A |
Feb 28, 2021 |
Expired CFPs |
IJRAP 2021 |
International Journal of Recent advances in Physics | |
N/A |
N/A |
Jan 23, 2021 |
FSEN 2021 |
9th IPM International Conference on Fundamentals of Software Engineering | |
May 19, 2021 - May 21, 2021 |
Tehran |
Nov 1, 2020 (Oct 18, 2020) |
LATA 2020 & 2021 |
14th International Conference on Language and Automata Theory and Applications | |
Mar 1, 2021 - Mar 5, 2021 |
Milan |
Oct 19, 2020 |
TACAS 2021 |
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
Mar 27, 2021 - Apr 1, 2021 |
Luxembourg |
Oct 15, 2020 |
CS&SE@SW 2020 |
3rd Computer Science & Software Engineering Student Workshop | |
Nov 27, 2020 - Nov 27, 2020 |
Kryvyi Rih, Ukraine |
Sep 15, 2020 |
RP 2020 |
14th International Conference on Reachability Problems (RP'20) | |
Oct 19, 2020 - Oct 21, 2020 |
Paris, France |
Jul 17, 2020 |
SBMF 2020 |
23rd Brazilian Symposium on Formal Methods | |
Nov 25, 2020 - Nov 27, 2020 |
Ouro Preto / Brazil |
Jul 17, 2020 (Jul 10, 2020) |
GandALF 2020 |
11th International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 21, 2020 - Sep 23, 2020 |
Brussels, Belgium |
Jul 5, 2020 (Jun 30, 2020) |
ICTAC 2020 |
17th International Colloquium on Theoretical Aspects of Computing | |
Dec 2, 2020 - Dec 4, 2020 |
Macao |
Jun 26, 2020 (Jun 22, 2020) |
EXPRESS/SOS 2020 |
Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics | |
Aug 31, 2020 - Aug 31, 2020 |
Vienna, Austria |
Jun 26, 2020 |
DCFS 2020 |
22nd International Conference on Descriptional Complexity of Formal Systems | |
N/A |
paper publication in Springer LNCS |
Jun 15, 2020 |
TQC 2020 |
15th Conference on the Theory of Quantum Computation, Communication and Cryptography | |
Jun 9, 2020 - Jun 12, 2020 |
Riga, Latvia |
Feb 15, 2020 |
CSR 2020 |
15th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA | |
Jun 29, 2020 - Jul 3, 2020 |
Yekaterinburg |
Feb 13, 2020 |
ICALP 2020 |
47th International Colloquium on Automata, Languages and Programming | |
Jul 8, 2020 - Jul 12, 2020 |
Beijing, China |
Feb 12, 2020 |
LATA 2020 |
14th International Conference on Language and Automata Theory and Applications | |
Mar 2, 2020 - Mar 6, 2020 |
Milan |
Oct 18, 2019 |
MATCOS 2019 |
Middle-European Conference on Applied Theoretical Computer Science | |
Oct 10, 2019 - Oct 11, 2019 |
Koper, Slovenia |
Aug 25, 2019 |
RP 2019 |
13th International Conference on Reachability Problems (RP 2019) | |
Sep 11, 2019 - Sep 13, 2019 |
BRUSSELS, BELGIUM |
Jun 17, 2019 |
|