| Event | When | Where | Deadline | |
| ICSE 2012 |
34th International Conference on Software Engineering | |
| Jun 2, 2012 - Jun 9, 2012 |
Zurich, Switzerland |
Sep 29, 2011 |
| ICAPS 2012 |
22nd International Conference on Automated Planning and Scheduling | |
| Jun 24, 2012 - Jun 28, 2012 |
Atibaia, Sao Paulo, Brazil |
Dec 16, 2011 (Dec 9, 2011) |
| ZEUS 2012 |
4th Central-European Workshop on Services and their Composition (ZEUS) | |
| Feb 23, 2012 - Feb 24, 2012 |
Bamberg, Germany |
Jan 27, 2012 |
| QEST 2012 |
9th International Conference on Quantitative Evaluation of SysTems | |
| Sep 17, 2012 - Sep 20, 2012 |
London, UK, Imperial College |
Mar 5, 2012 (Feb 27, 2012) |
| FM 2012 |
18th International Symposium on Formal Methods | |
| Aug 27, 2012 - Aug 31, 2012 |
Paris, France |
Mar 5, 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) |
| CONCUR 2012 |
23rd International Conference on Concurrency Theory | |
| Sep 3, 2012 - Sep 8, 2012 |
Newcastle upon Tyne, UK |
Apr 11, 2012 (Apr 4, 2012) |
| ESOCC 2012 |
European Conference on Service-Oriented and Cloud Computing | |
| Sep 19, 2012 - Sep 21, 2012 |
Bertinoro, Italy |
Apr 13, 2012 (Apr 9, 2012) |
| FORMATS 2012 |
10th International Conference on Formal Modeling and Analysis of Timed Systems | |
| Sep 18, 2012 - Sep 20, 2012 |
London |
May 11, 2012 (May 7, 2012) |
| INFINITY 2012 |
14th International Workshop on Verification of Infinite-State Systems | |
| Aug 27, 2012 - Aug 27, 2012 |
Paris |
May 15, 2012 |
| ICSOC 2012 |
10th International Conference on Service Oriented Computing | |
| Nov 12, 2012 - Nov 16, 2012 |
Shanghai, China |
May 20, 2012 (May 13, 2012) |
| GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
| JELIA 2012 |
13th European Conference on Logics in Artificial Intelligence | |
| Sep 26, 2012 - Sep 28, 2012 |
Toulouse, France |
May 23, 2012 (May 18, 2012) |
| FACS 2012 |
9th International Symposium on Formal Aspects of Component Software | |
| Sep 12, 2012 - Sep 14, 2012 |
Mountain View, USA |
Jun 15, 2012 (Jun 8, 2012) |
| AUS-AI 2012 |
The 25th Australasian Joint Conference on Artificial Intelligence | |
| Dec 4, 2012 - Dec 7, 2012 |
Sydney,Australia |
Jul 13, 2012 |
| ICSE 2013 |
International Conference on Software Engineering | |
| May 18, 2013 - May 26, 2013 |
San Francisco, USA |
Aug 17, 2012 |
| SEA 2012 |
Software Engineering and Applications | |
| Nov 12, 2012 - Nov 14, 2012 |
Las Vegas, USA |
Sep 7, 2012 |
|
