BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conference-deadlines//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Conference Deadlines - Theory
BEGIN:VEVENT
UID:ijcar-2026-0-abstract@conference-deadlines
DTSTAMP:20260207T115959Z
DTSTART:20260207T115959Z
DTEND:20260207T122959Z
TRANSP:TRANSPARENT
SUMMARY:IJCAR 2026 abstract deadline
DESCRIPTION:International Joint Conference on Automated Reasoning\nhttps://
 www.floc26.org/ijcar\nLocation: Lisbon\, Portugal
URL:https://www.floc26.org/ijcar
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2026-0-paper@conference-deadlines
DTSTAMP:20260216T115959Z
DTSTART:20260216T115959Z
DTEND:20260216T122959Z
TRANSP:TRANSPARENT
SUMMARY:IJCAR 2026 deadline
DESCRIPTION:International Joint Conference on Automated Reasoning\nhttps://
 www.floc26.org/ijcar\nLocation: Lisbon\, Portugal
URL:https://www.floc26.org/ijcar
END:VEVENT
BEGIN:VEVENT
UID:cocoon-2026-0-paper@conference-deadlines
DTSTAMP:20260305T115959Z
DTSTART:20260305T115959Z
DTEND:20260305T122959Z
TRANSP:TRANSPARENT
SUMMARY:COCOON 2026 deadline
DESCRIPTION:International Computing and Combinatorics Conference\nhttps://e
 vent.ntu.edu.sg/cocoon2026\nLocation: Singapore
URL:https://event.ntu.edu.sg/cocoon2026
END:VEVENT
BEGIN:VEVENT
UID:sat-2026-0-abstract@conference-deadlines
DTSTAMP:20260303T115959Z
DTSTART:20260303T115959Z
DTEND:20260303T122959Z
TRANSP:TRANSPARENT
SUMMARY:SAT 2026 abstract deadline
DESCRIPTION:International Conference on Theory and Applications of Satisfia
 bility Testing\nhttps://satisfiability.org/SAT26/\nLocation: Lisbon\, Port
 ugal
URL:https://satisfiability.org/SAT26/
END:VEVENT
BEGIN:VEVENT
UID:sat-2026-0-paper@conference-deadlines
DTSTAMP:20260311T115959Z
DTSTART:20260311T115959Z
DTEND:20260311T122959Z
TRANSP:TRANSPARENT
SUMMARY:SAT 2026 deadline
DESCRIPTION:International Conference on Theory and Applications of Satisfia
 bility Testing\nhttps://satisfiability.org/SAT26/\nLocation: Lisbon\, Port
 ugal
URL:https://satisfiability.org/SAT26/
END:VEVENT
BEGIN:VEVENT
UID:focs-2026-0-paper@conference-deadlines
DTSTAMP:20260401T210000Z
DTSTART:20260401T210000Z
DTEND:20260401T213000Z
TRANSP:TRANSPARENT
SUMMARY:FOCS 2026 deadline
DESCRIPTION:IEEE Symposium on Foundations of Computer Science\nhttps://sanj
 eevkhanna.org/FOCS2026_CFP.html\nLocation: New York City\, NY\, USA
URL:https://sanjeevkhanna.org/FOCS2026_CFP.html
END:VEVENT
BEGIN:VEVENT
UID:esa-2026-0-abstract@conference-deadlines
DTSTAMP:20260422T115959Z
DTSTART:20260422T115959Z
DTEND:20260422T122959Z
TRANSP:TRANSPARENT
SUMMARY:ESA 2026 abstract deadline
DESCRIPTION:European Symposium on Algorithms\nhttps://algo-conference.org/2
 026/esa/\nLocation: L'Aquila\, Italy
URL:https://algo-conference.org/2026/esa/
END:VEVENT
BEGIN:VEVENT
UID:esa-2026-0-paper@conference-deadlines
DTSTAMP:20260424T115959Z
DTSTART:20260424T115959Z
DTEND:20260424T122959Z
TRANSP:TRANSPARENT
SUMMARY:ESA 2026 deadline
DESCRIPTION:European Symposium on Algorithms\nhttps://algo-conference.org/2
 026/esa/\nLocation: L'Aquila\, Italy
