Event | When | Where | Deadline | |
ESOP 2010 |
19th European Symposium on Programming | |
Mar 22, 2010 - Mar 26, 2010 |
Paphos, Cyprus |
Oct 8, 2009 (Oct 1, 2009) |
ICFP 2013 |
ACM SIGPLAN International Conference on Functional Programming | |
Sep 25, 2013 - Sep 27, 2013 |
Boston, MA, USA |
Mar 28, 2013 |
SEFM 2013 |
International Conference on Software Engineering and Formal Methods | |
Sep 23, 2013 - Sep 27, 2013 |
Madrid, Spain |
Apr 1, 2013 (Mar 25, 2013) |
ICFEM 2013 |
International Conference on Formal Engineering Methods | |
Oct 29, 2013 - Nov 1, 2013 |
Queenstown, New Zealand |
Apr 22, 2013 (Apr 15, 2013) |
PPDP 2013 |
15th International Symposium on Principles and Practice of Declarative Programming | |
Sep 16, 2013 - Sep 18, 2013 |
Madrid, Spain |
May 30, 2013 (May 27, 2013) |
IFL 2013 |
25th International Symposium on Implementation and Application of Functional Languages | |
Aug 28, 2013 - Aug 30, 2013 |
Nijmegen, Netherlands |
Jul 31, 2013 |
FTSCS 2013 |
Formal Techniques for Safety-Critical Systems 2013 | |
Oct 29, 2013 - Oct 29, 2013 |
Queenstown, New Zealand |
Sep 6, 2013 |
ASE 2014 |
ACM/IEEE International Conference on Automated Software Engineering | |
Sep 15, 2014 - Sep 19, 2014 |
Vasteras, Sweden |
Apr 25, 2014 (Apr 18, 2014) |
|