AI for Math Calendar 2026

Built 2026-04-19 01:38 | Reference date 2026-04-19 | Events 119 | Rows 359

Upcoming

Date Event Milestone Notes
2026-04-19
ACL 2026
San Diego, California, USA
Deadlines
  • Conference2026-07-02 to 2026-07-07
  • ARR submission2026-01-05
  • Reviews2026-03-10
  • Commitment2026-03-14
  • Acceptance2026-04-04
  • Camera-ready2026-04-19
San Diego, California, USA
camera-ready
2026-04-19
UNSOUND 2026
Brussels, Belgium
Deadlines
  • Conference2026-06-30
  • Submission2026-04-14
  • Author notification2026-04-19
Brussels, Belgium
author notification
2026-04-20 to 2026-04-23
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
papers author response
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-04-20
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
papers reviews sent to authors
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-04-20
Paris, France
event
  • One-day open workshop organised by BAIF and LeanFRO
2026-04-22
ECOOP 2026 student volunteers
Deadlines
  • Application deadline2026-04-22
  • Notification2026-04-25
application deadline
  • volunteer program confirmed; application deadline is 22 Apr 2026 AoE and notification is 25 Apr 2026
  • https://2026.ecoop.org/track/ecoop-2026-student-volunteers
  • Covers: ECOOP 2026
    Deadlines
    • VORTEX submission2026-03-31
    • Demos abstract submission2026-04-01
    • Demos submission2026-04-05
    • Technical papers round 2 notification2026-04-09
2026-04-22
Lean Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-25
  • Abstract2026-04-22
  • Notification2026-05-08
  • Early-bird registration2026-06-01
  • Workshop early-bird registration2026-06-01
  • Registration2026-07-13
  • Workshop registration2026-07-13
Lisbon, Portugal
abstract
2026-04-23 to 2026-04-27
ICLR 2026
Rio de Janeiro, Brazil
Deadlines
  • Conference2026-04-23 to 2026-04-27
  • Abstract2025-09-19
  • Full paper2025-09-24
  • Notification2026-01-25
  • Early registration2026-03-14
Rio de Janeiro, Brazil
event
2026-04-23
MFPS 2026
Deadlines
  • Conference2026-06-01 to 2026-06-03
  • Paper2026-03-12
  • Paper submission2026-03-12
  • Notification2026-04-23
notification
  • deadline extended from `2026-03-05` AoE to `2026-03-12` AoE
  • Registration deadline TBA
2026-04-23
SSTT 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-06-04 to 2026-06-05
  • Short abstract2026-03-26
  • Notification2026-04-23
Ljubljana, Slovenia
notification
2026-04-24
MFCS 2026
Paris, France
Deadlines
  • Conference2026-08-24 to 2026-08-28
  • Paper2026-04-24
  • Notification2026-06-19
Paris, France
paper
2026-04-25
ECOOP 2026 student volunteers
Deadlines
  • Application deadline2026-04-22
  • Notification2026-04-25
notification
  • volunteer program confirmed; application deadline is 22 Apr 2026 AoE and notification is 25 Apr 2026
  • https://2026.ecoop.org/track/ecoop-2026-student-volunteers
  • Covers: ECOOP 2026
    Deadlines
    • VORTEX submission2026-03-31
    • Demos abstract submission2026-04-01
    • Demos submission2026-04-05
    • Technical papers round 2 notification2026-04-09
2026-04-29
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
paper notification
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-04-29
ThEdu 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-19
  • Submission2026-04-29
  • Notification2026-05-27
  • Early registration2026-06-01
Lisbon, Portugal
submission
2026-04-30
AIPV 2026
Tokyo, Japan
Deadlines
  • Conference2026-05-18
  • Submission2026-03-15
  • Notification2026-04-15
  • Early registration2026-04-18
  • Camera-ready2026-04-30
Tokyo, Japan
camera-ready
  • The source lists the event on either 18 or 19 May 2026; this record uses 18 May 2026.
2026-04-30
CICM 2026 Workshops/Tutorials
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Proposal submission2026-04-30
  • Notification2026-05-07
proposal submission
  • Parent conference: CICM 2026
    Ljubljana, Slovenia
    Deadlines
    • Conference2026-09-21 to 2026-09-25
    • Abstract2026-03-25
    • Full paper2026-04-01
    • Reviews2026-05-22
    • Rebuttal2026-05-27
    • Notification2026-06-10
    • Presentation-only2026-06-15
    • Presentation-only submission2026-06-15
    • Camera-ready2026-07-01
2026-05-01
AI4Math @ ICML 2026 (3rd AI for Math Workshop)
Seoul, South Korea (Coex Convention & Exhibition Center)
Deadlines
  • Conference2026-07-10
  • Paper submission opens2026-04-01
  • Challenge opens2026-05-01
  • Paper submission2026-05-25
  • Challenge deadline2026-06-15
  • Decision notification2026-06-15
  • Camera-ready2026-06-25
Seoul, South Korea (Coex Convention & Exhibition Center)
challenge opens
  • ICML 2026 workshop; theme: "Toward Self-Evolving Scientific Agents"
  • The source lists the workshop on either 10 or 11 Jul 2026; this record uses 10 Jul 2026.
  • Parent conference: ICML 2026
    Seoul, South Korea
    Deadlines
    • Conference2026-07-06 to 2026-07-11
    • Abstract2026-01-24
    • Full paper2026-01-29
2026-05-01
DIALOCO 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-19
  • Abstract2026-05-01
  • Notification2026-05-15
  • Early registration2026-06-01
Lisbon, Portugal
abstract
2026-05-02 to 2026-05-05
AISTATS 2026
Tangier, Morocco
Deadlines
  • Conference2026-05-02 to 2026-05-05
  • Abstract2025-09-25
  • Full paper2025-10-02
  • Decisions2026-01-22
  • Camera-ready2026-03-31
Tangier, Morocco
event
2026-05-04
COLT 2026
San Diego, California, USA
Deadlines
  • Conference2026-06-29 to 2026-07-03
  • Submission2026-02-04
  • Notification2026-05-04
San Diego, California, USA
notification
2026-05-04
NeurIPS 2026
Sydney, Australia
Deadlines
  • Conference2026-12-06 to 2026-12-12
  • Paper abstract submission deadline2026-05-04
  • Full paper submission deadline2026-05-06
  • Paper author notifications2026-09-24
Sydney, Australia
paper abstract submission deadline
  • Main conference deadlines also apply to competitions, evaluations/datasets, and position papers.
2026-05-04 to 2026-05-08
TYPES 2026
Gothenburg, Sweden
Deadlines
  • Conference2026-05-04 to 2026-05-08
  • Submission2026-01-20
  • Accepted contributed talks2026-02-20
  • Early registration2026-03-02
  • Late registration2026-04-16
Gothenburg, Sweden
event
2026-05-05
AITP 2026
Aussois, France
Deadlines
  • Conference2026-08-30 to 2026-09-04
  • Submission2026-05-05
  • Notification2026-06-20
Aussois, France
submission
2026-05-05
WoLLIC 2026
Lima, Peru
Deadlines
  • Conference2026-08-03 to 2026-08-06
  • Abstract/full paper2026-03-02
  • Notification2026-05-05
  • Camera-ready2026-05-20
Lima, Peru
notification
2026-05-06
NeurIPS 2026
Sydney, Australia
Deadlines
  • Conference2026-12-06 to 2026-12-12
  • Paper abstract submission deadline2026-05-04
  • Full paper submission deadline2026-05-06
  • Paper author notifications2026-09-24
Sydney, Australia
full paper submission deadline
  • Main conference deadlines also apply to competitions, evaluations/datasets, and position papers.
2026-05-07
CICM 2026 Workshops/Tutorials
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Proposal submission2026-04-30
  • Notification2026-05-07
notification
  • Parent conference: CICM 2026
    Ljubljana, Slovenia
    Deadlines
    • Conference2026-09-21 to 2026-09-25
    • Abstract2026-03-25
    • Full paper2026-04-01
    • Reviews2026-05-22
    • Rebuttal2026-05-27
    • Notification2026-06-10
    • Presentation-only2026-06-15
    • Presentation-only submission2026-06-15
    • Camera-ready2026-07-01
2026-05-08
Lean Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-25
  • Abstract2026-04-22
  • Notification2026-05-08
  • Early-bird registration2026-06-01
  • Workshop early-bird registration2026-06-01
  • Registration2026-07-13
  • Workshop registration2026-07-13
Lisbon, Portugal
notification
2026-05-08
MIT PLR Workshop 2026
MIT campus, Grier (34-401), Cambridge, Massachusetts, USA; virtual attendance also available
Deadlines
  • Conference2026-05-08
MIT campus, Grier (34-401), Cambridge, Massachusetts, USA; virtual attendance also available
event
  • Annual MIT PLR workshop featuring talks on recent high-impact PL work and a "PLR All Stars" panel
2026-05-09
Isabelle Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-24 to 2026-07-25
  • Paper/extended abstract2026-05-09
Lisbon, Portugal
paper/extended abstract
2026-05-10
LCC 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18 to 2026-07-19
  • Submission2026-05-10
  • Notification2026-05-17
Lisbon, Portugal
submission
2026-05-14
Erlang 2026
Deadlines
  • Submission2026-05-14
  • Notification2026-06-17
  • Camera-ready2026-07-07
  • Lightning talk submission2026-07-07
submission
2026-05-14
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
papers conditional acceptance notification
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-05-15
ACL 2026 student volunteers / D&I subsidies
Deadlines
  • Application opens2026-04-13
  • Early registration opens2026-04-15
  • Application deadline2026-05-15
  • Notification of acceptance2026-05-22
application deadline
  • application opens 13 Apr 2026, early registration opens 15 Apr 2026, deadline is 15 May 2026, and notification is 22 May 2026
  • https://2026.aclweb.org/calls/volunteers/ and https://2026.aclweb.org/calls/subsidies/
  • Covers: ACL 2026
    San Diego, California, USA
    Deadlines
    • Conference2026-07-02 to 2026-07-07
    • ARR submission2026-01-05
    • Reviews2026-03-10
    • Commitment2026-03-14
    • Acceptance2026-04-04
    • Camera-ready2026-04-19
2026-05-15
DIALOCO 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-19
  • Abstract2026-05-01
  • Notification2026-05-15
  • Early registration2026-06-01
Lisbon, Portugal
notification
2026-05-15
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
camera-ready copy
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-05-15
ML4SP 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18
  • Submission deadline2026-05-15
  • Result notification2026-05-25
  • Camera ready2026-07-02
Lisbon, Portugal
submission deadline
2026-05-15
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
essays submission
2026-05-15
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
papers submission
2026-05-15
Structure Meets Power 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18
  • Abstract2026-05-15
  • Notification2026-05-30
Lisbon, Portugal
abstract
2026-05-17
LCC 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18 to 2026-07-19
  • Submission2026-05-10
  • Notification2026-05-17
Lisbon, Portugal
notification
2026-05-18
AIPV 2026
Tokyo, Japan
Deadlines
  • Conference2026-05-18
  • Submission2026-03-15
  • Notification2026-04-15
  • Early registration2026-04-18
  • Camera-ready2026-04-30
