No edit summary |
(Update FTSCS link) |
||
(One intermediate revision by one other user not shown) | |||
Line 3: | Line 3: | ||
* '''TCAS ''' International Conference on Tools and Algorithms for the Construction and of Analysis Systems http://www.etaps.org/2012/tacas http://www.etaps.org/2012/call-for-papers | * '''TCAS ''' International Conference on Tools and Algorithms for the Construction and of Analysis Systems http://www.etaps.org/2012/tacas http://www.etaps.org/2012/call-for-papers | ||
* '''FMCAD ''' International Conference on Formal Methods in Computer-Aided Design http://www.cs.utexas.edu/users/hunt/FMCAD/ | * '''FMCAD ''' International Conference on Formal Methods in Computer-Aided Design http://www.cs.utexas.edu/users/hunt/FMCAD/ | ||
* '''FTSCS ''' International Workshop on Formal Techniques for Safety-Critical Systems | * '''FTSCS ''' International Workshop on Formal Techniques for Safety-Critical Systems https://old.ftscs.org/2012/Conference.CallForPapers.html | ||
* '''ICST ''' International Conference on Software Testing, Verification, and Validation http://www.icst.lu/site/icst2013/call-for-papers | * '''ICST ''' International Conference on Software Testing, Verification, and Validation http://www.icst.lu/site/icst2013/call-for-papers | ||
* '''INFINITY''' International Workshop on Verification of Infinite-State Systems http://www.it.uu.se/workshop/infinity2012/ | * '''INFINITY''' International Workshop on Verification of Infinite-State Systems http://www.it.uu.se/workshop/infinity2012/ | ||
Line 28: | Line 28: | ||
* '''DSN ''' International Conference on Dependable Systems and Networks http://2013.dsn.org/call-for-contributions/ | * '''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 http://mbt-workshop.org/ | * '''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 http://www.cav2005.inf.ed.ac.uk/2005_call_for_papers.html |