No edit summary |
(Update FTSCS link) |
||
| (5 intermediate revisions 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 14: | Line 14: | ||
* '''FASE ''' International Conference on Fundamental Approaches to Software Engineering http://www.etaps.org/2012/fase http://www.etaps.org/2012/call-for-papers | * '''FASE ''' International Conference on Fundamental Approaches to Software Engineering http://www.etaps.org/2012/fase http://www.etaps.org/2012/call-for-papers | ||
* '''PLDI ''' Conference on Programming Language Design and Implementation http://pldi12.cs.purdue.edu/content/calls-征稿启事 | * '''PLDI ''' Conference on Programming Language Design and Implementation http://pldi12.cs.purdue.edu/content/calls-征稿启事 | ||
* '''ICSE ''' International Conference on Software Engineering | * '''ICSE ''' International Conference on Software Engineering http://2013.icse-conferences.org/submissions | ||
* '''SAS ''' Static Analysis Symposium | * '''SAS ''' Static Analysis Symposium http://www.sas2012.ens.fr/#submission | ||
* '''FM ''' International Symposium on Formal Methods | * '''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 http://www.pdmc.cz/PDMC12/ | ||
* '''BMC ''' International Workshop on Bounded Model Checking | * '''BMC ''' International Workshop on Bounded Model Checking http://www.illc.uva.nl/LogicList/newsitem.php?id=1835 | ||
* '''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 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 http://www.cav2005.inf.ed.ac.uk/2005_call_for_papers.html | ||