Tokyo, Japan
event
  • The source lists the event on either 18 or 19 May 2026; this record uses 18 May 2026.
2026-05-19 to 2026-05-22
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
author response (Round 2)
2026-05-20
LOPSTR+PPDP 2026
Deadlines
  • Abstract registration2026-05-20
  • Paper submission2026-05-27
  • Author notification2026-06-26
  • Final paper version2026-07-08
abstract registration
2026-05-20
WoLLIC 2026
Lima, Peru
Deadlines
  • Conference2026-08-03 to 2026-08-06
  • Abstract/full paper2026-03-02
  • Notification2026-05-05
  • Camera-ready2026-05-20
Lima, Peru
camera-ready
2026-05-21
Haskell Symposium 2026
Deadlines
  • Paper and talk submission2026-05-21
  • Author notification2026-06-30
  • Camera-ready2026-07-07
paper and talk submission
2026-05-21
ISSTA 2026
Deadlines
  • Research papers submission2026-01-29
  • Research papers author response2026-03-24 to 2026-03-26
  • Research papers initial notification2026-04-16
  • Research papers major revision submission2026-05-21
  • Research papers final notification2026-06-25
  • Research papers camera-ready2026-07-23
research papers major revision submission
2026-05-22
ACL 2026 student volunteers / D&I subsidies
Deadlines
  • Application opens2026-04-13
  • Early registration opens2026-04-15
  • Application deadline2026-05-15
  • Notification of acceptance2026-05-22
notification of acceptance
  • application opens 13 Apr 2026, early registration opens 15 Apr 2026, deadline is 15 May 2026, and notification is 22 May 2026
  • https://2026.aclweb.org/calls/volunteers/ and https://2026.aclweb.org/calls/subsidies/
  • Covers: ACL 2026
    San Diego, California, USA
    Deadlines
    • Conference2026-07-02 to 2026-07-07
    • ARR submission2026-01-05
    • Reviews2026-03-10
    • Commitment2026-03-14
    • Acceptance2026-04-04
    • Camera-ready2026-04-19
2026-05-22
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
reviews
2026-05-25
AI4Math @ ICML 2026 (3rd AI for Math Workshop)
Seoul, South Korea (Coex Convention & Exhibition Center)
Deadlines
  • Conference2026-07-10
  • Paper submission opens2026-04-01
  • Challenge opens2026-05-01
  • Paper submission2026-05-25
  • Challenge deadline2026-06-15
  • Decision notification2026-06-15
  • Camera-ready2026-06-25
Seoul, South Korea (Coex Convention & Exhibition Center)
paper submission
  • ICML 2026 workshop; theme: "Toward Self-Evolving Scientific Agents"
  • The source lists the workshop on either 10 or 11 Jul 2026; this record uses 10 Jul 2026.
  • Parent conference: ICML 2026
    Seoul, South Korea
    Deadlines
    • Conference2026-07-06 to 2026-07-11
    • Abstract2026-01-24
    • Full paper2026-01-29
2026-05-25
EMNLP 2026
Budapest, Hungary
Deadlines
  • Conference2026-10-24 to 2026-10-29
  • ARR submission2026-05-25
  • Author response2026-07-07 to 2026-07-13
  • Meta-review2026-07-30
  • Commitment2026-08-02
  • Acceptance2026-08-20
  • Camera-ready2026-09-20
Budapest, Hungary
ARR submission
  • Volunteer and subsidies pages look stale and still show EMNLP 2025 text.
  • Long note
2026-05-25
ML4SP 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18
  • Submission deadline2026-05-15
  • Result notification2026-05-25
  • Camera ready2026-07-02
Lisbon, Portugal
result notification
2026-05-27
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
rebuttal
2026-05-27
LOPSTR+PPDP 2026
Deadlines
  • Abstract registration2026-05-20
  • Paper submission2026-05-27
  • Author notification2026-06-26
  • Final paper version2026-07-08
paper submission
2026-05-27
ThEdu 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-19
  • Submission2026-04-29
  • Notification2026-05-27
  • Early registration2026-06-01
Lisbon, Portugal
notification
2026-05-30
Structure Meets Power 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18
  • Abstract2026-05-15
  • Notification2026-05-30
Lisbon, Portugal
notification
2026-06-01
DIALOCO 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-19
  • Abstract2026-05-01
  • Notification2026-05-15
  • Early registration2026-06-01
Lisbon, Portugal
early registration
2026-06-01
FUNARCH 2026
Deadlines
  • Submission2026-06-01
  • Author notification2026-06-15
  • Camera-ready2026-07-07
  • Submission (second listed deadline on the ICFP page)2026-08-10
submission
2026-06-01
Lean Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-25
  • Abstract2026-04-22
  • Notification2026-05-08
  • Early-bird registration2026-06-01
  • Workshop early-bird registration2026-06-01
  • Registration2026-07-13
  • Workshop registration2026-07-13
Lisbon, Portugal
early-bird registration
2026-06-01
Lean Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-25
  • Abstract2026-04-22
  • Notification2026-05-08
  • Early-bird registration2026-06-01
  • Workshop early-bird registration2026-06-01
  • Registration2026-07-13
  • Workshop registration2026-07-13
Lisbon, Portugal
workshop early-bird registration
2026-06-01 to 2026-06-03
MFPS 2026
Deadlines
  • Conference2026-06-01 to 2026-06-03
  • Paper2026-03-12
  • Paper submission2026-03-12
  • Notification2026-04-23
event
  • deadline extended from `2026-03-05` AoE to `2026-03-12` AoE
  • Registration deadline TBA
2026-06-01
ThEdu 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-19
  • Submission2026-04-29
  • Notification2026-05-27
  • Early registration2026-06-01
Lisbon, Portugal
early registration
2026-06-03
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
papers revisions due
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-06-04 to 2026-06-05
SSTT 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-06-04 to 2026-06-05
  • Short abstract2026-03-26
  • Notification2026-04-23
Ljubljana, Slovenia
event
2026-06-08 to 2026-06-12
The Sixth Iris Workshop
Klosterneuburg/Vienna, Austria
Deadlines
  • Conference2026-06-08 to 2026-06-12
Klosterneuburg/Vienna, Austria
event
2026-06-09 to 2026-06-11
SAS 2026
Deadlines
  • Author response2026-06-09 to 2026-06-11
  • Notification2026-06-26
  • Camera-ready2026-07-17
author response
2026-06-10
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
notification
2026-06-10
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
papers final decisions
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-06-10
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
author notification (Round 2)
2026-06-11 to 2026-06-15
SAS artifact evaluation 2026
Deadlines
  • Author response period2026-06-11 to 2026-06-15
  • Notification2026-06-26
author response period
2026-06-14
EXPRESS 2026
Deadlines
  • Submission2026-06-14
  • Author notification2026-07-31
submission
2026-06-14
NSAD 2026
Deadlines
  • Submission2026-06-14
  • Author notification2026-07-31
submission
2026-06-14
PLSS 2026
Deadlines
  • Submission2026-06-14
  • Author notification2026-07-31
submission
2026-06-14
SSNL 2026
Deadlines
  • Submission2026-06-14
  • Author notification2026-07-31
submission
2026-06-15
date
  • 10-week fellowship
2026-06-15
AI4Math @ ICML 2026 (3rd AI for Math Workshop)
Seoul, South Korea (Coex Convention & Exhibition Center)
Deadlines
  • Conference2026-07-10
  • Paper submission opens2026-04-01
  • Challenge opens2026-05-01
  • Paper submission2026-05-25
  • Challenge deadline2026-06-15
  • Decision notification2026-06-15
  • Camera-ready2026-06-25
Seoul, South Korea (Coex Convention & Exhibition Center)
challenge deadline
  • ICML 2026 workshop; theme: "Toward Self-Evolving Scientific Agents"
  • The source lists the workshop on either 10 or 11 Jul 2026; this record uses 10 Jul 2026.
  • Parent conference: ICML 2026
    Seoul, South Korea
    Deadlines
    • Conference2026-07-06 to 2026-07-11
    • Abstract2026-01-24
    • Full paper2026-01-29
2026-06-15
AI4Math @ ICML 2026 (3rd AI for Math Workshop)
Seoul, South Korea (Coex Convention & Exhibition Center)
Deadlines
  • Conference2026-07-10
  • Paper submission opens2026-04-01
  • Challenge opens2026-05-01
  • Paper submission2026-05-25
  • Challenge deadline2026-06-15
  • Decision notification2026-06-15
  • Camera-ready2026-06-25
Seoul, South Korea (Coex Convention & Exhibition Center)
decision notification
  • ICML 2026 workshop; theme: "Toward Self-Evolving Scientific Agents"
  • The source lists the workshop on either 10 or 11 Jul 2026; this record uses 10 Jul 2026.
  • Parent conference: ICML 2026
    Seoul, South Korea
    Deadlines
    • Conference2026-07-06 to 2026-07-11
    • Abstract2026-01-24
    • Full paper2026-01-29
2026-06-15
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
presentation-only
2026-06-15
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
presentation-only submission
2026-06-15
FUNARCH 2026
Deadlines
  • Submission2026-06-01
  • Author notification2026-06-15
  • Camera-ready2026-07-07
  • Submission (second listed deadline on the ICFP page)2026-08-10
author notification
2026-06-15
IJCAR 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-06
  • Full paper2026-02-15
  • Paper2026-02-15
  • Rebuttal2026-03-30 to 2026-03-31
  • Notification2026-04-14
  • Camera-ready2026-06-15
Lisbon, Portugal
camera-ready
2026-06-17
Erlang 2026
Deadlines
  • Submission2026-05-14
  • Notification2026-06-17
  • Camera-ready2026-07-07
  • Lightning talk submission2026-07-07
notification
2026-06-19
MFCS 2026
Paris, France
Deadlines
  • Conference2026-08-24 to 2026-08-28
  • Paper2026-04-24
  • Notification2026-06-19
Paris, France
notification
2026-06-20
AITP 2026
Aussois, France
Deadlines
  • Conference2026-08-30 to 2026-09-04
  • Submission2026-05-05
  • Notification2026-06-20
Aussois, France
notification
2026-06-21
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
tutorials proposal
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-06-22 to 2026-07-03
FMPSI
Orsay, France
Deadlines
  • Conference2026-06-22 to 2026-07-03
Orsay, France
event
2026-06-22
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
essays decisions announced
2026-06-22
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
papers decisions announced
2026-06-22 to 2026-06-26
STOC 2026
Salt Lake City, Utah, USA
Deadlines
  • Conference2026-06-22 to 2026-06-26
  • Paper2025-11-04
Salt Lake City, Utah, USA
event
2026-06-24
ML Family Workshop 2026
Deadlines
  • Submission2026-06-24
  • Initial author notification2026-07-23
  • Final author notification2026-07-30
submission
2026-06-25
AI4Math @ ICML 2026 (3rd AI for Math Workshop)
Seoul, South Korea (Coex Convention & Exhibition Center)
Deadlines
  • Conference2026-07-10
  • Paper submission opens2026-04-01
  • Challenge opens2026-05-01
  • Paper submission2026-05-25
  • Challenge deadline2026-06-15
  • Decision notification2026-06-15
  • Camera-ready2026-06-25
