Event | When | Where | Deadline | | Expired CFPs |
Logica 2023 |
Logica 2023 | |
Jun 18, 2023 - Jun 22, 2023 |
Tepla Monastery, Czech Republic |
Mar 27, 2023 |
SmP 2022 |
Structure Meets Power 2022 | |
Jul 4, 2022 - Jul 4, 2022 |
Paris |
May 20, 2022 |
PhDs in Logic 2020 |
PhDs in Logic XII (2020) | |
Apr 27, 2020 - Apr 27, 2020 |
Berlin |
Jan 20, 2020 |
Logica 2019 |
Logica 2019 | |
Jun 24, 2019 - Jun 28, 2019 |
Hejnice, Czech Republic |
Feb 15, 2019 |
Logica 2018 |
Logica 2018 | |
Jun 18, 2018 - Jun 22, 2018 |
Hejnice, Czech Republic |
Feb 15, 2018 |
TTCS 2017 |
Topics in Theoretical Computer Science | |
Sep 12, 2017 - Sep 14, 2017 |
Tehran, Iran |
May 8, 2017 (May 1, 2017) |
MFPS XXXIII 2017 |
Mathematical Foundations of Programming Semantics | |
Jun 12, 2017 - Jun 15, 2017 |
Ljubljana University, Slovenia |
Mar 17, 2017 |
Logica 2017 |
Logica 2017 | |
Jun 19, 2017 - Jun 23, 2017 |
Hejnice, Czech Republic |
Feb 15, 2017 |
NAT@Logic 2015 |
NAT@Logic 2015 - Logic AT Natal | |
Aug 31, 2015 - Sep 4, 2015 |
Natal, Brazil |
Apr 12, 2015 |
WoLLIC 2014 |
21st Workshop on Logic, Language, Information and Computation | |
Sep 1, 2014 - Sep 4, 2014 |
Valparaiso, Chile |
Mar 28, 2014 (Mar 24, 2014) |
MOL 2011 |
12th Meeting on Mathematics of Language | |
Sep 6, 2011 - Sep 8, 2011 |
Nara, Japan |
Apr 2, 2011 |
LAFT 2011 |
2nd International Workshop on Logical Aspects of Fault-Tolerance | |
Jun 20, 2011 - Jun 20, 2011 |
Toronto, Canada |
Mar 20, 2011 |
|