Conferences in Theoretical Computer Science

WARNING

Deadline ahead

Conference City, Country Deadline Date Notification of acceptance Submission format and comments
SETTA Beijing, China 30 July 2021 25-27 November 2021 3 September 2021 LNCS, 16 pages regular, 6 pages short, both excluding references
SYNASC
 
Timisoara, Romania hybrid 31 July 2021 7-10 December 2021 30 September 2021 8 pages two-column regular,
4 pages two-column short and work in progress and experimental and system descriptions
ICDCN New Delhi, India 31 July / 9 August 2021 4-7 January 2022 29 September 2021 ACM, double column, 10 pages
TPNC Tsukuba, Japan 3 August 2021 7-10 December 2021 31 August 2021 LNCS, 12 pages; merged with TPNC 2020
SOSA
 
Alexandria, Virginia, USA 9/16 August 2021
16:59 EDT (UTC -4)
10-11 January 2022 October 2021 no page limit
ALENEX Alexandria, Virginia, USA 11/18 August 2021 9-10 January 2022 October 2021 own format, double column, 10 pages excluding references
JAF Athens, Greece 30 August 2021 25-27 October 2021 27 September 2021 A4 or letter, 3 pages
AAAI Vancouver, British Columbia, Canada 30 August / 8 September 2021 22 February - 1 March 2022 29 November 2021 AAAI, double-blind, 7 pages + 2 pages references
Trends in Logic Bochum, Germany 31 August 2021 6-8 December 2021 30 September 2021 3 pages extended abstract
OPODIS ? (maybe Strasbourg, France) 31 August / 5 September 2021 13-15 December 2021 29 October 2021 LIPIcs, double-blind, 16 pages
VMCAI Philadelphia, Pennsylvania, USA 2 September 2021 16-18 January 2022 7 October 2021 LNCS, 20 pages regular, 12 pages tools and case studies, all excluding references
LFCS Deerfield Beach, Florida, USA 12 September 2021 10-13 January 2022 10 October 2021
CPP Philadelphia, Pennsylvania, USA 16/22 September 2021 16-18 January 2022 22 November 2021 ACM, double-blind, 12 pages excluding references
CALDAM Puducherry, India 28 September 2021 10-12 February 2022 8 November 2021 LNCS, 12 pages
WALCOM Jember, Indonesia 28 September 2021 24-26 March 2022 9 November 2021 LNCS, 12 pages
STACS Marseille, France 1 October 2021 15-18 March 2022 20 December 2021 LIPIcs, double-blind, 12 pages excluding title page and references
ETAPS Munich, Germany hybrid 14 October 2021 2-7 April 2022 23 December 2021 joint conference including ESOP, FASE, FoSSaCS, and TACAS
ESOP Munich, Germany hybrid 14 October 2021 2-7 April 2022 23 December 2021 LNCS, double-blind, 25 pages excluding references; part of ETAPS
FASE
 
Munich, Germany hybrid 14 October 2021 2-7 April 2022 23 December 2021 LNCS, double-blind, 18 pages regular, 8 pages new ideas and emerging results, 6 pages tools,
all excluding references; part of ETAPS
FoSSaCS Munich, Germany hybrid 14 October 2021 2-7 April 2022 23 December 2021 LNCS, 18 pages excluding references; part of ETAPS
TACAS
 
Munich, Germany hybrid 14 October 2021 2-7 April 2022 23 December 2021 LNCS, 16 pages regular, case studies and tools, 6 pages tool demonstrations,
all excluding references; part of ETAPS
NCL Łódź, Poland 31 October 2021 14-18 March 2022 10 December 2021 CEUR, 10 pages
EuroGP 1 November 2021 20-22 April 2022 LNCS, double-blind, 16 pages; part of EvoStar
EvoAPPS 1 November 2021 20-22 April 2022 LNCS, double-blind, 16 pages; part of EvoStar
EvoCOP 1 November 2021 20-22 April 2022 LNCS, double-blind, 16 pages; part of EvoStar
EvoMUSART 1 November 2021 20-22 April 2022 LNCS, double-blind, 16 pages; part of EvoStar
LICS Haifa, Israel 17/21 January 2022 2-5 August 2022 14 April 2022 ACM SIGPLAN, double-blind, double column, 12 pages excluding references; part of FLoC
Conference City, Country Deadline Date Notification of acceptance Submission format and comments

Running conferences

During the Covid-19 crisis, this section also includes CANCELLED conferences, as well as those held ONLINE.

Conference City, Country Date Corona virus warning
PODC Salerno, Italy 26-30 July 2021 VIRTUAL only
CICM Timisoara, Romania 26-31 July 2021 VIRTUAL only
Conference City, Country Date Corona virus warning

Future conferences with deadline over

During the Covid-19 crisis, this section also includes CANCELLED conferences, as well as those held ONLINE.

