Conferences and workshops

Upcoming

• June 22, 2020 FSC, deadline: April 24th
• 25-29 Mai 2020 HoTT Spring school France (postponed)
• June 22-26, 2020 CSF, 4 Oct and 7 Feb
• June 29 – July 5, 2020 Paris FSCD. Abstracts: 6 Feb 2020. Full papers: 9 Feb 2020.
• July 19th FMBC20.
• August 23 - 28, 2020 New Jersey ICFP. Abstracts: 3 Mar 2020
• Sep 7, 2020 - Sep 9, 2020, Bologna, Italy, LOPSTR. Abstract: 5 June 2020. Full papers: 12 June 2020.
• Sep 8, 2020 - Sep 10, 2020, Bologna, Italy, PPDP. Abstracts: 11 May. Full papers: 15 May
• Friday November 13, 2020, PLAS, deadline: Friday June 12, 2020 (AoE)
• 18-19 January 2021, CPP. Abstract: 16 September 2020
• Postproceedings, TYPES. deadline: 19 October 2020
• 19 January 2021, CoqPL. Deadline: 21 Oct 2020

SIGPLAN calendar

Passed

• 7-11 Oct, 2019 FM'19 World Congress. Abstracts: 28 Mar 2019. Full papers: 11 Apr 2019.
• 11 Oct, 2019 Workshop on Formal Methods for Blockchain. Deadline: 30 June 2019.
• 28-31 Oct, 2019 ATVA'19. Abstracts: 26 Apr 2019. Full papers: 3 May 2019.
• 30 Oct - Nov 4, 2019 ICTAC'19. Abstracts: 5 May 2019. Full papers: 12 May 2019.
• January 19–25, 2020 POPL
• 11-14 June, 2019 TYPES. Oslo
• 12-14 June, 2019 HoTT/UF. Oslo
• June 17-29, 2019 OPLSS. Oregon
• 18-21 June, 2019 FORTE'19. Abstracts: 1 Feb 2019. Full Papers: 8 Feb 2019.
• 22-27 June, 2019 LICS'19. Abstracts: 4 Jan 2019. Full papers: 11 Jan 2019.
• 23-28 June, 2019 PN'19 and ACSD'19. Abstracts: 16 Jan 2019. Papers: 22 Jan 2019.
• 24-30 June, 2019 FSCD'19. Abstracts: 8 Feb 2019. Full papers: 11 Feb 2019.
• 24–27 June 2019, LICS
• 24-27 June, 2019 ICFP'19.
• 24 -28 June, 2019 HTTUF Summer school, Leeds.
• 13-18 July, 2019 CAV'19. Full papers: 7 Feb 2019.
• 15-19 July, 2019 SPIN'19. Submission: 5 Apr 2019.
• 29-31 July, 2019 TASE'19. Abstracts: 4 Jan 2019. Full paper: 11 Jan 2019.
• 7-16 Aug 2019 HoTT summer school and conference, deadline 1 April
• Sun 18 - Fri 23 August 2019 ICFP
• 26-31 Aug 2019 CONCUR'19, Amsterdam. Abstract: 15 Apr 2019. Full paper: 22 Apr 2019.
• 25-23 Aug, 2019 CADE'19. Abstracts: 15 Feb 2019. Full paper: 22 Feb 2019.
• 26-31 Aug, 2019 FORMATS'19. Abstracts: 21 Apr 2019. Full papers: Apr 24 2019.
• 8 Sept Coq workshop Portland, Oregon, USA. Deadline: June 4, 2019
• 9-12 September ITP Portland, Oregon, USA. Deadline: March 31, 2019
• 9-12 Sep, 2019 QEST'19. Abstracts: 29 Mar 2019. Full papers: 5 Apr 2019.
• 8-9 Oct 2018 EUTypes Aarhus
• ICFP
• FLOC, CSF
• HoTT calendar and HoTT event
• ICALP
• CSL
• FOSSACS
• TYPES
• SnP
• 6-7 April 2019 SynCoP 2019. Short papers: 14 Jan 2019.
• Mon 8 - Thu 11 Apr 2019 FOSSACS19. Abstracts: 9 Nov 2018. Full papers: 16 Nov 2018.
• Mon 8 - Thu 11 Apr 2019 TACAS19. Abstracts: 9 Nov 2018. Full papers: 16 Nov 2018.
• 08-12 April, 2019 6WFTop. Deadline for talks: 28 Feb 2019.
• 14-18 April 2019, MGS
• Smart contracts: WTSC, AFT

General

SIGLOG overview of CfP

CS CfP wiki

IACR

HoTT Events