Seoul, South Korea (Coex Convention & Exhibition Center)
camera-ready
  • ICML 2026 workshop; theme: "Toward Self-Evolving Scientific Agents"
  • The source lists the workshop on either 10 or 11 Jul 2026; this record uses 10 Jul 2026.
  • Parent conference: ICML 2026
    Seoul, South Korea
    Deadlines
    • Conference2026-07-06 to 2026-07-11
    • Abstract2026-01-24
    • Full paper2026-01-29
2026-06-25
ISSTA 2026
Deadlines
  • Research papers submission2026-01-29
  • Research papers author response2026-03-24 to 2026-03-26
  • Research papers initial notification2026-04-16
  • Research papers major revision submission2026-05-21
  • Research papers final notification2026-06-25
  • Research papers camera-ready2026-07-23
research papers final notification
2026-06-26
LOPSTR+PPDP 2026
Deadlines
  • Abstract registration2026-05-20
  • Paper submission2026-05-27
  • Author notification2026-06-26
  • Final paper version2026-07-08
author notification
2026-06-26
SAS 2026
Deadlines
  • Author response2026-06-09 to 2026-06-11
  • Notification2026-06-26
  • Camera-ready2026-07-17
notification
2026-06-26
SAS artifact evaluation 2026
Deadlines
  • Author response period2026-06-11 to 2026-06-15
  • Notification2026-06-26
notification
2026-06-26
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
Student Research Competition submission
2026-06-26
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
posters submission
2026-06-26
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
tool demonstrations submission
2026-06-29 to 2026-07-03
COLT 2026
San Diego, California, USA
Deadlines
  • Conference2026-06-29 to 2026-07-03
  • Submission2026-02-04
  • Notification2026-05-04
San Diego, California, USA
event
2026-06-29 to 2026-07-03
Rocq'n'Share 2026
EPFL main campus, Lausanne, Switzerland
Deadlines
  • Conference2026-06-29 to 2026-07-03
EPFL main campus, Lausanne, Switzerland
event
  • Rocq users and developers workshop; registration is free but required
2026-06-30
Haskell Symposium 2026
Deadlines
  • Paper and talk submission2026-05-21
  • Author notification2026-06-30
  • Camera-ready2026-07-07
author notification
2026-06-30
UNSOUND 2026
Brussels, Belgium
Deadlines
  • Conference2026-06-30
  • Submission2026-04-14
  • Author notification2026-04-19
Brussels, Belgium
event
2026-07-01
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
camera-ready
2026-07-01
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
papers camera-ready
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-07-02 to 2026-07-07
ACL 2026
San Diego, California, USA
Deadlines
  • Conference2026-07-02 to 2026-07-07
  • ARR submission2026-01-05
  • Reviews2026-03-10
  • Commitment2026-03-14
  • Acceptance2026-04-04
  • Camera-ready2026-04-19
San Diego, California, USA
event
2026-07-02
ML4SP 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18
  • Submission deadline2026-05-15
  • Result notification2026-05-25
  • Camera ready2026-07-02
Lisbon, Portugal
camera ready
2026-07-03
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
doctoral symposium submission
2026-07-06 to 2026-07-11
ICML 2026
Seoul, South Korea
Deadlines
  • Conference2026-07-06 to 2026-07-11
  • Abstract2026-01-24
  • Full paper2026-01-29
Seoul, South Korea
event
2026-07-07 to 2026-07-13
EMNLP 2026
Budapest, Hungary
Deadlines
  • Conference2026-10-24 to 2026-10-29
  • ARR submission2026-05-25
  • Author response2026-07-07 to 2026-07-13
  • Meta-review2026-07-30
  • Commitment2026-08-02
  • Acceptance2026-08-20
  • Camera-ready2026-09-20
Budapest, Hungary
author response
  • Volunteer and subsidies pages look stale and still show EMNLP 2025 text.
  • Long note
2026-07-07
Erlang 2026
Deadlines
  • Submission2026-05-14
  • Notification2026-06-17
  • Camera-ready2026-07-07
  • Lightning talk submission2026-07-07
camera-ready
2026-07-07
Erlang 2026
Deadlines
  • Submission2026-05-14
  • Notification2026-06-17
  • Camera-ready2026-07-07
  • Lightning talk submission2026-07-07
lightning talk submission
2026-07-07
FUNARCH 2026
Deadlines
  • Submission2026-06-01
  • Author notification2026-06-15
  • Camera-ready2026-07-07
  • Submission (second listed deadline on the ICFP page)2026-08-10
camera-ready
2026-07-07
Haskell Symposium 2026
Deadlines
  • Paper and talk submission2026-05-21
  • Author notification2026-06-30
  • Camera-ready2026-07-07
camera-ready
2026-07-07 to 2026-07-10
ICALP 2026
Egham, UK
Deadlines
  • Conference2026-07-07 to 2026-07-10
  • Abstract2026-02-03
  • Full paper2026-02-06
Egham, UK
event
2026-07-08
CSL 2027
Deadlines
  • Abstract2026-07-08
  • Paper2026-07-15
abstract
2026-07-08
LOPSTR+PPDP 2026
Deadlines
  • Abstract registration2026-05-20
  • Paper submission2026-05-27
  • Author notification2026-06-26
  • Final paper version2026-07-08
final paper version
2026-07-09
POPL 2027
Deadlines
  • Paper2026-07-09
  • Author response2026-09-07 to 2026-09-10
  • Revision2026-10-26
  • Camera-ready2026-11-20
paper
2026-07-09
SODA 2027
Deadlines
  • Paper2026-07-09
paper
2026-07-10
AI4Math @ ICML 2026 (3rd AI for Math Workshop)
Seoul, South Korea (Coex Convention & Exhibition Center)
Deadlines
  • Conference2026-07-10
  • Paper submission opens2026-04-01
  • Challenge opens2026-05-01
  • Paper submission2026-05-25
  • Challenge deadline2026-06-15
  • Decision notification2026-06-15
  • Camera-ready2026-06-25
Seoul, South Korea (Coex Convention & Exhibition Center)
event
  • ICML 2026 workshop; theme: "Toward Self-Evolving Scientific Agents"
  • The source lists the workshop on either 10 or 11 Jul 2026; this record uses 10 Jul 2026.
  • Parent conference: ICML 2026
    Seoul, South Korea
    Deadlines
    • Conference2026-07-06 to 2026-07-11
    • Abstract2026-01-24
    • Full paper2026-01-29
2026-07-10
VSTTE 2026
Graz, Austria
Deadlines
  • Conference2026-09-14
  • Abstract2026-07-10
  • Paper2026-07-17
  • Notification2026-08-22
  • Optional pre-conference version2026-09-02
  • Post-proceedings camera-ready2026-10-23
Graz, Austria
abstract
2026-07-13 to 2026-07-29
FLoC 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-13 to 2026-07-29
Lisbon, Portugal
event
  • Umbrella student-volunteer program covers CAV 2026 and LICS 2026.
  • Long note
2026-07-13 to 2026-07-17
FoPSS 2026 @ FLoC
FoPSS 2026 @ FLoC
Lisbon, Portugal
Deadlines
  • Conference2026-07-13 to 2026-07-17
Lisbon, Portugal
event
  • Parent conference: FLoC 2026
    Lisbon, Portugal
    Deadlines
    • Conference2026-07-13 to 2026-07-29
2026-07-13
Lean Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-25
  • Abstract2026-04-22
  • Notification2026-05-08
  • Early-bird registration2026-06-01
  • Workshop early-bird registration2026-06-01
  • Registration2026-07-13
  • Workshop registration2026-07-13
Lisbon, Portugal
registration
2026-07-13
Lean Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-25
  • Abstract2026-04-22
  • Notification2026-05-08
  • Early-bird registration2026-06-01
  • Workshop early-bird registration2026-06-01
  • Registration2026-07-13
  • Workshop registration2026-07-13
Lisbon, Portugal
workshop registration
2026-07-13 to 2026-07-17
SAT/SMT/AR Summer School 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-13 to 2026-07-17
Lisbon, Portugal
event
2026-07-15
CSL 2027
Deadlines
  • Abstract2026-07-08
  • Paper2026-07-15
paper
2026-07-17
SAS 2026
Deadlines
  • Author response2026-06-09 to 2026-06-11
  • Notification2026-06-26
  • Camera-ready2026-07-17
camera-ready
2026-07-17
VSTTE 2026
Graz, Austria
Deadlines
  • Conference2026-09-14
  • Abstract2026-07-10
  • Paper2026-07-17
  • Notification2026-08-22
  • Optional pre-conference version2026-09-02
  • Post-proceedings camera-ready2026-10-23
Graz, Austria
paper
2026-07-18 to 2026-07-19
LCC 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18 to 2026-07-19
  • Submission2026-05-10
  • Notification2026-05-17
Lisbon, Portugal
event
2026-07-18
ML4SP 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18
  • Submission deadline2026-05-15
  • Result notification2026-05-25
  • Camera ready2026-07-02
Lisbon, Portugal
event
2026-07-18
Structure Meets Power 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-18
  • Abstract2026-05-15
  • Notification2026-05-30
Lisbon, Portugal
event
2026-07-19
DIALOCO 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-19
  • Abstract2026-05-01
  • Notification2026-05-15
  • Early registration2026-06-01
Lisbon, Portugal
event
2026-07-19
ThEdu 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-19
  • Submission2026-04-29
  • Notification2026-05-27
  • Early registration2026-06-01
Lisbon, Portugal
event
2026-07-20 to 2026-07-23
FSCD 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Abstract2026-01-23
  • Full paper2026-01-30
Lisbon, Portugal
event
2026-07-20 to 2026-07-23
LICS 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Title/short abstract2026-01-15
  • Full paper2026-01-22
Lisbon, Portugal
event
  • Student volunteering is handled via the FLoC 2026 umbrella program; exact application deadline not posted yet
2026-07-20 to 2026-07-23
SAT 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Abstract2026-02-27
  • Full paper2026-03-06
Lisbon, Portugal
event
2026-07-21
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
revision due (Round 2)
2026-07-23
ISSTA 2026
Deadlines
  • Research papers submission2026-01-29
  • Research papers author response2026-03-24 to 2026-03-26
  • Research papers initial notification2026-04-16
  • Research papers major revision submission2026-05-21
  • Research papers final notification2026-06-25
  • Research papers camera-ready2026-07-23
research papers camera-ready
2026-07-23
ML Family Workshop 2026
Deadlines
  • Submission2026-06-24
  • Initial author notification2026-07-23
  • Final author notification2026-07-30
initial author notification
2026-07-23
SPLASH artifact evaluation 2026
Deadlines
  • Artifact submission (Round 1)2026-02-05
  • Kick-the-tires (Round 1)2026-02-09 to 2026-02-16
  • Notification (Round 1)2026-03-16
  • Artifact submission (Round 2)2026-07-23
  • Kick-the-tires (Round 2)2026-07-27 to 2026-08-03
  • Notification (Round 2)2026-08-30
artifact submission (Round 2)
2026-07-24 to 2026-07-25
Isabelle Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-24 to 2026-07-25
  • Paper/extended abstract2026-05-09
