Specification And Verification

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
CALCO 2023 Conference on Algebra and Coalgebra in Computer Science
Jun 19, 2023 - Jun 24, 2023 University of Indiana Mar 8, 2023
TASE 2016 10th International Symposium on Theoretical Aspects of Software Engineering
Jul 17, 2016 - Jul 19, 2016 Shanghai, China Jan 17, 2016 (Jan 10, 2016)
TASE 2015 The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015)
Sep 12, 2015 - Sep 14, 2015 Nanjing, China Mar 28, 2015 (Mar 21, 2015)
TCS 2014 8TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE
Sep 1, 2014 - Sep 3, 2014 Rome, Italy Apr 27, 2014
TASE 2011 TASE 2011 - 5th IEEE International Symposium on Theoretical Aspects of Software Engineering
Aug 29, 2011 - Aug 31, 2011 Xi'an, China Apr 8, 2011 (Apr 1, 2011)
LAFT 2011 2nd International Workshop on Logical Aspects of Fault-Tolerance
Jun 20, 2011 - Jun 20, 2011 Toronto, Canada Mar 20, 2011
first | previous | Page 1 | next | last Total of 6 CFPs in 1 pages