Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification of acceptance Submission format and comments
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
CiE Fisciano, Salerno, Italy 17/24 January 2020 29 June - 3 July 2020 14 March 2020 LNCS, 12 pages
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
TASE Hangzhou, China 24/31 January 2020 15-17 July 2020 13 March 2020 IEEE Transactions, two column, 8 pages
GECCO Cancún, Mexico 30 January / 6 February 2020 8-12 July 2020 20 March 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 10 pages, two-column, double-blind, regular; 2 pages brief announcements;
both excluding title page and references
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
CSCML Be'er Sheva, Israel 14 February 2020 2-3 July 2020 20 March 2020 LNCS, 15 pages
LPAR Alicante, Spain 15 February 2020 22-27 May 2020 8 April 2020 EPiC, 15 pages regular, 8 pages experimental and tools, both excluding references
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
TTCS Tehran, Iran 16 February 2020 1-3 July 2020 12 April 2020 LNCS, 15 pages
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
CTW Ischia, Italy standard submission over
1 March 2020 (ext.abstracts)
15-17 June 2020 15 February 2020 (standard)
15 April 2020 (ext.abstracts)
CTW for extended abstracts, 4 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
ISCO Montreal, Canada regular submission is over
13 March 2020 (short)
4-6 May 2020 28 February 2020 ???, 4 pages short
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 ???
META Marrakech, Morocco 24 April 2020 27-31 October 2020 30 May 2020 own format, 10 pages regular, 3 pages extended abstracts
SAGT Augsburg, Germany 19 May 2020 16-18 September 2020 1 July 2020 LNCS, 14 pages excluding references
COCOA Dallas, Texas, USA 10 August 2020 11-13 December 2020 21 September 2020 LNCS, 15 pages
Conference City, Country Deadline Date Notification of acceptance Submission format and comments

Running conferences

Conference City, Country Date
POPL New Orleans, Louisiana, USA 19-25 January 2020
PADL New Orleans, Lousiana, USA 20-21 January 2020
SOFSEM Limasol, Cyprus 20-24 January 2020
Conference City, Country Date

Future conferences with deadline over

Conference City, Country Date Notification of acceptance Final version Early registration
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 10 January 2020
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 18 January 2020 5 February 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 2 February 2020
EDBT Copenhagen, Denmark 30 March - 2 April 2020 22 November 2019 24 January 2020 2 February 2020
WALCOM Singapore 31 March - 2 April 2020 25 October 2019 8 November 2019 8 November 2019 (at least one author)
CLAR Hangzhou, China 6-9 April 2020 10 January 2020 31 January 2020
GCAI Hangzhou, China 6-9 April 2020 20 January 2020 3 February 2020
RAMICS Palaiseau, France 08-11 April 2020 15 December 2019 16 January 2020
AlCoB Missoula, Montana, USA 13-15 April 2020 6 January 2020 13 January 2020 13 January 2020
ECIR Lisbon, Portugal 14-17 April 2020 6 December 2019 27 December 2019 14 February 2020
EvoStar Seville, Spain 15-17 April 2020 8 January 2020 22 January 2020 20 February 2020 (at least one author), 6 March 2020 (all others)
EuroGP Seville, Spain 15-17 April 2020 8 January 2020 22 January 2020 20 February 2020 (at least one author), 6 March 2020 (all others)
EvoApplications Seville, Spain 15-17 April 2020 8 January 2020 22 January 2020 20 February 2020 (at least one author), 6 March 2020 (all others)
EvoCOP Seville, Spain 15-17 April 2020 8 January 2020 22 January 2020 20 February 2020 (at least one author), 6 March 2020 (all others)
EvoMUSART Seville, Spain 15-17 April 2020 8 January 2020 22 January 2020 20 February 2020 (at least one author), 6 March 2020 (all others)
ETAPS Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020 23 February 2020 (at least one author), 16 March 2020 (all others)
ESOP Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020 23 February 2020 (at least one author), 16 March 2020 (all others)
FASE Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020 23 February 2020 (at least one author), 16 March 2020 (all others)
FOSSaCS Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020 23 February 2020 (at least one author), 16 March 2020 (all others)
TACAS Dublin, Ireland 25 April - 1 May 2020 23 December 2019 22 February 2020 23 February 2020 (at least one author), 16 March 2020 (all others)
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)
NFM Moffett Field, California, USA 11-15 May 2020 20 February 2020 27 March 2020 17 April 2020
IPDPS New Orleans, Lousiana, USA 18-22 May 2020 20 January 2020
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
LICS Beijing, China 8-12 July 2020 10 April 2020
PODS Portland, Oregon, USA 14-19 June 2020 9 March 2020 25 March 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
CSR Ekaterinburg (Екатеринбург), Russia 29 June - 3 July 2020 15 March 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 2020 and 2021 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
ESA / ALGO 2020 Pisa, Italy 7 September 2020 11 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: Mon, 20 Jan 2020 09:15:58 CET