No edit summary |
No edit summary |
||
| Line 18: | Line 18: | ||
* '''FM ''' International Symposium on Formal Methods http://www.fmeurope.org/?p=443 | * '''FM ''' International Symposium on Formal Methods http://www.fmeurope.org/?p=443 | ||
* '''SPIN ''' International SPIN Workshop on Model Checking of Software http://qav.cs.ox.ac.uk/spin2012/ | * '''SPIN ''' International SPIN Workshop on Model Checking of Software http://qav.cs.ox.ac.uk/spin2012/ | ||
* '''ATVA ''' International Symposium on Automated Technology for Verification and Analysis | * '''ATVA ''' International Symposium on Automated Technology for Verification and Analysis http://www.iarcs.org.in/atva2012/ | ||
* '''AVOCS ''' International Workshop on Automated Verification of Critical Systems | * '''AVOCS ''' International Workshop on Automated Verification of Critical Systems http://www.swt-bamberg.de/AVoCS2012/callforpapers.php | ||
* '''PDMC ''' International Workshop on Parallel and Distributed Methods in Verification | * '''PDMC ''' International Workshop on Parallel and Distributed Methods in Verification | ||
* '''BMC ''' International Workshop on Bounded Model Checking | * '''BMC ''' International Workshop on Bounded Model Checking | ||
* '''MoChArt ''' Model Checking and Artificial Intelligence | * '''MoChArt ''' Model Checking and Artificial Intelligence http://www.aaai.org/Workshops/ws13.php | ||
* '''SBFM ''' Workshop on Systems Biology and Formal Methods http://cs.nyu.edu/~pcousot/SBFM2012/index.html | * '''SBFM ''' Workshop on Systems Biology and Formal Methods http://cs.nyu.edu/~pcousot/SBFM2012/index.html | ||
* '''MoCSeRS ''' Workshop on model checking secure and reliable systems | * '''MoCSeRS ''' Workshop on model checking secure and reliable systems | ||