Lisbon, Portugal
event
2026-07-24
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
Student Research Competition notification
2026-07-24
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
posters notification
2026-07-24
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
tool demonstrations notification
2026-07-25
Lean Workshop 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-25
  • Abstract2026-04-22
  • Notification2026-05-08
  • Early-bird registration2026-06-01
  • Workshop early-bird registration2026-06-01
  • Registration2026-07-13
  • Workshop registration2026-07-13
Lisbon, Portugal
event
2026-07-26 to 2026-07-29
CAV 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Full paper2026-01-28
  • Author response2026-03-30 to 2026-04-01
  • Notification2026-04-17
Lisbon, Portugal
event
  • Student volunteering is handled via the FLoC 2026 umbrella program; exact application deadline not posted yet
2026-07-26 to 2026-07-29
IJCAR 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-06
  • Full paper2026-02-15
  • Paper2026-02-15
  • Rebuttal2026-03-30 to 2026-03-31
  • Notification2026-04-14
  • Camera-ready2026-06-15
Lisbon, Portugal
event
2026-07-26 to 2026-07-29
ITP 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-12
  • Full paper2026-02-19
Lisbon, Portugal
event
2026-07-27
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
essays conditional-accept revisions due
2026-07-27
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
papers conditional-accept revisions due
2026-07-27 to 2026-08-03
SPLASH artifact evaluation 2026
Deadlines
  • Artifact submission (Round 1)2026-02-05
  • Kick-the-tires (Round 1)2026-02-09 to 2026-02-16
  • Notification (Round 1)2026-03-16
  • Artifact submission (Round 2)2026-07-23
  • Kick-the-tires (Round 2)2026-07-27 to 2026-08-03
  • Notification (Round 2)2026-08-30
kick-the-tires (Round 2)
2026-07-30
EMNLP 2026
Budapest, Hungary
Deadlines
  • Conference2026-10-24 to 2026-10-29
  • ARR submission2026-05-25
  • Author response2026-07-07 to 2026-07-13
  • Meta-review2026-07-30
  • Commitment2026-08-02
  • Acceptance2026-08-20
  • Camera-ready2026-09-20
Budapest, Hungary
meta-review
  • Volunteer and subsidies pages look stale and still show EMNLP 2025 text.
  • Long note
2026-07-30
ML Family Workshop 2026
Deadlines
  • Submission2026-06-24
  • Initial author notification2026-07-23
  • Final author notification2026-07-30
final author notification
2026-07-31
EXPRESS 2026
Deadlines
  • Submission2026-06-14
  • Author notification2026-07-31
author notification
2026-07-31
NSAD 2026
Deadlines
  • Submission2026-06-14
  • Author notification2026-07-31
author notification
2026-07-31
PLSS 2026
Deadlines
  • Submission2026-06-14
  • Author notification2026-07-31
author notification
2026-07-31
SSNL 2026
Deadlines
  • Submission2026-06-14
  • Author notification2026-07-31
author notification
2026-08-02
EMNLP 2026
Budapest, Hungary
Deadlines
  • Conference2026-10-24 to 2026-10-29
  • ARR submission2026-05-25
  • Author response2026-07-07 to 2026-07-13
  • Meta-review2026-07-30
  • Commitment2026-08-02
  • Acceptance2026-08-20
  • Camera-ready2026-09-20
Budapest, Hungary
commitment
  • Volunteer and subsidies pages look stale and still show EMNLP 2025 text.
  • Long note
2026-08-03 to 2026-08-06
CCC 2026
Lisbon, Portugal
Deadlines
  • Conference2026-08-03 to 2026-08-06
  • Paper2026-02-06
Lisbon, Portugal
event
2026-08-03 to 2026-08-06
WoLLIC 2026
Lima, Peru
Deadlines
  • Conference2026-08-03 to 2026-08-06
  • Abstract/full paper2026-03-02
  • Notification2026-05-05
  • Camera-ready2026-05-20
Lima, Peru
event
2026-08-04
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
doctoral symposium author notification
2026-08-07
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
author notification revision (Round 2)
2026-08-07
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
Student Research Competition camera-ready
2026-08-07
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
posters camera-ready
2026-08-07
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
posters poster registration
2026-08-07
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
tool demonstrations camera-ready
2026-08-07
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
tool demonstrations poster registration
2026-08-10
FUNARCH 2026
Deadlines
  • Submission2026-06-01
  • Author notification2026-06-15
  • Camera-ready2026-07-07
  • Submission (second listed deadline on the ICFP page)2026-08-10
submission (second listed deadline on the ICFP page)
2026-08-10 to 2026-08-14
Summer School on Programming Languages, Logic, and Software Security
Aarhus University (INCUBA Katrinebjerg), Aarhus, Denmark
Deadlines
  • Conference2026-08-10 to 2026-08-14
Aarhus University (INCUBA Katrinebjerg), Aarhus, Denmark
event
  • Aimed at PhD students and advanced B.Sc./M.Sc. students
2026-08-14
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
camera-ready (Round 2)
2026-08-14
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
essays conditional-accept revisions notification
2026-08-14
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
papers conditional-accept revisions notification
2026-08-15 to 2026-08-21
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
event
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-08-15 to 2026-08-17
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
workshops and tutorials
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-08-17 to 2026-08-21
UAI 2026
Amsterdam, Netherlands
Deadlines
  • Conference2026-08-17 to 2026-08-21
  • Submission2026-02-26
Amsterdam, Netherlands
event
  • No live 2026 scholarship or volunteering page yet.
  • Long note
2026-08-18 to 2026-08-21
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
main conference
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-08-20
EMNLP 2026
Budapest, Hungary
Deadlines
  • Conference2026-10-24 to 2026-10-29
  • ARR submission2026-05-25
  • Author response2026-07-07 to 2026-07-13
  • Meta-review2026-07-30
  • Commitment2026-08-02
  • Acceptance2026-08-20
  • Camera-ready2026-09-20
Budapest, Hungary
acceptance
  • Volunteer and subsidies pages look stale and still show EMNLP 2025 text.
  • Long note
2026-08-22
VSTTE 2026
Graz, Austria
Deadlines
  • Conference2026-09-14
  • Abstract2026-07-10
  • Paper2026-07-17
  • Notification2026-08-22
  • Optional pre-conference version2026-09-02
  • Post-proceedings camera-ready2026-10-23
Graz, Austria
notification
2026-08-24 to 2026-08-28
MFCS 2026
Paris, France
Deadlines
  • Conference2026-08-24 to 2026-08-28
  • Paper2026-04-24
  • Notification2026-06-19
Paris, France
event
2026-08-25
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
essays camera-ready
2026-08-25
Onward! 2026
Deadlines
  • Essays submission2026-05-15
  • Papers submission2026-05-15
  • Essays decisions announced2026-06-22
  • Papers decisions announced2026-06-22
  • Essays conditional-accept revisions due2026-07-27
  • Papers conditional-accept revisions due2026-07-27
  • Essays conditional-accept revisions notification2026-08-14
  • Papers conditional-accept revisions notification2026-08-14
  • Essays camera-ready2026-08-25
  • Papers camera-ready2026-08-25
papers camera-ready
2026-08-30 to 2026-09-04
AITP 2026
Aussois, France
Deadlines
  • Conference2026-08-30 to 2026-09-04
  • Submission2026-05-05
  • Notification2026-06-20
Aussois, France
event
2026-08-30
SPLASH artifact evaluation 2026
Deadlines
  • Artifact submission (Round 1)2026-02-05
  • Kick-the-tires (Round 1)2026-02-09 to 2026-02-16
  • Notification (Round 1)2026-03-16
  • Artifact submission (Round 2)2026-07-23
  • Kick-the-tires (Round 2)2026-07-27 to 2026-08-03
  • Notification (Round 2)2026-08-30
notification (Round 2)
2026-08-30
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
doctoral symposium camera-ready submission
2026-09-02
VSTTE 2026
Graz, Austria
Deadlines
  • Conference2026-09-14
  • Abstract2026-07-10
  • Paper2026-07-17
  • Notification2026-08-22
  • Optional pre-conference version2026-09-02
  • Post-proceedings camera-ready2026-10-23
Graz, Austria
optional pre-conference version
2026-09-07 to 2026-09-10
POPL 2027
Deadlines
  • Paper2026-07-09
  • Author response2026-09-07 to 2026-09-10
  • Revision2026-10-26
  • Camera-ready2026-11-20
author response
2026-09-07 to 2026-09-11
Proof Society 2026
Aussois, France
Deadlines
  • Conference2026-09-07 to 2026-09-11
Aussois, France
event
  • 8th International School and Workshop on Proof Theory; more details to follow
2026-09-14
VSTTE 2026
Graz, Austria
Deadlines
  • Conference2026-09-14
  • Abstract2026-07-10
  • Paper2026-07-17
  • Notification2026-08-22
  • Optional pre-conference version2026-09-02
  • Post-proceedings camera-ready2026-10-23
Graz, Austria
event
2026-09-20
EMNLP 2026
Budapest, Hungary
Deadlines
  • Conference2026-10-24 to 2026-10-29
  • ARR submission2026-05-25
  • Author response2026-07-07 to 2026-07-13
  • Meta-review2026-07-30
  • Commitment2026-08-02
  • Acceptance2026-08-20
  • Camera-ready2026-09-20
Budapest, Hungary
camera-ready
  • Volunteer and subsidies pages look stale and still show EMNLP 2025 text.
  • Long note
2026-09-21 to 2026-09-25
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
event
2026-09-21 to 2026-09-25
CICM 2026 Workshops/Tutorials
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Proposal submission2026-04-30
  • Notification2026-05-07
event
  • Parent conference: CICM 2026
    Ljubljana, Slovenia
    Deadlines
    • Conference2026-09-21 to 2026-09-25
    • Abstract2026-03-25
    • Full paper2026-04-01
    • Reviews2026-05-22
    • Rebuttal2026-05-27
    • Notification2026-06-10
    • Presentation-only2026-06-15
    • Presentation-only submission2026-06-15
    • Camera-ready2026-07-01
2026-09-24
NeurIPS 2026
Sydney, Australia
Deadlines
  • Conference2026-12-06 to 2026-12-12
  • Paper abstract submission deadline2026-05-04
  • Full paper submission deadline2026-05-06
  • Paper author notifications2026-09-24
Sydney, Australia
paper author notifications
  • Main conference deadlines also apply to competitions, evaluations/datasets, and position papers.
2026-10-06 to 2026-10-09
COLM 2026
San Francisco, California, USA
Deadlines
  • Conference2026-10-06 to 2026-10-09
  • Abstract2026-03-26
  • Full paper2026-03-31
San Francisco, California, USA
event
  • Financial assistance, childcare, and volunteering announcements are still pending.
  • Long note
2026-10-23
VSTTE 2026
Graz, Austria
Deadlines
  • Conference2026-09-14
  • Abstract2026-07-10
  • Paper2026-07-17
  • Notification2026-08-22
  • Optional pre-conference version2026-09-02
  • Post-proceedings camera-ready2026-10-23
