|
Conferences
| |
|
♦ |
|
25th Conf. on Computer Aided Verification (CAV) |
| |
St. Petersburg, Russia, July 13-19, 2013
•
to the conference website
|
| |
|
♦ |
|
24th Conf. on Computer Aided Verification (CAV) |
| |
U. California, Berkeley, California, USA, July 7-13, 2012
•
to the conference website
|
| |
|
♦ |
|
12th Conf. on Formal Methods in Computer-Aided Design (FMCAD) |
| |
Microsoft Research, Cambridge, UK, October 22-25, 2012
•
to the conference website
|
| |
|
♦ |
|
6th Itnl Joint Conf. on Automated Reasoning (IJCAR) |
| |
University of Manchester, UK, June 26-July 1, 2012
•
to the conference website
|
| |
|
♦ |
|
23rd Intl. Conf. on Automated Deduction (CADE) |
| |
Warsaw, Poland, August 2-5, 2011
•
to the conference website
|
|
|
|
|