Event | When | Where | Deadline | | Expired CFPs |
LATIN 2022 |
The 15th Latin American Theoretical Informatics Symposium | |
Nov 7, 2022 - Nov 11, 2022 |
Guanajuato, Mexico |
May 30, 2022 (May 27, 2022) |
CEDAR 2008 |
Complexity, Expressibility, and Decidability in Automated Reasoning | |
Aug 10, 2008 - Aug 15, 2008 |
Sydney, Australia |
May 19, 2008 |
|