Decidability

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
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
first | previous | Page 1 | next | last Total of 2 CFPs in 1 pages