Graz, Austria
post-proceedings camera-ready
2026-10-24 to 2026-10-29
EMNLP 2026
Budapest, Hungary
Deadlines
  • Conference2026-10-24 to 2026-10-29
  • ARR submission2026-05-25
  • Author response2026-07-07 to 2026-07-13
  • Meta-review2026-07-30
  • Commitment2026-08-02
  • Acceptance2026-08-20
  • Camera-ready2026-09-20
Budapest, Hungary
event
  • Volunteer and subsidies pages look stale and still show EMNLP 2025 text.
  • Long note
2026-10-26
POPL 2027
Deadlines
  • Paper2026-07-09
  • Author response2026-09-07 to 2026-09-10
  • Revision2026-10-26
  • Camera-ready2026-11-20
revision
2026-10-31
ELLIS PhD Program
Deadlines
  • Application2026-10-31
application
2026-11-08 to 2026-11-11
FOCS 2026
New York City, USA
Deadlines
  • Conference2026-11-08 to 2026-11-11
  • Paper2026-04-01
New York City, USA
event
2026-11-11 to 2026-11-13
ICTAC 2026
Bariloche, Argentina
Deadlines
  • Conference2026-11-11 to 2026-11-13
Bariloche, Argentina
event
2026-11-20
POPL 2027
Deadlines
  • Paper2026-07-09
  • Author response2026-09-07 to 2026-09-10
  • Revision2026-10-26
  • Camera-ready2026-11-20
camera-ready
2026-12-06 to 2026-12-12
NeurIPS 2026
Sydney, Australia
Deadlines
  • Conference2026-12-06 to 2026-12-12
  • Paper abstract submission deadline2026-05-04
  • Full paper submission deadline2026-05-06
  • Paper author notifications2026-09-24
Sydney, Australia
event
  • Main conference deadlines also apply to competitions, evaluations/datasets, and position papers.

Past Events

Date Event Milestone Notes
2026-04-18
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
Artifact Evaluation Committee volunteer call
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-04-18
AIPV 2026
Tokyo, Japan
Deadlines
  • Conference2026-05-18
  • Submission2026-03-15
  • Notification2026-04-15
  • Early registration2026-04-18
  • Camera-ready2026-04-30
Tokyo, Japan
early registration
  • The source lists the event on either 18 or 19 May 2026; this record uses 18 May 2026.
2026-04-17 to 2026-04-18
Proved Guardrails in Lean for Multi-Agent Systems
Proved Guardrails in Lean for Multi-Agent Systems
Indian Institute of Science, Bangalore, India
Deadlines
  • Conference2026-04-17 to 2026-04-18
  • Eventfollowed by 10 days online
Indian Institute of Science, Bangalore, India
event
  • Hackathon on LeanLang for Verified Autonomy; kick-off event of the Emergence Autonomous Systems lab
2026-04-17
PROPL 2026
Deadlines
  • Submission2026-04-17
submission
2026-04-17
EGRAPHS 2026
Deadlines
  • Submission2026-04-17
submission
2026-04-17
CAV 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Full paper2026-01-28
  • Author response2026-03-30 to 2026-04-01
  • Notification2026-04-17
Lisbon, Portugal
notification
  • Student volunteering is handled via the FLoC 2026 umbrella program; exact application deadline not posted yet
2026-04-16
TYPES 2026
Gothenburg, Sweden
Deadlines
  • Conference2026-05-04 to 2026-05-08
  • Submission2026-01-20
  • Accepted contributed talks2026-02-20
  • Early registration2026-03-02
  • Late registration2026-04-16
Gothenburg, Sweden
late registration
2026-04-16
PLDI 2026
Deadlines
  • CP submission2026-03-30
  • ISMM submission2026-04-03
  • ARRAY submission2026-04-06
  • Student volunteer application2026-04-13
  • Research papers camera-ready2026-04-16
research papers camera-ready
  • https://pldi26.sigplan.org/track/pldi-2026-student-volunteering
2026-04-16
ISSTA 2026
Deadlines
  • Research papers submission2026-01-29
  • Research papers author response2026-03-24 to 2026-03-26
  • Research papers initial notification2026-04-16
  • Research papers major revision submission2026-05-21
  • Research papers final notification2026-06-25
  • Research papers camera-ready2026-07-23
research papers initial notification
2026-04-15
SOAP 2026
Deadlines
  • Notification2026-04-15
notification
2026-04-15
AIPV 2026
Tokyo, Japan
Deadlines
  • Conference2026-05-18
  • Submission2026-03-15
  • Notification2026-04-15
  • Early registration2026-04-18
  • Camera-ready2026-04-30
Tokyo, Japan
notification
  • The source lists the event on either 18 or 19 May 2026; this record uses 18 May 2026.
2026-04-15
ACL 2026 student volunteers / D&I subsidies
Deadlines
  • Application opens2026-04-13
  • Early registration opens2026-04-15
  • Application deadline2026-05-15
  • Notification of acceptance2026-05-22
early registration opens
  • application opens 13 Apr 2026, early registration opens 15 Apr 2026, deadline is 15 May 2026, and notification is 22 May 2026
  • https://2026.aclweb.org/calls/volunteers/ and https://2026.aclweb.org/calls/subsidies/
  • Covers: ACL 2026
    San Diego, California, USA
    Deadlines
    • Conference2026-07-02 to 2026-07-07
    • ARR submission2026-01-05
    • Reviews2026-03-10
    • Commitment2026-03-14
    • Acceptance2026-04-04
    • Camera-ready2026-04-19
2026-04-14
UNSOUND 2026
Brussels, Belgium
Deadlines
  • Conference2026-06-30
  • Submission2026-04-14
  • Author notification2026-04-19
Brussels, Belgium
submission
2026-04-14
IJCAR 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-06
  • Full paper2026-02-15
  • Paper2026-02-15
  • Rebuttal2026-03-30 to 2026-03-31
  • Notification2026-04-14
  • Camera-ready2026-06-15
Lisbon, Portugal
notification
2026-04-13
The Scala Workshop 2026
Deadlines
  • Author notification2026-04-13
author notification
2026-04-13
PLDI 2026
Deadlines
  • CP submission2026-03-30
  • ISMM submission2026-04-03
  • ARRAY submission2026-04-06
  • Student volunteer application2026-04-13
  • Research papers camera-ready2026-04-16
student volunteer application
  • https://pldi26.sigplan.org/track/pldi-2026-student-volunteering
2026-04-13 to 2026-04-17
event
2026-04-13
ACL 2026 student volunteers / D&I subsidies
Deadlines
  • Application opens2026-04-13
  • Early registration opens2026-04-15
  • Application deadline2026-05-15
  • Notification of acceptance2026-05-22
application opens
  • application opens 13 Apr 2026, early registration opens 15 Apr 2026, deadline is 15 May 2026, and notification is 22 May 2026
  • https://2026.aclweb.org/calls/volunteers/ and https://2026.aclweb.org/calls/subsidies/
  • Covers: ACL 2026
    San Diego, California, USA
    Deadlines
    • Conference2026-07-02 to 2026-07-07
    • ARR submission2026-01-05
    • Reviews2026-03-10
    • Commitment2026-03-14
    • Acceptance2026-04-04
    • Camera-ready2026-04-19
2026-04-11 to 2026-04-16
ETAPS 2026
Turin, Italy
Deadlines
  • Conference2026-04-11 to 2026-04-16
  • ESOP round 12025-06-03
  • ESOP round 22025-10-16
  • FASE2025-10-16
  • FoSSaCS2025-10-16
  • TACAS2025-10-16
Turin, Italy
event
2026-04-10
AI for Math Fund 2026 - Summer fellowship
Deadlines
  • AI for Math Summer Fellowship application2026-04-10
AI for Math Summer Fellowship application
2026-04-09
ECOOP 2026
Deadlines
  • VORTEX submission2026-03-31
  • Demos abstract submission2026-04-01
  • Demos submission2026-04-05
  • Technical papers round 2 notification2026-04-09
technical papers round 2 notification
2026-04-08 to 2026-04-10
AITPM (AI and Theorem Provers in Mathematics) Workshop
AITPM (AI and Theorem Provers in Mathematics) Workshop
Online
Deadlines
  • Conference2026-04-08 to 2026-04-10
Online
event
  • Registration is free; full programme available on the workshop website
2026-04-07 to 2026-04-10
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
author response
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-04-06
PLDI 2026
Deadlines
  • CP submission2026-03-30
  • ISMM submission2026-04-03
  • ARRAY submission2026-04-06
  • Student volunteer application2026-04-13
  • Research papers camera-ready2026-04-16
ARRAY submission
  • https://pldi26.sigplan.org/track/pldi-2026-student-volunteering
2026-04-05
ECOOP 2026
Deadlines
  • VORTEX submission2026-03-31
  • Demos abstract submission2026-04-01
  • Demos submission2026-04-05
  • Technical papers round 2 notification2026-04-09
demos submission
2026-04-04
ACL 2026
San Diego, California, USA
Deadlines
  • Conference2026-07-02 to 2026-07-07
  • ARR submission2026-01-05
  • Reviews2026-03-10
  • Commitment2026-03-14
  • Acceptance2026-04-04
  • Camera-ready2026-04-19
San Diego, California, USA
acceptance
2026-04-03
PLDI 2026
Deadlines
  • CP submission2026-03-30
  • ISMM submission2026-04-03
  • ARRAY submission2026-04-06
  • Student volunteer application2026-04-13
  • Research papers camera-ready2026-04-16
ISMM submission
  • https://pldi26.sigplan.org/track/pldi-2026-student-volunteering
2026-04-01
FTfJP 2026
Deadlines
  • Notification2026-04-01
notification
2026-04-01
FOCS 2026
New York City, USA
Deadlines
  • Conference2026-11-08 to 2026-11-11
  • Paper2026-04-01
New York City, USA
paper
2026-04-01
ECOOP 2026
Deadlines
  • VORTEX submission2026-03-31
  • Demos abstract submission2026-04-01
  • Demos submission2026-04-05
  • Technical papers round 2 notification2026-04-09
demos abstract submission
2026-04-01
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
full paper
2026-04-01
AI4Math @ ICML 2026 (3rd AI for Math Workshop)
Seoul, South Korea (Coex Convention & Exhibition Center)
Deadlines
  • Conference2026-07-10
  • Paper submission opens2026-04-01
  • Challenge opens2026-05-01
  • Paper submission2026-05-25
  • Challenge deadline2026-06-15
  • Decision notification2026-06-15
  • Camera-ready2026-06-25
Seoul, South Korea (Coex Convention & Exhibition Center)
paper submission opens
  • ICML 2026 workshop; theme: "Toward Self-Evolving Scientific Agents"
  • The source lists the workshop on either 10 or 11 Jul 2026; this record uses 10 Jul 2026.
  • Parent conference: ICML 2026
    Seoul, South Korea
    Deadlines
    • Conference2026-07-06 to 2026-07-11
    • Abstract2026-01-24
    • Full paper2026-01-29
2026-03-31
ECOOP 2026
Deadlines
  • VORTEX submission2026-03-31
  • Demos abstract submission2026-04-01
  • Demos submission2026-04-05
  • Technical papers round 2 notification2026-04-09
VORTEX submission
2026-03-31
COLM 2026
San Francisco, California, USA
Deadlines
  • Conference2026-10-06 to 2026-10-09
  • Abstract2026-03-26
  • Full paper2026-03-31
