| 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) |
|
