Event | When | Where | Deadline | |
Logica 2012 |
Logica 2012 | |
Jun 18, 2012 - Jun 22, 2012 |
Hejnice, Czech Republic |
Feb 28, 2012 |
GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
JELIA 2012 |
13th European Conference on Logics in Artificial Intelligence | |
Sep 26, 2012 - Sep 28, 2012 |
Toulouse, France |
May 23, 2012 (May 18, 2012) |
DaLí 2022 |
DaLí - Dynamic Logic: new trends and applications | |
Jul 31, 2021 - Aug 1, 2021 |
Haifa, Israel |
May 10, 2022 (May 3, 2022) |
AAAI 2024 |
The 38th Annual AAAI Conference on Artificial Intelligence | |
Feb 20, 2024 - Feb 27, 2024 |
Vancouver, Canada |
Aug 15, 2023 (Aug 8, 2023) |
|