Forthcoming Conferences Related to Software Theory and Formal Methods

Conference
Place
Conference Date
Submission Deadline / Notification Dates
Submission Format
ETAPS 2019
Prague, Czech Republic
April 6-11
November 9 / January 25
 
DisCoTec 2019
Lyngby, Denmark
June 18 -21
February 1 / April 12
 
         
         

 

Past Conferences Related to Software Theory and Formal Methods

Conference
Place
Conference Date
Submission Deadline / Notification Dates
Submission Format
CAV 2017
Heidelberg, Germany
July 22 - 28
January 24 / April 13
LNCS 16 pages
PODC 2017
Washington, D. C., USA
July 25 - 27
February 9 / April 26
10 pages, format provided on the website
TAP 2017
Marburg, Germany
July 17 - 21
February 17 / April 7
LNCS 16 pages (excluding references)
DisCoTec 2017
Neuchâtel, Switzerland
June 19 - 21
February 24 (extended)/ April 10
LNCS 16 + 2 pages (Coordination); 15 pages (FORTE)
ESEC/FSE 2017
Paderborn, Germany
September 4 - 8
February 27 / June 2
ACM 10 + 2 pages
SEKE 2017
Pittsburgh, USA
July 5 - 7
March 10 (extended) / April 20
SEKE 6 pages
SEFM 2017
Trento, Italy
September 6 - 10
March 24 / May 29
LNCS 15 pages
QEST 2017
Berlin, Germany
September 5 - 7
March 24 / May 29
LNCS 16 pages
TASE 2017
Sophia Antipolis, France
September 13 - 15
March 26 / May 21
IEEE 8 pages
iFM 2017
Torino, Italy
September 20 - 22
March 28 / May 26
LNCS 15 pages
ATVA 2017
Pune, India
October 4 - 6
April 21 / June 15
LNCS 16 pages
CONCUR 2017
Berlin, Germany
September 5 - 8
April 21 / June 16
LIPIcs 14 pages
ICTAC 2017
Hanoi, Vietnam
October 23 - 27
April 22 / June 8
LNCS 18 pages
VSTTE 2017
Heidelberg, Germany
July 22 - 23
April 24 / June 5
LNCS 16 pages
RTSS 2017
Paris, France
December 5 - 8
May 1 / July 10
IEEE 10 pages
ASE 2017
Urbana-Champaign, Illinois, USA
October 30 - November 3
May 5 / July 21
IEEE 10 pages
ICFEM 2017
Xi'an, China
November 13 - 17
May 14 / June 29
LNCS 16 pages
FACS 2017
Braga, Portugal
October 10 - 13
June 5 / July 17
LNCS 18 pages
FOCLASA 2017
Trento, Italy
September 4 - 10
June 9 / July 7
LNCS 15 pages
ICECCS 2017
Fukuoka, Japan
November 5 - 8
June 19 / August 14
IEEE 10 pages
SETTA 2017
Changsha, China
October 23 - 25
June 25 / July 25
LNCS 16 pages
APSEC 2017
Nanjing, China
December 4 - 8
July 7 / September 4
IEEE 10 pages
CloudCom 2017
Hong Kong , China
December 11 - 14
July 14 / September 7
IEEE 8 pages
SBMF 2017
Recife-Pe, Brazil
November 27 - December 1
August 2 / September 8
LNCS 16 pages
ETAPS 2018
Thessaloniki, Greece
April 14 - 21
October 13 / December 22

LNCS 15+2 pages (FASE, FoSSaCS, TACAS)

LNCS 20+2 pages (POST)

LNCS 25+2 pages (ESOP)

ICSE 2018
Gothenburg, Sweden
May 27 - June 3
August 25 / December 15
ACM 10 pages
SAC 2018
Pau, France
April 9 - 13
September 15 / November 10
ACM 6 pages
DisCoTec 2018
Madrid, Spain
June 18 - 21
February 2 / March 30
LNCS 16 + 2 pages (Coordination); 15 pages (FORTE); 14 pages (DAIS)
SEFM 2018
Toulouse, France
June 27 - 29
February 23 / April 8
LNCS 15 pages
SEKE 2018
Redwood City, San Francisco Bay, USA
July 1 - 3
March 1/ April 2
SEKE 6 pages
FLoC 2018
Oxford, UK
July 6 - 19
Federated Logic Conference including CAV, CSF, FM, FSCD, ICLP, IJCAR, ITP, LICS and SAT.  
TASE 2018
Guangzhou, China
August 29 - 31
February 23 / May 6
IEEE 8 pages
CONFESTA 2018
Beijing, China
September 3 - 8
Joint Conference including CONCUR, FORMATS, QEST, SETTA and several workshops.
LIPIcs 14 pages (CONCUR); LNCS 15 pages (FORMATS); 16 pages (QEST); TBD (SETTA)
FACS 2018
Pohang, Korea
October 10-12
June 8 / August 7
LNCS 18 pages
FSE 2018
Lake Buena Vista, Florida, USA
November 4 - 9
March 9 / June 11
ACM 10 pages (main text) + 2 pages (references)
ICFEM 2018
Gold Coast, Australia
November 12 - 16
May 7 / June 29
LNCS 16 pages