Conference City, Country Date Notification of acceptance Final version Early registration and remarks Corona virus warning
WABI Chicago, Illinois, USA 2-4 August 2021 (virtual) 21 May 2021 31 May 2021 VIRTUAL only
ICAPS Guangzhou, China 2-13 August 2021 (virtual) 16 February 2021 VIRTUAL only
WADS Halifax, Nova Scotia, Canada 9-11 August 2021 (online) 13 April 2021 21 May 2021 ONLINE only
KDD Singapore 14-18 August 2021 (virtual) 17 May 2021 12 July 2021 VIRTUAL only
COLT Boulder, Colorado, USA 15-19 August 2021 14 May 2021 30 June 2021 13 August 2021 (no fee) HYBRID rescheduled
APPROX virtual 16-18 August 2021 (virtual) 23 June 2021 12 July 2021 VIRTUAL only
RANDOM virtual 16-18 August 2021 (virtual) 23 June 2021 12 July 2021 VIRTUAL only
DLT Porto, Portugal 16-20 August 2021 24 May 2021 7 June 2021 23 July 2021 HYBRID conference
IJCAI Montreal, Quebec, Canada 21-26 August 2021 (virtual) 30 April 2021 10 August 2021 VIRTUAL reality
ICFP virtual 22-27 August 2021 8 May 2021 VIRTUAL only
MFCS Tallinn, Estonia 23-27 August 2021 28 June 2021 9 July 2021 HYBRID conference
QONFEST Paris, France 23-27 August 2021 federated conference including CONCUR, FMICS, FORMATS, and QEST ONLINE only
QEST Paris, France 23-27 August 2021 (online) 7 June 2021 part of QONFEST ONLINE only
CONCUR Paris, France 23-27 August 2021 (online) 23 June 2021 9 July 2021 part of QONFEST ONLINE only
FORMATS Paris, France 23-27 August 2021 (online) 21 June 2021 2 July 2021 part of QONFEST ONLINE only
FMICS Paris, France 23-27 August 2021 (online) 28 June 2021 5 July 2021 part of QONFEST ONLINE only
RECOMB Padova, Italy 29 August - 1 September 2021 18 December 2020 22 January 2021 rescheduled VIRTUAL
AITP Aussois, France 5-10 September 2021 20 June 2021 HYBRID conference
ALGOCLOUD Lisbon, Portugal 6-7 September 2021 29 July 2021 part of ALGO ONLINE only
PPDP Tallinn, Estonia 6-8 September 2021 9 July 2021 23 July 2021 co-located with LOPSTR 2021 HYBRID conference
ESA Lisbon, Portugal 6-8 September 2021 23 June 2021 3 July 2021 part of ALGO ONLINE only
TABLEAUX Birmingham, UK 6-9 September 2021 14 June 2021 colocated with FroCoS HYBRID confeence
ICTAC Nur-Sultan, Kazakhstan 6-10 September 2021 (virtual) 18 June 2021 VIRTUAL only
ALGO
 