URL:https://algo-conference.org/2026/esa/
END:VEVENT
BEGIN:VEVENT
UID:concur-2026-0-abstract@conference-deadlines
DTSTAMP:20260421T115959Z
DTSTART:20260421T115959Z
DTEND:20260421T122959Z
TRANSP:TRANSPARENT
SUMMARY:CONCUR 2026 abstract deadline
DESCRIPTION:International Conference on Concurrency Theory\nhttps://confest
 -2026.github.io/concur/\nLocation: Liverpool\, UK
URL:https://confest-2026.github.io/concur/
END:VEVENT
BEGIN:VEVENT
UID:concur-2026-0-paper@conference-deadlines
DTSTAMP:20260428T115959Z
DTSTART:20260428T115959Z
DTEND:20260428T122959Z
TRANSP:TRANSPARENT
SUMMARY:CONCUR 2026 deadline
DESCRIPTION:International Conference on Concurrency Theory\nhttps://confest
 -2026.github.io/concur/\nLocation: Liverpool\, UK
URL:https://confest-2026.github.io/concur/
END:VEVENT
BEGIN:VEVENT
UID:fmcad-2026-0-abstract@conference-deadlines
DTSTAMP:20260505T115959Z
DTSTART:20260505T115959Z
DTEND:20260505T122959Z
TRANSP:TRANSPARENT
SUMMARY:FMCAD 2026 abstract deadline
DESCRIPTION:Formal Methods in Computer-Aided Design\nhttps://fmcad.forsyte.
 at/FMCAD26/\nLocation: Graz\, Austria
URL:https://fmcad.forsyte.at/FMCAD26/
END:VEVENT
BEGIN:VEVENT
UID:fmcad-2026-0-paper@conference-deadlines
DTSTAMP:20260512T115959Z
DTSTART:20260512T115959Z
DTEND:20260512T122959Z
TRANSP:TRANSPARENT
SUMMARY:FMCAD 2026 deadline
DESCRIPTION:Formal Methods in Computer-Aided Design\nhttps://fmcad.forsyte.
 at/FMCAD26/\nLocation: Graz\, Austria
URL:https://fmcad.forsyte.at/FMCAD26/
END:VEVENT
BEGIN:VEVENT
UID:isaac-2026-0-paper@conference-deadlines
DTSTAMP:20260630T115959Z
DTSTART:20260630T115959Z
DTEND:20260630T122959Z
TRANSP:TRANSPARENT
SUMMARY:ISAAC 2026 deadline
DESCRIPTION:International Symposium on Algorithms and Computation\nhttps://
 www.algo-door.com/isaac2026/index.html\nLocation: Hangzhou\, China
URL:https://www.algo-door.com/isaac2026/index.html
END:VEVENT
BEGIN:VEVENT
UID:soda-2027-0-paper@conference-deadlines
DTSTAMP:20260710T115959Z
DTSTART:20260710T115959Z
DTEND:20260710T122959Z
TRANSP:TRANSPARENT
SUMMARY:SODA 2027 deadline
DESCRIPTION:ACM-SIAM Symposium on Discrete Algorithms\nhttps://www.siam.org
 /conferences-events/siam-conferences/soda27/\nLocation: Philadelphia\, Pen
 nsylvania\, USA
URL:https://www.siam.org/conferences-events/siam-conferences/soda27/
END:VEVENT
BEGIN:VEVENT
UID:setta-2026-0-paper@conference-deadlines
DTSTAMP:20260825T115959Z
DTSTART:20260825T115959Z
DTEND:20260825T122959Z
TRANSP:TRANSPARENT
SUMMARY:SETTA 2026 deadline (Round 2 (extended))
DESCRIPTION:Symposium on Dependable Software Engineering: Theories\, Tools 
 and Applications\nhttps://www.setta2026.sg/\nLocation: Singapore
URL:https://www.setta2026.sg/
END:VEVENT
BEGIN:VEVENT
UID:icalp-2027-0-paper@conference-deadlines
DTSTAMP:20260916T115959Z
DTSTART:20260916T115959Z
DTEND:20260916T122959Z
TRANSP:TRANSPARENT
SUMMARY:ICALP 2027 deadline (Track B first round\; Track A and Track B seco
 nd round TBA)
