13th International Conference on Evaluation of Novel Approaches to Software Engineering

For CFP Click Here
IMPORTANT DATES: 
Regular Paper Submission: October 18, 2017 
Authors Notification (regular papers): December 19, 2017 
Final Regular Paper Submission and Registration: January 4, 2018 

20th Brazilizn Symposium on Formal Methods

Nov 27, 2017 - Dec 1, 2017 ,Recife, Pernambuco, Brazil

For CFP Click Here

IMPORTANT DATES

• Abstract Submission Deadline: 7th of July, 2017
• Paper Submission Deadline: 14th of July, 2017
• Paper Acceptance Notification: 1st of September, 2017
• Paper Camera-ready Version: 8th of September, 2017

Third International Workshop on Coq for Programming Languages(CoqPL 2017)

January 21,2017.

Paris,France

For CFP Click Here

Important Dates

Submission deadline: October 14,2016.

Notification Due:November 04, 2016.

26th European Symposium on Programming (ESOP 2017)

Uppsala, Sweden

April 22-29, 2017

 For CFP Click Here

Important Date

Abstracts due : October 14,2016

Papers due : October 21, 2016

Rebuttal : December 7-9, 2016

Author notification : December 22,2016

Camera-ready versions : January 20, 2017