Lisbon, Portugal 6-10 September 2021 federated conference inluding
ALGOCLOUD, ALGOSENSORS, ATMOS, ESA, IPEC, and WAOA
ONLINE only
Eurocomb Barcelona, Spain 6-10 September 2021 (online) 30 April 2021 21 May 2021 30 June 2021 ONLINE only
LOPSTR Tallinn, Estonia 7-9 September 2021 16 July 2021 20 August 2021 co-located with PPDP 2021 HYBRID conference
SAFECOMP York, UK 7-10 September 2021 29 April 2021 27 May 2021 HYBRID conference
FroCoS Birmingham, UK 8-10 September 2021 18 June 2021 7 July 2021 colocated with TABLEAUX HYBRID conference
SCSS virtual 8-10 September 2021 (virtual) 12 July 2021 30 July 2021 VIRTUAL only
IPEC Lisbon, Portugal 8-10 September 2021 30 July 2021 part of ALGO ONLINE only
ATMOS Lisbon, Portugal 9-10 September 2021 30 July 2021 part of ALGO ONLINE only
WAOA Lisbon, Portugal 9-10 September 2021 31 July 2021 7 August 2021 part of ALGO ONLINE only
ALGOSENSORS Lisbon, Portugal 9-10 September 2021 2 August 2021 23 August 2021 part of ALGO ONLINE only
FCT Athens (Αθήνα), Greece 12-15 September 2021 (virtual) 28 June 2021 6 July 2021 VIRTUAL only
ICTCS Bologna, Italy 13-15 September 2021 (online) 30 June 2021 19 July 2021 ONLINE only
FOIS Bolzano-Bozen, Italy 13-16 September 2021 25 June 2021 19 July 2021 joined with FOIS 2020 HYBRID rescheduled
PaCT Kaliningrad, Russia 13-18 September 2021 14 May 2021
GD Tübingen, Germany 15-17 September 2021 19 July 2021 31 August 2021 HYBRID conference
DL Bratislava, Slovakia 19-22 September 2021 9 August 2021 30 August 2021 monitoring the situation
GandALF Padua, Italy 20-22 September 2021 8 August 2021 30 August 2021 monitoring the situation
ICCS Bolzano-Bozen, Italy 20-23 September 2021 (virtual) 11 June 2021 25 June 2021 VIRTUAL only
LATA Milan, Italy 20-24 September 2021 23 November 2020 30 November 2020 30 November 2020; including LATA 2020 rescheduled
ICLP Porto, Portugal 20-27 September 2021 (virtual) 27 June 2021 30 July 2021 VIRTUAL only
SAGT Aarhus, Denmark 21-24 September 2021 23 June 2021 12 July 2021
KI Berlin, Germany 27 Sept - 1 Oct 2021 (virtual) 28 June 2021 12 July 2021 VIRTUAL only
SPIRE Lille, France 4-6 October 2021 (online) 10 July 2021 24 July 2021 17 July 2021 ONLINE only
DISC Freiburg, Germany 4-8 October 2021 23 July 2021 6 August 2021 monitoring the situation
ESORICS Darmstadt, Germany 4-8 October 2021 12 July 2021 12 August 2021 VIRTUAL only
WoLLIC online 5-8 October 2021 (online) 13 July 2021 30 July 2021 1 September 2021 ONLINE only
EUROCRYPT Zagreb, Croatia 17-21 October 2021 25 January 2021 23 February 2021 rescheduled
SAS Chicago, Illinois, USA 17-22 October 2021 4 July 2021
ATVA Gold Coast, Australia 18-22 October 2021 (online) 4 June 2021 4 July 2021 ONLINE
UCNC Espoo, Finland 18-22 October 2021 16 July 2021 monitoring the situation
FMCAD Yale, Connecticut, USA 19-22 October 2021 9 July 2021 16 August 2021 15 September 2021
CLAR Hangzhou, China 20-22 October 2021 13 August 2021 23 August 2021 HYBRID conference
COCOON Tainan, Taiwan 24-26 October 2021 15 August 2021 31 August 2021 31 August 2021
ILP Athens (Αθήνα), Greece 25-27 October 2021 (virtual) 7 August 2021 September 2021 VIRTUAL only
RP Liverpool, UK 25-27 October 2021 19 August 2021 23 August 2021 HYBRID or VIRTUAL
CP Montpellier, France 25-29 October 2021 (online) 12 July 2021 26 July 2021 ONLINE only
META Marrakech, Morocco 27-30 October 2021 30 June 2021 9 July 2021 HYBRID conference
RAMICS Marseille, France 2-5 November 2021 23 July 2021 12 August 2021 12 August 2021
NMR Hanoi, Vietnam 3-5 November 2021 (virtual) 31 July 2021 7 August 2021 VIRTUAL only
KR Hanoi, Vietnam 6-12 November 2021 (online) 15 June 2021 14 July 2021 ONLINE only
AlCoB
 
Missoula, Montana, USA 8-11 November 2021 15 February 2021
23:59 CET (UTC +1)
1 March 2021 1 March 2021 rescheduled
PRICAI Hanoi, Vietnam 8-12 November 2021 (virtual) 9 August 2021 23 August 2021 15 August 2021 VIRTUAL only
FM Beijing, China 20-26 November 2021 (online) 16 July 2021 16 August 2021 ONLINE only
ISAAC Fukuoka, Japan 6-8 December 2021 6 September 2021 30 September 2021 29 October 2021 HYBRID conference
WINE Potsdam, Germany 14-17 December 2021 8 September 2021
FSTTCS Goa, India 15-17 December 2021 (virtual) 20 September 2021 4 October 2021 VIRTUAL only
SODA Alexandria, Virginia, USA 9-12 January 2022 October 2021 6 December 2021, 23:59 EST (UTC -5)
POPL Philadelphia, Pennsylvania, USA 16-21 January 2022 29 September 2021 monitoring the situation
FOCS 7-10 February 2022 end of August 2021
CSL Göttingen, Germany 14-19 February 2022 30 September 2021 HYBRID or VIRTUAL
EvoStar 20-22 April 2022 federated conference including EuroGP, EvoAPPS, EvoCOP, and EvoMUSART
LOFT Groningen, The Netherlands in 2022 15 April 2020 rescheduled
Conference City, Country Date Notification of acceptance Final version Early registration and remarks Corona virus warning

Postponed conferences waiting to be rescheduled

Due to the Covid-19 crisis, many conferences have been postponed or wait for rescheduling, but their new dates have not been decided yet. These conferences are listed in this section. They will be moved to the section listing future conferences as soon as their new dates will be decided.

Conference City, Country Status Previous date Notification of acceptance Previous final version Remarks
SLSS Bergen, Norway deadline EXTENDED 26-28 June 2020 15 May 2020 29 May 2020
FUN Island of Favignana, Italy postponed to 2022 30 May - 1 June 2021 23 March 2020
Conference City, Country Status Previous date Notification of acceptance Previous final version Remarks

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 2021 and 2022 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
STOC 2022 Rome, Italy 20 June 2022 24 June 2022
IPCO 2022 Eindhoven, The Netherlands 27 June 2022 29 June 2022
FLoC
 
2022 Haifa, Israel 31 July 2022 12 August 2022 federated conference of logic including
CP, FSCD, ICLP, KR, LICS, SAT, CAV, CSF, DL, IJCAR, ITP, NMR
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

Toggle list of included conferences with full names    

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, 30 Jul 2021 09:42:35 CEST