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) |
|