CtrlK
sorted by next deadline · 7 deadlines this week
IMLA’26
Workshop on Intuitionistic Modal Logic and ApplicationsLisbon, PortugalJul 24 – 25, 2026part of FLoC
AbstractApr 30
NotificationMay 23
Dates & Deadlines
AbstractApr 30
NotificationMay 23
SD’26
Structures and DeductionLisbon, PortugalJul 24 – 25, 2026part of FLoC
PaperMay 1
NotificationMay 23
Camera-readyTBD
Dates & Deadlines
PaperMay 1
NotificationMay 23
Camera-readyTBD
IJCAR’26
International Joint Conference on Automated ReasoningLisbon, PortugalJul 26 – 29, 2026part of FLoC
AbstractFeb 6
PaperFeb 15
RebuttalApr 3
NotificationApr 14
Camera-readyMay 23
Dates & Deadlines
AbstractFeb 6
PaperFeb 15
RebuttalApr 3
NotificationApr 14
Camera-readyMay 23
ITP’26
International Conference on Interactive Theorem ProvingLisbon, PortugalJul 26 – 29, 2026part of FLoC
AbstractFeb 12
PaperFeb 19
NotificationApr 26
Camera-readyMay 24
Dates & Deadlines
AbstractFeb 12
PaperFeb 19
NotificationApr 26
Camera-readyMay 24
LSFA’26
International Symposium on Logical and Semantic Frameworks with ApplicationsLisbon, PortugalJul 18 – 19, 2026part of FLoCco-located FSCD
AbstractApr 20
PaperApr 28
NotificationMay 25
Dates & Deadlines
AbstractApr 20
PaperApr 28
NotificationMay 25
TLLA’26
International Workshop on Trends in Linear Logic and ApplicationsLisbon, PortugalJul 18 – 19, 2026part of FLoC
PaperMay 15
NotificationMay 25
Camera-readyMay 31
Dates & Deadlines
PaperMay 15
NotificationMay 25
Camera-readyMay 31
WPTE’26
International Workshop on Rewriting Techniques for Program Transformations and EvaluationLisbon, PortugalJul 19, 2026part of FSCD
PaperApr 29
NotificationMay 25
Camera-readyJun 29
Dates & Deadlines
PaperApr 29
NotificationMay 25
Camera-readyJun 29
CI-BD-SOQE’26
Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier EliminationLisbon, PortugalJul 24 – 25, 2026part of FLoC
PaperMay 11
NotificationMay 25
Dates & Deadlines
PaperMay 11
NotificationMay 25
GaLoP’26
Workshop on Games for Logic and Programming LanguagesLisbon, PortugalJul 18 – 19, 2026part of FLoC
PaperMay 15
NotificationMay 26
Dates & Deadlines
PaperMay 15
NotificationMay 26
MSFP’26
Workshop on Mathematically Structured Functional ProgrammingLisbon, PortugalJul 18, 2026part of FSCD
PaperMay 7
NotificationMay 27
Camera-readyJun 24
Dates & Deadlines
PaperMay 7
NotificationMay 27
Camera-readyJun 24
TERMGRAPH’26
International Workshop on Computing with Terms and GraphsLisbon, PortugalJul 19, 2026part of FLoC
AbstractMay 6
PaperMay 11
NotificationMay 27
Camera-readyJun 11
Dates & Deadlines
AbstractMay 6
PaperMay 11
NotificationMay 27
Camera-readyJun 11
LOPSTR+PPDP’26
Symposium on Logic-Based Program Synthesis and Transformation, and Symposium on Principles and Practice of Declarative ProgrammingIndianapolis, United StatesAug 27 – 29, 2026co-located ICFP
AbstractMay 20
PaperMay 27
NotificationJun 26
Camera-readyJul 8
Dates & Deadlines
AbstractMay 20
PaperMay 27
NotificationJun 26
Camera-readyJul 8
CICM’26
19th Conference on Intelligent Computer MathematicsLjubljana, SloveniaSep 21 – 25, 2026
AbstractApr 8
PaperApr 15
RebuttalMay 27
NotificationJun 10
Camera-readyJul 1
Dates & Deadlines
AbstractApr 8
PaperApr 15
RebuttalMay 27
NotificationJun 10
Camera-readyJul 1
ASE’26
International Conference on Automated Software EngineeringMunich, GermanyOct 12 – 16, 2026
PaperMar 26
RebuttalMay 27
NotificationJun 18
RevisionsJul 16
Camera-readyAug 3
Dates & Deadlines
PaperMar 26
RebuttalMay 27
NotificationJun 18
RevisionsJul 16
Camera-readyAug 3
IWC’26
International Workshop on ConfluenceLisbon, PortugalJul 24, 2026part of FLoCco-located FSCD, IJCAR
PaperMay 4
NotificationMay 28
Camera-readyJun 23
Dates & Deadlines
PaperMay 4
NotificationMay 28
Camera-readyJun 23
LFMTP’26
International Workshop on Logical Frameworks and Meta-Languages: Theory and PracticeLisbon, PortugalJul 24, 2026part of FLoCco-located FSCD
AbstractApr 21
PaperMay 1
NotificationMay 28
Camera-readyJun 10
Dates & Deadlines
AbstractApr 21
PaperMay 1
NotificationMay 28
Camera-readyJun 10
PERR’26
Workshop on Program Equivalence and Relational ReasoningLisbon, PortugalJul 24, 2026part of FLoCco-located CAV
PaperMay 5
NotificationMay 28
Camera-readyJun 25
Dates & Deadlines
PaperMay 5
NotificationMay 28
Camera-readyJun 25
THEMA’26
Workshop on Theory and Methods for AbstractionLisbon, PortugalJul 24, 2026part of FLoCco-located KR
PaperMay 4
NotificationMay 28
Dates & Deadlines
PaperMay 4
NotificationMay 28
ESOP’27
European Symposium on ProgrammingCopenhagen, DenmarkApr 12 – 15, 2027part of ETAPS
PaperMay 28
RebuttalJul 22
NotificationAug 6
Dates & Deadlines
PaperMay 28
RebuttalJul 22
NotificationAug 6
ITRS’26
Workshop on Intersection Types and Related SystemsLisbon, PortugalJul 18, 2026part of FLoCco-located FSCD, TLLA, GaLoP
PaperMay 15
NotificationMay 29
Camera-readyJun 28
Dates & Deadlines
PaperMay 15
NotificationMay 29
Camera-readyJun 28
HOPE’26
Workshop on Higher-Order Programming with EffectsIndianapolis, United StatesAug 24, 2026part of ICFP
PaperMay 29
NotificationJun 26
Dates & Deadlines
PaperMay 29
NotificationJun 26
SC-Square’26
International Workshop on Satisfiability Checking and Symbolic ComputationOldenburg, GermanyJul 13, 2026
AbstractMay 10
PaperMay 10
NotificationMay 30
Camera-readyJun 20
Dates & Deadlines
AbstractMay 10
PaperMay 10
NotificationMay 30
Camera-readyJun 20
SmP’26
Structure Meets Power 2026Lisbon, PortugalJul 18, 2026part of FLoC
AbstractMay 15
NotificationMay 30
Dates & Deadlines
AbstractMay 15
NotificationMay 30
RV’26
International Conference on Runtime VerificationKingston, CanadaOct 6 – 9, 2026
PaperMay 31
NotificationJul 16
Camera-readyJul 27
Dates & Deadlines
PaperMay 31
NotificationJul 16
Camera-readyJul 27
ARQNL’26
International Workshop on Automated Reasoning in Quantified Non-Classical LogicsLisbon, PortugalJul 24, 2026part of FLoCco-located IJCAR
AbstractApr 27
PaperMay 4
NotificationJun 1
Camera-readyJun 29
Dates & Deadlines
AbstractApr 27
PaperMay 4
NotificationJun 1
Camera-readyJun 29
FMICS’26
Formal Methods for Industrial Critical SystemsLiverpool, UKSep 2 – 4, 2026
AbstractApr 24
PaperMay 1
NotificationJun 1
Camera-readyJun 15
Dates & Deadlines
AbstractApr 24
PaperMay 1
NotificationJun 1
Camera-readyJun 15
ICFP’26
International Conference on Functional ProgrammingIndianapolis, United StatesAug 24 – 29, 2026
PaperFeb 19
RebuttalApr 23
Conditional AcceptanceMay 14
RevisionsJun 3
NotificationJun 10
Camera-readyJul 1
Dates & Deadlines
PaperFeb 19
RebuttalApr 23
Conditional AcceptanceMay 14
RevisionsJun 3
NotificationJun 10
Camera-readyJul 1
TyDe’26
International Workshop on Type-Driven DevelopmentParis, FranceAug 26 – 27, 2026co-located ICFP
PaperJun 3
AbstractJun 24
NotificationJul 10
Camera-readyJul 17
Dates & Deadlines
PaperJun 3
AbstractJun 24
NotificationJul 10
Camera-readyJul 17
CONCUR’26
International Conference on Concurrency TheoryLiverpool, UKSep 1 – 4, 2026co-located FMICS
AbstractApr 20
PaperApr 27
RebuttalJun 3
NotificationJun 15
Camera-readyJun 29
Dates & Deadlines
AbstractApr 20
PaperApr 27
RebuttalJun 3
NotificationJun 15
Camera-readyJun 29
QEST+FORMATS’26
International Conferences on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed SystemsLiverpool, UKSep 2 – 4, 2026co-located CONCUR, FMICS
AbstractApr 13
PaperApr 20
NotificationJun 3
Camera-readyJun 24
Dates & Deadlines
AbstractApr 13
PaperApr 20
NotificationJun 3
Camera-readyJun 24
UNIF’26
40th International Workshop on UnificationLisbon, PortugalJul 24, 2026part of FLoCco-located FSCD, IJCAR
PaperMay 15
NotificationJun 5
Camera-readyJun 13
Dates & Deadlines
PaperMay 15
NotificationJun 5
Camera-readyJun 13
Scheme’26
Scheme and Functional Programming WorkshopIndianapolis, United StatesAug 29, 2026part of ICFP
PaperJun 5
NotificationJul 1
Camera-readyJul 7
Dates & Deadlines
PaperJun 5
NotificationJul 1
Camera-readyJul 7
RADICAL’26
International Workshop on Recent Advances in Concurrency and LogicLiverpool, UKSep 5, 2026co-located CONCUR, FMICS
PaperJun 5
NotificationJul 10
Dates & Deadlines
PaperJun 5
NotificationJul 10
FROM’26
Tenth Working Formal Methods SymposiumTimisoara, RomaniaSep 15 – 17, 2026
PaperJun 7
NotificationJul 5
RevisionsAug 23
Dates & Deadlines
PaperJun 7
NotificationJul 5
RevisionsAug 23
ICTAC’26
International Colloquium on Theoretical Aspects of ComputingBariloche, ArgentinaNov 11 – 13, 2026
AbstractJun 8
PaperJun 15
NotificationAug 10
Camera-readyAug 31
Dates & Deadlines
AbstractJun 8
PaperJun 15
NotificationAug 10
Camera-readyAug 31
OOPSLA’26
Object-oriented Programming, Systems, Languages, and ApplicationsOakland, CaliforniaOct 3 – 9, 2026part of SPLASH
PaperMar 17
RebuttalMay 22
NotificationJun 10
RevisionsJul 21
Camera-readyAug 14
Dates & Deadlines
PaperMar 17
RebuttalMay 22
NotificationJun 10
RevisionsJul 21
Camera-readyAug 14
LPNMR’26
International Conference on Logic Programming and Non-monotonic ReasoningKlagenfurt, AustriaSep 7 – 11, 2026
AbstractMay 10
PaperMay 17
NotificationJun 11
Camera-readyJul 2
Dates & Deadlines
AbstractMay 10
PaperMay 17
NotificationJun 11
Camera-readyJul 2
ICTCS’26
Italian Conference on Theoretical Computer ScienceUdine, ItalySep 7 – 9, 2026
PaperJun 14
NotificationJul 21
Camera-readyAug 5
Dates & Deadlines
PaperJun 14
NotificationJul 21
Camera-readyAug 5
NSAD’26
ACM SIGPLAN Workshop on Numerical and Symbolic Abstract DomainsOakland, CaliforniaOct 3 – 9, 2026part of SPLASHco-located SAS
PaperJun 14
NotificationJul 31
Dates & Deadlines
PaperJun 14
NotificationJul 31
SEFM’26
International Conference on Software Engineering and Formal MethodsMaltaNov 23 – 27, 2026
AbstractJun 16
PaperJun 23
NotificationSep 7
Camera-readySep 21
Dates & Deadlines
AbstractJun 16
PaperJun 23
NotificationSep 7
Camera-readySep 21
SAS’26
Static Analysis SymposiumOakland, CaliforniaOct 6 – 8, 2026part of SPLASH
PaperMay 7
RebuttalJun 18
NotificationJul 3
Camera-readyJul 17
Dates & Deadlines
PaperMay 7
RebuttalJun 18
NotificationJul 3
Camera-readyJul 17
MFCS’26
International Symposium on Mathematical Foundations of Computer ScienceParis, FranceAug 24 – 28, 2026
PaperApr 24
NotificationJun 19
Camera-readyJun 26
Dates & Deadlines
PaperApr 24
NotificationJun 19
Camera-readyJun 26
ACT’26
International Conference on Applied Category TheoryTallinn, EstoniaJul 6 – 10, 2026
AbstractMar 24
PaperMar 30
NotificationMay 15
Camera-readyJun 20
Dates & Deadlines
AbstractMar 24
PaperMar 30
NotificationMay 15
Camera-readyJun 20
PLAS’26
21st Workshop on Programming Languages and Analysis for SecurityThe Hague, The NetherlandsNov 15 – 19, 2026
PaperJun 20
NotificationAug 7
Dates & Deadlines
PaperJun 20
NotificationAug 7
TIME’26
International Symposium on Temporal Representation and ReasoningCork, IrelandSep 1 – 3, 2026
AbstractMay 18
PaperMay 22
NotificationJun 22
Camera-readyJul 24
Dates & Deadlines
AbstractMay 18
PaperMay 22
NotificationJun 22
Camera-readyJul 24
ICSE’27
International Conference on Software EngineeringDublin, IrelandApr 25 – May 1, 2027
AbstractJun 23
PaperJun 30
RebuttalSep 25
NotificationOct 20
RevisionsNov 17
Camera-readyNov 24
Dates & Deadlines
AbstractJun 23
PaperJun 30
RebuttalSep 25
NotificationOct 20
RevisionsNov 17
Camera-readyNov 24
WiL’26
Women in LogicLisbon, PortugalJul 24 – 25, 2026part of FLoC
AbstractMay 10
NotificationMay 18
Camera-readyJun 25
Dates & Deadlines
AbstractMay 10
NotificationMay 18
Camera-readyJun 25
ISSTA’26
International Symposium on Software Testing and AnalysisOakland, CaliforniaOct 3 – 9, 2026
PaperJan 29
RebuttalMar 26
Conditional AcceptanceApr 16
RevisionsMay 21
NotificationJun 25
Camera-readyJul 23
Dates & Deadlines
PaperJan 29
RebuttalMar 26
Conditional AcceptanceApr 16
RevisionsMay 21
NotificationJun 25
Camera-readyJul 23
RuleML+RR’26
International Joint Conference on Rules and ReasoningVilnius, LithuaniaAug 24 – 26, 2026
AbstractMay 15
PaperMay 22
NotificationJul 3
Dates & Deadlines
AbstractMay 15
PaperMay 22
NotificationJul 3
FMCAD’26
Formal Methods in Computer-Aided DesignGraz, AustriaSep 14 – 18, 2026
AbstractMay 4
PaperMay 11
RebuttalJul 5
NotificationJul 19
Camera-readyAug 1
Dates & Deadlines
AbstractMay 4
PaperMay 11
RebuttalJul 5
NotificationJul 19
Camera-readyAug 1
WLP’26
Workshop on (Constraint and Functional) Logic ProgrammingDresden, GermanySep 23, 2026part of INFORMATIK
PaperMay 21
NotificationJul 6
Camera-readyJul 14
Dates & Deadlines
PaperMay 21
NotificationJul 6
Camera-readyJul 14
CSL’27
Computer Science LogicBrighton, United KingdomJan 25 – 29, 2027
AbstractJul 8
PaperJul 15
NotificationOct 15
Camera-readyTBD
Dates & Deadlines
AbstractJul 8
PaperJul 15
NotificationOct 15
Camera-readyTBD
POPL’27
ACM SIGPLAN Symposium on Principles of Programming LanguagesMexico City, MexicoJan 10 – 16, 2027
PaperJul 9
RebuttalSep 10
Conditional AcceptanceOct 5
RevisionsOct 26
NotificationNov 9
Camera-readyNov 20
Dates & Deadlines
PaperJul 9
RebuttalSep 10
Conditional AcceptanceOct 5
RevisionsOct 26
NotificationNov 9
Camera-readyNov 20
ASPLOS’27Round 1 / 2
International Conference on Architectural Support for Programming Languages and Operating SystemsCrete, GreeceApr 11 – 15, 2027
Round 1active
PaperApr 15
RebuttalJul 9
NotificationJul 27
Round 2next
PaperSep 9
RebuttalDec 4
NotificationDec 21
Dates & Deadlines
Round 1active
PaperApr 15
RebuttalJul 9
NotificationJul 27
Round 2next
PaperSep 9
RebuttalDec 4
NotificationDec 21
ICE’26
Interaction and Concurrency ExperienceUrbino, ItalyJun 12, 2026part of DisCoTec
PaperApr 9
NotificationApr 30
Camera-readyJul 12
Dates & Deadlines
PaperApr 9
NotificationApr 30
Camera-readyJul 12
WADT’26Round 2 / 2
Workshop on Algebraic Development TechniquesRennes, FranceJun 30, 2026
Round 1done
AbstractApr 30
NotificationMay 7
Round 2active
PaperSep 17
NotificationOct 29
Dates & Deadlines
Round 1done
AbstractApr 30
NotificationMay 7
Round 2active
PaperSep 17
NotificationOct 29
FSE’27
ACM International Conference on the Foundations of Software EngineeringShenzhen, ChinaJul 12 – 16, 2027
PaperOct 2
RebuttalDec 18
Conditional AcceptanceJan 22
RevisionsMar 5
NotificationMar 31
Dates & Deadlines
PaperOct 2
RebuttalDec 18
Conditional AcceptanceJan 22
RevisionsMar 5
NotificationMar 31
FoSSaCS’27
Foundations of Software Science and Computation StructuresCopenhagen, DenmarkApr 12 – 15, 2027part of ETAPS
PaperOct 15
RebuttalDec 9
NotificationDec 22
Camera-readyJan 25
Dates & Deadlines
PaperOct 15
RebuttalDec 9
NotificationDec 22
Camera-readyJan 25
FSEN’27
International Conference on Fundamentals of Software EngineeringEnschede, NetherlandsMay 24 – 25, 2027
AbstractOct 19
PaperOct 28
NotificationDec 18
Camera-readyFeb 22
Dates & Deadlines
AbstractOct 19
PaperOct 28
NotificationDec 18
Camera-readyFeb 22
No upcoming deadlines
38 events
3
May
2026
ARRAY’26
ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array ProgrammingBoulder, Colorado, United StatesJun 16, 2026co-located PLDI
PaperApr 6
NotificationApr 26
Camera-readyMay 3
Dates & Deadlines
PaperApr 6
NotificationApr 26
Camera-readyMay 3
15
May
2026
CAV’26
Computer Aided VerificationLisbon, PortugalJul 26 – 29, 2026part of FLoC
PaperJan 28
RebuttalApr 2
NotificationApr 17
Camera-readyMay 15
Dates & Deadlines
PaperJan 28
RebuttalApr 2
NotificationApr 17
Camera-readyMay 15
7
May
2026
CP’26
Principles and Practice of Constraint ProgrammingLisbon, PortugalJul 20 – 23, 2026part of FLoC
AbstractMar 2
PaperMar 14
RebuttalApr 20
NotificationApr 30
Camera-readyMay 7
Dates & Deadlines
AbstractMar 2
PaperMar 14
RebuttalApr 20
NotificationApr 30
Camera-readyMay 7
1
Apr
2026
CSF’26
Computer Security FoundationsLisbon, PortugalJul 26 – 29, 2026part of FLoC
PaperJul 24
NotificationSep 25
Dates & Deadlines
PaperJul 24
NotificationSep 25
20
May
2026
DIALOCO’26
Workshop on Diagrams in Logic and ComputationLisbon, PortugalJul 19, 2026part of FLoCco-located LICS
PaperMay 13
NotificationMay 20
Dates & Deadlines
PaperMay 13
NotificationMay 20
3
Apr
2026
DisCoTec’26
International Federated Conference on Distributed Computing TechniquesUrbino, ItalyJun 8 – 12, 2026
AbstractFeb 13
PaperFeb 20
NotificationMar 24
Camera-readyApr 3
Dates & Deadlines
AbstractFeb 13
PaperFeb 20
NotificationMar 24
Camera-readyApr 3
27
Apr
2026
ECOOP’26
European Conference on Object-Oriented ProgrammingBrussels, BelgiumJun 29 – Jul 3, 2026
PaperNov 27
RebuttalJan 16
NotificationJan 29
Dates & Deadlines
PaperNov 27
RebuttalJan 16
NotificationJan 29
10
Apr
2027
ETAPS’27
European Joint Conferences on Theory and Practice of SoftwareCopenhagen, DenmarkApr 10 – 15, 2027
21
May
2026
EULP’26
Workshop on End-User Logic ProgrammingLisbon, PortugalJul 18, 2026part of FLoC
PaperMay 9
NotificationMay 21
Dates & Deadlines
PaperMay 9
NotificationMay 21
2
Mar
2026
FLOPS’26
Symposium on Functional and Logic ProgrammingTsukuba, JapanMay 26 – 28, 2026
AbstractDec 8
PaperDec 16
NotificationFeb 2
Camera-readyMar 2
Dates & Deadlines
AbstractDec 8
PaperDec 16
NotificationFeb 2
Camera-readyMar 2
15
May
2026
FORCE’26
Workshop on Formal Reasoning for Compositional Systems EngineeringLisbon, PortugalJul 25, 2026part of FLoCco-located CAV
PaperMay 11
NotificationMay 15
Dates & Deadlines
PaperMay 11
NotificationMay 15
30
Apr
2026
FSCD’26
Formal Structures for Computation and DeductionLisbon, PortugalJul 20 – 23, 2026part of FLoC
AbstractJan 23
PaperJan 30
RebuttalMar 27
NotificationApr 16
Camera-readyApr 30
Dates & Deadlines
AbstractJan 23
PaperJan 30
RebuttalMar 27
NotificationApr 16
Camera-readyApr 30
23
Apr
2026
FSE’26
ACM International Conference on the Foundations of Software EngineeringMontreal, CanadaJul 5 – 9, 2026
AbstractSep 4
PaperSep 11
RebuttalNov 25
NotificationDec 22
Camera-readyApr 23
Dates & Deadlines
AbstractSep 4
PaperSep 11
RebuttalNov 25
NotificationDec 22
Camera-readyApr 23
14
May
2026
GPCE’26
International Conference on Generative Programming: Concepts & ExperiencesBrussels, BelgiumJun 29, 2026co-located ECOOP
PaperMar 12
RebuttalApr 16
NotificationApr 23
Camera-readyMay 14
Dates & Deadlines
PaperMar 12
RebuttalApr 16
NotificationApr 23
Camera-readyMay 14
14
May
2026
HYPER’26
5th Workshop on Hyperproperties: Advances in Theory and ApplicationsLisbon, PortugalJul 24, 2026part of FLoC
PaperMay 8
NotificationMay 14
Dates & Deadlines
PaperMay 8
NotificationMay 14
4
May
2026
ICLP’26
International Conference on Logic ProgrammingLisbon, PortugalJul 20 – 23, 2026part of FLoC
AbstractJan 31
PaperFeb 7
RevisionsApr 3
NotificationMay 4
Dates & Deadlines
AbstractJan 31
PaperFeb 7
RevisionsApr 3
NotificationMay 4
3
May
2026
KR’26
Principles of Knowledge Representation and ReasoningLisbon, PortugalJul 20 – 23, 2026part of FLoC
AbstractFeb 8
PaperFeb 13
RebuttalMar 28
NotificationApr 13
Camera-readyMay 3
Dates & Deadlines
AbstractFeb 8
PaperFeb 13
RebuttalMar 28
NotificationApr 13
Camera-readyMay 3
17
May
2026
LCC’26
International Workshop on Logic and Computational ComplexityLisbon, PortugalJul 18 – 19, 2026part of FLoC
PaperMay 10
NotificationMay 17
Dates & Deadlines
PaperMay 10
NotificationMay 17
15
May
2026
LCTES’26
Languages, Compilers, Tools and Theory of Embedded SystemsBoulder, ColoradoJun 15 – 16, 2026co-located PLDI
AbstractMar 13
PaperMar 20
NotificationMay 1
Camera-readyMay 15
Dates & Deadlines
AbstractMar 13
PaperMar 20
NotificationMay 1
Camera-readyMay 15
16
Apr
2026
LICS’26
Logic in Computer ScienceLisbon, PortugalJul 20 – 23, 2026part of FLoC
AbstractJan 15
PaperJan 22
RebuttalMar 29
NotificationApr 16
Dates & Deadlines
AbstractJan 15
PaperJan 22
RebuttalMar 29
NotificationApr 16
20
Apr
2026
LIQCS’26
Workshop on Logic in Quantum Computer ScienceParis, FranceJun 17 – 19, 2026
PaperMar 20
NotificationApr 20
Dates & Deadlines
PaperMar 20
NotificationApr 20
23
Apr
2026
MFPS’26
Mathematical Foundations of Programming SemanticsLjubljana, SloveniaJun 1 – 3, 2026co-located SSTT
PaperMar 12
NotificationApr 23
Dates & Deadlines
PaperMar 12
NotificationApr 23
11
Aug
2027
OOPSLA’27
Object-oriented Programming, Systems, Languages, and Applications
Denver, CO, USAAug 11 – 13, 2027part of SPLASH
16
Apr
2026
PLDI’26
Conference on Programming Language Design and ImplementationBoulder, ColoradoJun 15 – 19, 2026
PaperNov 13
RebuttalFeb 22
NotificationMar 5
Camera-readyApr 16
Dates & Deadlines
PaperNov 13
RebuttalFeb 22
NotificationMar 5
Camera-readyApr 16
27
Mar
2027
PPoPP’27
ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Salt Lake City, UT, USAMar 27 – 31, 2027
15
May
2026
RC’26
International Conference on Reversible ComputationTorino, ItalyJul 9 – 10, 2026
AbstractFeb 21
PaperFeb 28
NotificationApr 21
Camera-readyMay 15
Dates & Deadlines
AbstractFeb 21
PaperFeb 28
NotificationApr 21
Camera-readyMay 15
14
May
2026
SAT’26
Theory and Applications of Satisfiability TestingLisbon, PortugalJul 20 – 23, 2026part of FLoC
AbstractMar 2
PaperMar 10
RebuttalApr 18
NotificationApr 30
Camera-readyMay 14
Dates & Deadlines
AbstractMar 2
PaperMar 10
RebuttalApr 18
NotificationApr 30
Camera-readyMay 14
11
May
2026
SLE’26
International Conference on Software Language EngineeringRennes, FranceJul 2 – 3, 2026
AbstractFeb 27
PaperMar 6
NotificationApr 20
Camera-readyMay 11
Dates & Deadlines
AbstractFeb 27
PaperMar 6
NotificationApr 20
Camera-readyMay 11
3
May
2026
SOAP’26
ACM SIGPLAN International Workshop on the State Of the Art in Program AnalysisBoulder, Colorado, United StatesJun 16, 2026co-located PLDI
PaperMar 10
NotificationApr 15
Camera-readyMay 3
Dates & Deadlines
PaperMar 10
NotificationApr 15
Camera-readyMay 3
3
Oct
2026
SPLASH’26
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for HumanityOakland, CaliforniaOct 3 – 9, 2026
11
Aug
2027
SPLASH’27
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Denver, CO, USAAug 11 – 13, 2027
23
Apr
2026
SSTT’26
3rd Workshop on Syntax and Semantics of Type TheoryLjubljana, SloveniaJun 4 – 5, 2026
AbstractApr 2
NotificationApr 23
Dates & Deadlines
AbstractApr 2
NotificationApr 23
19
Apr
2026
UNSOUND’26
Workshop on Sources of Unsoundness in Type Systems and VerificationBrussels, BelgiumJun 30, 2026part of ECOOP
PaperApr 14
NotificationApr 19
Dates & Deadlines
PaperApr 14
NotificationApr 19
30
Apr
2026
VORTEX’26
9th International Workshop on Verification and Monitoring at Runtime ExecutionBrussels, BelgiumJun 30, 2026
PaperApr 10
NotificationApr 15
Camera-readyApr 30
Dates & Deadlines
PaperApr 10
NotificationApr 15
Camera-readyApr 30
20
May
2026
WoLLIC’26
Workshop on Logic, Language, Information and ComputationLima, PeruAug 3 – 6, 2026
AbstractMar 2
PaperMar 2
NotificationMay 5
Camera-readyMay 20
Dates & Deadlines
AbstractMar 2
PaperMar 2
NotificationMay 5
Camera-readyMay 20