San Francisco, California, USA
full paper
  • Financial assistance, childcare, and volunteering announcements are still pending.
  • Long note
2026-03-31
date
  • workshop runs `2027-03-15` to `2027-04-09`
2026-03-31
AISTATS 2026
Tangier, Morocco
Deadlines
  • Conference2026-05-02 to 2026-05-05
  • Abstract2025-09-25
  • Full paper2025-10-02
  • Decisions2026-01-22
  • Camera-ready2026-03-31
Tangier, Morocco
camera-ready
2026-03-30
PLDI 2026
Deadlines
  • CP submission2026-03-30
  • ISMM submission2026-04-03
  • ARRAY submission2026-04-06
  • Student volunteer application2026-04-13
  • Research papers camera-ready2026-04-16
CP submission
  • https://pldi26.sigplan.org/track/pldi-2026-student-volunteering
2026-03-30 to 2026-04-03
Mathlib Reviewer Bootcamp 2026
Stockholm University, Stockholm, Sweden
Deadlines
  • Conference2026-03-30 to 2026-04-03
  • Application2026-02-28
Stockholm University, Stockholm, Sweden
event
  • Workshop aimed at training Lean experts to review Mathlib pull requests
2026-03-30 to 2026-03-31
IJCAR 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-06
  • Full paper2026-02-15
  • Paper2026-02-15
  • Rebuttal2026-03-30 to 2026-03-31
  • Notification2026-04-14
  • Camera-ready2026-06-15
Lisbon, Portugal
rebuttal
2026-03-30 to 2026-04-01
CAV 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Full paper2026-01-28
  • Author response2026-03-30 to 2026-04-01
  • Notification2026-04-17
Lisbon, Portugal
author response
  • Student volunteering is handled via the FLoC 2026 umbrella program; exact application deadline not posted yet
2026-03-30
AI for Math Fund 2026 - Grant round
AI for Math Fund 2026 - Grant round
Deadlines
  • AI for Math Fund 2026 abstract submission2026-03-30
AI for Math Fund 2026 abstract submission
2026-03-26
SSTT 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-06-04 to 2026-06-05
  • Short abstract2026-03-26
  • Notification2026-04-23
Ljubljana, Slovenia
short abstract
2026-03-26
COLM 2026
San Francisco, California, USA
Deadlines
  • Conference2026-10-06 to 2026-10-09
  • Abstract2026-03-26
  • Full paper2026-03-31
San Francisco, California, USA
abstract
  • Financial assistance, childcare, and volunteering announcements are still pending.
  • Long note
2026-03-25
CICM 2026
Ljubljana, Slovenia
Deadlines
  • Conference2026-09-21 to 2026-09-25
  • Abstract2026-03-25
  • Full paper2026-04-01
  • Reviews2026-05-22
  • Rebuttal2026-05-27
  • Notification2026-06-10
  • Presentation-only2026-06-15
  • Presentation-only submission2026-06-15
  • Camera-ready2026-07-01
Ljubljana, Slovenia
abstract
2026-03-24 to 2026-03-26
ISSTA 2026
Deadlines
  • Research papers submission2026-01-29
  • Research papers author response2026-03-24 to 2026-03-26
  • Research papers initial notification2026-04-16
  • Research papers major revision submission2026-05-21
  • Research papers final notification2026-06-25
  • Research papers camera-ready2026-07-23
research papers author response
2026-03-17
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
submission (Round 2)
2026-03-16
SPLASH artifact evaluation 2026
Deadlines
  • Artifact submission (Round 1)2026-02-05
  • Kick-the-tires (Round 1)2026-02-09 to 2026-02-16
  • Notification (Round 1)2026-03-16
  • Artifact submission (Round 2)2026-07-23
  • Kick-the-tires (Round 2)2026-07-27 to 2026-08-03
  • Notification (Round 2)2026-08-30
notification (Round 1)
2026-03-15
Postdoc in proof automation at MPI-SWS / TU Wien
Postdoc in proof automation at MPI-SWS / TU Wien
Deadlines
  • Application deadline2026-03-15
application deadline
  • Lean4 Zulip `job-postings`
2026-03-15
AIPV 2026
Tokyo, Japan
Deadlines
  • Conference2026-05-18
  • Submission2026-03-15
  • Notification2026-04-15
  • Early registration2026-04-18
  • Camera-ready2026-04-30
Tokyo, Japan
submission
  • The source lists the event on either 18 or 19 May 2026; this record uses 18 May 2026.
2026-03-14
ICLR 2026
Rio de Janeiro, Brazil
Deadlines
  • Conference2026-04-23 to 2026-04-27
  • Abstract2025-09-19
  • Full paper2025-09-24
  • Notification2026-01-25
  • Early registration2026-03-14
Rio de Janeiro, Brazil
early registration
2026-03-14
ACL 2026
San Diego, California, USA
Deadlines
  • Conference2026-07-02 to 2026-07-07
  • ARR submission2026-01-05
  • Reviews2026-03-10
  • Commitment2026-03-14
  • Acceptance2026-04-04
  • Camera-ready2026-04-19
San Diego, California, USA
commitment
2026-03-12
MFPS 2026
Deadlines
  • Conference2026-06-01 to 2026-06-03
  • Paper2026-03-12
  • Paper submission2026-03-12
  • Notification2026-04-23
paper submission
  • deadline extended from `2026-03-05` AoE to `2026-03-12` AoE
  • Registration deadline TBA
2026-03-12
MFPS 2026
Deadlines
  • Conference2026-06-01 to 2026-06-03
  • Paper2026-03-12
  • Paper submission2026-03-12
  • Notification2026-04-23
paper
  • deadline extended from `2026-03-05` AoE to `2026-03-12` AoE
  • Registration deadline TBA
2026-03-12
Online
event
  • Time: `13:00` EST
  • Talk by Theodore Ehrenborg (Beneficial AI Foundation and PIBBSS)
2026-03-10
ACL 2026
San Diego, California, USA
Deadlines
  • Conference2026-07-02 to 2026-07-07
  • ARR submission2026-01-05
  • Reviews2026-03-10
  • Commitment2026-03-14
  • Acceptance2026-04-04
  • Camera-ready2026-04-19
San Diego, California, USA
reviews
2026-03-06
SAT 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Abstract2026-02-27
  • Full paper2026-03-06
Lisbon, Portugal
full paper
2026-03-04
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
Phase I notification
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-03-02
WoLLIC 2026
Lima, Peru
Deadlines
  • Conference2026-08-03 to 2026-08-06
  • Abstract/full paper2026-03-02
  • Notification2026-05-05
  • Camera-ready2026-05-20
Lima, Peru
abstract/full paper
2026-03-02
TYPES 2026
Gothenburg, Sweden
Deadlines
  • Conference2026-05-04 to 2026-05-08
  • Submission2026-01-20
  • Accepted contributed talks2026-02-20
  • Early registration2026-03-02
  • Late registration2026-04-16
