Calls for papers and jobs related to verification algorithms

(Badly maintained, for local use)

Conferences, deadline approaching

• MBT (= Model Based Testing) DL: November 25, 2005
• ACSD (= International Conference on Application of Concurrency to System Design) DL: 1 december 2005
• TCS (= IFIP Theoretical Computer Science) DL: January 15, 2006
• FM (= Formal Methods Europe) DL: Friday, February 24, 2006

New journals, etc.

• FML (= Formal Methods Letters)

Conferences, deadline gone

• ASE (= Automated Software Engineering) DL: gone
• ATVA (= Automated Technology for Verification and Analysis) DL: May 23 (Monday) 2005
• AVoCS (= Workshop on Automated Verification of Critical Systems) DL: February 15, 2002
• CALCO (= Conference on Algebra and Coalgebra in Computer Science) DL: January 21, 2005
• CAV (= Computer Aided Verification) DL: January 15, 2002
• CHARME (= Correct Hardware Design and Verification Methods) DL: March 29, 2005
• Special Volume on "Computational Intelligence In Software Engineering" DL: April 1, 2002
• CONCUR (= Concurrency Theory) Suora linkki DL: Friday 9 April 2004
• CPA (= Communicating Process Architectures) DL: 16th May 2005
• CSL (= Computer Science Logic) DL: Titles and abstracts must be submitted by April 3, 2004 and full papers by April 10, 2004
• DISC (= International Symposium on DIStributed Computing) DL: gone
• DMTCS (= Discrete Mathematics and Theoretical Computer Science) DL: 15 January 2003
• DSV-IS (= Design, Specification and Verification of Interactive Systems) DL: gone
• ECRTS (= Euromicro Conference on Real-Time Systems) DL: December 7, 2003
• EMSOFT (= Embedded Software) DL: April 17, 2005
• Andrei Ershov Fifth International Conference PERSPECTIVES OF SYSTEM INFORMATICS DL: February 2, 2003
• ESA (= European Symposium on Algorithms) DL: April 2, 2001
• ETAPS (= European Joint Conferences on Theory and Practice of Software) DL: 8th October 2004
• EUROMICRO 2001 (Paperinen CFP minulla) DL: March 2, 2001
• EUROMICRO PDP 2001(= Euromicro Workshop on Parallel, Distributed and Network-based Processing) (Paperinen CFP minulla) DL: June 5, 2001
• EXPRESS (= Expressiveness in Concurrency) DL: 1 June 2005
• FATES (= Formal Approaches to Testing of Software) DL: July 9, 2003
• FIW (= Feature Interactions in Telecommunications and Software Systems) DL: gone
• FMICS (= Formal Methods for Industrial Critical Systems) March 24, 2003
• FMPPTA (= Formal Methods for Parallel Programming) DL: November 3, 2000
• FORTE (= Joint International Conference on Formal Techniques for Networked and Distributed System) DL: extend April 20, 2005
• FOSSACS (= Foundations of Software Science and Computation Structures) DL: October 18, 2002
• FTRTFT (= Formal Techniques in Real-Time and Fault-Tolerant Systems) DL: April 15, 2004
• INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE Special issue on Verification and Analysis of Infinite State Systems DL: November 1, 2002
• FMCAD (= Formal Methods in Computer-Aided Design) DL: April 1, 2004
• FST TCS (= Foundations of Software Technology and Theoretical Computer Science) DL: gone
• FWCW (= Finnish Wireless Communications Workshop) DL: 10th October
• HASE (= High Assurance Systems Engineering) DL: gone
• ICALP (= Automata, Languages and Programming) DL: February 8, 2004
• ICATPN (= International Conference on Theory and Application of Petri Nets) DL: November 15, 2003
• ICECCS (= ENGINEERING OF COMPLEX COMPUTER SYSTEMS) DL: January 15, 2001
• ICFEM (= International Conference on Formal Engineering Methods) DL: 15th May 2004
• ICS (= International Conference on Software Theory and Practice) DL: gone
• ICSE (= International Conference on Software Engineering) DL: gone
• ICTAC (= International Colloquium on Theoretical Aspects of Computing) DL: 25 May 2005
• IFM (= Integrated Formal Methods) DL: May 18, 2005
• IPDS (= International Performance and Dependability Symposium) DL: November 19, 2001
• LICS (= Logic in Computer Science) DL: January 26, 2004
• MASCOTS (= Modeling, Analysis, and Simulation of Computer and Telecommunication Systems) DL: 13 May 2005 - paper submission (new, extended)
• MFCS (= Mathematical Foundations of Computer Science) DL: Thursday, March 15, 2001
• MFPS (= Mathematical Foundations of Programming Semantics) DL: January 5, 2001
• NWPER (= Nordic Workshop on Programming and Software Development Environment Research) DL: gone
• NWPT (= Nordic Workshop on Programming Theory) DL: September 2
• PDMC (= PARALLEL AND DISTRIBUTED MODEL CHECKING) DL: May 29, 2004
• PDPTA + monta muuta DL: Feb. 16, 2004
• PDSE (= Software Engineering for Parallel and Distributed Systems) DL: gone
• PODC (= ACM PRINCIPLES OF DISTRIBUTED COMPUTING) DL: January 31, 2003
• QSIC (= Quality Software) DL: April 22, 2005
• RV (= Runtime Verification) DL: April 9, 2005
• SAFECOMP (= Computer Safety, Reliability and Security) DL: gone
• SEFM (= SOFTWARE ENGINEERING AND FORMAL METHODS) DL: 29 March 2004
• SNPD (= Software Engineering Applied to Networking & Parallel/ Distributed Computing) DL: gone
• SoftMC (= Software Model Checking) DL: May 19, 2005
• Software and System Modeling journal first issue DL: February 28, 2002
• SPIN (= SPIN Workshop on Model Checking of Software) DL: EXTENDED Submission Deadline:
• SPLST (= Programming Languages and Software Tools) DL: 10th April 2001
• STACS (= International Symposium on Theoretical Aspects of Computer Science) DL: September 7, 2004
• STOC (= ACM Symposium on Theory of Computing) DL: 5:59 pm EST November 12, 2001
• TACAS (= TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS) DL: October 8, 2004
• TACS (= Theoretical Aspects of Computer Science) DL: April 1, 2001
• TESTCOM (= International Conference on Testing of Communicating Systems) DL: October 25th, 2002
• VEPAS (= Verification of Parameterized Systems) DL: April 4, 2001
• VLFM (= Visual Languages and Formal Methods) DL: March 25, 2001: NEW Submission Deadline
• VMCAI (= International Conference on Verification, Model Checking and Abstract Interpretation) DL: September 6, 2004
• WCC (= IFIP World Computer Congress) DL: Many, from 1 October 2003 to 16 February 2004 Abstracts December 6, 2003 Full versions December 14, 2003
• WODES (= Workshop on Discrete Event Systems) DL: 22 January, 2002

Examples of internationally announced verification-related jobs

• Motorola, USA 2001
• Intel, USA 2000
• Nokia, Helsinki 2000
• INRIA, France 2000
• Software Verification Research Centre, Univ. Queensland, Australia 2000
• Univ Southampton, UK 2000 (Although this has no immediate industry partner, I put this in the list because of the role of stubborn set / partial order methods.)
• Intel, USA 1999
• Nokia, Helsinki 1999
• Optigrab, USA (advanced algorithmics) 1999
• Verimag, France 1999
• Oslo University and IFE, Halden 1998
• Synopsys, USA 1998
• IBM Haifa Research Laboratory 1997