Personal tools
You are here: Home Link

Conferences and Journals for Formal Verification Research

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.

April 5-13, 2014, Grenoble, France

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

April 6, 2014, Grenoble, France

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

April 5-13, 2014, Grenoble, France

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

April 4, 2014, Cleveland, Ohio, USA

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

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.

2-4 October 2012, Surabaya, Indonesia

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

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.

May 31 - June 7, 2014, Hyderabad, India

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

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.

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.

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.

July 21-25, 2014, Vasteras, Sweden

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

July 23, 2014, Vienna, Austria

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

    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.

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

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

    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.

    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.

    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.

    November 3-7, 2014, Sydney, Austria

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

    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.

    TBD, 2012, IBM R&D Labs in Israel

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

    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.

    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.

    Document Actions

    Comments (0)