DESCRIPTION:EATCS International Colloquium on Automata\, Languages\, and Pr
 ogramming\nhttps://icalp.uj.edu.pl/\nLocation: Kraków\, Poland
URL:https://icalp.uj.edu.pl/
END:VEVENT
BEGIN:VEVENT
UID:stoc-2027-0-paper@conference-deadlines
DTSTAMP:20261103T115959Z
DTSTART:20261103T115959Z
DTEND:20261103T122959Z
TRANSP:TRANSPARENT
SUMMARY:STOC 2027 deadline
DESCRIPTION:ACM Symposium on the Theory of Computing\nhttps://acm-stoc.org/
 stoc2027/\nLocation: Atlanta\, Georgia\, USA
URL:https://acm-stoc.org/stoc2027/
END:VEVENT
BEGIN:VEVENT
UID:hscc-2027-0-abstract@conference-deadlines
DTSTAMP:20261030T115959Z
DTSTART:20261030T115959Z
DTEND:20261030T122959Z
TRANSP:TRANSPARENT
SUMMARY:HSCC 2027 abstract deadline
DESCRIPTION:International Conference on Hybrid Systems: Computation and Con
 trol\nhttps://hscc.acm.org/2027/\nLocation: Boulder\, Colorado\, USA
URL:https://hscc.acm.org/2027/
END:VEVENT
BEGIN:VEVENT
UID:hscc-2027-0-paper@conference-deadlines
DTSTAMP:20261106T115959Z
DTSTART:20261106T115959Z
DTEND:20261106T122959Z
TRANSP:TRANSPARENT
SUMMARY:HSCC 2027 deadline
DESCRIPTION:International Conference on Hybrid Systems: Computation and Con
 trol\nhttps://hscc.acm.org/2027/\nLocation: Boulder\, Colorado\, USA
URL:https://hscc.acm.org/2027/
END:VEVENT
BEGIN:VEVENT
UID:isit-2027-0-paper@conference-deadlines
DTSTAMP:20270111T115959Z
DTSTART:20270111T115959Z
DTEND:20270111T122959Z
TRANSP:TRANSPARENT
SUMMARY:ISIT 2027 deadline
DESCRIPTION:IEEE International Symposium on Information Theory\nhttps://202
 7.ieee-isit.org/\nLocation: Sorrento\, Italy
URL:https://2027.ieee-isit.org/
END:VEVENT
BEGIN:VEVENT
UID:cav-2027-0-paper@conference-deadlines
DTSTAMP:20270121T115959Z
DTSTART:20270121T115959Z
DTEND:20270121T122959Z
TRANSP:TRANSPARENT
SUMMARY:CAV 2027 deadline
DESCRIPTION:International Conference on Computer-Aided Verification\nhttps:
 //conferences.i-cav.org/2027/\nLocation: KIT\, Amsterdam\, The Netherlands
URL:https://conferences.i-cav.org/2027/
END:VEVENT
BEGIN:VEVENT
UID:cade-2027-0-abstract@conference-deadlines
DTSTAMP:20270216T115959Z
DTSTART:20270216T115959Z
DTEND:20270216T122959Z
TRANSP:TRANSPARENT
SUMMARY:CADE 2027 abstract deadline
DESCRIPTION:The Conference on Automated Deduction\nhttps://fscd-cade.scienc
 e.ru.nl/\nLocation: Nijmegen\, Netherlands
URL:https://fscd-cade.science.ru.nl/
END:VEVENT
BEGIN:VEVENT
UID:cade-2027-0-paper@conference-deadlines
DTSTAMP:20270223T115959Z
DTSTART:20270223T115959Z
DTEND:20270223T122959Z
TRANSP:TRANSPARENT
SUMMARY:CADE 2027 deadline
DESCRIPTION:The Conference on Automated Deduction\nhttps://fscd-cade.scienc
 e.ru.nl/\nLocation: Nijmegen\, Netherlands
URL:https://fscd-cade.science.ru.nl/
END:VEVENT
END:VCALENDAR