Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification of acceptance Submission format and comments
AlCoB Missoula, Montana, USA 9 December 2019
23:59 CET (UTC +1)
13-15 April 2020 6 January 2020 LNCS, 12 pages
NFM Moffett Field, California, USA 12/19 December 2019 11-15 May 2020 20 February 2020 LNCS, 15 pages regular, 6 pages short, both excluding references
CLAR Hangzhou, China 15 December 2019 6-9 April 2020 10 January 2020 own format, between 8 and 20 pages full, 5 pages extended abstract
GCAI Hangzhou, China 15 December 2019 6-9 April 2020 20 January 2020 EPiC, 12 pages full, 4 pages extended abstracts, both excluding references
PODS Portland, Oregon, USA 15/22 December 2019 14-19 June 2020 9 March 2020 ACM, 12 pages
CTW Ischia, Italy 31 December 2019 (standard)
1 March 2020 (ext.abstracts)
15-17 June 2020 15 February 2020 (standard)
15 April 2020 (ext.abstracts)
AIRO Springer for standard papers, 8-12 pages; CTW for extended abstracts, 4 pages
CiE Fisciano, Salerno, Italy 3/17 January 2020 29 June - 3 July 2020 29 February 2020 LNCS, 12 pages
TASE Hangzhou, China 5/12 January 2020 15-17 July 2020 13 March 2020 IEEE Transactions, two column, 8 pages
IPDPS New Orleans, Lousiana, USA submission is over
revision 6 January 2020
18-22 May 2020 9 December 2019
20 January 2020
IEEE, 10 pages
LICS Beijing, China 6/10 January 2020 8-12 July 2020 10 April 2020 SIGPLAN, two-column, double-blind, 12 pages excluding references
co-located with ICALP
CSR Ekaterinburg (Екатеринбург), Russia 10 January 2020 29 June - 3 July 2020 15 March 2020 LNCS, 12 pages
IJCAI-PRICAI Yokohama, Japan 15/21 January 2020 11-17 July 2020 19 April 2020 own format, 6 pages text + 1 page references
IJCAR Paris, France 16/23 January 2020 29 June - 5 July 2020 20 March 2020 LNCS,
15 pages regular, 7 pages system descriptions, 5 pages short, all excluding references;
co-located with FSCD
ISCO Montreal, Canada 17 January 2020 (regular)
13 March 2020 (short)
4-6 May 2020 28 February 2020 ???, 12 pages regular, 4 pages short
IWOCA Bordeaux, France 23 January 2020 8-10 June 2020 9 March 2020 LNCS, 12 pages
CAV Los Angeles, California, USA 23 January 2020 19-24 July 2020 3 April 2020 LNCS, 20 pages double-blind regular,
10 pages tools, industrial experience reports, and case studies
GECCO Cancún, Mexico 30 January / 6 February 2020 8-12 July 2020 ??? ACM, double-blind, 8 pages excluding reference full, 2 pages posters
COLT Graz, Austria 31 January 2020
16:00 PST (UTC -8)
9-12 July 2020 1 May 2020 PMLR, 12 pages excluding references
ISSAC Kalamata (Καλαμάτα), Greece 31 January / 7 February 2020 20-23 July 2020 24 April 2020 ACM, 8 pages
FSCD Paris, France 6/9 February 2020 29 June - 5 July 2020 13 April 2020 LIPIcs, 15 pages both regular and system descriptions; co-located with IJCAR
SWAT Tórshavn, Faroe Islands, Denmark 7/14 February 2020 22-24 June 2020 early April 2020 LIPIcs, 12 pages
SPAA Philadelphia, Pennsylvania, USA 8/15 February 2020 15-17 July 2020 15 April 2020 ???
CPM Copenhagen, Denmark 9 February 2020 17-19 June 2020 ??? LIPIcs, 10 pages excluding references
FUN Island of Favignana, Italy 10 February 2020 8-10 June 2020 23 March 2020 ???
ICALP Beijing, China 12 February 2020 8-12 July 2020 15 April 2020 LIPIcs, 12 pages excluding references and the front page; co-located with LICS
EC Budapest, Hungary 12 February 2020
15:00 EST (UTC -5)
13-17 July 2020 6 May 2020 own format, 18 pages
SAT Alghero, Italy 15/22 February 2020 5-9 July 2020 18 April 2020 LNCS, 9-15 pages long, 8 pages short, 6 pages tools, all excluding references
CCC Saarbrücken, Germany 17 February 2020
17:00 EST (UTC -5)
28-31 July 2020 30 April 2020 LIPIcs, no page limit but only first 10 pages excluding references will be considered
PODC Salerno, Italy 17 February 2020 3-7 August 2020 4 May 2020 ACM, 17 pages regular, 5 pages brief announcements
WAW Warsaw, Poland 21 February 2020 18-19 June 2020 20 March 2020 LNCS, 15 pages
LOFT Groningen, The Netherlands 1 March 2020 8-10 July 2020 15 April 2020 10 pages excluding references
WG Leeds, UK 2 March 2020 24-26 June 2020 27 April 2020 ???
ICFP Jersey City, New Jersey, USA 3 March 2020 23-28 August 2020 8 May 2020 SIGPLAN, double-blind, 25 pages full, 12 pages experience report,
both excluding references
KR Rhodes, Greece 4/11 March 2020 12-18 September 2020 27 May 2020 AAAI, 9 pages full, 4 pages short, both excluding references
SIROCCO Paderborn, Germany 6/11 March 2020 29 June - 1 July 2020 1 May 2020 LNCS, 16 pages regular, 3 pages brief announcements
AAIM Jinhua, Zhejiang, China 10 March 2020 19-21 June 2020 10 April 2020 LNCS, 12 pages
AiML Helsinki, Finland 11/18 March 2020 17-21 August 2020 18/25 May 2020 own format, 15 pages + 5 pages appendix for full papers, 5 pages short presentations
QEST Vienna, Austria 27 March / 3 April 2020 1-4 September 2020 30 May 2020 LNCS, 16 pages regular, 4 pages tool demonstrations
part of QONFEST
WoLLIC Lima, Peru 15 April 2020 4-7 August 2020 23 May 2020 LNCS, 12 pages excluding references + 5 pages references and appendix
FORMATS Vienna, Austria 6/13 April 2020 1-3 September 2020 29 June 2020 ???
part of QONFEST
CONCUR Vienna, Austria 15/22 April 2020 1-4 September 2020 14 June 2020 LIPIcs, 14 pages ecluding references
CP Louvain-la-Neuve, Belgium 22 April 2020 7-11 September 2020 2 June 2020 ???
Conference City, Country Deadline Date Notification of acceptance Submission format and comments

