| Event | When | Where | Deadline | |
| POPL 2013 |
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
| Jan 23, 2013 - Jan 25, 2013 |
Rome, Italy |
Jul 10, 2012 (Jul 6, 2012) |
| ICFP 2013 |
ACM SIGPLAN International Conference on Functional Programming | |
| Sep 25, 2013 - Sep 27, 2013 |
Boston, MA, USA |
Mar 28, 2013 |
| CSL 2013 |
22nd EACSL Annual Conference on Computer Science Logic | |
| Sep 2, 2013 - Sep 5, 2013 |
Torino, Italy |
Apr 8, 2013 (Apr 1, 2013) |
| SRDS 2013 |
32nd International Symposium on Reliable Distributed Systems | |
| Oct 1, 2013 - Oct 3, 2013 |
Braga, Portugal |
Apr 8, 2013 (Apr 2, 2013) |
| CENTERIS 2013 |
Conference on ENTERprise Information Systems | |
| Oct 23, 2013 - Oct 25, 2013 |
Lisboa, Portugal |
Apr 30, 2013 |
| ICSOC 2013 |
11th International Conference on Service Oriented Computing (ICSOC 2013) | |
| Dec 2, 2013 - Dec 5, 2013 |
Berlin, Germany |
Jun 14, 2013 (Jun 7, 2013) |
| AVOCS 2014 |
Automated Verification of Critical Systems | |
| N/A |
N/A |
May 31, 2014 |
|
