Skip to main content
Patrick LaFontaine's Website
Current Status: Poking at the intersection of ITPs and ATPs.

Deadlines

Some sources failed at build time, so this list is incomplete:

  • yeah-tiger — input.match is not a function

Conferences

ConferenceDeadlineWhatEvent
OOPSLA 2027 14 Oct 2026 Submission Deadline Round 1 October 10-15, 2027
Prague, Czechia
ETAPS 2027 15 Oct 2026 ESOP round 2, FoSSaCS, TACAS, iFS April 10-15, 2027
Copenhagen, Denmark
PLDI 2027 12 Nov 2026 Submission deadline June 5-11, 2027
Atlanta, Georgia, USA
CAV 2027 20 Jan 2027 Submission deadline July 19-23, 2027
KIT, Amsterdam, The Netherlands
OOPSLA 2027 07 Apr 2027 Submission Deadline Round 2 October 10-15, 2027
Prague, Czechia

Open CFPs on WikiCFP

EventDeadlineWhenWhere
EDIT 2026
4th International Conference on Education & Integrating Technology
19 Sep 2026 Oct 30, 2026 - Oct 31, 2026 Virtual Conference
programming languages
ITCAU 2026
4th International Conference on Information Technology, Control and Automation
19 Sep 2026 Nov 14, 2026 - Nov 15, 2026 Melbourne, Australia
formal methods
VISA @ MICRO 2026
1st Workshop on Virtual ISA for Rapidly Evolving Architectures @ MICRO 2026
25 Sep 2026 Oct 31, 2026 - Oct 31, 2026 Athens, Greece
programming languages, compilers
PARMA-DITAM 2027
Parallel Programming and Run-Time Management Techniques for Many-core Architectures & Design Tools and Architectures for Multi-Core Embedded Computing Platforms
16 Nov 2026 Jan 18, 2027 - Jan 18, 2027 co-located with HiPEAC 2027
compilers

Deadlines are end of day, Anywhere on Earth. List built 16 Sep 2026 and refreshed weekly from ccf-deadlines, PL conference deadlines, and WikiCFP; countdowns are live.