| Event | When | Where | Deadline | |
| FTSCS 2012 |
First International Workshop on Formal Techniques for Safety-Critical Systems | |
| Nov 12, 2012 - Nov 12, 2012 |
Kyoto |
Sep 8, 2012 |
| PLDI 2013 |
34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation | |
| Jun 16, 2013 - Jun 21, 2013 |
Seattle, Washington, USA |
Nov 11, 2012 |
| FESCA 2013 |
10th International Workshop on Formal Engineering approaches to Software Components and Architectures | |
| Mar 23, 2013 - Mar 23, 2013 |
Rome, Italy |
Dec 12, 2012 (Dec 5, 2012) |
| CAV 2013 |
25th International Conference on Computer Aided Verification | |
| Jul 13, 2013 - Jul 19, 2013 |
St. Petersburg, Russia |
Jan 7, 2013 (Jan 3, 2013) |
| ISSTA 2013 |
International Symposium on Software Testing and Analysis | |
| Jul 15, 2013 - Jul 20, 2013 |
Lugano, Switzerland |
Jan 25, 2013 |
| SAS 2013 |
Static Analysis Symposium | |
| Jun 20, 2013 - Jun 22, 2013 |
Seattle, Washington |
Feb 3, 2013 (Jan 27, 2013) |
| LCTES 2013 |
Languages, Compilers and Tools for Embedded Systems | |
| Jun 16, 2013 - Jun 23, 2013 |
Seattle, WA |
Feb 8, 2013 |
| ISMM 2013 |
International Symposium on Memory Management | |
| Jun 20, 2013 - Jun 21, 2013 |
Seattle, WA |
Feb 10, 2013 |
| ICALP 2013 |
40th International Colloquium on Automata, Languages and Programming | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| SIES 2013 |
8th IEEE International Symposium on Industrial Embedded Systems | |
| Jun 19, 2013 - Jun 21, 2013 |
Porto, Portugal |
Mar 8, 2013 |
| M-SCOPES 2013 |
Software and Compilers for Embedded Systems | |
| Jun 19, 2013 - Jun 21, 2013 |
St Goar, Germany |
Mar 17, 2013 |
| IJMSO - OPSPL 2013 |
Int. J. of Metadata, Semantics and Ontologies - Special Issue on: Ontology Paradigms in Software Programming Languages | |
| N/A |
N/A |
Mar 31, 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) |
| ATVA 2013 |
International Symposium on Automated Technology for Verification and Analysis | |
| Oct 15, 2013 - Oct 18, 2013 |
Hanoi, Vietnam |
Apr 6, 2013 |
| FORMATS 2013 |
11th International Conference on Formal Modeling and Analysis of Timed Systems | |
| Aug 29, 2013 - Aug 31, 2013 |
Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 2013) |
| ICLP 2013 |
29th International Conference on Logic Programming | |
| Aug 24, 2013 - Aug 29, 2013 |
Istanbul, Turkey |
Apr 10, 2013 (Apr 3, 2013) |
| EMSOFT 2013 |
Embedded Software | |
| Sep 29, 2013 - Oct 4, 2013 |
Montreal, Canada |
Apr 12, 2013 (Apr 5, 2013) |
| ESWeek 2013 |
Embedded Systems Week | |
| Sep 29, 2013 - Oct 4, 2013 |
Montreal, Canada |
Apr 12, 2013 (Apr 5, 2013) |
| ICFEM 2013 |
International Conference on Formal Engineering Methods | |
| Oct 29, 2013 - Nov 1, 2013 |
Queenstown, New Zealand |
Apr 22, 2013 (Apr 15, 2013) |
| CP 2013 |
Nineteenth International Conference on Principles and Practice of Constraint Programming | |
| Sep 16, 2013 - Sep 20, 2013 |
Uppsala, Sweden |
Apr 22, 2013 (Apr 17, 2013) |
|
