Event | When | Where | Deadline | |
POPL 2011 |
The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 26, 2011 - Jan 28, 2011 |
San, Diego, CA, USA |
Jul 15, 2010 (Jul 8, 2010) |
ACES 2010 |
3rd International Workshop on Model Based Architecting and Construction of Embedded Systems | |
Oct 3, 2010 - Oct 5, 2010 |
Oslo, Norway |
Jul 15, 2010 |
LANMR 2010 |
SIXTH LATIN AMERICAN WORKSHOP ON NEW METHODS OF REASONING 2010 --Logic/Languages, Algorithms and New Methods of Reasoning | |
Nov 4, 2010 - Nov 5, 2010 |
Puebla, Mexico |
Jul 16, 2010 (Jun 30, 2010) |
VMCAI 2011 |
12th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 23, 2011 - Jan 25, 2011 |
Austin, TX, USA |
Aug 29, 2010 (Aug 22, 2010) |
ICST 2011 |
International Conference on Software Testing, Validation and Verification | |
Mar 21, 2011 - Mar 25, 2011 |
Berlin |
Oct 1, 2010 (Sep 25, 2010) |
MBT 2011 |
Model-Based Testing | |
Apr 2, 2011 - Apr 3, 2011 |
Saarbrücken |
Dec 6, 2010 |
|