roveri_marco's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

Formal Methods and Artificial Intelligence

 Sort by 
 
Event When Where Deadline
ICAPS 2009 19th International Conference on Automated Planning and Scheduling
Sep 19, 2009 - Sep 23, 2009 Thessaloniki, Greece Apr 22, 2009 (Apr 17, 2009)
ATVA 2009 7th International Symposium on Automated Technology for Verification and Analysis
Oct 14, 2009 - Oct 16, 2009 Macao SAR, China May 1, 2009
ICCAD 2009 IEEE/ACM 2009 International Conference on Computer-Aided Design
Nov 2, 2009 - Nov 5, 2009 San Jose, CA, USA May 11, 2009
FMCAD 2009 Formal Methods in Computer-Aided Design
Nov 15, 2009 - Nov 18, 2009 Austin, TX Jun 5, 2009 (May 29, 2009)
first | previous | Page 1 | next | last Total of 4 CFPs in 1 pages