Conferences and Journals for Formal Verification Research

• CONFERENCES:

• Verification, Model Checking, and Abstract Interpretation (VMCAI)

January 19-21, 2014, San Diego, USA

Abstract Submission deadline: September 11, 2013. 
Paper submission deadline: September 18, 2013.
Notification of acceptance: October 25, 2013.

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

April 5-13, 2014, Grenoble, France

Abstract Submission deadline: October 4, 2013.  
Paper submission deadline: October 11, 2013.  
Notification of acceptance: December 20, 2013.

• Mobel based Testing (MBT)

April 6, 2014, Grenoble, France

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

• Fundamental Approaches to Software Engineering (FASE)

April 5-13, 2014, Grenoble, France

Abstract Submission deadline: October 4, 2013.  
Paper submission deadline: October 11, 2013.  
Notification of acceptance: December 20, 2013.

• Advances in Model Based Testing (A-MOST)

April 4, 2014, Cleveland, Ohio, USA

Paper submission deadline: January 20 , 2014.
Author notification: February 10, 2014.

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

March 31- April 4, 2014, Cleveland, Ohio, USA

Paper submission deadline: September 23, 2013.
Author notification: December 22, 2013. 
Final Version deadline : October 7, 2013.

• Asia-Pacific Software Engineering Conference (APSEC)-Can't find it(02.02.14)

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)

April 29 - May 1, 2014, Houston, Texas, USA

Paper submission deadline: November 14, 2013.
Author notification: January 14, 2014.
Final version due: November 21, 2013.

• International Conference on Software Engineering (ICSE)

May 31 - June 7, 2014, Hyderabad, India

Paper submission deadline: September 13, 2013.
Author notification: January 17, 2014.
Final version due: February 28, 2014.

• Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD)-Can't find it(02.02.14)

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 21-25, 2014, Hilton San Jose, Bay Area, CA, USA

Workshop proposal dealine : December 31, 2013.
Workshop notification : January 15, 2014.
Paper submission deadline: January 24, 2014.
Author notification: April 1, 2014.

• Computer Aided Verification (CAV)

July 18-22, 2014, Vienna, Austria

Abstract submission deadline: January 31, 2014. 
Paper submission deadline: February 7, 2014.  
Author feedback/rebuttal period: March 20-23, 2014.
Author notification: : April 18, 2014.

• IEEE International Computer Software and Applications Conference (COMPSAC)

July 21-25, 2014, Vasteras, Sweden

Abstract deadline: January 13, 2014.
Paper submission deadline: January 31, 2014.
Author notification: March 31, 2014.

• Workshop on INvariant Generation (WING)

July 23, 2014, Vienna, Austria

Submission deadline: April 15, 2014.
Notification of acceptance: May 8, 2014.
Final version due: May 22, 2014.

• IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)

October 19-21, 2014, Lausanne, Switzerland

Abstract submission deadline: July 10, 2014.
Paper submission deadline: July 17, 2014.
Author notification: August 14, 2014. 
Final version for papers: September 4, 2014.

• Automated Verification of Critical Systems (AVoCS)

(Date weren't announced), University of Twente, Netherland

Paper submission deadline: May 31, 2014.
Author notification: September 30, 2014.

• Formal Methods for Industrial Critical Systems (FMICS)

September 8-12, 2014, Florence, Italy

Abstraction submission deadline: April 4, 2014.
Paper submission deadline: April 11, 2014.
Author Notification: June 9, 2014.
Final Version due: June 27, 2014.

• Automated Software Engineering (ASE)

September 15-19, 2014, Vasteras, Sweden

Abstract Submission Deadline: April 18, 2014.
Paper Submission Deadline: April 25, 2014.
Author Notification: June 30, 2014.
Final Version due : July 27, 2014.

• IEEE Software Enginnering and Formal Methods (SEFM)

September 1-5, 2014, Grenoble, France

Abstract Submission Deadline: March 14, 2014.
Paper Submission Deadline: March 21, 2014.
Author Notification: May 19, 2014.
Final Version due : June 13, 2014.

• Automated Technology for Verification and Analysis (ATVA)

November 3-7, 2014, Sydney, Austria

Paper submission deadline: April 15, 2014.
Notification of acceptance: June 30, 2014.

• SPIN Workshop

July 21-23, 2014, Hilton San Jose, Bay Area, Califonia, USA

Abstract Submission deadline: March 7, 2014.
Paper Submission deadline: March 14, 2014.
Notification of acceptance: April 30, 2014.

• Haifa Verification Conference (HVC)-Can't find it(02.02.14)

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 22-25, 2014, Toronto, Canada

Abstract Submission deadline: April 8, 2014.
Paper submission deadline: April 15, 2014.
Author notification: June 10, 2014. 
Final version due: June 25, 2014.

• Foundations of Software Engineering (FSE)

November 16-22, 2014, Hong Kong

(Research Track)
Paper submission deadline: March 16, 2014.
Notification of acceptance: June 16, 2014.

Journals:

Formal Methods in System Design (FMSD)

IEEE Transaction on Software Engineering (TSE)

Software Testing Verification and Reliability (STVR)

Formal Aspect of Computing (FAC)

International Journal on Software Tools for Technology Transfer (STTT)

Schools:

Mailing List:

Announcements concerning Provably Correct Systems(ProCoS)

Formal Aspects of Computing Science(FACS)(website)

Forum On Risks To The Public In Computers And Related Systems (RISK)

SE World

Useful Tools:

 Academic partner of Esterel EDA Technologies provider of ESL synthesis for control-intensive IP design and verification, including SystemC, VHDL, and Verilog code generation

 Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.