edeangelis's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
LOPSTR 2014 24th International Symposium on Logic-Based Program Synthesis and Transformation
Sep 9, 2014 - Sep 11, 2014 University of Kent, Canterbury, UK Jun 18, 2014 (Jun 11, 2014)
VPT 2015 3rd International Workshop on Verification and Program Transformation
Apr 11, 2015 - Apr 11, 2015 London, UK Feb 6, 2015 (Jan 16, 2015)
HCVS 2019 6th Workshop on Horn Clauses for Verification and Synthesis
Apr 7, 2019 - Apr 7, 2019 Prague, Czech Republic Feb 15, 2019
first | previous | Page 1 | next | last Total of 3 CFPs in 1 pages