|
|
SUMMER SCHOOL
|
|
|
|
|
6th Summer School on Foundations of Programming and Software Systems (FoPSS) || July 13-17
|
|
|
|
|
13th SAT/SMT/AR Summer School || July 13-17
|
|
|
|
|
CONFERENCE WEEK 1 || 20 to 23 July
|
|
|
|
|
(complementary; please select the activities you’ll be with us to reduce food waste)
|
|
|
|
|
Reception || July 20
|
|
|
|
|
Banquet || July 22
|
|
|
|
|
Which is the main conference you will attend?
|
|
|
|
|
32nd International Conference on Principles and Practice of Constraint Programming (CP)
|
|
|
|
|
11th International Conference on Formal Structures for Computation and Deduction (FSCD)
|
|
|
|
|
42nd International Conference on Logic Programming (ICLP)
|
|
|
|
|
23rd International Conference on Principles of Knowledge Representation and Reasoning (KR)
|
|
|
|
|
41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
|
|
|
|
|
29th International Conference on Theory and Applications of Satisfiability Testing (SAT)
|
|
|
|
|
CONFERENCE WEEK 2 || 26 to 29 July
|
|
|
|
|
(complementary; please select the activities you’ll be with us to reduce food waste)
|
|
|
|
|
Reception || July 26
|
|
|
|
|
Banquet || July 28
|
|
|
|
|
Which is the main conference you will attend?
|
|
|
|
|
38th International Conference on Computer Aided Verification (CAV)
|
|
|
|
|
13th International Joint Conference on Automated Reasoning (IJCAR)
|
|
|
|
|
17th International Conference on Interactive Theorem Proving (ITP)
|
|
|
|
|
WORKSHOPS WEEK 1
|
|
|
|
|
3-DAY WORKSWHOPS
|
|
|
|
|
24th International Workshop on Nonmonotonic Reasoning (NMR) || July 17 to 19
|
|
|
|
|
39th International Workshop on Description Logics (DL) || July 17 to 19
|
|
|
|
|
2-DAY WORKSWHOPS
|
|
|
|
|
Doctoral Program of the International Conference on Principles and Practice of Constraint Programming (DPCP) || July 18-19
|
|
|
|
|
8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY) || July 18-19
|
|
|
|
|
17th Workshop on Games for Logic and Programming Languages (GALOP) || July 18-19
|
|
|
|
|
Logical and Semantic Frameworks with Applications (LSFA) || July 18-19
|
|
|
|
|
Logic and Computational Complexity (LCC) || July 18-19
|
|
|
|
|
Proof Complexity (PC) || July 18-19
|
|
|
|
|
10th International Workshop on Trends in Linear Logic and Applications (TLLA) || July 18-19
|
|
|
|
|
1-DAY WORKSWHOPS
|
|
|
|
|
19th Workshop on Answer Set Programming and Other Programming Paradigms (ASPOCP) || July 18
|
|
|
|
|
2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) || July 18
|
|
|
|
|
22nd Doctoral Consortium and Summer School on Logic Programming (ICLP-DC-SS) || July 18
|
|
|
|
|
Workshop on Models and Solvers for Dynamic Programming (DPSOLVE) || July 18
|
|
|
|
|
Tutorial: Definite Descriptions in KR Languages (DefDesKR) || July 18
|
|
|
|
|
Tutorial: The Evolving Landscape of Answer Set Programming: From Fundamentals to Recent Advancements (ELASP) || July 18
|
|
|
|
|
Workshop on End-user Logic Programming (EULP) || July 18
|
|
|
|
|
Formal Methods in Quantum Computing (FMQC) || July 18
|
|
|
|
|
IFIP Working Group 1.6 (IFIP16) || July 18
|
|
|
|
|
12th Workshop on Intersection Types and Related Systems (ITRS) || July 18
|
|
|
|
|
Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs 2026) || July 18
|
|
|
|
|
Machine Learning for Solvers and Provers (ML4SP) || July 18
|
|
|
|
|
Mathematically Structured Functional Programming (MSFP) || July 18
|
|
|
|
|
Modularity and Splitting Techniques for Knowledge Representation and Reasoning (MoST) || July 18
|
|
|
|
|
International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2026) || July 18
|
|
|
|
|
Workshop on Semantic Technologies for Data Management (ST4DM) || July 18
|
|
|
|
|
Structure meets Power (SmP) || July 18
|
|
|
|
|
Tutorial: NeuroSymbolic AI for Making Sense of Streaming Data (SteamingNeSy) || July 18
|
|
|
|
|
Tribute to Gilles Dowek || July 18
|
|
|
|
|
Tutorial: Arguing in dynamic and uncertain situations: From theoretical insights to application (ADU) || July 19
|
|
|
|
|
Tutorial: Learning in Argumentation (ArguLearn) || July 19
|
|
|
|
|
Diagrams in Logic and Computation (DIALOCO) || July 19
|
|
|
|
|
Tutorial: Geometric Ontology Embeddings (GOE) || July 19
|
|
|
|
|
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR) || July 19
|
|
|
|
|
Joint Workshop on LLMs meet Constraint Solving and on Logic for Explainable AI Systems (LLM-Solve&LEX-AI) || July 19
|
|
|
|
|
Tutorial: LLMs for Reasoning and Reasoning for LLMs (LLM4R) || July 19
|
|
|
|
|
Mentoring Workshop Week 1 || July 19
|
|
|
|
|
25th Workshop on Constraint Modelling and Reformulation (ModRef) || July 19
|
|
|
|
|
Prolog Education Workshop (PEG) || July 19
|
|
|
|
|
Third Annual Workshop on Prolog Improvement Proposals (PIPs) || July 19
|
|
|
|
|
Pragmatics of SAT (PoS) || July 19
|
|
|
|
|
Correct-by-construction distributed systems and Decentralised Applications: from blockchain to swarms (CbC-DS) || July 19
|
|
|
|
|
International Workshop on Quantified Boolean Formulas and Beyond (QBF) || July 19
|
|
|
|
|
Rocqshop (RocqWS) || July 19
|
|
|
|
|
14th International Workshop on Computing with Terms and Graphs (TERMGRAPH) || July 19
|
|
|
|
|
Theorem Proving Components for Educational Software (ThEdu) || July 19
|
|
|
|
|
3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS) || July 19
|
|
|
|
|
12th International Workshop on Rewriting Techiniques for Program Transformations and Evaluation (WPTE) || July 19
|
|
|
|
|
WORKSHOPS WEEK 2
|
|
|
|
|
2-DAY WORKSWHOPS
|
|
|
|
|
Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination (CI-BD-SOQE) || July 24-25
|
|
|
|
|
Computational Methods in Systems Biology (CMSB) || July 24-25
|
|
|
|
|
Workshop on Abstract and Concrete Techniques in Verification (ACV) || July 24-25
|
|
|
|
|
Intuitionistic Modal Logic and Applications (IMLA) || July 24-25
|
|
|
|
|
Parameterized Complexity of Computational Reasoning (PCRR) || July 24-25
|
|
|
|
|
Structures and Deduction (SD) || July 24-25
|
|
|
|
|
Symposium on AI Verification (SAIV) || July 24-25
|
|
|
|
|
24th International Workshop on Satisfiability Modulo Theories (SMT) || July 24-25
|
|
|
|
|
Women in Logic (WiL) || July 24-25
|
|
|
|
|
Isabelle Workshop (Isabelle) || July 24-25
|
|
|
|
|
1-DAY WORKSWHOPS
|
|
|
|
|
Automated Reasoning in Quantified Non-Classical Logics (ARQNL) || July 24
|
|
|
|
|
7th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST) || July 24
|
|
|
|
|
Workshop on the Ergonomics of Verification Interfaces & Tools (EVIT) || July 24
|
|
|
|
|
Workshop on Hyperproperties: Advances in Theory and Applications (HYPER) || July 24
|
|
|
|
|
15th International Workshop on Confluence (IWC) || July 24
|
|
|
|
|
Logical frameworks and meta-languages: Theory and Practice (LFMTP) || July 24
|
|
|
|
|
6th Workshop on Program Equivalence and Relational Reasoning (PERR) || July 24
|
|
|
|
|
Logical approaches to handling INconsistent DAta (LINDA) || July 24
|
|
|
|
|
RajeevFest: A Celebration of Rajeev Alur (RajeevFest) || July 24
|
|
|
|
|
A Celebration of Professor Marta Kwiatkowskas Contributions to Formal Methods (MartaFest) || July 24
|
|
|
|
|
Soft Constraints, Discrete Optimization, and Machine Learning (Soft) || July 24
|
|
|
|
|
Theory and Methods for Abstraction (THEMA) || July 24
|
|
|
|
|
15th TPTP Tea Party (TPTPTP) || July 24
|
|
|
|
|
40th International Workshop on Unification (UNIF) || July 24
|
|
|
|
|
Joint Workshop on Explainable Logic-Based Knowledge Representation and Explanations with Constraints and Satisfiability (XLoKR-ExCoS) || Jully 24
|
|
|
|
|
9th Vampire Workshop (Vampire) || July 24
|
|
|
|
|
Workshop on AI for Mathematics and Computer Science Research (AIMACS) || July 25
|
|
|
|
|
Automated Reasoning for Future Space Logistics (AR4Space) || July 25
|
|
|
|
|
Joint Workshop on Competitions and other Problem Solving Challenges and on the Design and Evaluation of Benchmark Sets for Formal Methods (Bench-Evaluations) || July 25
|
|
|
|
|
Foundations of Computer Security (FCS) || July 25
|
|
|
|
|
Formal Reasoning for Compositional Systems Engineering (FORCE) || July 25
|
|
|
|
|
Workshop on Horn Clauses for Verification and Synthesis (HCVS) || July 25
|
|
|
|
|
Logic and Practice of Programming Rigorous Knowledge and Efficient Queries for Trustworthy AI (LPOP) || July 25
|
|
|
|
|
Lean Workshop (Lean) || July 25
|
|
|
|
|
Workshop on Logical Methods for Neural Network Analysis (LogicNN) || July 25
|
|
|
|
|
Workshop on Counting, Sampling, and Synthesis (MC) || July 25
|
|
|
|
|
Mentoring Workshop - 2nd Week (MW2) || July 25
|
|
|
|
|
Practical Aspects of Automated Reasoning (PAAR) || July 25
|
|
|
|
|
Workshop on Synthesis (SYNT) || July 25
|
|
|
|
|
21st International Workshop on Termination and Termination and Complexity Competition (WST) || July 25
|
|
|
|
|
Workshop on Verification of Probabilistic Programs (VeriProP) || July 25
|
|
|
|
|
Tools for Educational Activities in Logic (TEAL) || July 25
|
|
|
|
|
LUNCHES
|
|
|
|
|
(complementary; please select the days you’ll be having lunch with us to reduce food waste)
|
|
|
|
|
July 13
|
|
|
|
|
July 14
|
|
|
|
|
July 15
|
|
|
|
|
July 16
|
|
|
|
|
July 17
|
|
|
|
|
July 18
|
|
|
|
|
July 19
|
|
|
|
|
July 20
|
|
|
|
|
July 21
|
|
|
|
|
July 22
|
|
|
|
|
July 23
|
|
|
|
|
July 24
|
|
|
|
|
July 25
|
|
|
|
|
July 26
|
|
|
|
|
July 27
|
|
|
|
|
July 28
|
|
|
|
|
July 29
|
|
|
|
|
WORKSHOP BANQUET
|
|
|
|
|
Workshop Banquet || July 18
|
|
|
|
|
Workshop Banquet || July 18
|
|
|
|
|
Workshop Banquet || July 24
|
|
|