Event | When | Where | Deadline | |
ICTAC 2016 |
13th International Colloquium on Theoretical Aspects of Computing | |
Oct 24, 2016 - Oct 31, 2016 |
Taipei, Taiwan, ROC |
May 1, 2016 (Apr 23, 2016) |
VSTTE 2016 |
Verified Software: Theories, Tools, Experiments | |
Jul 17, 2016 - Jul 18, 2016 |
Toronto, Canada |
May 2, 2016 (Apr 25, 2016) |
ISOLA 2016 |
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | |
Oct 5, 2016 - Oct 14, 2016 |
Corfu |
May 2, 2016 (Apr 25, 2016) |
|