Jens Bendisposto:Conferences: Difference between revisions

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

Revision as of 13:32, 13 September 2012