Event | When | Where | Deadline | |
TAROT 2016 |
12th TAROT Summer School 2016 on Software Testing, Verification and Validation | |
Jul 4, 2016 - Jul 8, 2016 |
Paris |
TBD |
ICTSS (Formely Testcom/Fates) 2011 |
The 23th IFIP International Conference on Testing Software and Systems | |
Nov 7, 2011 - Nov 10, 2011 |
Paris |
May 22, 2011 (May 15, 2011) |
DS-FM 2018 |
Formal Methods - Doctoral Symposium | |
Jul 14, 2018 - Jul 14, 2018 |
Oxford |
Apr 29, 2018 |
|