Event | When | Where | Deadline | |
CAV 2013 |
25th International Conference on Computer Aided Verification | |
Jul 13, 2013 - Jul 19, 2013 |
St. Petersburg, Russia |
Jan 7, 2013 (Jan 3, 2013) |
ATVA 2013 |
International Symposium on Automated Technology for Verification and Analysis | |
Oct 15, 2013 - Oct 18, 2013 |
Hanoi, Vietnam |
Apr 6, 2013 |
CONCUR 2013 |
International Conference on Concurrency Theory | |
Aug 27, 2013 - Aug 30, 2013 |
University of Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 2013) |
|