| Event | When | Where | Deadline | | | Expired CFPs |
| DIFTS 2014 |
DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS | |
| Oct 20, 2014 - Oct 20, 2014 |
Lausanne, Switzerland |
Aug 10, 2014 (Aug 4, 2014) |
| DIFTS 2013 |
DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS | |
| Oct 19, 2013 - Oct 19, 2013 |
Portland, OR, USA |
Jul 24, 2013 |
|
