Jens Bendisposto:Conferences: Difference between revisions

Revision as of 10:11, 13 September 2012

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
TCAS International Conference on Tools and Algorithms for the Construction and of Analysis Systems
FMCAD International Conference on Formal Methods in Computer-Aided Design
FTSCS International Workshop on Formal Techniques for Safety-Critical Systems
ICST International Conference on Software Testing, Verification, and Validation
INFINITY International Workshop on Verification of Infinite-State Systems
DATE Design Automation and Test in Europe
MoTiP Workshop on Model-based Testing in Practice
ACES-MB Workshop on Model Based Architecting and Construction of Embedded Systems
SIGSOFT International Symposium on the Foundations of Software Engineering
ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation
ASE International Conference on Automated Software Engineering
FASE International Conference on Fundamental Approaches to Software Engineering
PLDI Conference on Programming Language Design and Implementation
ICSE International Conference on Software Engineering
SAS Static Analysis Symposium
FM International Symposium on Formal Methods
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
AVOCS International Workshop on Automated Verification of Critical Systems
PDMC International Workshop on Parallel and Distributed Methods in Verification
BMC International Workshop on Bounded Model Checking
MoChArt Model Checking and Artificial Intelligence
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
ICFEM International Conference on Formal Engineering Methods
DSN International Conference on Dependable Systems and Networks
MBT Model Based Testing, Satellite workshop of ETAPS European joint conference on Theory And Practice of Software
SoftMC Workshop on Software Model Checking

@@ Line 1: / Line 1: @@
-* '''VMCAI 	 '''   International Conference on Verification, Model Checking, and Abstract Interpretation
+* '''VMCAI 	 '''   International Conference on Verification, Model Checking, and Abstract Interpretation http://vmcai13.di.univr.it/Home.html
-* '''CAV	 '''   International Conference on Computer Aided Verification
+* '''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
 * '''FMCAD	 '''   International Conference on Formal Methods in Computer-Aided Design