Lisbon, PortugalJuly 17 – 29, 2026
- Logic
- Formal Methods
Includes
- EULPWorkshop on End-User Logic ProgrammingJul 18, 2026
- GaLoPWorkshop on Games for Logic and Programming LanguagesJul 18 – 19, 2026
- ITRSWorkshop on Intersection Types and Related SystemsJul 18, 2026
- LCCInternational Workshop on Logic and Computational ComplexityJul 18 – 19, 2026
- LSFAInternational Symposium on Logical and Semantic Frameworks with ApplicationsJul 18 – 19, 2026
- SmPStructure Meets Power 2026Jul 18, 2026
- TLLAInternational Workshop on Trends in Linear Logic and ApplicationsJul 18 – 19, 2026
- DIALOCOWorkshop on Diagrams in Logic and ComputationJul 19, 2026
- TERMGRAPHInternational Workshop on Computing with Terms and GraphsJul 19, 2026
- CPPrinciples and Practice of Constraint ProgrammingJul 20 – 23, 2026
- FSCDFormal Structures for Computation and DeductionJul 20 – 23, 2026
- ICLPInternational Conference on Logic ProgrammingJul 20 – 23, 2026
- KRPrinciples of Knowledge Representation and ReasoningJul 20 – 23, 2026
- LICSLogic in Computer ScienceJul 20 – 23, 2026
- SATTheory and Applications of Satisfiability TestingJul 20 – 23, 2026
- ARQNLInternational Workshop on Automated Reasoning in Quantified Non-Classical LogicsJul 24, 2026
- CI-BD-SOQEWorkshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier EliminationJul 24 – 25, 2026
- HYPER5th Workshop on Hyperproperties: Advances in Theory and ApplicationsJul 24, 2026
- IMLAWorkshop on Intuitionistic Modal Logic and ApplicationsJul 24 – 25, 2026
- IWCInternational Workshop on ConfluenceJul 24, 2026
- LFMTPInternational Workshop on Logical Frameworks and Meta-Languages: Theory and PracticeJul 24, 2026
- PERRWorkshop on Program Equivalence and Relational ReasoningJul 24, 2026
- SDStructures and DeductionJul 24 – 25, 2026
- THEMAWorkshop on Theory and Methods for AbstractionJul 24, 2026
- UNIF40th International Workshop on UnificationJul 24, 2026
- WiLWomen in LogicJul 24 – 25, 2026
- FORCEWorkshop on Formal Reasoning for Compositional Systems EngineeringJul 25, 2026
- CAVComputer Aided VerificationJul 26 – 29, 2026
- CSFComputer Security FoundationsJul 26 – 29, 2026
- IJCARInternational Joint Conference on Automated ReasoningJul 26 – 29, 2026
- ITPInternational Conference on Interactive Theorem ProvingJul 26 – 29, 2026
Last updated May 17, 2026