Conferences and Journals for Formal Verification Research

CONFERENCES:
Verification, Model Checking, and Abstract Interpretation (VMCAI)

January 20-22, 2013, Rome, Italy

Abstract Submission deadline: August 17, 2012.
Paper submission deadline: August 24, 2012.
Notification of acceptance: October 6, 2012.

Tool and Algorithms for Construction and Analysis of Systems (TACAS)

March 16-24, 2013, Rome, Italy

Abstract Submission deadline: October 7, 2012.
Paper submission deadline: October 14, 2012.
Notification of acceptance: December 14, 2012.

Mobel based Testing (MBT) - updated except for date and location

Date, Location - can't find

Paper submission deadline: January 3, 2013.
Notification of acceptance: January 24, 2013.
Final versions: February 8, 2013.

Fundamental Approaches to Software Engineering (FASE)

March 16-24, 2013, Rome, Italy

Abstract Submission deadline: October 7, 2012.
Paper submission deadline: October 14, 2012.
Notification of acceptance: December 14, 2012.

Advances in Model Based Testing (A-MOST)

March 22, 2013, Luxembourg, Luxembourg

Paper submission deadline: January 11 , 2013. (extended)
Author notification: February 11, 2013.

IEEE International Conference on Software Testing, Verification and Validation (ICST)

March 18-22, 2013, Luxembourg, Luxembourg

Paper submission deadline: September 17, 2012.
Author notification: December 14, 2012.
Final Version deadline : January 9, 2013.

Asia-Pacific Software Engineering Conference (APSEC) - not yet

2-4 October 2012, Surabaya, Indonesia

Abstract submission deadline: January 2, 2012.
Paper submission deadline: March 30, 2012.
Notification of acceptance: May 4, 2012.

NASA Formal Methods Symposium (NFM)

May 14-16, 2013, Moffett Field, CA, USA

Paper submission deadline: December 16, 2012.
Author notification: February 15, 2013.
Final version due: March 15, 2013.

International Conference on Software Engineering (ICSE)

May 18-26, 2013, San Francisco, CA, USA

Technical papers submission deadline: August 17, 2012.
Industrial papers submission deadline: November 2, 2012.
New ideas and emerging results papers submission deadline: November 2, 2012.
Workshop papers submission deadline: February 7, 2013.

Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD) - not yet

July 16, 2012, Minneapolis, MN, USA

Paper submission deadline: April 27, 2012.
Author notification: May 11, 2012.
Final versions due from authors: May 18, 2012.

International Symposium of Software Testing and Analysis (ISSTA)

July 15-20, 2013, Lugano, Switzerland

Workshop proposal submission deadline: November 16, 2012.
Workshop notification: : December 14, 2012.
Technical paper submission deadline: February 25, 2013.
Author notification: May 6, 2013.

Computer Aided Verification (CAV)

July 13-19, 2013, Saint Petersburg, Russia

Abstract submission deadline: January 10, 2013.
Paper submission deadline: January 15, 2013.
Author feedback/rebuttal period: February 20-22, 2013.
Author notification: : March 6, 2013.

IEEE International Computer Software and Applications Conference (COMPSAC)

July 22-26, 2013, Kyoto, Japan

Abstract deadline: January 20, 2013.
Paper submission deadline: February 3, 2013.
Author notification: April 5, 2013.

Workshop on INvariant Generation (WING) - not yet

July 30, 2012, Manchester, UK

Submission deadline: April 6, 2012
Notification of acceptance: May 4, 2012
Final version due: June 8, 2012

IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - not yet

July 16-18, 2012, Arlington, USA

Abstract submission deadline: March 2, 2012.
Paper submission deadline: March 9, 2012.
Author notification: May 4, 2012
Final version for papers: May 18, 2012.

Automated Verification of Critical Systems (AVoCS)

September 11-13, 2013, Guildford, Surrey, UK

Abstract submission daedline(full papers): May 31, 2013. Paper submission deadline(full papers): June 7, 2013.: Author notification(full papers): July 12, 2013.
Paper submission deadline(short papers): July 19, 2013.: Author notification(short papers): July 12, 2013.; Submission of final versions: August 5, 2013.

Formal Methods for Industrial Critical Systems (FMICS) - not yet

August 27-28, 2012, Paris, France

Abstraction submission deadline: March 28, 2012.
Paper submission deadline: April 4, 2012.
Author Notification: May 18, 2012.
Final Version due: June 8, 2012.

Automated Software Engineering (ASE)

November 11-15, 2013, Palo Alto, California

Abstract Submission Deadline: May 10, 2013.
Paper Submission Deadline: May 17, 2013.
Author Notification: July 24, 2013.

IEEE Software Enginnering and Formal Methods (SEFM)

September 25-27, 2013, Madrid, Spain

Abstract Submission deadline: March 25, 2013.
Paper submission deadline: April 1, 2013.
Notification of acceptance: June 3, 2013.

Automated Technology for Verification and Analysis (ATVA)

October 15-18, 2013, Hanoi, Vietnam

Paper submission deadline: April 6, 2013.
Notification of acceptance: June 3, 2013.

SPIN Workshop

July 8-9, 2013, Stony Brook, NY, USA

Abstract Submission deadline: March 4, 2013.
Paper Submission deadline: March 8, 2013.
Notification of acceptance: April 15, 2013.

Haifa Verification Conference (HVC) - not yet

TBD, 2012, IBM R&D Labs in Israel

Paper submission deadline: TBD.
Author notification: TBD.
Students event submission deadline: TBD.
Students event notification: TBD.

Runtime Verification (RV)

September 24-27, 2013, INRIA Rennes, France

Abstract Submission deadline: April 28, 2013.
Paper submission deadline: May 5, 2013.
Author notification: June 17, 2013.
Final version due: July 15, 2013.