Jens Bendisposto:Conferences: Difference between revisions

No edit summary
(Update FTSCS link)
 
(4 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 http://www.ftscs12.org/index.php?n=Conference.CallForPapers
* '''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 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 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

Latest revision as of 15:22, 3 February 2021