Running conferences

Conference City, Country Date
Conference City, Country Date

Future conferences with deadline over

Conference City, Country Date Notification of acceptance Final version Early registration
ISAAC Shanghai, China 8-11 December 2019 31 August 2019 28 September 2019 26 October 2019
TPNC Kingston, Canada 9-11 December 2019 31 August 2019 7 September 2019 7 September 2019, at least one author until 25 November 2019
WINE New York City, New York, USA 10-12 December 2019 9 September 2019 24 November 2019
FSTTCS Bombay, India 11-13 December 2019 13 September 2019 1 October 2019 30 October 2019
MISTA Ningbo, China 12-15 December 2019 30 October 2019 10 November 2019 10 November 2019
COCOA Xiamen, China 13-15 December 2019 17 September 2019 1 October 2019 1 October 2019
PSB The Big Island of Hawaii, Hawaii, USA 3-7 January 2020 13 September 2019 1 October 2019
23:59 PT (UTC -7)
31 October 2019
ALENEX Salt Lake City, Utah, USA 5-6 January 2020 October 2019 2 December 2019 23:59 EST (UTC -5)
SODA Salt Lake City, Utah, USA 5-8 January 2020 October 2019 2 December 2019 23:59 EST (UTC -5)
SOSA Salt Lake City, Utah, USA 6-7 January 2020 October 2019 2 December 2019 23:59 EST (UTC -5)
ISAIM Fort Lauderdale, Florida, USA 6-8 January 2020 1 November 2019 22 November 2019 19 December 2019
CSL Barcelona, Spain 13-16 January 2020 30 September 2019 5 December 2019
POPL New Orleans, Louisiana, USA 19-25 January 2020 14 October 2019 7 November 2019 18 December 2019
PADL New Orleans, Lousiana, USA 20-21 January 2020 18 November 2019 29 November 2019 18 December 2019
SOFSEM Limasol, Cyprus 20-24 January 2020 14 October 2019 28 October 2019 28 October 2019 (at least one author), 25 November 2019 (early registration for others)
ICDCS Bangkok, Thailand 3-4 February 2020 31 October 2019 4 January 2020 4 January 2020
AISC Melbourne, Australia 3-7 February 2020 17 November 2019 22 November 2019 20 December 2019
AAAI New York City, New York, USA 7-12 February 2020 10 November 2019 21 November 2019 13 December 2019
ALT San Diego, California, USA 8-10 February 2020 24 November 2019
CALDAM Hyderabad, India 13-15 February 2020 8 November 2019 25 November 2019 1 January 2020
OLA Cádiz, Spain 17-19 February 2020 16 November 2019 10 December 2019 (at least one author)
FoIKS Dortmund, Germany 17-21 February 2020 19 November 2019 5 December 2019 10 December 2019
ICAART Valletta, Malta 22-24 February 2020 3 December 2019 17 December 2019 17 December 2019
ICORES Valletta, Malta 22-24 February 2020 3 December 2019 17 December 2019 17 December 2019
ICPRAM Valletta, Malta 22-24 February 2020 3 December 2019 17 December 2019 17 December 2019
MODELSWARD Valletta, Malta 25-27 February 2020 3 December 2019 17 December 2019 17 December 2019
LATA Milan, Italy 2-6 March 2020 25 November 2019 2 December 2019 2 December 2019
STACS Montpellier, France 10-13 March 2020 20 December 2019 17 January 2020
AITP Aussois, France 22–27 March 2020 10 January 2020 1 March 2020 21 January 2020
BICOB San Francisco, California, USA 23-25 March 2020 30 December 2019 31 January 2020 15 January 2020
ICST Porto, Portugal 23-27 March 2020 10 December 2019 11 February 2020
ICDT Copenhagen, Denmark 30 March - 2 April 2020 5 December 2019
EDBT Copenhagen, Denmark 30 March - 2 April 2020 22 November 2019 24 January 2020
WALCOM Singapore 31 March - 2 April 2020 25 October 2019 8 November 2019 8 November 2019 (at least one author)
RAMICS Palaiseau, France 08-11 April 2020 15 December 2019 16 January 2020
ECIR Lisbon, Portugal 14-17 April 2020 6 December 2019 27 December 2019
EvoStar Seville, Spain 15-17 April 2020
EuroGP Seville, Spain 15-17 April 2020 ???
EvoApplications Seville, Spain 15-17 April 2020 ???
EvoCOP Seville, Spain 15-17 April 2020 ???
EvoMUSART Seville, Spain 15-17 April 2020 ???
ETAPS Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020
ESOP Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020
FASE Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020
FOSSaCS Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020
TACAS Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020
SDM Cincinnati, Ohio, USA 7-9 May 2020 December 2019 7 April 2020
AAMAS Auckland, New Zealand 9-13 May 2020 15 January 2020
RECOMB Padova, Italy 10-13 May 2020 23 December 2019 17 January 2020
EUROCRYPT Zagreb, Croatia 10-14 May 2020 21 January 2020 20 February 2020
23:59 CET (UTC +1)
TAMC Changsha, China 23-25 May 2020 20 January 2020 10 February 2020
LATIN São Paulo, Brazil 25-29 May 2020 10 February 2020 2 March 2020
CPAIOR Vienna, Austria 26-29 May 2020 27 January 2020
IPCO London, UK 8-10 June 2020 31 January 2020
ECAI Santiago de Compostela, Spain 8-12 June 2020 15 January 2020
SoCG Zürich, Switzerland 23-26 June 2020 10 February 2020 22 March 2020
STOC Chicago, Illinois, USA 22-26 June 2020 9 February 2020 10 April 2020
QONFEST Vienna, Austria 31 August - 5 September 2020 federated conference including CONCUR, FORMATS, and QEST
Conference City, Country Date Notification of acceptance Final version Early registration

