Forthcoming Conferences Related to Software Theory and Formal Methods
Conference |
Place |
Conference Date |
Submission Deadline / Notification Dates |
Submission Format |
Prague, Czech Republic |
April 6-11 |
November 9 / January 25 |
||
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 |
Heidelberg, Germany |
July 22 - 28 |
January 24 / April 13 |
LNCS 16 pages |
|
Washington, D. C., USA |
July 25 - 27 |
February 9 / April 26 |
10 pages, format provided on the website |
|
Marburg, Germany |
July 17 - 21 |
February 17 / April 7 |
LNCS 16 pages (excluding references) |
|
Neuchâtel, Switzerland |
June 19 - 21 |
February 24 (extended)/ April 10 |
LNCS 16 + 2 pages (Coordination); 15 pages (FORTE) |
|
Paderborn, Germany |
September 4 - 8 |
February 27 / June 2 |
ACM 10 + 2 pages |
|
Pittsburgh, USA |
July 5 - 7 |
March 10 (extended) / April 20 |
SEKE 6 pages |
|
Trento, Italy |
September 6 - 10 |
March 24 / May 29 |
LNCS 15 pages |
|
Berlin, Germany |
September 5 - 7 |
March 24 / May 29 |
LNCS 16 pages |
|
Sophia Antipolis, France |
September 13 - 15 |
March 26 / May 21 |
IEEE 8 pages |
|
Torino, Italy |
September 20 - 22 |
March 28 / May 26 |
LNCS 15 pages |
|
Pune, India |
October 4 - 6 |
April 21 / June 15 |
LNCS 16 pages |
|
Berlin, Germany |
September 5 - 8 |
April 21 / June 16 |
LIPIcs 14 pages |
|
Hanoi, Vietnam |
October 23 - 27 |
April 22 / June 8 |
LNCS 18 pages |
|
Heidelberg, Germany |
July 22 - 23 |
April 24 / June 5 |
LNCS 16 pages |
|
Paris, France |
December 5 - 8 |
May 1 / July 10 |
IEEE 10 pages |
|
Urbana-Champaign, Illinois, USA |
October 30 - November 3 |
May 5 / July 21 |
IEEE 10 pages |
|
Xi'an, China |
November 13 - 17 |
May 14 / June 29 |
LNCS 16 pages |
|
Braga, Portugal |
October 10 - 13 |
June 5 / July 17 |
LNCS 18 pages |
|
Trento, Italy |
September 4 - 10 |
June 9 / July 7 |
LNCS 15 pages |
|
Fukuoka, Japan |
November 5 - 8 |
June 19 / August 14 |
IEEE 10 pages |
|
Changsha, China |
October 23 - 25 |
June 25 / July 25 |
LNCS 16 pages |
|
Nanjing, China |
December 4 - 8 |
July 7 / September 4 |
IEEE 10 pages |
|
Hong Kong , China |
December 11 - 14 |
July 14 / September 7 |
IEEE 8 pages |
|
Recife-Pe, Brazil |
November 27 - December 1 |
August 2 / September 8 |
LNCS 16 pages |
|
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) |
|
Gothenburg, Sweden |
May 27 - June 3 |
August 25 / December 15 |
ACM 10 pages |
|
Pau, France |
April 9 - 13 |
September 15 / November 10 |
ACM 6 pages |
|
Madrid, Spain |
June 18 - 21 |
February 2 / March 30 |
LNCS 16 + 2 pages (Coordination); 15 pages (FORTE); 14 pages (DAIS) |
|
Toulouse, France |
June 27 - 29 |
February 23 / April 8 |
LNCS 15 pages |
|
Redwood City, San Francisco Bay, USA |
July 1 - 3 |
March 1/ April 2 |
SEKE 6 pages |
|
Oxford, UK |
July 6 - 19 |
Federated Logic Conference including CAV, CSF, FM, FSCD, ICLP, IJCAR, ITP, LICS and SAT. | ||
Guangzhou, China |
August 29 - 31 |
February 23 / May 6 |
IEEE 8 pages |
|
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) |
|
Pohang, Korea |
October 10-12 |
June 8 / August 7 |
LNCS 18 pages |
|
Lake Buena Vista, Florida, USA |
November 4 - 9 |
March 9 / June 11 |
ACM 10 pages (main text) + 2 pages (references) |
|
Gold Coast, Australia |
November 12 - 16 |
May 7 / June 29 |
LNCS 16 pages |
|