| Event | When | Where | Deadline | |
| IJCAR 2014 |
International Joint Conference on Automated Reasoning (IJCAR) | |
| Jul 19, 2014 - Jul 22, 2014 |
Vienna, Austria |
Jan 22, 2014 (Jan 15, 2014) |
| SETTA 2014 |
Symposium on Dependable Software Engineering: Theories, Tools and Applications | |
| Aug 14, 2014 - Aug 17, 2014 |
Nanjing, China |
Mar 1, 2014 (Feb 22, 2014) |
| GPCE 2014 |
Generative Programming: Concepts and Experiences | |
| Sep 15, 2014 - Sep 16, 2014 |
Vasteras, Sweden |
May 30, 2014 |
|
