| Event | When | Where | Deadline | |
| PACT 2012 |
The 21st International Conference on Parallel Architectures and Compilation Techniques | |
| Sep 21, 2012 - Sep 25, 2012 |
Minneapolis / USA |
Mar 23, 2012 (Mar 16, 2012) |
| SEDE 2012 |
International Conference on Software Engineering and Data Engineering | |
| Jun 27, 2012 - Jun 29, 2012 |
Los Angeles |
Mar 23, 2012 |
| SAS 2012 |
The 19th International Static Analysis Symposium | |
| Sep 11, 2012 - Sep 13, 2012 |
Deauville, France |
Mar 23, 2012 (Mar 16, 2012) |
| AROSA 2012 |
2nd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures | |
| Jun 25, 2012 - Jun 27, 2012 |
Toulouse, France |
Mar 26, 2012 |
| SLATE 2012 |
Symposium on Languages, Applications and Technologies | |
| Jun 21, 2012 - Jun 22, 2012 |
Braga, Portugal |
Mar 28, 2012 |
| ARES 2012 |
7th International Conference on Availability, Reliability and Security | |
| Aug 20, 2012 - Aug 24, 2012 |
Prague |
Mar 28, 2012 |
| FMSAS 2012 |
First International Workshop on Formal Methods for Self-Adaptive Systems | |
| Jun 27, 2012 - Jun 29, 2012 |
Montreal, QC, Canada |
Mar 28, 2012 |
| SPIN 2012 |
19th International Workshop on Model Checking Software - SPIN 2012 | |
| Jul 23, 2012 - Jul 24, 2012 |
Oxford |
Mar 30, 2012 (Mar 26, 2012) |
| FDL 2012 |
Forum on Specification & Design Languages | |
| Sep 18, 2012 - Sep 20, 2012 |
Vienna, Austria |
Apr 2, 2012 |
| SNPD 2012 |
13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | |
| Aug 8, 2012 - Aug 10, 2012 |
Kyoto, Japan |
Apr 2, 2012 |
| FMICS 2012 |
17th International Workshop on Formal Methods for Industrial Critical Systems | |
| Aug 27, 2012 - Aug 28, 2012 |
Paris, France |
Apr 4, 2012 (Mar 28, 2012) |
| CASES 2012 |
International Conference on Compilers, Architectures, and Synthesis of Embedded Systems | |
| Oct 7, 2012 - Oct 12, 2012 |
Tampere, Finland |
Apr 4, 2012 (Mar 28, 2012) |
| SPLASH 2012 |
Conference on Systems, Programming, Languages and Applications: Software for Humanity | |
| Oct 19, 2012 - Oct 26, 2012 |
Portland, OR, USA |
Apr 13, 2012 |
| EECS - 2012 |
2012 International Conference on Electrical Engineering and Computer Science (ISTP/EI) | |
| Aug 17, 2012 - Aug 20, 2012 |
Shanghai |
Apr 15, 2012 |
| ICCCIT 2012 |
International Conference on Computing, Communication and Information Technology | |
| Jun 27, 2012 - Jun 29, 2012 |
Chennai |
Apr 15, 2012 |
| ICCAD 2012 |
IEEE/ACM International Conference on Computer-Aided Design | |
| Nov 5, 2012 - Nov 9, 2012 |
San Jose, USA |
Apr 16, 2012 |
| DYLA 2012 |
6th Workshop on Dynamic Languages and Applications | |
| Jun 12, 2012 - Jun 12, 2012 |
Beijing, China |
Apr 17, 2012 |
| SEFM 2012 |
10th International Conference on Software Engineering and Formal Methods | |
| Oct 1, 2012 - Oct 5, 2012 |
Thessaloniki, Greece |
Apr 19, 2012 (Apr 4, 2012) |
| ICAIT 2012 |
2012 International Conference on Advancements in Information Technology (ICAIT 2012) | |
| Jun 2, 2012 - Jun 3, 2012 |
Hongkong |
Apr 20, 2012 |
| QSIC 2012 |
12th International Conference on Quality Software | |
| Aug 27, 2012 - Aug 28, 2012 |
Xi'an, China |
Apr 23, 2012 |
|
