No edit summary |
No edit summary |
||
| Line 24: | Line 24: | ||
* '''MoChArt ''' Model Checking and Artificial Intelligence http://www.aaai.org/Workshops/ws13.php | * '''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 http://www.comp.nus.edu.sg/~pat/MoCSeRS2010/submission.html | ||
* '''ICFEM ''' International Conference on Formal Engineering Methods | * '''ICFEM ''' International Conference on Formal Engineering Methods http://www.jaist.ac.jp/icfem2012/callforpapers/index.html | ||
* '''DSN ''' International Conference on Dependable Systems and Networks | * '''DSN ''' International Conference on Dependable Systems and Networks http://2013.dsn.org/call-for-contributions/ | ||
* '''MBT ''' Model Based Testing, Satellite workshop of ETAPS European joint conference on Theory And Practice of Software | * '''MBT ''' Model Based Testing, Satellite workshop of ETAPS European joint conference on Theory And Practice of Software http://mbt-workshop.org/ | ||
* '''SoftMC ''' Workshop on Software Model Checking | * '''SoftMC ''' Workshop on Software Model Checking | ||