Conference planning

This section serves

  1. for planning conferences in the future,
  2. to indicate the planned (tentative) dates for a conference, and
  3. to inform organizers of other conferences about these dates to avoid scheduling clashes.

The calendar for the years 2019 and 2020 can help you to plan the conferences.

If you want the tentative schedule of your conference to be listed here, send me an e-mail (change  _at_  to @ and  _dot_  twice to .) with the following template:

E-mail with a template for a planned conference

Conference Year City, Country Starting date Ending date Remark
SAGT 2020 Augsburg, Germany 16 September 2020 18 September 2020
ICDCS 2021 Bangkok, Thailand 4 February 2021 5 February 2021
Conference Year City, Country Starting date Ending date Remark

Instructions for listing your conference here

If you want your conference to be listed here, send me an e-mail (change  _at_  to @ and  _dot_  twice to .) with one of the following templates:

E-mail with a template for a conference with its deadline ahead

E-mail with a template for a future conference with deadline over

This webpage is updated regularly, at least once a day. Only serious conferences in connection with theoretical computer science will be listed.

Following conferences are included in this list

AAAI AAIM AAMAS AISC ALENEX ALGOCLOUD ALT ANALCO APPROX+RANDOM AW AlCoB BICOB
BLAST CADE CALDAM CAV CCC CIAC COCOA COCOON COLT COMSOC CONCUR CP
CPAIOR CPM CRYPTO CSC CSL CSR CTW CiE CooPMAS DISC DL DLT
DM EC ESA ESOP ESORICS ETAPS EUROCRYPT Eurocomb FACS FASE FCRC FCT
FLoC FMCAD FOCS FOSSAC FSCD FSTTCS FUN GD GECCO ICALP ICAPS ICDCS
ICFP ICGT ICLP ICTCS IJCAI IJCAR ILP IMBSA IPCO IPDPS IPEC ISAAC
ISSAC IWOCA JELIA KR LAGOS LATA LATIN LICS LOPSTR LPAR LPNMR LSFA
MFCS MIWAI MLN OLA PADL PODC PODS POPL POST PPDP PRIMA PaCT
RECOMB RP RuleML+RR SAFECOMP SAGT SAS SAT SDM SEA SIROCCO SODA SOFSEM
SOSA SPAA STACS STOC SWAT SYNASC SoCG SoCS TACAS TAMC TIME TPNC
UNIF VSTTE WABI WADS WALCOM WAOA WFLP WG WINE WoLLIC

If you are an organizer of one of these conferences and you do not see that conference listed here. please send me a messsage using the aforementioned instructions.


Flag Counter

Valid HTML 4.01 Strict Valid CSS!

Last modified: Fri, 06 Dec 2019 19:20:21 CET