Gothenburg, Sweden
early registration
2026-03-02
Formal Verification of Statistical Model Checking Algorithms (King's College London PhD)
Formal Verification of Statistical Model Checking Algorithms (King's College London PhD)
Deadlines
  • Application deadline2026-03-02
application deadline
  • Lean4 Zulip `job-postings`
2026-02-28
Mathlib Reviewer Bootcamp 2026
Stockholm University, Stockholm, Sweden
Deadlines
  • Conference2026-03-30 to 2026-04-03
  • Application2026-02-28
Stockholm University, Stockholm, Sweden
application
  • Workshop aimed at training Lean experts to review Mathlib pull requests
2026-02-28
DIAS Fellow (tenure-track assistant professor) in Formal Methods
DIAS Fellow (tenure-track assistant professor) in Formal Methods
Deadlines
  • Application deadline2026-02-28
application deadline
  • Lean4 Zulip `job-postings`
2026-02-27
SAT 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Abstract2026-02-27
  • Full paper2026-03-06
Lisbon, Portugal
abstract
2026-02-27
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
camera-ready (Round 1)
2026-02-26
UAI 2026
Amsterdam, Netherlands
Deadlines
  • Conference2026-08-17 to 2026-08-21
  • Submission2026-02-26
Amsterdam, Netherlands
submission
  • No live 2026 scholarship or volunteering page yet.
  • Long note
2026-02-24 to 2026-02-27
CSL 2026
Paris, France
Deadlines
  • Conference2026-02-24 to 2026-02-27
  • Abstract2025-07-15
  • Paper2025-07-21
Paris, France
event
2026-02-23
Assistant Professor in Pure Mathematics, Utrecht University
Assistant Professor in Pure Mathematics, Utrecht University
Deadlines
  • Application deadline2026-02-23
application deadline
  • Lean4 Zulip `job-postings`
2026-02-20
TYPES 2026
Gothenburg, Sweden
Deadlines
  • Conference2026-05-04 to 2026-05-08
  • Submission2026-01-20
  • Accepted contributed talks2026-02-20
  • Early registration2026-03-02
  • Late registration2026-04-16
Gothenburg, Sweden
accepted contributed talks
2026-02-19
ITP 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-12
  • Full paper2026-02-19
Lisbon, Portugal
full paper
2026-02-19
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
papers submission
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-02-17
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
author notification revision (Round 1)
2026-02-15
IJCAR 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-06
  • Full paper2026-02-15
  • Paper2026-02-15
  • Rebuttal2026-03-30 to 2026-03-31
  • Notification2026-04-14
  • Camera-ready2026-06-15
Lisbon, Portugal
paper
2026-02-15
IJCAR 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-06
  • Full paper2026-02-15
  • Paper2026-02-15
  • Rebuttal2026-03-30 to 2026-03-31
  • Notification2026-04-14
  • Camera-ready2026-06-15
Lisbon, Portugal
full paper
2026-02-12
ITP 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-12
  • Full paper2026-02-19
Lisbon, Portugal
abstract
2026-02-09 to 2026-02-16
SPLASH artifact evaluation 2026
Deadlines
  • Artifact submission (Round 1)2026-02-05
  • Kick-the-tires (Round 1)2026-02-09 to 2026-02-16
  • Notification (Round 1)2026-03-16
  • Artifact submission (Round 2)2026-07-23
  • Kick-the-tires (Round 2)2026-07-27 to 2026-08-03
  • Notification (Round 2)2026-08-30
kick-the-tires (Round 1)
2026-02-06
IJCAR 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Abstract2026-02-06
  • Full paper2026-02-15
  • Paper2026-02-15
  • Rebuttal2026-03-30 to 2026-03-31
  • Notification2026-04-14
  • Camera-ready2026-06-15
Lisbon, Portugal
abstract
2026-02-06
ICALP 2026
Egham, UK
Deadlines
  • Conference2026-07-07 to 2026-07-10
  • Abstract2026-02-03
  • Full paper2026-02-06
Egham, UK
full paper
2026-02-06
CCC 2026
Lisbon, Portugal
Deadlines
  • Conference2026-08-03 to 2026-08-06
  • Paper2026-02-06
Lisbon, Portugal
paper
2026-02-05
SPLASH artifact evaluation 2026
Deadlines
  • Artifact submission (Round 1)2026-02-05
  • Kick-the-tires (Round 1)2026-02-09 to 2026-02-16
  • Notification (Round 1)2026-03-16
  • Artifact submission (Round 2)2026-07-23
  • Kick-the-tires (Round 2)2026-07-27 to 2026-08-03
  • Notification (Round 2)2026-08-30
artifact submission (Round 1)
2026-02-04
COLT 2026
San Diego, California, USA
Deadlines
  • Conference2026-06-29 to 2026-07-03
  • Submission2026-02-04
  • Notification2026-05-04
San Diego, California, USA
submission
2026-02-03
OOPSLA 2026
Deadlines
  • Revisions due (Round 1)2026-02-03
  • Author notification revision (Round 1)2026-02-17
  • Camera-ready (Round 1)2026-02-27
  • Submission (Round 2)2026-03-17
  • Author response (Round 2)2026-05-19 to 2026-05-22
  • Author notification (Round 2)2026-06-10
  • Revision due (Round 2)2026-07-21
  • Author notification revision (Round 2)2026-08-07
  • Camera-ready (Round 2)2026-08-14
revisions due (Round 1)
2026-02-03
ICALP 2026
Egham, UK
Deadlines
  • Conference2026-07-07 to 2026-07-10
  • Abstract2026-02-03
  • Full paper2026-02-06
Egham, UK
abstract
2026-02-01
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
workshops notification
2026-02-01
PhD and Postdoc in (Formalized) Quantum Software, Aarhus, Denmark
PhD and Postdoc in (Formalized) Quantum Software, Aarhus, Denmark
Deadlines
  • Application deadline2026-02-01
application deadline
  • Lean4 Zulip `job-postings`
2026-01-31
Postdocs at Aalto University (Finland)
Postdocs at Aalto University (Finland)
Deadlines
  • Application deadline2026-01-31
application deadline
  • Lean4 Zulip `job-postings`
2026-01-31
PhD position in Saint-Etienne and Paris
PhD position in Saint-Etienne and Paris
Deadlines
  • Application deadline2026-01-31
application deadline
  • Lean4 Zulip `job-postings`
2026-01-30
FSCD 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Abstract2026-01-23
  • Full paper2026-01-30
Lisbon, Portugal
full paper
2026-01-29
ISSTA 2026
Deadlines
  • Research papers submission2026-01-29
  • Research papers author response2026-03-24 to 2026-03-26
  • Research papers initial notification2026-04-16
  • Research papers major revision submission2026-05-21
  • Research papers final notification2026-06-25
  • Research papers camera-ready2026-07-23
research papers submission
2026-01-29
ICML 2026
Seoul, South Korea
Deadlines
  • Conference2026-07-06 to 2026-07-11
  • Abstract2026-01-24
  • Full paper2026-01-29
Seoul, South Korea
full paper
2026-01-28
CAV 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-26 to 2026-07-29
  • Full paper2026-01-28
  • Author response2026-03-30 to 2026-04-01
  • Notification2026-04-17
Lisbon, Portugal
full paper
  • Student volunteering is handled via the FLoC 2026 umbrella program; exact application deadline not posted yet
2026-01-27 to 2026-01-30
JFLA 2026
Oberbronn, France
Deadlines
  • Conference2026-01-27 to 2026-01-30
Oberbronn, France
event
2026-01-25
ICLR 2026
Rio de Janeiro, Brazil
Deadlines
  • Conference2026-04-23 to 2026-04-27
  • Abstract2025-09-19
  • Full paper2025-09-24
  • Notification2026-01-25
  • Early registration2026-03-14
Rio de Janeiro, Brazil
notification
2026-01-24
ICML 2026
Seoul, South Korea
Deadlines
  • Conference2026-07-06 to 2026-07-11
  • Abstract2026-01-24
  • Full paper2026-01-29
Seoul, South Korea
abstract
2026-01-23
FSCD 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Abstract2026-01-23
  • Full paper2026-01-30
Lisbon, Portugal
abstract
2026-01-22
LICS 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Title/short abstract2026-01-15
  • Full paper2026-01-22
Lisbon, Portugal
full paper
  • Student volunteering is handled via the FLoC 2026 umbrella program; exact application deadline not posted yet
2026-01-22
AISTATS 2026
Tangier, Morocco
Deadlines
  • Conference2026-05-02 to 2026-05-05
  • Abstract2025-09-25
  • Full paper2025-10-02
  • Decisions2026-01-22
  • Camera-ready2026-03-31
Tangier, Morocco
decisions
2026-01-20
TYPES 2026
Gothenburg, Sweden
Deadlines
  • Conference2026-05-04 to 2026-05-08
  • Submission2026-01-20
  • Accepted contributed talks2026-02-20
  • Early registration2026-03-02
  • Late registration2026-04-16
Gothenburg, Sweden
submission
2026-01-20 to 2026-01-27
AAAI 2026
Singapore
Deadlines
  • Conference2026-01-20 to 2026-01-27
  • Abstract2025-07-25
  • Full paper2025-08-01
  • Supplementary/code2025-08-04
  • Final decision2025-11-08
  • Camera-ready2025-11-16
Singapore
event
2026-01-19 to 2026-01-23
Lean Together 2026
Online
Deadlines
  • Conference2026-01-19 to 2026-01-23
  • Talk abstract2025-12-01
Online
event
2026-01-19
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
special tracks / survey track full paper
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-01-19
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
main track full paper
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-01-19
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
full paper
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-01-17
SPLASH/ISSTA 2026
Deadlines
  • Workshops proposal2026-01-17
  • Workshops notification2026-02-01
  • Posters submission2026-06-26
  • Student Research Competition submission2026-06-26
  • Tool demonstrations submission2026-06-26
  • Doctoral symposium submission2026-07-03
  • Posters notification2026-07-24
  • Student Research Competition notification2026-07-24
  • Tool demonstrations notification2026-07-24
  • Doctoral symposium author notification2026-08-04
  • Posters camera-ready2026-08-07
  • Posters poster registration2026-08-07
  • Student Research Competition camera-ready2026-08-07
  • Tool demonstrations camera-ready2026-08-07
  • Tool demonstrations poster registration2026-08-07
  • Doctoral symposium camera-ready submission2026-08-30
workshops proposal
2026-01-17
RocqPL 2026
Rennes, France
Deadlines
  • Conference2026-01-17
  • Submission2025-10-31
  • Notification2025-11-28
Rennes, France
event
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2026-01-15
LICS 2026
Lisbon, Portugal
Deadlines
  • Conference2026-07-20 to 2026-07-23
  • Title/short abstract2026-01-15
  • Full paper2026-01-22
Lisbon, Portugal
title/short abstract
  • Student volunteering is handled via the FLoC 2026 umbrella program; exact application deadline not posted yet
2026-01-15
ICFP 2026
Deadlines
  • Workshop proposal2026-01-15
  • Papers submission2026-02-19
  • Artifact Evaluation Committee volunteer call2026-04-18
  • Papers reviews sent to authors2026-04-20
  • Papers author response2026-04-20 to 2026-04-23
  • Papers conditional acceptance notification2026-05-14
  • Papers revisions due2026-06-03
  • Papers final decisions2026-06-10
  • Tutorials proposal2026-06-21
  • Papers camera-ready2026-07-01
workshop proposal
  • https://discourse.rocq-prover.org/t/volunteers-for-icfp-2026-artifact-evaluation-committee-aec/2998
2026-01-15
(Post-)Doctoral positions at Chapman University 2026 (doctoral track)
(Post-)Doctoral positions at Chapman University 2026 (doctoral track)
Deadlines
  • Application deadline2026-01-15
application deadline
  • Lean4 Zulip `job-postings`
2026-01-12 to 2026-01-13
VMCAI 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Paper2025-09-15
  • Artifact registration2025-09-17
  • Artifact submission2025-09-22
Rennes, France
event
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2026-01-12
Permanent junior CNRS position in formalization / AI for mathematics
Permanent junior CNRS position in formalization / AI for mathematics
Deadlines
  • Application deadline2026-01-12
application deadline
  • Lean4 Zulip `job-postings`
2026-01-12 to 2026-01-13
PADL 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Abstract2025-10-10
  • Paper2025-10-20
  • Notification2025-11-13
Rennes, France
event
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2026-01-12
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
main track abstract
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-01-12
IJCAI 2026
Deadlines
  • Conference2026-08-15 to 2026-08-21
  • Abstract submission2026-01-12
  • Main track abstract2026-01-12
  • Full paper2026-01-19
  • Main track full paper2026-01-19
  • Special tracks / survey track full paper2026-01-19
  • Phase I notification2026-03-04
  • Author response2026-04-07 to 2026-04-10
  • Paper notification2026-04-29
  • Camera-ready copy2026-05-15
  • Workshops and tutorials2026-08-15 to 2026-08-17
  • Main conference2026-08-18 to 2026-08-21
abstract submission
  • Opening reception and Industry Day are listed; student-volunteer call is not live.
  • Long note
2026-01-12 to 2026-01-13
CPP 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Abstract2025-09-05
  • Paper2025-09-12
  • Notification2025-11-13
Rennes, France
event
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2026-01-11
Rennes, France
event
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2026-01-11 to 2026-01-14
SODA 2026
Vancouver, Canada
Deadlines
  • Conference2026-01-11 to 2026-01-14
  • Paper2025-07-14
Vancouver, Canada
event
2026-01-11 to 2026-01-17
POPL 2026
Rennes, France
Deadlines
  • Conference2026-01-11 to 2026-01-17
  • Paper2025-07-10
  • Student volunteering2025-11-10
Rennes, France
event
2026-01-11
Multiple Postdoc and Faculty Positions at FORM (Denmark)
Multiple Postdoc and Faculty Positions at FORM (Denmark)
Deadlines
  • Application deadline2026-01-11
application deadline
  • Lean4 Zulip `job-postings`
2026-01-09
CS Faculty position at the University of Montreal
CS Faculty position at the University of Montreal
Deadlines
  • Application deadline2026-01-09
application deadline
  • Lean4 Zulip `job-postings`
2026-01-08
PhD positions in verification of low-level code at ISTA
PhD positions in verification of low-level code at ISTA
Deadlines
  • Application deadline2026-01-08
application deadline
  • Lean4 Zulip `job-postings`
2026-01-05
ACL 2026
San Diego, California, USA
Deadlines
  • Conference2026-07-02 to 2026-07-07
  • ARR submission2026-01-05
  • Reviews2026-03-10
  • Commitment2026-03-14
  • Acceptance2026-04-04
  • Camera-ready2026-04-19
San Diego, California, USA
ARR submission
2025-12-01
Lean Together 2026
Online
Deadlines
  • Conference2026-01-19 to 2026-01-23
  • Talk abstract2025-12-01
Online
talk abstract
2025-11-28
RocqPL 2026
Rennes, France
Deadlines
  • Conference2026-01-17
  • Submission2025-10-31
  • Notification2025-11-28
Rennes, France
notification
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-11-16
AAAI 2026
Singapore
Deadlines
  • Conference2026-01-20 to 2026-01-27
  • Abstract2025-07-25
  • Full paper2025-08-01
  • Supplementary/code2025-08-04
  • Final decision2025-11-08
  • Camera-ready2025-11-16
Singapore
camera-ready
2025-11-13
PADL 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Abstract2025-10-10
  • Paper2025-10-20
  • Notification2025-11-13
Rennes, France
notification
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-11-13
CPP 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Abstract2025-09-05
  • Paper2025-09-12
  • Notification2025-11-13
Rennes, France
notification
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-11-10
POPL 2026
Rennes, France
Deadlines
  • Conference2026-01-11 to 2026-01-17
  • Paper2025-07-10
  • Student volunteering2025-11-10
Rennes, France
student volunteering
2025-11-08
AAAI 2026
Singapore
Deadlines
  • Conference2026-01-20 to 2026-01-27
  • Abstract2025-07-25
  • Full paper2025-08-01
  • Supplementary/code2025-08-04
  • Final decision2025-11-08
  • Camera-ready2025-11-16
Singapore
final decision
2025-11-04
STOC 2026
Salt Lake City, Utah, USA
Deadlines
  • Conference2026-06-22 to 2026-06-26
  • Paper2025-11-04
Salt Lake City, Utah, USA
paper
2025-10-31
RocqPL 2026
Rennes, France
Deadlines
  • Conference2026-01-17
  • Submission2025-10-31
  • Notification2025-11-28
Rennes, France
submission
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-10-20
PADL 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Abstract2025-10-10
  • Paper2025-10-20
  • Notification2025-11-13
Rennes, France
paper
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-10-16
ETAPS 2026
Turin, Italy
Deadlines
  • Conference2026-04-11 to 2026-04-16
  • ESOP round 12025-06-03
  • ESOP round 22025-10-16
  • FASE2025-10-16
  • FoSSaCS2025-10-16
  • TACAS2025-10-16
Turin, Italy
TACAS
2025-10-16
ETAPS 2026
Turin, Italy
Deadlines
  • Conference2026-04-11 to 2026-04-16
  • ESOP round 12025-06-03
  • ESOP round 22025-10-16
  • FASE2025-10-16
  • FoSSaCS2025-10-16
  • TACAS2025-10-16
Turin, Italy
FoSSaCS
2025-10-16
ETAPS 2026
Turin, Italy
Deadlines
  • Conference2026-04-11 to 2026-04-16
  • ESOP round 12025-06-03
  • ESOP round 22025-10-16
  • FASE2025-10-16
  • FoSSaCS2025-10-16
  • TACAS2025-10-16
Turin, Italy
FASE
2025-10-16
ETAPS 2026
Turin, Italy
Deadlines
  • Conference2026-04-11 to 2026-04-16
  • ESOP round 12025-06-03
  • ESOP round 22025-10-16
  • FASE2025-10-16
  • FoSSaCS2025-10-16
  • TACAS2025-10-16
Turin, Italy
ESOP round 2
2025-10-10
PADL 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Abstract2025-10-10
  • Paper2025-10-20
  • Notification2025-11-13
Rennes, France
abstract
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-10-02
AISTATS 2026
Tangier, Morocco
Deadlines
  • Conference2026-05-02 to 2026-05-05
  • Abstract2025-09-25
  • Full paper2025-10-02
  • Decisions2026-01-22
  • Camera-ready2026-03-31
Tangier, Morocco
full paper
2025-09-25
AISTATS 2026
Tangier, Morocco
Deadlines
  • Conference2026-05-02 to 2026-05-05
  • Abstract2025-09-25
  • Full paper2025-10-02
  • Decisions2026-01-22
  • Camera-ready2026-03-31
Tangier, Morocco
abstract
2025-09-24
ICLR 2026
Rio de Janeiro, Brazil
Deadlines
  • Conference2026-04-23 to 2026-04-27
  • Abstract2025-09-19
  • Full paper2025-09-24
  • Notification2026-01-25
  • Early registration2026-03-14
Rio de Janeiro, Brazil
full paper
2025-09-22
VMCAI 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Paper2025-09-15
  • Artifact registration2025-09-17
  • Artifact submission2025-09-22
Rennes, France
artifact submission
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-09-19
ICLR 2026
Rio de Janeiro, Brazil
Deadlines
  • Conference2026-04-23 to 2026-04-27
  • Abstract2025-09-19
  • Full paper2025-09-24
  • Notification2026-01-25
  • Early registration2026-03-14
Rio de Janeiro, Brazil
abstract
2025-09-17
VMCAI 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Paper2025-09-15
  • Artifact registration2025-09-17
  • Artifact submission2025-09-22
Rennes, France
artifact registration
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-09-15
VMCAI 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Paper2025-09-15
  • Artifact registration2025-09-17
  • Artifact submission2025-09-22
Rennes, France
paper
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-09-12
CPP 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Abstract2025-09-05
  • Paper2025-09-12
  • Notification2025-11-13
Rennes, France
paper
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-09-05
CPP 2026
Rennes, France
Deadlines
  • Conference2026-01-12 to 2026-01-13
  • Abstract2025-09-05
  • Paper2025-09-12
  • Notification2025-11-13
Rennes, France
abstract
  • Parent conference: POPL 2026
    Rennes, France
    Deadlines
    • Conference2026-01-11 to 2026-01-17
    • Paper2025-07-10
    • Student volunteering2025-11-10
2025-08-04
AAAI 2026
Singapore
Deadlines
  • Conference2026-01-20 to 2026-01-27
  • Abstract2025-07-25
  • Full paper2025-08-01
  • Supplementary/code2025-08-04
  • Final decision2025-11-08
  • Camera-ready2025-11-16
Singapore
supplementary/code
2025-08-01
AAAI 2026
Singapore
Deadlines
  • Conference2026-01-20 to 2026-01-27
  • Abstract2025-07-25
  • Full paper2025-08-01
  • Supplementary/code2025-08-04
  • Final decision2025-11-08
  • Camera-ready2025-11-16
Singapore
full paper
2025-07-31
historical_deadline
  • the programs page says Financial Assistance, Childcare, and Volunteering announcements are coming soon
  • https://colmweb.org/programs.html
2025-07-25
AAAI 2026
Singapore
Deadlines
  • Conference2026-01-20 to 2026-01-27
  • Abstract2025-07-25
  • Full paper2025-08-01
  • Supplementary/code2025-08-04
  • Final decision2025-11-08
  • Camera-ready2025-11-16
Singapore
abstract
2025-07-21
CSL 2026
Paris, France
Deadlines
  • Conference2026-02-24 to 2026-02-27
  • Abstract2025-07-15
  • Paper2025-07-21
Paris, France
paper
2025-07-15
CSL 2026
Paris, France
Deadlines
  • Conference2026-02-24 to 2026-02-27
  • Abstract2025-07-15
  • Paper2025-07-21
Paris, France
abstract
2025-07-14
SODA 2026
Vancouver, Canada
Deadlines
  • Conference2026-01-11 to 2026-01-14
  • Paper2025-07-14
Vancouver, Canada
paper
2025-07-10
POPL 2026
Rennes, France
Deadlines
  • Conference2026-01-11 to 2026-01-17
  • Paper2025-07-10
  • Student volunteering2025-11-10
Rennes, France
paper
2025-06-03
ETAPS 2026
Turin, Italy
Deadlines
  • Conference2026-04-11 to 2026-04-16
  • ESOP round 12025-06-03
  • ESOP round 22025-10-16
  • FASE2025-10-16
  • FoSSaCS2025-10-16
  • TACAS2025-10-16
Turin, Italy
ESOP round 1

Unsure

DateEventMilestoneNotes
TBA
deadline
  • volunteer and subsidy pages exist, but currently appear stale and still show EMNLP 2025 text
  • https://2026.emnlp.org/calls/volunteers/ and https://2026.emnlp.org/calls/subsidies/
`mid-May 2026`
FLoC 2026 student volunteers
Deadlines
  • Approximate_deadline`mid-May 2026`
approximate_deadline
  • application is open
  • registration waived for accepted volunteers, but travel and accommodation are not covered
  • https://www.floc26.org/registration
  • Covers: CAV 2026
    Lisbon, Portugal
    Deadlines
    • Conference2026-07-26 to 2026-07-29
    • Full paper2026-01-28
    • Author response2026-03-30 to 2026-04-01
    • Notification2026-04-17
  • Covers: LICS 2026
    Lisbon, Portugal
    Deadlines
    • Conference2026-07-20 to 2026-07-23
    • Title/short abstract2026-01-15
    • Full paper2026-01-22
the student-volunteer deadline is not posted yet, but a public 2026 call is expected
ICFP 2026 student volunteers
Deadlines
  • Deadlinethe student-volunteer deadline is not posted yet, but a public 2026 call is expected
deadline
  • the Artifact Evaluation Committee volunteer call is already tracked below
  • https://icfp26.sigplan.org/
historical volunteer deadline `2025-06-01` AoE
IJCAI-ECAI 2026 student volunteers
Deadlines
  • Deadlinehistorical volunteer deadline `2025-06-01` AoE
deadline
  • no live 2026 volunteer call yet, but Student Volunteer Chairs are already listed
  • https://2026.ijcai.org/local-coordination/
followed by 10 days online
Proved Guardrails in Lean for Multi-Agent Systems
Proved Guardrails in Lean for Multi-Agent Systems
Indian Institute of Science, Bangalore, India
Deadlines
  • Conference2026-04-17 to 2026-04-18
  • Eventfollowed by 10 days online
Indian Institute of Science, Bangalore, India
event
  • Hackathon on LeanLang for Verified Autonomy; kick-off event of the Emergence Autonomous Systems lab
volunteer program confirmed, but the 2026 deadline is not posted yet
SPLASH/ISSTA 2026 student volunteers
Deadlines
  • Deadlinevolunteer program confirmed, but the 2026 deadline is not posted yet
deadline
  • https://2026.splashcon.org/track/splash-issta-2026-student-volunteers

Long Notes

EventLong note
COLM 2026 The programs page says that Financial Assistance, Childcare, and Volunteering announcements will be posted soon; the corresponding 2025 application deadline was `2025-07-31` Back to table
EMNLP 2026 Volunteer and subsidies pages exist, but currently appear stale and still show EMNLP 2025 text; the visible subsidies information mentions registration, caregiving, bandwidth, travel, and VPN support Back to table
FLoC 2026 Umbrella student-volunteer program covers CAV 2026 and LICS 2026; the application is open and remains open until approximately mid-May 2026; accepted volunteers get the registration fee waived, but travel and accommodation are not covered Back to table
IJCAI 2026 Opening reception `2026-08-17`; Industry Day `2026-08-19` (tentative); no live 2026 student volunteer call is posted yet, but the local coordination page lists Student Volunteer Chairs Back to table
IJCAR 2026 Premier international venue on automated reasoning; held biannually as a merger of CADE, FroCoS, and TABLEAUX; part of FLoC 2026 Back to table
Milestones of Autonomous Mathematics Co-sponsored by ICARM and Principia Labs; limited funding is available; to apply, send a CV and brief statement of interest to `events@icarm.io`; single-day or online participation may be possible if there is sufficient interest Back to table
UAI 2026 No live 2026 scholarship or volunteering page yet; historically, scholarship awardees could be asked to do light volunteering work and the support mainly covered free or reduced registration Back to table