joborg's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
FLOPS 2012 International Symposium on Functional and Logic Programming
May 23, 2012 - May 25, 2012 Kobe, Japan Dec 9, 2011
QAPL 2012 Tenth Workshop on Quantitative Aspects of Programming Languages
Mar 31, 2012 - Apr 1, 2012 Tallinn, Estonia Dec 20, 2011 (Dec 17, 2011)
MPC 2012 Mathematics of Program Construction
Jun 25, 2012 - Jun 27, 2012 Madrid Jan 16, 2012 (Jan 9, 2012)
TASE 2012 6th IEEE International Symposium on Theoretical Aspects of Software Engineering
Jul 4, 2012 - Jul 6, 2012 Beijing, China Jan 20, 2012 (Jan 13, 2012)
CAV 2012 24th International Conference on Computer Aided Verification
Jul 7, 2012 - Jul 13, 2012 Berkeley, CA, USA Jan 22, 2012 (Jan 15, 2012)
first | previous | Page 1 | next | last Total of 6 CFPs in 1 pages