No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
* '''VMCAI ''' International Conference on Verification, Model Checking, and Abstract Interpretation http://vmcai13.di.univr.it/Home.html | * '''VMCAI ''' International Conference on Verification, Model Checking, and Abstract Interpretation http://vmcai13.di.univr.it/Home.html | ||
* '''CAV ''' International Conference on Computer Aided Verification http://cav12.cs.illinois.edu/cfp.html | * '''CAV ''' International Conference on Computer Aided Verification http://cav12.cs.illinois.edu/cfp.html | ||
* '''TCAS ''' International Conference on Tools and Algorithms for the Construction and of Analysis Systems | * '''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 | * '''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 http://www.ftscs12.org/index.php?n=Conference.CallForPapers | ||
* '''ICST ''' International Conference on Software Testing, Verification, and Validation | * '''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 | * '''INFINITY''' International Workshop on Verification of Infinite-State Systems http://www.it.uu.se/workshop/infinity2012/ | ||
* '''DATE ''' Design Automation and Test in Europe | * '''DATE ''' Design Automation and Test in Europe http://www.date-conference.com/ | ||
* '''MoTiP ''' Workshop on Model-based Testing in Practice | * '''MoTiP ''' Workshop on Model-based Testing in Practice http://www.ourglocal.com/event/?eventid=19009 | ||
* '''ACES-MB ''' Workshop on Model Based Architecting and Construction of Embedded Systems | * '''ACES-MB ''' Workshop on Model Based Architecting and Construction of Embedded Systems http://www.artist-embedded.org/artist/Overview,2130.html | ||
* '''SIGSOFT ''' International Symposium on the Foundations of Software Engineering | * '''SIGSOFT ''' International Symposium on the Foundations of Software Engineering http://sel.ifmo.ru/esec-fse2013/ | ||
* '''ISoLA ''' International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation | * '''ISoLA ''' International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation http://www.cs.uni-potsdam.de/isola/isola2012/pdf/isola-cfp2012.pdf | ||
* '''ASE ''' International Conference on Automated Software Engineering | * '''ASE ''' International Conference on Automated Software Engineering http://ase2012.paluno.uni-due.de/calls/ | ||
* '''FASE ''' International Conference on Fundamental Approaches to Software Engineering | * '''FASE ''' International Conference on Fundamental Approaches to Software Engineering | ||
* '''PLDI ''' Conference on Programming Language Design and Implementation | * '''PLDI ''' Conference on Programming Language Design and Implementation | ||