PROGRAM AUTHORS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CompBench | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FLoC | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | HYPER | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | IMLA | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MartaFest | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PIPs | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | WPTE | WST | XLoKR-ExCoS | Full Program

A
Abate, Alessandro	(LICS) Session 4A Verification & Foundations of Probabilistic Systems (SAIV) Contributed talks 2
Abbas, Houssam	(CREST) Contributed Presentations 1
Abdelwahab, Mayar	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models
Abdulaziz, Mohammad	(ITP) ITP Papers: AI and ITP
Abdulla, Parosh Aziz	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Abreu, Salvador	(PEG) Session 4: Logic Programming for Teaching Computing Subjects
Abuelkheir, Mervat	(SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design
Accattoli, Beniamino	(PERR) Session 1
Acclavio, Matteo	(FSCD) Categorical Models (IJCAR) Refined Logics & Proofs, Hyperproperties & Synthesis
Achammer, Fabian	(CI-BD-SOQE) Session 5 (CI-BD-SOQE) Session 6
Adame, Berhan Oumer	(PoS) Session 1: Proofs (WHOOPS) Papers 1
Adamo, Greta	(DL) Temporal Extensions
Afshari, Bahareh	(IMLA) Contributed Talks C2
Aguilera, Juan	(IMLA) Contributed Talks C6
Ahmadi, Rita	(AIMACS) Poster Lightning Session #1
Ahman, Danel	(FSCD) Invited Talk: Andrej Bauer (LICS) Session 8A Foundations of Probabilistic Computation (FSCD) Concurrency (IMLA) Invited Talk I2
Ahmetaj, Shqiponja	(KR) Graph Data
Ahvonen, Veeti	(LOGICNN) Session 1A: Expressiveness
Ai, Derun	(OVERLAY) Explainability
Akshay, S.	(MC) Proof Logging and Knowledge Compilation (SAT) Session H: QBF Proofs & Dependencies (LICS) Session 3B Automata (MC) Weighted Counting over Theories and First-Order Structures (CAV) Program Analysis Session (IJCAR) Refined Logics & Proofs, Hyperproperties & Synthesis
Alamdari, Parand A.	(OVERLAY) Temporal, Modal and Logical Foundations 2
Aldini, Alessandro	(LSFA) Session 2
Aleksandrov, Andrei	(CAV) Machine Learning, AI and Verification (HYPER) Contributed talks 4
Alex, Kevin Kurien	(PCCR) Contributed Talks
Alexaj, Ondrej	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Alfano, Gianvincenzo	(NMR) DL & NMR
Allègre, Loïc	(SD) Contributed Talks Session 1
Allett, Cameron	(SD) Invited Talk: Cameron Allett
Almagor, Shaull	(LICS) Session 3B Automata
Almeida, Ana Jorge	(LSFA) Session 2
Almeida, Ricardo	(ITP) ITP Papers: Formalisation of Algorithms
Alon, Nadav	(KR) Planning
Alòs, Josep	(ModRef) Session 1: Constraint Modelling and Propagation (ModRef) Session 3: Automated Generation and Reformulation
Alrabbaa, Christian	(XLoKR-ExCoS) Inconsistency & Repair (DL) Poster & Demo Announcements (DL) Explanations
Alsmann, Eric	(LOGICNN) Session 1B: Expressiveness
Alsowail, Mashael	(LOGICNN) Session 3: From Neural Networks to Logic
Alur, Rajeev	(MartaFest) Morning session 2
Álvarez, Lucía Gómez	(DL) Conflicts and Exceptions
Alves, Miguel	(LFMTP) Unification
Alves, Sandra	(LSFA) Session 1 (FSCD) Lambda Calculus (UNIF) Session 3A
Alviano, Mario	(ASPOCP) Opening + Neurosymbolic and Metaprogramming (EULP) Paper session 1 (ICLP) Invited Talk 1 (ICLP) Block 4 (4 TPLP) (NMR) Argumentation 1 (EULP) Paper session 2 (KR) Explanation (DL) Poster Announcements (ICLP) Block 9 (8 TC) (CARLA) CARLA Workshop - II Sessions
Amato, Gianluca	(ICLP) Block 8 (2 TPLP)
Amilon, Jesper	(FORCE) Industrial applications
Amin, Nada	(WPTE) Session 1 (LICS) Keynote by Nada Amin (MW1) Nada Amin (MW1) Researchers Panel
Aminof, Benjamin	(KR) Reasoning on actions
Ammer, Thomas	(ITP) ITP Papers: Formalisation of Mathematics & AI
An, Chenyang	(CAV) Machine Learning, AI and Verification
Anastacio, Marie	(CompBench) Evaluation and Formats
Anders, Markus	(SAT) Session E1: Best Papers
Anderson, Jake	(PC) Contributed Talks 3
Ando, Risako	(ML4SP) Paper talks 1
Andrews, Uri	(KR) Argumentation 1
Angelis, Emanuele De	(KR) Argumentation and applications
Angelopoulos, Nicos	(ICLP) Block 6 (8 TC)
Ansarifard, Ashkan	(SKILLED-LLMs) Session 3: Symbolic Constraints in Learning and Inference
Ansótegui, Carlos	(ModRef) Invited Talk
Antoine, Thibaut	(LFMTP) Quantification
Apostolakis, Iosif	(THEMA) Session 1
Arapinis, Myrto	(CSF) Computer-Aided Cryptography
Areces, Carlos	(KR) Reasoning on actions
Arellanes, Damian	(LSFA) Session 3
Arends, Dick	(ThEdu) ThEdu Session 3
Arias, Joaquín	(PEG) Session 4: Logic Programming for Teaching Computing Subjects
Arieli, Ofer	(KR) Nonmonotonic logic
Arpasi, Janos	(DL) All about DL-Lite
Arquint, Linard	(FCS) Session 2: Cryptography
Arsac, Samuel	(RocqWS) Session 2
Artale, Alessandro	(DefDesKR) Part 3 - Definite Descriptions in First-Order Modal and Temporal Logics
atefe@mail.uni-paderborn.de, Atefe	(LINDA) Poster announcements 2
Atkey, Robert	(SD) Invited Talk: Robert Atkey
Aucher, Guillaume	(ARQNL) ARQNL Session 3: Proof Theory and Substructural Logics
Audemard, Gilles	(KR) Machine learning and explanation
AULAGNER, MOANA	(CMSB) Constraint-Based Modeling and Molecular Computation
Averkova, Ekaterina	(LLM-Solve) Session 3 - Formal Methods for LLMs
Avissar, Ziv	(SYNT) Functional & Quantum Synthesis
Avni, Guy	(SAIV) Invited talks + round table discussion (SYNT) Games and Synthesis - I (SAIV) Keynote presentation (CAV) Synthesis (SYNT) Games and Synthesis - 2
AWUKLU, Yvon K.	(KR) Answer Set Programming 2
Axelrod, Guy	(IJCAR) Superposition, Saturation, Equations & Constraints
Ayala-Rincón, Mauricio	(LFMTP) Unification (LSFA) Session 7 (UNIF) Session 3A (UNIF) Session 3B (LSFA) Session 8
Aygün, Murat Sinan	(Vampire) Optimizations(?)
Azzolini, Damiano	(KR) Answer Set Programming 1
Azzopardi, Shaun	(CAV) Synthesis
B
Baader, Franz	(KR) KR invited: Carsten Lutz (UNIF) Session 1B (LINDA) Poster announcements 2
Baaz, Matthias	(SD) Contributed Talks Session 2
Bacci, Giorgio	(LICS) Session 4A Verification & Foundations of Probabilistic Systems
Bacik, Piotr	(LICS) Session 7B Decidability in Arithmetic and Linear Theories
Baelde, David	(CSF) Symbolic Protocol Verification (SMT) Decision Procedures & Automation (FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Bahmani, Sarvin	(SYNT) Games and Synthesis - I
Baier, Christel	(MartaFest) Morning session 1 (LICS) Session 11B Modal and Guarded Logics (CREST) Invited Talk by Christel Baier
Bailitis, Janis	(RocqWS) Session 1
Baillon, Martin	(FSCD) Proof Assistants
Baillot, Patrick	(FSCD) Complexity Analysis (FSCD) FSCD Business Meeting
Baimuratov, Ildar	(DL) Poster & Demo Announcements
Balabonski, Thibaut	(LICS) Session 1A Lambda Calculi and Abstract Syntax
Balasubramanian, A. R.	(SYNT) Reactive Synthesis (LICS) Session 5B Counter and Vector Addition Systems (SYNT) Functional & Quantum Synthesis
Balasubramanian, AR	(LICS) Session 2A Proof Theory and Linear Logic
Baldacchino, Adriana	(PC) Contributed Talks 4 (GALOP) Contributed Talks - Session 4 (LICS) Session 6B Quantitative and Analytical Properties of Formal Languages
Baldazzi, Teodoro	(KR) Datalog and existential rules
Ballot, Gabriel	(CSF) Attack Trees & Risk Analysis
Baltag, Alexandru	(KR) Belief change and epistemic logic
Banakh, Demian	(LICS) Session 10B Constraint Satisfaction
Banbara, Mutsunori	(KR) Answer Set Programming 1
Banihashemi, Bita	(THEMA) Session 1 (SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design
Bankosegger, Rafael	(ICLP) Block 4 (4 TPLP)
Bannach, Max	(FMQC) Model Counting (LCC) Sunday afternoon 1 (MC) Complexity and Explanations (KR) Answer Set Programming 2 (FMQC) Verification and Synthesis
Bansal, Suguman	(VeriProP) Session 4
Barbosa, Haniel	(LSFA) Session 5 (SMT) Invited Talk + Encodings (SMT) SMT-COMP & Business Meeting
Barbosa, Manuel	(FCS) Session 2: Cryptography
Barile, Roberto	(DL) Explanations
Barlag, Timon	(KR) Description logics and databases (KR) Expressivity of neural networks
Barrault, Romain	(CP) Scheduling, Timetabling
Barrett, Clark	(AIMACS) Second morning session
Barroso-Nascimento, Victor	(IMLA) Contributed Talks C5
Barsse, Kathleen	(LICS) Session 6A Logical aspects of Quantum computation
Bartal, Uriya	(KR) Beyond SAT
Barthe, Gilles	(LICS) Session 5A Logical Aspects of Quantum Computation
Barton, Reid	(LICS) Session 11A Constructive Mathematics & Type Theory
Basgöze, Daniel	(ACV) 24pm2
Batz, Kevin	(ACV) 24am2 (LICS) Session 12B Proof Theory, Fixed Points, and Meta-Complexity
Batzoglou, Serafim	(KR) Abduction and diagnosis
Baumann, Jonathan	(CSF) Side-Channel & Speculative Defenses
Baumeister, Joachim	(ASPOCP) Industrial applications
Baumgartner, Alexander	(UNIF) Session 2
Bayerkuhnlein, Moritz	(XLoKR-ExCoS) Inconsistency & Repair (KR) Abduction and diagnosis
Beame, Paul	(SAT) Session I: Beyond Propositional SAT
Becchi, Anna	(CAV) Software: Tools, Verification and Synthesis
Beck, Christopher	(DPSOLVE) Introduction
Becker, Arvid	(ASPOCP) Planning and Temporal Reasoning (ICLP-DC-SS) DC Session 2
Becker, Justus	(SD) Contributed Talks Session 1 (IMLA) Contributed Talks C7
Beckers, Sander	(JoeFest) Contributed Talks 1 (CREST) Invited Talk by Sander Beckers (KR) Probability (JoeFest) In-Person Invited Talks
Beckmann, Arnold	(LCC) Sunday morning 1 (LCC) Sunday morning 2
Bednarczyk, Bartosz	(DL) “To infinity and beyond!” (DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
Behnia, Sayna	(GALOP) Contributed Talks - Session 2
Beldiceanu, Nicolas	(CP) CP Opening (CP) ACP Awards & Next CP/CPAIOR (CP) Best Papers & Competition Results (CP) Theory 2 & Closing
Belmecheri, Nassim	(CP) Application (Production, Timetabling, Automated Driving Systems)
Bembenek, Aaron	(HCVS) Session #4
Ben-Naim, Jonathan	(KR) Argumentation 2
Béné, Tom	(FCS) Session 2: Cryptography
Benerecetti, Massimo	(CAV) Hybrids, Controls and Probabilistic Systems
Bengel, Lars	(NMR) Argumentation 2
Benoist, Thierry	(CP) Beyond Filtering & Global Hybrid Optimisation Solver
Benzmüller, Christoph	(ARQNL) ARQNL Opening (ARQNL) ARQNL Session 5: Embeddings and Benchmarks
Berardi, Stefano	(WST) Beyond Classical Rewriting
Berg, Jeremias	(PoS) Session 2: Optimization (SAT) Session K: Competitions
Bergerem, Steffen Van	(MW2) Sebastian Siebertz (MW2) Yannick Forster (MW2) Claudia Cauli (MW1) Sandra Kiefer (MW1) PhD Students Panel
Bergsträßer, Pascal	(AIMACS) Poster Lightning Session #1
Berkel, Kees van	(KR) Argumentation 2 (KR) Temporal reasoning
Bermeo, Wilber	(TEAL) Plenary session 1
Bernal, Christian Pérez	(CP) Scheduling
Berndt, Sebastian	(AR4Space) Session 4
Bertagnon, Alessandro	(ICLP) Block 3 (Best DC + 4 RPR)
Berton, Carl	(CP) SAT, MAXSAT, CP-SAT
Bertossi, Leopoldo	(LINDA) Invited talk 1
Bertot, Yves	(RocqWS) Invited talk
Bertrand, Nikolas	(ICLP-DC-SS) Opening + DC Session 1 (ASPOCP) Planning and Temporal Reasoning
Beyer, Dirk	(HCVS) Session #1 (CAV) Software: Tools, Verification and Synthesis (CompBench) Infrastructure (ACV) 24pm1 (CompBench) Evaluation and Formats (CAV) Liveness/Termination
Beyersdorff, Olaf	(MC) Opening and Proof Complexity (PC) Invited Talk 1 (PC) Contributed Talks 1 (LCC) Sunday afternoon 2 (SAT) Session L: Business Meeting (SAT) Session M: SAT Association Awards
Bhaskar, Raghav	(CSF) E-Voting & Anonymity
Bhavnani, Sidhant	(QBF) Pragmatics of QBF
Biagioni, Giulia	(WiL) Answer Set Programming
Bianchini, Filippo	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models
Bienvenu, Meghyn	(DL) Conflicts and Exceptions (LINDA) Talk session 1 (KR) Description logics and databases (KR) Answer Set Programming 2 (LINDA) Poster announcements 2 (DL) All about DL-Lite
Biere, Armin	(PoS) Session 1: Proofs (IJCAR) Invited Talk (SAT) Session A: Encodings & Preprocessing (PoS) Session 6: Encodings
Bierlee, Hendrik	(CP) Reformulation, MDD/FLOW (ModRef) Session 4: Applications
Bílková, Marta	(CI-BD-SOQE) Session 1
Bilotta, Antonella	(WiL) Formal Verification (IJCAR) Formalization & Interactive Proof
Binder, Sage	(ITP) ITP Papers
Bisping, Benjamin	(PERR) Session 2 (TEAL) Plenary session 2 (GALOP) Contributed Talks - Session 4
Bit-Monnot, Arthur	(CP) Scheduling
Bizière, Clotilde	(LICS) Session 5B Counter and Vector Addition Systems
Bizzaro, Davide	(KR) Neural-symbolic learning and logic
Bjørner, Nikolaj	(IJCAR) Awards
Blackett, Fiona	(MSFP) Contributed Talks 3
BLAKE, Colin	(FMQC) Representation of Quantum Information (FSCD) Quantum Computation
Blanchet, Bruno	(CSF) Symbolic Protocol Verification
Blanchette, Jasmin	(Isabelle) Keynote 1 (Isabelle) Papers 1a (Isabelle) Tutorial 1 (IJCAR) Rewriting, Automata, Verification & Fuzzy Logic (ITP) ITP Papers: Automation and Tactics
Bleukx, Ignace	(LLM-Solve) Session 1 - Explanations with LLMs (CP) Explanations
Blondeau-Patissier, Lison	(TLLA) Lison Blondeau-Patissier (Invited)
Blot, Valentin	(GALOP) Contributed Talks - Session 2
Blümel, Lydia	(NMR) Argumentation 2
Boborová, Janka	(DL) Poster & Demo Announcements
Bobot, François	(SMT) SMT
Bocevska, Ivana	(CAV) SMT, SAT & Decision Procedures
Bodingbauer, Jonas	(Vampire) Proof checking & applications (ITP) ITP Papers: Automation and Tactics
Bodirsky, Manuel	(LICS) Session 10B Constraint Satisfaction
Boetius, David	(SAIV) Contributed talks and short presentations
Bofill, Miquel	(ModRef) Session 4: Applications
Bogaerts, Bart	(PoS) Opening (PoS) Session 4: Exploring Solvers and Instances (KR) Datalog and existential rules (PoS) Closing
Bogø, Benjamin	(Soft) Session 2 (Soft) Session 3
Böhm, Benjamin	(SAT) Session G: QBF Algorithms (PC) QBF Joint Invited Talk (QBF) QBF Proof Complexity (PC and QBF Joint Session)
Bojańczyk, Mikołaj	(LICS) Session 1B Automata on Infinite Words and MSO (LICS) Session 4B Logic and Structural Graph Theory
Bonacina, Ilario	(SAT) Session D: MaxSAT & PB Optimization (PC) Contributed Talks 1 (SAT) Session B: Proof Systems & Complexity (PC) Contributed Talks 3
Bonacina, Maria Paola	(LICS) Session 10B Constraint Satisfaction (IJCAR) Model Finding, Certification & Synthesis
Bonakdarpour, Borzoo	(CREST) Welcome & Remembering Joseph Y. Halpern (Sander Beckers, Hana Chockler, Moshe Vardi) (CREST) Invited Talk by Sander Beckers (CAV) Verification of Parallel, Concurrent, and Distributed Systems (CREST) Contributed Presentations 3
Bonin, Mathilde	(OVERLAY) Explainability
Booth, Richard	(KR) Belief change (MoST) Session 2
Booth, Robert I.	(FSCD) Quantum Computation
Bordais, Benjamin	(IJCAR) Rewriting, Automata, Verification & Fuzzy Logic
Borelli, Roberto	(ICLP) Block 12 (1 RPR + 6 TC)
Borgwardt, Stefan	(DL) Invited Speaker: Stefan Borgwardt (XLoKR-ExCoS) Argumentation & Description Logics (DL) Explanations (DL) Temporal Extensions (DL) All about DL-Lite
Borjigin, Hurile	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models
Borroto, Manuel	(CARLA) CARLA Workshop (CARLA) CARLA Workshop - II Sessions
Bose, Sougata	(SYNT) Games and Synthesis - I
Bosnacki, Dragan	(CREST) Contributed Presentations 3
Bourigault, Pauline	(AIMACS) Poster Lightning Session #3
Bouverot-Dupuis, Mathis	(RocqWS) Session 2
Bozec, Tanguy	(IJCAR) Superposition, Saturation, Equations & Constraints
Bradfield, Julian	(CREST) Contributed Presentations 1
Braicu, Tudor	(CAV) Security, Privacy and Hyperproperties
Brakensiek, Joshua	(CP) Theory 2 & Closing
Brancas, Ricardo	(ICLP) Block 10 (4 TPLP) (ICLP) Block 6 (8 TC)
Bräuer, Fabian	(MoST) Session 1
Braun, Tanya	(MoST) Session 1
Bresolin, Davide	(FORCE) Theory and logics
Brewka, Gerd	(KR) Preferences
Brice, Léonard	(CAV) Synthesis (LICS) Session 9B Games and Strategies under Uncertainty
Briefs, Yasmine	(IJCAR) Theory Combination, Arithmetic Circuits & Embedded Systems
Britikov, Konstantin	(HCVS) Session #4
Brizzio, Matías	(KR) Temporal reasoning
Brodo, Linda	(CMSB) Rule-Based and Stochastic Modelsule-Based and Stochastic Models
Brown, Chad	(PAAR) Session 4
Brüchmann, Nelson	(OVERLAY) Verification and Model Checking
Bruni, Alessandro	(ITP) ITP Papers: Verification and Model Checking
Bryan, Dakota	(PERR) Session 2
Bucchiarone, Antonio	(FORCE) Runtime monitoring
Bucciarelli, Antonio	(FSCD) Lambda Calculus
Buchholtz, Ulrik	(LICS) Session 11A Constructive Mathematics & Type Theory
Buda, Alessandro G.	(OVERLAY) Temporal, Modal and Logical Foundations
BUI, Quoc-Trung	(CP) Application (Production, Timetabling, Automated Driving Systems)
Buire, Clara	(CP) Application (Logistics, HVAC Optimisation, Playoff Clinching)
Bultel, Xavier	(CSF) E-Voting & Anonymity
Bunting, Benedict	(GALOP) Contributed Talks - Session 1
Buraglio, Giovanni	(NMR) DL & NMR (KR) Argumentation 2
Burigana, Alessandro	(OVERLAY) Planning
Bury, Guillaume	(SMT) Invited Talk + Parallelism
Butler, Martin	(ModRef) Session 4: Applications
Buzoku, Yll	(IMLA) Contributed Talks C4
Byrd, William	(PIPs) Session 2:
Bøving, Oliver Emil	(ITP) ITP Papers
C
Cabalar, Pedro	(ICLP) Block 11 (6 TC) (ICLP) Block 5 (2 TPLP)
Cabrio, Elena	(KR) Argumentation and applications
Cai, Xuran	(CAV) Program Analysis Session
Cailler, Julie	(IJCAR) Live Competitions Kickoff (TPTPTP) Proof expectations (IJCAR) Formalization & Interactive Proof
Caires, Luis	(LICS) Session 3A Type Systems
Caires-Santos, Ali K.	(FSCD) Proof Theory
Calautti, Marco	(KR) Explanation
Calejo, Miguel	(PEG) Session 3: Tools for Teaching Logic Programming
Calinescu, Radu	(MartaFest) Afternoon session 1 (CAV) Hybrids, Controls and Probabilistic Systems
Calk, Cameron	(SmP) Invited talk II
Caltais, Georgiana	(CREST) Contributed Presentations 1
Calvanese, Diego	(ST4DM) Session 1: Temporal and Ontological Foundations for Semantic Data Management
Camarda, Alessia Donata	(CARLA) CARLA Workshop
Campo, Olga Medrano Martin del	(LICS) Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Cantaloube, Théo	(CP) Best Papers & Competition Results
Cao, Yujian	(SYNT) Reactive Synthesis
Capelli, Florent	(SAT) Session E2: Knowledge Compilation
Capone, Andrea	(OVERLAY) Temporal, Modal and Logical Foundations
Cappart, Quentin	(Soft) Invited talk
Capucci, Matteo	(TLLA) S3.2
Cardellini, Matteo	(KR) Planning
Carelli, Mishel	(WST) Termination of Loops (HYPER) Contributed talks 4
Carlucci, Lorenzo	(WiL) Computability
Carral, David	(KR) Doctoral Consortium (talks)
Carvalho, Rui	(AIMACS) Poster Lightning Session #1
Casares, Antonio	(LICS) Session 1B Automata on Infinite Words and MSO
Casini, Giovanni	(DL) Conflicts and Exceptions
Casone, Francesco	(SKILLED-LLMs) Session 3: Symbolic Constraints in Learning and Inference
Castellan, Simon	(LICS) Session 9A Semantics of Programming Languages
Cate, Balder ten	(CI-BD-SOQE) Session 2 (LICS) Session 11B Modal and Guarded Logics (CI-BD-SOQE) Session 3 (CI-BD-SOQE) Book Launch
Caudenberg, Daimy Van	(ICLP) Block 9 (8 TC) (CP) Theory 1
Cauli, Claudia	(MW2) Claudia Cauli
Cavallo, Evan	(LICS) Session 10A Constructive Mathematics & Type Theory
Ceska, Milan	(VeriProP) Session 3 (CAV) Hybrids, Controls and Probabilistic Systems
Chakraborty, Debraj	(CAV) Automata
Chakraborty, Pinaki	(NMR) NMR & Explainable AI
Chakraborty, Supratik	(CAV) Hardware Verification (SYNT) Program Synthesis
Chandak, Raj	(SYNT) Games and Synthesis - I
Charalambidis, Angelos	(ICLP) Block 7 (4 TPLP) (ICLP) Block 5 (2 TPLP)
Chardonnet, Kostia	(FSCD) Lambda Calculus (FSCD) Complexity Analysis
Chassot, Samuel	(CAV) Deductive Verification & Certified Verification
Chatterjee, Krishnendu	(VeriProP) Session 1 (PERR) Session 4
Chaudhuri, Kaustuv	(IJCAR) Automation & Unification
Chaudhuri, Swarat	(AIMACS) Second morning session (AIMACS) Poster Lightning Session #1 (AIMACS) Afternoon session (RajeevFest) Afternoon 2 (AIMACS) Panel
Chede, Sravanthi	(SAT) Session H: QBF Proofs & Dependencies (QBF) QBF Counting, Sampling and Synthesis
Chen, Lihu	(XLoKR-ExCoS) LLMs and Reasoning
Chen, Yi	(LOGICNN) Session 1B: Expressiveness
Chen, Yu-Fang	(FMQC) Verification and Synthesis
Chen, Yuxiao	(CP) Dynamic Programming & Scheduling
Cheng, Che	(QBF) QBF Counting, Sampling and Synthesis
Cheng, Ruotong	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Chernobrovkin, Artem	(KR) Machine learning and explanation
Cherpitel, Mathieu	(CompBench) Evaluation and Formats
Cheval, Vincent	(CSF) E-Voting & Anonymity
Chevaleyre, Yann	(KR) Preferences
Chew, Leroy	(QBF) Dependency QBF (SAT) Session H: QBF Proofs & Dependencies (QBF) QBF Proof Complexity (PC and QBF Joint Session) (PC) QBF Joint Contrib Talks 1
Chida, Nariyoshi	(CAV) Synthesis
Chocholatý, David	(CAV) SMT, SAT & Decision Procedures
Chockler, Hana	(JoeFest) Contributed Talks 2 (JoeFest) In-Person Invited Talks (JoeFest) Pre-recorded Invited Talks
Choudhury, Abhimanyu	(SAT) Session H: QBF Proofs & Dependencies (QBF) QBF Proof Complexity (PC and QBF Joint Session) (PC) QBF Joint Contrib Talks 1
Christakis, Maria	(CAV) Invited Talk
Christensen, René Bødker	(CAV) Quantum
Chuan, Roland Yap Hock	(CP) Decision Diagrams (CP) Routing/Scheduling & GPU for Propagation
Chudigiewitsch, Florian	(LCC) Saturday morning 2
Cima, Gianluca	(DL) Poster Announcements
Cimatti, Alessandro	(CAV) Software: Tools, Verification and Synthesis (CAV) Quantum (IJCAR) Theory Combination, Arithmetic Circuits & Embedded Systems (CAV) CAV Award
Ciobâcă, Ștefan	(WPTE) Session 2
Cirstea, Corina	(GALOP) Keynote talk - Corina Cirstea
Cissell, Isabella	(WiL) Modal Logic
Civini, Emanuele	(IJCAR) Superposition, Saturation, Equations & Constraints
Civit, Aniol	(XLoKR-ExCoS) Argumentation & Description Logics
Clairambault, Pierre	(GALOP) Contributed Talks - Session 3
Claßen, Jens	(ARQNL) ARQNL Session 4: Tableaux
Cleaveland, Rachel	(SMT) Arrays, Datatypes & Relational Reasoning
Clément, Alexandre	(LICS) Session 5A Logical Aspects of Quantum Computation
Clemente, Lorenzo	(LICS) Session 2B Automata
Clouston, Ranald	(IMLA) Invited Talk I3
Cloutier, Samuel	(CP) Scheduling
Coecke, Bob	(FMQC) Opening and Keynote
Coenen, Norine	(CREST) Contributed Presentations 1 (CREST) Invited Talk by Christel Baier (CREST) Contributed Presentations 2 (CREST) Open Discussion
Cofer, Darren	(FORCE) Industrial applications
Cohen, Itay	(SAIV) Contributed talks and short presentations
Cohen, Liron	(IMLA) Invited Talk I1 (FSCD) Proof Assistants (FSCD) Quantitative Models
Colcombet, Thomas	(LICS) Session 1B Automata on Infinite Words and MSO
Coll, Jordi	(ModRef) Opening (ModRef) TBC
Colnet, Alexis de	(MC) Proof Logging and Knowledge Compilation (KR) Beyond SAT (SAT) Session E2: Knowledge Compilation
Comfort, Cole	(FSCD) Quantum Computation
Conati, Ari	(KR) Beyond SAT
Conti, Ludovica	(THEMA) Session 2
Cooper, Martin C.	(CP) Data Mining
Coopmans, Tim	(FMQC) Representation of Quantum Information (FMQC) Model Counting
Coppé, Vianney	(DPSOLVE) Talks 2
Coquand, Thierry	(LICS) Session 11A Constructive Mathematics & Type Theory
Cornish, Rob	(LICS) Session 8A Foundations of Probabilistic Computation
Correnson, Arthur	(ITP) ITP Paper: Automata and Coinduction (MW2) PhD Student Panel (HYPER) Contributed talks 3
Costa, Diana	(LSFA) Session 3
Costantini, Stefania	(PEG) Session 2: LP for Teaching Logical Thinking to Children (LAMAS-SR) Session II (ICLP) Block 6 (8 TC)
Court, Edwin Hamel-De le	(KR) Neural-symbolic learning and logic
Coutelier, Robin	(Vampire) Machine learning (SAT) Session F: CDCL & Parallel Solving
Cowie, Nox	(WiL) Proof Theory
Crespin, Augustin	(CP) Data Mining
Crubillé, Raphaëlle	(LICS) Session 8A Foundations of Probabilistic Computation
Cruz-Filipe, Luis	(LPOP) Session 3 (ITP) ITP Papers: Program Logics
Cunha, Alcino	(CAV) Security, Privacy and Hyperproperties (HYPER) Contributed talks 4
Cunha, Pedro	(TERMGRAPH) Session 2
Cunningham, Eoghan	(KR) Argumentation and applications
Cunningham, Garett	(ITP) ITP Papers: Formalisation of Mathematics-3
Cuteri, Andrea	(ICLP) Block 1 (3 TPLP) (KR) Answer Set Programming 2
D
D'Adda, Martino	(LCC) Sunday morning 1
D'Antoni, Loris	(AIMACS) Morning session
D'Asaro, Fabio Aurelio	(OVERLAY) Learning (OVERLAY) Temporal, Modal and Logical Foundations
Dabrowski, Konrad K.	(KR) Temporal reasoning
Daggitt, Matthew	(ITP) ITP Papers: User Interfaces and Compilers
Dahl, Veronica	(PEG) Session 4: Logic Programming for Teaching Computing Subjects
Dalmonte, Tiziano	(DL) Conflicts and Exceptions (IMLA) Contributed Talks C8
Damanik, Raja	(FSCD) Rewriting
Dančo, Marek	(SMT) Decision Procedures & Automation
Daniele, Alessandro	(KR) Neural-symbolic learning and logic
Danieli, Yoav	(LICS) Session 6B Quantitative and Analytical Properties of Formal Languages
DAntoni, Loris	(RajeevFest) Morning 1 (RajeevFest) Afternoon 2
Danzinger, Philipp	(CP) Verification, Certification
Dardinier, Thibault	(PERR) Session 3
Darulova, Eva	(CAV) Invited Talk
Das, Anupam	(LICS) Session 2A Proof Theory and Linear Logic (FSCD) Rewriting
Datta, Samir	(LICS) Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Davila, Javier Romero	(EULP) Invited talk
Dawar, Anuj	(LICS) Session 1B Automata on Infinite Words and MSO (LICS) Session 5A Logical Aspects of Quantum Computation (PC) Contributed Talks 2
Deakin, Jonte	(ARQNL) ARQNL Session 1: Modal Logics
Dejl, Adam	(XLoKR-ExCoS) LLMs and Reasoning (KR) Argumentation and applications
Dekker, Jip J.	(ModRef) Session 1: Constraint Modelling and Propagation
Delage-Reid, Arnaud	(CP) Metaheuristics, Portfolio
Delaune, Stephanie	(LICS) Keynote by Stéphanie Delaune
Delecluse, Augustin	(CP) Routing/Scheduling & GPU for Propagation
Demri, Stéphane	(LAMAS-SR) Stéphane Demri 'Strategic Reasoning Under Limited Resource Production'
Dennison, Racquel	(KR) Doctoral Consortium (talks) (WiL) Answer Set Programming
Dennison, Racquel Nina	(WiL) Answer Set Programming
Desfrene, Gabriel	(CAV) Hardware Verification
Desharnais-Schäfer, Martin	(Isabelle) Tutorial 1
Díaz-Caro, Alejandro	(TLLA) S3.2
Diedrich, Alexander	(KR) Abduction and diagnosis
Diéguez, Martin	(ICLP) Block 7 (4 TPLP)
Dill, David	(RajeevFest) Morning 1
Dillig, Isil	(CAV) CAV Award
Dillig, Işıl	(CAV) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (CSF) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (ITP) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (IJCAR) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications (FLoC) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications
Dinesen, Oskar Hovmøller	(PERR) Session 2
Ding, Yuantian	(CAV) Quantum
Dingle, Adam	(IJCAR) Rewriting, Automata, Verification & Fuzzy Logic
Dipalma, Alessandro	(CMSB) Causal Inference and Multi-Omics Integration 2
Dodampegama, Hasra	(CARLA) CARLA Workshop - II Sessions
Dold, Simon	(CP) Verification, Certification
Domenico, Andrea De	(CI-BD-SOQE) Session 2 (IMLA) Contributed Talks C3
Donato, Pablo	(SD) Contributed Talks Session 5
Donna, Raffaele Di	(TLLA) S1.2 (DIALOCO) Contributed talks
Doty, David	(CMSB) Constraint-Based Modeling and Molecular Computation
Doz, Romina	(VeriProP) Session 4
Dreier, Jannik	(CSF) Symbolic Protocol Verification
Du, Ruizhong	(CSF) Differential Privacy
Dubois, Bérénice	(CP) Scheduling, Timetabling
Dubray, Alexandre	(ML4SP) Paper talks 1
Dudenhefner, Andrej	(FSCD) Complexity Analysis (ITRS) Session 1
Dunne, Ciarán	(IJCAR) SMT Proof Production & Checking
Duret-Lutz, Alexandre	(TEAL) Plenary session 2 (CAV) Synthesis
Dvorak, Wolfgang	(KR) Answer Set Programming 1
Dziembowski, Stefan	(CSF) Computer-Aided Cryptography
D’Antoni, Loris	(MW2) Loris D'Antoni (MW2) Researchers Panel
E
Eberl, Manuel	(Isabelle) Papers 1b (ITP) ITP Papers: Formalisation of Mathematics (ITP) ITP Papers: Formalisation of Mathematics-3 (ITP) ITP Papers: Formalisation of Mathematics & AI
Eede, Robbe Van den	(NMR) Foundations
Ehab, Nourhan	(SKILLED-LLMs) Opening and Invited Talk
Ehlers, Rüdiger	(LICS) Session 1B Automata on Infinite Words and MSO
Eichler, Paul	(CAV) Automata
Eilers, Marco	(HYPER) Contributed talks 3
Eisfeld, Albert	(PAAR) Session 1
Eiter, Thomas	(ASPOCP) Opening + Neurosymbolic and Metaprogramming (JoeFest) Contributed Talks 2 (ICLP) Block 12 (1 RPR + 6 TC) (SAT) Session I: Beyond Propositional SAT (LINDA) Invited talk 2
El-Kholany, Mohammed M. S.	(ASPOCP) Industrial applications
Elad, Neta	(LICS) Session 7B Decidability in Arithmetic and Linear Theories
Elbaz, Tal	(PC) Contributed Talks 2
Enea, Constantin	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Engels, Katharina	(ICLP) Block 6 (8 TC)
Eriksson, Leif	(KR) Beyond SAT
Ertel, Marcel	(LCC) Sunday morning 2
Escobar, Ferran Alborch	(CSF) Differential Privacy
Escobar, Santiago	(LSFA) Session 7 (ICLP) Block 11 (6 TC)
Esen, Zafer	(HCVS) Session #3 (HCVS) Session #4
F
Faber, Wolfgang	(ICLP) Invited Talk 2 (ICLP) 20 Years Test of Time Award
Fages, François	(ICLP) Block 10 (4 TPLP) (CP) Verification, Certification (CP) Theory 1
Faggian, Claudia	(LICS) Keynote by Nada Amin (FSCD) Quantum Computation (LICS) Session 6A Logical aspects of Quantum computation
Fandinno, Jorge	(ICLP) Block 1 (3 TPLP) (KR) Answer Set Programming 1 (ASPOCP) System and Tools + Closing
farjami, ali	(NMR) Foundations
Farràs, Oriol	(CSF) Cryptographic Primitives & Protocols
Farzan, Azadeh	(HYPER) Invited talk 1
Fatmi, Syyeda Zainab	(ACV) 24pm1
Faveri, Arturo De	(TLLA) S2
Fazekas, Katalin	(PoS) Session 1: Proofs (SAT) Session K: Competitions
Federico, Giuseppe	(DL) Explanations
Feener, Christopher	(ARQNL) ARQNL Session 5: Embeddings and Benchmarks
Feldbacher-Escamilla, Christian J.	(CREST) Contributed Presentations 1
Felicissimo, Thiago	(IWC) Confluence & Formalization (LICS) Session 12A Constructive Mathematics & Type Theory
Feller, Roman	(LICS) Session 10B Constraint Satisfaction
Feltus, Kha Luân	(LLM-Solve) Session 1 - Explanations with LLMs
Feng, Lu	(MartaFest) Afternoon session 1 (MartaFest) Afternoon session 2
Ferdowsi, Arman	(CMSB) Rule-Based and Stochastic Modelsule-Based and Stochastic Models
Férée, Hugo	(IJCAR) Formalization & Interactive Proof
FERET, Jérôme	(CMSB) Rule-Based and Stochastic Modelsule-Based and Stochastic Models
Ferguson, Roy	(MoST) Session 1 (NMR) Foundations
Fermé, Eduardo	(KR) Argumentation 1 (KR) Argumentation and applications
Fernandez, Diego Olivier	(CP) Dynamic Programming & Scheduling
Fernández, Maribel	(UNIF) Session 1A
Fernández-Duque, David	(ARQNL) ARQNL Invited Talk
Ferrari, Florent	(LCC) Saturday morning 2
Ferreira, Joao F.	(MW1) PhD Students Panel
Ferreira, Nikson Bernardes Fernandes	(ML4SP) Paper talks 1
Ferreira, Tiago	(CAV) Automata
Ferretti, Luca	(CSF) Authenticity & Identity
Fervari, Raul	(LSFA) Session 7
Fichte, Johannes	(CompBench) Invited Talk (MC) Opening and Proof Complexity (PoS) Session 3: Enumeration & Counting (PCCR) Johannes Fichte (PoS) Session 6: Encodings
Fichte, Johannes Klaus	(FMQC) Model Counting
Fidan, Müge	(KR) Doctoral Consortium (talks)
Figueira, Diego	(LICS) Session 11B Modal and Guarded Logics
Finger, Marcelo	(PAAR) Session 3
Fisher, Kathleen	(CAV) Logic Lounge
Fisman, Dana	(OVERLAY) Learning (KR) Learning for planning
Fiuk, Oskar	(DL) “To infinity and beyond!” (LICS) Session 11B Modal and Guarded Logics
Fixman, Martin	(Vampire) Equality reasoning(?)
Flaminio, Tommaso	(KR) Probability (NMR) Defeasible Beliefs
Fleming, Noah	(PC) Invited Talk 3
Fleury, Mathias	(PoS) Session 4: Exploring Solvers and Instances
Flippo, Maarten	(WHOOPS) Papers 3
Flugel, Vanessa	(SYNT) Games and Synthesis - I
Fontaine, Caroline	(CSF) Computer-Aided Cryptography
Fontaine, Pascal	(IJCAR) Differential Equations & Hybrid Systems (SMT) Learning, LLMs & Counting
Forest, Simon	(GALOP) Joint keynote talk with ITRS - Simon Forest
Forster, Yannick	(MW2) Yannick Forster (ITP) ITP Papers: Formalisation of Algorithms
Foschini, Marco	(CP) Application (Production, Timetabling, Automated Driving Systems)
Freer, Cameron	(Lean) Contributed talks 1 (ITP) ITP Papers: Formalisation of Mathematics & AI
Freuder, Eugene	(CP) Constraint Journal Panel & Constraint Journal Awards (CP) Holy Grail Panel
Fried, Dror	(QBF) QBF Counting, Sampling and Synthesis
Friends, Various	(JoeFest) Pre-recorded Invited Talks
Friolo, Daniele	(CSF) Cryptographic Primitives & Protocols
Fröhlich, Nicolas	(LINDA) Poster announcements 1
Frohn, Florian	(HCVS) Session #1 (WST) Termination of Loops (WST) Beyond Classical Rewriting (IJCAR) Arrays & Interpolation (WST) Program Analysis (IJCAR) Rewriting, Automata, Verification & Fuzzy Logic
Froleyks, Nils	(IJCAR) Model Finding, Certification & Synthesis (CAV) Liveness/Termination
Frtunikj, Jelena	(CAV) Hybrids, Controls and Probabilistic Systems
Fuhs, Carsten	(WST) Termination of First-Order Rewriting (FSCD) Rewriting (WST) Beyond Classical Rewriting
Fujii, Soichiro	(LICS) Session 7A Categorical models: effects, automata & model theory
Funk, Maurice	(LOGICNN) Session 1A: Expressiveness (DL) Learning
Funwacharakorn, Wachara	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models
G
Gaba, Pranshu	(SYNT) Games and Synthesis - I
Gaillard, Pierre	(LAMAS-SR) Session II
Gaißer, Hannes	(NMR) Belief Change
Gajarsky, Jakub	(MW1) Jakub Gajarský
Galati, Ilenia	(NMR) ASP
Galimullin, Rustam	(KR) Reasoning on actions (KR) Temporal reasoning
Gallass, Mohamed-Anass	(CP) Scheduling, Timetabling
Gallicchio, James	(ITP) ITP Papers: Formalisation of Mathematics-3
Gallifa-Tronch, Enrique	(LSFA) Session 3
Galmiche, Didier	(ARQNL) ARQNL Session 3: Proof Theory and Substructural Logics (IJCAR) Formalization & Interactive Proof
Gambardella, Camilo Cruz	(CP) Application (Logistics, HVAC Optimisation, Playoff Clinching)
Gamsakhurdia, Mariami	(WiL) Proof Theory
Ganardi, Moses	(LICS) Session 7B Decidability in Arithmetic and Linear Theories
Ganian, Robert	(SAT) Session G: QBF Algorithms (PCCR) Contributed Talks (PCCR) Robert Ganian
Gao, Dichuan	(LICS) Session 5A Logical Aspects of Quantum Computation
Garg, Deepak	(CSF) Differential Privacy (CSF) Information Flow & Secure Composition
Garlik, Michal	(LICS) Session 12B Proof Theory, Fixed Points, and Meta-Complexity
Gaspero, Luca Di	(CP) Scheduling, Timetabling
Gaur, Kartikeya	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Gavanelli, Marco	(ICLP) Block 11 (6 TC)
Gavazzo, francesco	(LICS) Session 1A Lambda Calculi and Abstract Syntax
Gebser, Martin	(ICLP) Block 7 (4 TPLP)
Geffner, Hector	(JoeFest) In-Person Invited Talks (KR) Learning for planning
Gehm, Frederick	(SAT) Session F: CDCL & Parallel Solving
Généreux, Xavier	(Lean) Contributed talks 3
George, Mathews	(LFMTP) Unification
Gerlach, Lukas	(KR) Datalog and existential rules
Ghadiyaram, Dattabhasvant	(Lean) Contributed talks 3
Ghanem, Mohamed	(ML4SP) Paper talks 1
Ghica, Dan	(TERMGRAPH) Session 1
Ghica, Dan R.	(DIALOCO) First invited talk
Ghilardi, Silvio	(UNIF) Session 1A (UNIF) Session 1B
GHLIB, Romaissa	(Soft) Session 1
Giacobbe, Mirco	(SAIV) Contributed talks 2 (CAV) Logic Lounge
Giacomo, Giuseppe De	(FLoC) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (CP) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (FSCD) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (ICLP) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (KR) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (LICS) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (SAT) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (LAMAS-SR) Session I (OVERLAY) Multi-agent systems (KR) Planning
Giampietro, Sofia	(CSF) Symbolic Protocol Verification
Gierasimczuk, Nina	(NMR) Belief Change (LAMAS-SR) Session III (NMR) NMR & Explainable AI
Giesl, Jürgen	(IJCAR) Awards (IJCAR) Confluence Analysis & Rewriting (IJCAR) Deepak Kapur Memorial Session
Giessen, Iris van der	(IJCAR) Refined Logics & Proofs, Hyperproperties & Synthesis
Gigante, Nicola	(OVERLAY) Opening (OVERLAY) Planning (OVERLAY) Learning (OVERLAY) Multi-agent systems (OVERLAY) Verification and Model Checking (OVERLAY) Temporal, Modal and Logical Foundations (OVERLAY) Invited Talk (OVERLAY) Explainability (OVERLAY) Temporal, Modal and Logical Foundations 2 (OVERLAY) Closing remarks (KR) Planning
Gil, Oliver Fernández	(UNIF) Session 2 (UNIF) Session 4
Giordana, Fabio	(CP) Dynamic Programming & Scheduling
Giordano, Laura	(ICLP) Invited Talk 1 (ICLP) 10 Years Test of Time Award
Girard-Satabin, Julien	(SAIV) Contributed talk, short presentations, and case studies
Girlando, Marianna	(IMLA) Contributed Talks C7
Givry, Simon de	(Soft) Invited talk (Soft) Session 1 (Soft) Session 2 (Soft) Session 3 (CP) Metaheuristics, Portfolio
Gladshtein, Vladimir	(CAV) Deductive Verification & Certified Verification (ITP) ITP Papers: User Interfaces and Compilers
Glover, Nathaniel	(LICS) Session 3A Type Systems
Gnatenko, Anton	(DL) Temporal Extensions
Godziszewski, Michał Tomasz	(LAMAS-SR) Session I (LAMAS-SR) Session II
Gogacz, Tomasz	(KR) Description logics and databases
Gollamudi, Anitha	(FCS) Session 1: Information Flow Security and Secure Attestation (FCS) Session 2: Cryptography
Gollins, Nicholas	(AR4Space) Session 3
Gomes, Carla	(LPOP) Session 3
Gomez, Lucia	(KR) Diversity and inclusion
Gonçalves, Ricardo	(NMR) ASP
Gonze, Ramon G.	(CSF) Quantitative Information Flow
Gopalan, Meru	(LLM-Solve) Session 4 - LLMs for Improving Solvers and Models (ML4SP) Paper talks 3
Goranko, Valentin	(LAMAS-SR) Session III (LAMAS-SR) Session IV
Goren-Roig, Gabriel	(SmP) Contributed talks II
Gortworst, Bente	(DL) Learning
Gösgens, Jonas	(KR) Learning for planning
Gospodinov, Trayan	(HYPER) Contributed talks 1
Goswami, Rajarshi	(SYNT) Program Synthesis
Götz, Ruben	(SAT) Session F: CDCL & Parallel Solving
Grabmayer, Clemens	(IWC) Graphs (IFIP16) Session 1 (TERMGRAPH) Session 2 (TERMGRAPH) Session 4
Grastien, Alban	(SAIV) Contributed talks 2
Grätz, Lukas	(ARQNL) ARQNL Session 4: Tableaux
Gratzer, Daniel	(LICS) Session 10A Constructive Mathematics & Type Theory
Grau, Bernardo Cuenca Cuenca	(KR) Description logic and learning
Graß, Alexandra	(Isabelle) Papers 2b
Greutmann, Micha	(CAV) Deductive Verification & Certified Verification
Grigorjew, Andreas	(SAT) Session G: QBF Algorithms (PCCR) Contributed Talks
Grillo, Lorenzo	(EULP) Paper session 1
Grimaldi, Daniel	(LINDA) Poster announcements 1 (NMR) Belief Change
Grohe, Martin	(LOGICNN) Invited Talk 1 (LICS) Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Groote, Philippe de	(LSFA) Session 1
Grosof, Benjamin	(LPOP) Session 1 (LPOP) Session 3 (LPOP) Session 4
Grosse, Leonhard	(CSF) Differential Privacy
Grosser, Marvin	(KR) Description logic and learning
Grossmann, Gerrit	(CREST) Contributed Presentations 3
Grozea, Cristian	(ICLP) Block 9 (8 TC)
Grumberg, Orna	(MW2) Orna Grumberg (CAV) Liveness/Termination
Gruteser, Jan	(ICLP) Block 6 (8 TC)
Gryzen, Joshua	(RCRA) AI Reasoning, Explainability e LLMs
Gu, Honglei	(XLoKR-ExCoS) Explaining Machine Learning
Guan, Yawen	(CAV) Deductive Verification & Certified Verification
Guardia, Rémi Di	(FSCD) Substructural Logics (TLLA) S1.2
Guermond, Nathan	(FSCD) Proof Theory
Guerrieri, Giulio	(ITRS) Session 2
Guilloud, Simon	(PoS) Session 4: Exploring Solvers and Instances
Gunnarsson, Bjarki	(MSFP) Contributed Talks 3
Guns, Tias	(ML4SP) Invited talk 2 (CP) Data Mining
Guo, Xiangyu	(ICLP) Block 11 (6 TC)
Gupta, Gopal	(PEG) Session 1: Workshop Opening and Invited Talk (PEG) Session 1: Teaching with Logic Programming in Arts and Culture (ICLP) Block 8 (2 TPLP) (ICLP) Block 9 (8 TC)
Gurfinkel, Arie	(CI-BD-SOQE) Session 5
Gutierrez, Julian	(KR) Neural-symbolic learning
Gutiérrez, Raúl	(IWC) Graphs (IWC) Variants of Term Rewriting Systems
Gutsche, Linda	(LINDA) Poster announcements 1 (KR) Doctoral Consortium (talks)
Guttenberg, Roland	(LICS) Session 5B Counter and Vector Addition Systems
Guttman, Joshua	(CSF) Authenticity & Identity (FCS) Session 1: Information Flow Security and Secure Attestation (CSF) Quantitative Information Flow
Guzmán, Manuel Vargas	(KR) Neural-symbolic learning
H
Haak, Anselm	(DL) Explanations (LINDA) Talk session 1 (KR) Abduction and diagnosis
Haak, Lars van den	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Haase, Darion	(VeriProP) Session 2
Hadek, Maximilian	(LICS) Session 7A Categorical models: effects, automata & model theory
Hader, Thomas	(SMT) MCSat & Nonlinear Arithmetic
HAERI, Seyed Hossein	(FORCE) Industrial applications
Hagens, Kasper	(LSFA) Session 6
Häggblom, Matilda	(KR) Description logics and databases
Hahn, Alexander	(MoST) Session 2
Hahn, Susana	(EULP) Paper session 1 (ICLP) Block 7 (4 TPLP) (ICLP-DC-SS) DC Session 2 (ASPOCP) System and Tools + Closing
Hajdu, Márton	(IJCAR) Model Finding, Certification & Synthesis
Hakak, Tomer	(SMT) Invited Talk + Encodings
Haldimann, Jonas Philipp	(NMR) Planning
Halilovic, Dario	(RocqWS) Session 3
Hall, Bethel	(AIMACS) Poster Lightning session
Hamaz, Kamal	(ST4DM) Session 1: Temporal and Ontological Foundations for Semantic Data Management
Hamdi, Chaima	(CP) Data Mining
Han, Kun	(UNIF) Session 4
Hariharan, Sidharth	(Lean) Keynote 3
Hart, Perry	(LICS) Session 11A Constructive Mathematics & Type Theory
Hassan, Momen	(DL) DL in Practice
Hasuo, Ichiro	(SmP) Invited talk I (MW1) Ichiro Hasuo (LICS) Session 4A Verification & Foundations of Probabilistic Systems (ACV) 25pm2
Hattori, Joe	(CAV) Program Analysis Session
Hauke, Stan P	(KR) Expressivity of neural networks
Havlík, Jakub	(FMQC) Verification and Synthesis
Hecher, Markus	(FMQC) Model Counting
Heck, Linus	(CAV) Machine Learning, AI and Verification (ACV) 24am2
Heijltjes, Willem	(SD) Invited Tutorial: Willem Heijltjes
Heiman, Damian	(LOGICNN) Session 3: From Neural Networks to Logic
Heine, Anne-Marie	(NMR) Argumentation 1
Heinz, Vilém	(CP) Scheduling
Hellwig, Jonathan	(IJCAR) Differential Equations & Hybrid Systems
Hemery, Mathieu	(CMSB) Constraint-Based Modeling and Molecular Computation
Henglein, Fritz	(LPOP) Session 3
Henne, Michał	(DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
Henson, Christopher	(LSFA) Session 6
Henzinger, Thomas	(RajeevFest) Morning 1
Henzinger, Thomas A.	(CAV) Automata
Heremenegildo, Manuel	(PEG) Session 3: Tools for Teaching Logic Programming
Hermant, Olivier	(LFMTP) Invited talk (LFMTP) Quantification
Hermenegildo, Manuel	(PIPs) Opening
Hernández, Jorge Gallego	(SMT) MCSat & Nonlinear Arithmetic
Hérouard, Clément	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Herrero, Joaquín Arias	(ICLP-DC-SS) SS Invited Talk 1 (ICLP-DC-SS) DC Session 3 + Closing
Hervier, Théa	(RocqWS) Session 2
Heuer, Jan	(ICLP-DC-SS) Opening + DC Session 1
Heule, Marijn	(IJCAR) Automation & Unification (WHOOPS) Papers 3 (SAT) Session F: CDCL & Parallel Solving
Heunen, Chris	(LICS) Session 6A Logical aspects of Quantum computation
Heyninck, Jesse	(ASPOCP) Opening + Neurosymbolic and Metaprogramming
Hilsenrath, Isaiah	(TLLA) S2.1
Hines, Peter	(SmP) Contributed talks II
Hipler, Raik	(FORCE) Runtime monitoring
Hirata, Kengo	(LICS) Session 6A Logical aspects of Quantum computation
Hirokawa, Nao	(IJCAR) Confluence Analysis & Rewriting
Hitzler, Pascal	(LPOP) Session 2
Hoeve, Willem-Jan van	(DPSOLVE) Introduction (CP) Decision Diagrams (CP) Beyond Filtering & Global Hybrid Optimisation Solver (CP) Dynamic Programming & Scheduling
Hofbauer, Dieter	(WST) Termination of First-Order Rewriting
Hofmann, Jana	(FCS) Opening Remarks (FCS) Invited Talk (FCS) Mentoring Lunch Preparation (FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Hofmann, Till	(THEMA) Session 1A
Hofstadler, Clemens	(IJCAR) Theory Combination, Arithmetic Circuits & Embedded Systems
Holden, Sean	(TPTPTP) New TPTP Formats
Holler, Sebastian	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Holzapfel, Vivian	(LCC) Saturday morning 1
Hong, Hanbin	(CSF) Machine Learning Security & Privacy
Hornos, Josep Maria Salvia	(SAT) Session D: MaxSAT & PB Optimization
Hoxha, Bardh	(FORCE) Runtime monitoring
Hsu, Justin	(VeriProP) Session 1 (ACV) 25am1-1
Hsu, Tzu-Han	(CAV) Security, Privacy and Hyperproperties
Hu, Bingqing	(ACV) 24am1
Hu, Hao	(CP) SAT, MAXSAT, CP-SAT
Huang, Tian	(CSF) E-Voting & Anonymity
Huang, Xu	(LICS) Session 10A Constructive Mathematics & Type Theory
Huch, Fabian	(Isabelle) Papers 1b (Isabelle) Tutorial 2
Huisman, Marieke	(CAV) Deductive Verification & Certified Verification
Huvar, Ondřej	(SAT) Session J: SMT & Theory Reasoning (CMSB) Boolean and Qualitative Networks
Hyland, David	(JoeFest) Contributed Talks 1
Hyman, Alex Raymond	(LOGICNN) Session 2: Verification
I
Ibanez-Garcia, Yazmin	(DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
Ielo, Antonio	(ICLP) Block 7 (4 TPLP)
Ignatiev, Alexey	(SAT) Invited Talk 1 (SAT) Session K: Competitions
Ihalainen, Hannes	(WHOOPS) Papers 1 (SAT) Session D: MaxSAT & PB Optimization
Ikeda, Yuto	(IMLA) Contributed Talks C6
Imrie, Jane	(KR) Doctoral Consortium (talks)
Inclezan, Daniela	(ICLP) Block 4 (4 TPLP)
Indrzejczak, Andrzej	(DefDesKR) Part 1 - Introduction: Definite Descriptions and Free Logic Semantics (CI-BD-SOQE) Session 2 (IJCAR) Theory Combination, Arithmetic Circuits & Embedded Systems (ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics (SD) Contributed Talks Session 4 (IJCAR) Refined Logics & Proofs, Hyperproperties & Synthesis
Iosif, Panteleimon	(CP) Filtering, Search, Modelling
Isac, Omri	(SAIV) Contributed talks and short presentations (LOGICNN) Invited Talk 2 (SAIV) Contributed talks
Isaji, Masafumi	(AR4Space) Session 3
Iser, Ashlin	(CompBench) Infrastructure (SAT) Session C: Solver Tools & Explanations (CompBench) Analyzing Benchmarks, Solvers and Performance Drivers
Israel, Ofec	(IJCAR) SMT Proof Production & Checking
Issa, Jad	(FMQC) Verification and Synthesis
Isychev, Anastasia	(MW2) Orna Grumberg (MW1) Ice-breakers (MW2) Ice breakers (MW1) Jakub Gajarský (MW1) Anela Lolić (MW1) Tommie Meyer (MW2) PhD Student Panel
Ito, Kenta	(PoS) Session 3: Enumeration & Counting
Itty, Nathaniel	(AIMACS) Poster Lightning session
Ivanov, Ievgen	(IWC) Confluence & Formalization
Izsak, Noa	(OVERLAY) Explainability
J
Jaber, Guilhème	(ACV) 25am2
Jabs, Christoph	(SAT) Session D: MaxSAT & PB Optimization
Jacks, Michael	(FORCE) Runtime monitoring
Jagrowski, Liam	(CP) Application: Modelling
Jain, Sanjay	(SAT) Session E1: Best Papers
Jalali, Raheleh	(SD) Invited Talk: Raheleh Jalali (joint with WiL)
Jam, Mehran Moeini	(CAV) Automata
Jana, Prithwish	(SAIV) Contributed talk, short presentations, and case studies (AIMACS) Poster Lightning Session #3
Janhunen, Tomi	(ICLP) Block 1 (3 TPLP)
Janků, Jakub	(CSF) Computer-Aided Cryptography
Janoschek, Patrick	(SMT) Arrays, Datatypes & Relational Reasoning
Janota, Mikoláš	(Vampire) Equality reasoning(?) (PAAR) Session 1 (SMT) Learning, LLMs & Counting
Jaramillo, Juan	(TLLA) S4
Jendreiko, Christian	(PEG) Session 1: Teaching with Logic Programming in Arts and Culture
Jiang, Chufeng	(ICLP) Block 2 (6 TC)
Jin, Mingming	(SAT) Session F: CDCL & Parallel Solving
Jobanputra, Mayank	(XLoKR-ExCoS) Argumentation & Description Logics (DL) Explanations
Johannsen, Jan	(PC) Invited Talk 2 (QBF) QBF Proof Complexity (PC and QBF Joint Session) (PC) Contributed Talks 2 (PC) QBF Joint Contrib Talks 1 (PC) Contributed Talks 3
Johansson, Moa	(AIMACS) Afternoon session (Isabelle) Papers 1d
Johnson, Andrew	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Johnson, Taylor T.	(SAIV) VNN-COMP (SAIV) Contributed talk
Joinet, Jean-Baptiste	(LSFA) Session 4
Jonas, Martin	(SMT) Arrays, Datatypes & Relational Reasoning
Jong, Tom de	(LICS) Session 10A Constructive Mathematics & Type Theory
Joshi, Aniruddha	(AR4Space) Session 1
Jouannaud, Jean-Pierre	(IWC) Graphs
Jung, Jean	(DL) Invited Speaker: Jean Christoph Jung
Jung, Jean Christoph	(CI-BD-SOQE) Session 1 (LICS) Session 11B Modal and Guarded Logics (CI-BD-SOQE) Session 3 (DL) Learning
Jurjo-Rivas, Daniel	(ICLP) Block 8 (2 TPLP) (ICLP) Block 9 (8 TC)
Justus, Edgar	(PoS) Session 2: Optimization
K
Kadlez, Fabian	(Isabelle) Papers 1b
Kallas, Konstantinos	(RajeevFest) Morning 2
Kamath, Salil	(SAIV) Contributed talk, short presentations, and case studies
Kaminski, Benjamin	(ACV) 24am1
Kammar, Ohad	(LICS) Session 7A Categorical models: effects, automata & model theory (MSFP) Contributed Talks 2
Kanazawa, Makoto	(ITP) ITP Papers: Formalisation of Algorithms
KARABULUT, NAZLI NUR	(LAMAS-SR) Session II
Karge, Jonas	(SKILLED-LLMs) Session 3: Symbolic Constraints in Learning and Inference
Karthick, Karthikhesvaran Sudhakar Sharmila	(Vampire) Optimizations(?)
Karthikeyan, Ashwin	(PoS) Session 1: Proofs (WHOOPS) Papers 1
Kasche, Lea	(PC) QBF Joint Invited Talk (QBF) QBF Proof Complexity (PC and QBF Joint Session) (PC) QBF Joint Contrib Talks 1
Kassing, Jan-Christoph	(VeriProP) Session 1 (IWC) Variants of Term Rewriting Systems (WST) Beyond Classical Rewriting (IJCAR) Rewriting, Automata, Verification & Fuzzy Logic
Katamashvili, Mariam	(WiL) Automata
Katoen, Joost-Pieter	(LICS) Keynote by Stéphanie Delaune (MartaFest) Morning session 1 (LICS) Session 5B Counter and Vector Addition Systems
Kattermann, David	(SAT) Session H: QBF Proofs & Dependencies
Katz, Guy	(CAV) Invited Talk (CAV) Machine Learning, AI and Verification
Kaufmann, Daniela	(SMT) Invited Talk + Encodings
Kaulen, Konstantin	(SAIV) Contributed talks
Kawałek, Piotr	(LICS) Session 10B Constraint Satisfaction
Kazan, Zeki	(CSF) Differential Privacy
Keer, Pim	(CSF) Cryptographic Primitives & Protocols
Kerjane, Marie	(LICS) Session 10A Constructive Mathematics & Type Theory
Kerjean, Marie	(MW1) Ichiro Hasuo (MW1) Nada Amin (MW2) Caterina Urban (MW1) Researchers Panel (MW2) Researchers Panel
Kern-Isberner, Gabriele	(NMR) ASP (KR) Probability (KR) Nonmonotonic logic (MoST) Closing
Kern-Isberner, Gaby	(KR) Reinforcement learning and norms
Keskin, Omer	(ITP) ITP Papers: Verification and Model Checking
Kesner, Delia	(FSCD) Invited Talk: Laura Kovács (LICS) Session 1A Lambda Calculi and Abstract Syntax
Khaitovich, Daniil	(LAMAS-SR) Session IV
Khakimova, Maria	(ITP) ITP Papers: User Interfaces and Compilers
Khanji, Salam	(CSF) Authenticity & Identity
Khazaliya, Liana	(PCCR) Contributed Talks
Kheireddine, Anissa	(WST) Termination of Loops
Khoualdia, Asma	(CP) Verification, Certification
Kiam, Tan Yong	(MC) Proof Logging and Knowledge Compilation
Kiefer, Sandra	(WiL) Graph Theory (MW1) Sandra Kiefer
Killen, Spencer	(ICLP) Block 11 (6 TC)
Kim, Sangwoo	(GALOP) Contributed Talks - Session 3
Kirchweger, Markus	(IJCAR) Formalization & Interactive Proof (CP) Theory 1
Klapperstueck, Matthias	(CP) Best Papers & Competition Results
Klaus, Natalia	(AIMACS) Poster Lightning Session #3
Knorr, Matthias	(DL) Invited Speaker: Jean Christoph Jung (ICLP) Block 2 (6 TC) (KR) Answer Set Programming 1 (KR) Answer Set Programming 2
Knudstorp, Søren Brinck	(LICS) Session 2A Proof Theory and Linear Logic
Kocaoglu, Basak	(CREST) Contributed Presentations 3
Kojima, Misaki	(IFIP16) Session 2 (FSCD) Concurrency (WPTE) Session 4
Kolarik, Tomas	(XLoKR-ExCoS) Explaining Machine Learning
Kolbin, Alexej	(SMT) MCSat & Nonlinear Arithmetic
Köll, Christian	(IJCAR) Automation & Unification
Komendantskaya, Ekaterina	(ITP) ITP Invited Talk: Dominic Mulligan, Amazon Web Services (SAIV) Contributed talks and short presentations (ITP) ITP Papers: Proof Theory and Types (ITP) Business meeting: AI and ITP conference Series
Kondylidou, Lydia	(IJCAR) Superposition, Saturation, Equations & Constraints
Konieczny, Sebastien	(KR) Belief change and epistemic logic
Könighofer, Bettina	(FORCE) Autonomous and learning-enabled systems
Kononova, Anna	(CompBench) Infrastructure
Kontinen, Juha	(KR) Nonmonotonic logic
Koopmann, Patrick	(DL) DL in Practice (KR) Abduction and diagnosis
Koops, Wietze	(WHOOPS) Papers 3 (CompBench) Analyzing Benchmarks, Solvers and Performance Drivers
Kop, Cynthia	(LSFA) Session 5 (PERR) Session 1 (IFIP16) Session 3 (IFIP16) Session 4
Kori, Mayuko	(ACV) 24pm2
Körner, Sebastian	(VeriProP) Session 2
Koronkevich, Paulette	(WiL) Type Theory
Kostka, Adam	(SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design (ICLP) Block 12 (1 RPR + 6 TC)
Kotowski, Krzysztof	(AR4Space) Session 1
Kotthoff, Lars	(CompBench) Evaluation and Formats
Koustos, Adrien	(CSF) Computer-Aided Cryptography
Kouvaras, Andreas	(EULP) Paper session 2
Kovacs, Laura	(FSCD) Invited Talk: Laura Kovács (SAT) Invited Talk 2 (LICS) Session 7B Decidability in Arithmetic and Linear Theories
Kovtunova, Alisa	(DL) Poster & Demo Announcements (DL) Poster Announcements
Kowalski, Robert	(PEG) Session 1: Workshop Opening and Invited Talk
Kozhemiachenko, Daniil	(KR) Probability
Kozicki, Piotr	(FSCD) Categorical Models
Krapivin, Andrew	(SAT) Session A: Encodings & Preprocessing (LCC) Saturday afternoon 2
Kremer, Steve	(HYPER) Invited talk 4
Krishnamurthi, Shriram	(TEAL) Plenary session 1 (AIMACS) Panel
Kroning, Danial	(MartaFest) Morning session 2
Kruger, Loes	(CSF) Symbolic Protocol Verification
Kubyshkina, Ekaterina	(WiL) Epistemic Logic
Kuhn, Iona	(HYPER) Contributed talks 3
Kumar, Arun	(WiL) Algebraic Logic
Kumar, Pankaj	(PCCR) Contributed Talks
Kumari, Ankita	(WiL) Graph Theory
Kunčak, Viktor	(IJCAR) Invited Talk
Künneman, Robert	(CSF) Attack Trees & Risk Analysis
Kupferman, Orna	(RajeevFest) Morning 2 (CAV) Synthesis
Kura, Satoshi	(VeriProP) Session 3 (CSF) Side-Channel & Speculative Defenses
Kuroiwa, Ryo	(CP) Application (Logistics, HVAC Optimisation, Playoff Clinching) (CP) Dynamic Programming & Scheduling
Kus, Erdem	(CP) Metaheuristics, Portfolio
Kutsia, Temur	(UNIF) Session 4
Kutz, Oliver	(DefDesKR) Part 4 - Conclusion and Discussion (THEMA) Invited Talk 2 (THEMA) Session 2
Kuzelka, Ondrej	(MC) Weighted Counting over Theories and First-Order Structures
Kuznetsov, Stepan	(IJCAR) Rewriting, Automata, Verification & Fuzzy Logic
Kwiatkowska, Marta	(MartaFest) Afternoon session 2
L
Laarakker, Bastiaan	(FSCD) Proof Assistants (TERMGRAPH) Session 4
Laarman, Alfons	(FMQC) Opening and Keynote
Labbaf, Faezeh	(CI-BD-SOQE) Session 8
Lac, Etienne	(FORCE) Industrial applications
Ladner, Tobias	(CAV) Hybrids, Controls and Probabilistic Systems
Lagerkvist, Mikael Zayenz	(ModRef) Session 1: Constraint Modelling and Propagation (ModRef) Session 2: Puzzles
Lagniez, Jean-Marie	(MC) Proof Logging and Knowledge Compilation (SAT) Session C: Solver Tools & Explanations
Lago, Ugo Dal	(TLLA) Ugo Dal Lago (Invited Tutorial, joint with ITRS) (LICS) Session 4A Verification & Foundations of Probabilistic Systems (TLLA) S3.1
Lahaye, Sébastien	(ThEdu) ThEdu Session 3
Lahbib, Hiba Ben	(ICLP-DC-SS) Opening + DC Session 1
Lakemeyer, Gerhard	(KR) Epistemic logic (JoeFest) In-Person Invited Talks (KR) Planning
Lallemand, Joseph	(CSF) E-Voting & Anonymity
Lamiaux, Thomas	(RocqWS) Session 3
LAMMICH, Peter	(Isabelle) Papers 1c (Isabelle) Papers 2c (ITP) ITP Papers: Program Logics
Lancelot, Adrienne	(ITRS) Session 1 (GALOP) Contributed Talks - Session 4
Lang, Arnaud	(CMSB) Causal Inference and Multi-Omics Integration 1
Lang, Jerome	(JoeFest) Contributed Talks 2
Lange, Klaus-Jörn	(LCC) Saturday afternoon 2
Lanti, Davide	(ST4DM) Invited Talk: Magdalena Ortiz (ST4DM) Session 1: Temporal and Ontological Foundations for Semantic Data Management (ST4DM) Session 2: Semantic Technologies for Data-centric AI and Knowledge Graph Construction (DL) All about DL-Lite
Larchey-Wendling, Dominique	(ARQNL) ARQNL Session 3: Proof Theory and Substructural Logics
Larroque, Lucas	(DL) “To infinity and beyond!”
Larrosa, Javier	(Soft) Session 3
Larsen, Markus Krabbe	(CSF) Computer-Aided Cryptography
Laumen, Jasper	(CAV) Automata
Laurent, Olivier	(FSCD) Lambda Calculus (FSCD) Substructural Logics (SD) Invited Talk: Olivier Laurent (TLLA) S1.2 (LICS) Session 2A Proof Theory and Linear Logic
Lauretis, Lorenzo De	(RCRA) AI Reasoning, Explainability e LLMs (CARLA) CARLA Workshop
Lauria, Massimo	(PC) Contributed Talks 4 (PC) Invited Talk 3 (PC) Contributed Talks 5
Lazaar, Nadjib	(CP) Explanations (CP) Scheduling, Timetabling (CP) Filtering, Search, Modelling
Lazarova, Radomira	(PEG) Session 1: Teaching with Logic Programming in Arts and Culture
Leach-Krouse, Graham	(TEAL) Plenary session 3
Lechenne, Serge	(FSCD) Categorical Models
Leclercq, Titouan	(LICS) Session 1A Lambda Calculi and Abstract Syntax
Lecoutre, Christophe	(CP) Best Papers & Competition Results
Lee, Jimmy H.M.	(CP) ACP Awards & Next CP/CPAIOR (CP) Application: Modelling
Lee, Joon	(FMQC) Model Counting
Leemhuis, Mena	(THEMA) Session 1 (KR) Neural-symbolic learning
Leenen, Jort van	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Lefebre, Jairo	(XLoKR-ExCoS) Constraints
Lefebre-Lobaina, Jairo	(KR) Explanation
Legrand, Emma	(DPSOLVE) Talks 2
Lehtinen, Karoliina	(LICS) Session 2B Automata
Leisegang, Nicholas	(KR) Doctoral Consortium (talks) (NMR) Defeasible Beliefs
Leitsch, Alexander	(WiL) Proof Theory
Leiwig, Maximilian	(Vampire) Optimizations(?)
Leme, Renato R.	(LSFA) Session 5
Lemke, Caroline	(CREST) Contributed Presentations 2
Lengál, Ondřej	(FMQC) Representation of Quantum Information (CAV) Automata
Lenke, Fabian	(LICS) Session 1A Lambda Calculi and Abstract Syntax
Lennon-Bertrand, Meven	(ITP) ITP Papers: Proof Theory and Types (RocqWS) Session 4
Leon, Gwenaelle	(WiL) Formal Verification
Lequen, Arnaud	(KR) Temporal reasoning
Lerouvillois, Clara	(WiL) Dynamic Epistemic Logic (WiL) Modal Logic
Lesperance, Yves	(KR) Reasoning on actions
Lester, Martin Mariusz	(LLM-Solve) Session 2 - LLMs for Constraint Model Generation
Levy, Paul Blain	(GALOP) Contributed Talks - Session 3
Lewander, Frej Knutar	(ModRef) Session 4: Applications (CP) Metaheuristics, Portfolio
Lewis-Smith, Andrew	(CI-BD-SOQE) Session 7
Li, Dazhu	(KR) Epistemic logic
LI, JIANLIN	(CAV) Hybrids, Controls and Probabilistic Systems
Li, Jiqi	(CAV) Quantum
Li, Thea	(WiL) Quantum Logic
Li, Xu	(KR) Belief change and epistemic logic
Li, Xuyang	(CAV) Program Analysis Session
Li, Yinfeng	(KR) Preferences (LAMAS-SR) Session III
Liang, Jinghu	(CP) SAT, MAXSAT, CP-SAT
Liau, Churn-Jung	(LAMAS-SR) Session III
Libkin, Leonid	(ICLP) Block 3 (Best DC + 4 RPR) (KR) Datalog and existential rules
Liell-Cock, Jack	(ACV) 24pm1
Lierler, Yuliya	(ICLP-DC-SS) SS Invited Talk 1
Ligny, Lucas	(CP) Application: Modelling
Lima, João P.	(ST4DM) Session 2: Semantic Technologies for Data-centric AI and Knowledge Graph Construction
Lima, Thaynara de	(LSFA) Session 4 (LSFA) Session 8
Lin, Anthony	(MartaFest) Afternoon session 1
Lin, Jung-Cheng	(SAT) Session J: SMT & Theory Reasoning
Lin, Yiming	(ITP) ITP Papers: Proof Theory and Types
Lindemann, Lars	(SAIV) Invited talks and round-table discussions
Linden, Koos van der	(DPSOLVE) Talks 1
Liquori, Luigi	(IFIP16) Session 4
Liu, Annie	(ICLP) Block 10 (4 TPLP)
Liu, Daxin	(ICLP) Block 12 (1 RPR + 6 TC)
Liu, Heng	(KR) Graph Data
Liu, Hengjie	(CAV) Machine Learning, AI and Verification (SAIV) Contributed talks and short presentations
Liu, Yuanda	(PoS) Session 5: SAT Solver Technology
Liu, Yuehao	(CAV) Machine Learning, AI and Verification
Ljungström, Axel	(LICS) Session 11A Constructive Mathematics & Type Theory
Lobski, Leo	(CMSB) Boolean and Qualitative Networks (DIALOCO) Contributed talks
Loff, Bruno	(LCC) Saturday morning 1 (LCC) Saturday afternoon 2
Lolíc, Anela	(MW1) Anela Lolić
Lomis, Orestis	(XLoKR-ExCoS) Inconsistency & Repair
Lommen, Nils	(CAV) Liveness/Termination (WST) Program Analysis
Lon, Adrian De	(PAAR) Session 4
Longato, Alessandro	(DL) Poster & Demo Announcements (KR) Description logic and learning
Lopez, Aliaume	(LICS) Session 4B Logic and Structural Graph Theory
Lorenzen, Anton	(IMLA) Contributed Talks C4
Lourenço, Bruno F.	(KR) Description logic and learning (DL) Poster Announcements
Lu, Chang	(KR) Machine learning and explanation
Lu, Zhengyang	(CP) SMT
Lu, Zhengyang (John)	(SMT) Learning, LLMs & Counting
Lu, Zhengyang John	(Soft) Session 1
Lucas, Salvador	(UNIF) Session 4 (IWC) Completion
Luckhardt, Daniel	(ThEdu) ThEdu Session 2
Lukumbuzya, Sanja	(LCC) Sunday afternoon 1
Lund, Simon Tobias	(CSF) Information Flow & Secure Composition
Luo, Huan	(KR) Expressivity of neural networks
Lutz, Carsten	(KR) KR invited: Carsten Lutz (IJCAR) Invited Talk (IJCAR) Arrays & Interpolation (IJCAR) Awards (KR) Expressivity of neural networks
Lutz, Sterre	(SAIV) Contributed talks and short presentations
Lynce, Inês	(CP) SMT (SAT) Session C: Solver Tools & Explanations
Lyon, Tim	(SD) Invited Tutorial: Tim Lyon
M
Ma, Runzhe	(CAV) Automata
Machado, João	(OVERLAY) Verification and Model Checking (SAIV) Contributed talks
Madzime, Ruvarashe	(KR) Doctoral Consortium (talks) (WiL) Logic and ML (NMR) NMR & Explainable AI
Maeyer, Rieke de	(CAV) Hybrids, Controls and Probabilistic Systems
Maffei, Matteo	(CSF) Machine Learning Security & Privacy
Magaña-López, Gustavo	(CMSB) Boolean and Qualitative Networks
Magliacane, Sara	(SAIV) Invited talks + round table discussion
Maglizhanova, Magdalena	(PEG) Session 2: LP for Teaching Logical Thinking to Children (PEG) Session 3: Tools for Teaching Logic Programming
Magnini, Matteo	(SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design
Mahajan, Meena	(SAT) Session B: Proof Systems & Complexity
Mahamud, Al Hasib	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models
Mahboubi, Assia	(ITP) ITP Papers: Formalisation of Algorithms
Mählmann, Nikolas	(LICS) Session 4B Logic and Structural Graph Theory
Mahout, Maxime	(ICLP) Block 12 (1 RPR + 6 TC)
Maillard, Kenji	(MSFP) Invited Talk 2
Mailly, Jean-Guy	(ADU) Arguing in dynamic and uncertain situations: From theoretical insights to application (tutorial) (KR) Argumentation 2 (ADU) Arguing in dynamic and uncertain situations: From theoretical insights to application (tutorial)
Main, James C. A.	(LICS) Session 9B Games and Strategies under Uncertainty
Maizia, Mohamed	(ICLP) Block 2 (6 TC)
Majer, Ondrej	(JoeFest) Contributed Talks 2
Malbos, Philippe	(IWC) Completion
Mallik, Kaushik	(SAIV) Contributed talk, short presentations, and case studies (SYNT) Functional & Quantum Synthesis
Manara, Giulia	(SD) Contributed Talks Session 3
Mandel, Richard	(LICS) Session 5B Counter and Vector Addition Systems
Manerkar, Yatin A.	(CompBench) Analyzing Benchmarks, Solvers and Performance Drivers
Mangel, Éléonore	(DIALOCO) Contributed talks (SD) Contributed Talks Session 5
Manighetti, Matteo	(HCVS) Session #2
Manoorkar, Krishna	(JoeFest) Contributed Talks 2
Manteiga, Ovidio	(ICLP-DC-SS) Opening + DC Session 1
Mantenoglou, Periklis	(OVERLAY) Planning (OVERLAY) Multi-agent systems (KR) Reasoning on actions (KR) Datalog and existential rules
marco, Marco Gavanelli	(ASPOCP) Invited Speaker
Marcos, Henrique	(SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design
Marek, Katarzyna	(WPTE) Session 4
Maribel Fernández	(UNIF) Session 2 (FSCD) Quantitative Models
Marijnissen, Imko	(CP) SAT, MAXSAT, CP-SAT (DPSOLVE) Talks 1
Markovic, Djordje	(ASPOCP) Planning and Temporal Reasoning
Marquardt, Lars-Eric	(HYPER) Contributed talks 2
Marques-Silva, Joao	(SAT) Invited Talk 1 (KR) KR Invited: Joao Marques-Silva (RCRA) AI Reasoning, Explainability e LLMs (KR) SAT encoding (PCCR) Joao Marques-Silva
Marrid, Malak	(IJCAR) Refined Logics & Proofs, Hyperproperties & Synthesis
Martínez-Naredo, Pablo	(SAT) Session C: Solver Tools & Explanations
Martins, Manuel António Gonçalves	(LSFA) Session 2
Martins, Rafael	(ICLP) Block 9 (8 TC)
Martins, Ruben	(SAT) Session D: MaxSAT & PB Optimization (LLM-Solve) Session 4 - LLMs for Improving Solvers and Models
Mascarenhas, Tomaz	(Lean) Contributed talks 2 (WHOOPS) Papers 2
Masina, Gabriele	(SAT) Session J: SMT & Theory Reasoning
Matache, Cristina	(MSFP) Invited Talk 1 (ACV) 25pm1
Mathiesen, Frederik Baymler	(SAIV) Contributed talk, short presentations, and case studies
Matsui, Anna	(TERMGRAPH) Session 3
Matteo, Angelo	(OVERLAY) Temporal, Modal and Logical Foundations (OVERLAY) Temporal, Modal and Logical Foundations 2
Mayer-Eichberger, Valentin	(QBF) Pragmatics of QBF
Mazowiecki, Filip	(CAV) Automata
Mazzullo, Andrea	(OVERLAY) Verification and Model Checking (DL) Temporal Extensions
McCreesh, Ciaran	(WHOOPS) Papers 1 (CP) Verification, Certification (WHOOPS) Papers 3 (CompBench) Analyzing Benchmarks, Solvers and Performance Drivers
McIlraith, Sheila A.	(THEMA) Invited Talk 1
McIlree, Matthew J.	(WHOOPS) Papers 3
Medeiros, Markus de	(LICS) Session 4A Verification & Foundations of Probabilistic Systems
Medley, Zeke	(ITP) ITP Papers: AI and ITP
Meel, Kuldeep	(MC) Opening and Proof Complexity
Meerbeeck, Damien Van	(CP) Filtering, Search, Modelling
Meggendorfer, Tobias	(SYNT) Keynote talk 1
Mei, Jingyi	(CAV) Quantum
Meilicke, Christian	(KR) Graph Data
Mellendijk, Arend	(ITP) ITP Papers: Automation and Tactics
Melliès, Paul-André	(LICS) Session 7A Categorical models: effects, automata & model theory (TLLA) S1.2 (GALOP) Contributed Talks - Session 2
Mencía, Carlos	(KR) Explanation
Meng, Qiaolan	(SAT) Session I: Beyond Propositional SAT
Mensfelt, Agnieszka	(SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design
Mercandeli-Rodrigues, Marcos	(UNIF) Session 2
Merhout, Heather	(ICLP) Block 12 (1 RPR + 6 TC)
Mesnard, Fred	(HCVS) Session #1 (HCVS) Session #2 (PEG) Session 3: Tools for Teaching Logic Programming (ICLP) Block 2 (6 TC) (ICLP) Block 6 (8 TC)
Metzger, Niklas	(KR) Knowledge compilation
Meyden, Ron van der	(JoeFest) In-Person Invited Talks
Meyer, Éléanore	(VeriProP) Session 1 (WST) Program Analysis
Meyer, Thomas	(DL) Invited Speaker: Tommie Meyer
Meyer, Tommie	(KR) KR awards (NMR) DL & NMR (KR) Nonmonotonic logic (MW1) Tommie Meyer
Michailidis, Kostis	(LLM-Solve) Session 4 - LLMs for Improving Solvers and Models
Michel, Laurent	(CP) Scheduling (CP) Routing/Scheduling & GPU for Propagation
Micun, Matthäus	(PC) Contributed Talks 5 (SAT) Session B: Proof Systems & Complexity
Mikhalchuk, Valentin	(ITP) ITP Papers: Program Logics
Milanese, Gian Carlo	(IJCAR) Rewriting, Automata, Verification & Fuzzy Logic
Miller, Dale	(LPOP) Session 2 (FSCD) Proof Theory (LFMTP) Quantification (TERMGRAPH) Session 4 (FSCD) Higher-Order Logic (SD) Contributed Talks Session 5
Minh, Frédéric Tran	(TEAL) Plenary session 3
Mishra, Ashish	(CAV) Synthesis
Misselbeck-Wessel, Daniel	(LICS) Session 12A Constructive Mathematics & Type Theory
Mödersheim, Sebastian	(CSF) Cryptographic Primitives & Protocols (CSF) Information Flow & Secure Composition
Moeller, Maximilian	(XLoKR-ExCoS) Constraints
Mohammady, Meisam	(CSF) Machine Learning Security & Privacy
Momigliano, Alberto	(LFMTP) Invited talk (LFMTP) Quantification
Mondl, Adam	(LLM-Solve) Session 3 - Formal Methods for LLMs
Monma, Takuma	(VeriProP) Session 3
Monroe, Hunter	(PC) Contributed Talks 4
Montacute, Yoàv	(IMLA) Contributed Talks C5 (SmP) Contributed talks I
Monteiro, Pedro T.	(CMSB) Boolean and Qualitative Networks
Mora, Federico	(ML4SP) Invited talk 1
Morak, Michael	(NMR) Planning
Moriyama, Sota	(ICLP-DC-SS) Opening + DC Session 1 (KR) Neural-symbolic learning and logic (ICLP) Block 3 (Best DC + 4 RPR)
Morrison, Kim	(IJCAR) Automation & Unification
Moura, Leonardo de	(FLoC) Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (IJCAR) Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (ITP) Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (CAV) Keynote: The Lean Theorem Prover: Design, Evolution, and Impact (CSF) Keynote: The Lean Theorem Prover: Design, Evolution, and Impact
Mugdan, Esther	(XLoKR-ExCoS) Constraints
Mugnier, Marie-Laure	(KR) KR Invited: Magdalena Ortiz
Mullanix, Reed	(ITP) ITP Papers: User Interfaces and Compilers
Mulligan, Dominic	(ITP) ITP Invited Talk: Dominic Mulligan, Amazon Web Services
Muñiz, Brais	(ASPOCP) Opening + Neurosymbolic and Metaprogramming (ASPOCP) Invited Speaker (ASPOCP) Industrial applications
Murano, Aniello	(OVERLAY) Multi-agent systems (OVERLAY) Temporal, Modal and Logical Foundations 2
Murawski, Andrzej	(LICS) Session 9A Semantics of Programming Languages
Murphy, Ryan	(ASPOCP) Planning and Temporal Reasoning
Murphy, Ryan Kepler James	(ICLP-DC-SS) DC Session 3 + Closing
Murwanashyaka, Juvenal	(LCC) Sunday morning 2
Musumeci, Emanuele	(CARLA) CARLA Workshop
Myers, Andrew	(HYPER) Invited talk 3
Møgelberg, Rasmus Ejlers	(LICS) Session 12A Constructive Mathematics & Type Theory
N
na, TBA	(CAV) CAV Award
Nadathur, Gopalan	(LFMTP) Unification
Nadel, Alexander	(SAT) Session A: Encodings & Preprocessing (PoS) Session 2: Optimization (Soft) Session 2
Nagashima, Yutaka	(Isabelle) Papers 2c
Nagle, Fintan	(THEMA) Session 1
Nagy, Örs	(Isabelle) Papers 1b
Naik, Ajinkya	(CAV) Machine Learning, AI and Verification (MC) Weighted Counting over Theories and First-Order Structures
Najmaei, Niyousha	(MSFP) Contributed Talks 1
Nakamura, Yoshiki	(FSCD) Complexity Analysis
Nanda, Rohan	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models
Narboux, Julien	(ThEdu) ThEdu Session 1
Narita, Minori	(DPSOLVE) Talks 1
Nash, Oliver	(Lean) Keynote 2
Nemes, Amadé	(ICLP-DC-SS) Opening + DC Session 1 (ASPOCP) Opening + Neurosymbolic and Metaprogramming
Nenchev, Vladislav	(SAIV) Contributed talks 2
Nerode, Anil	(LPOP) Session 2
Neuen, Daniel	(PCCR) Daniel Neuen (LICS) Session 4B Logic and Structural Graph Theory (LICS) Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Neufeld, Emery	(KR) Reinforcement learning and norms
Neuper, Walther	(ThEdu) ThEdu Session 1 (ThEdu) ThEdu Session 2 (ThEdu) ThEdu Session 4
Nguetoum, Joel	(UNIF) Session 3B
Nguyễn, Lê Thành Dũng (Tito)	(TLLA) S3.2 (DIALOCO) Contributed talks
NGUYEN, Minh Anh	(CP) Reformulation, MDD/FLOW
Niederhauser, Johannes	(WST) Termination of First-Order Rewriting (IWC) Confluence & Formalization (IJCAR) Automation & Unification (WST) Beyond Classical Rewriting
Nieh, Chen-Ching	(QBF) Dependency QBF
Nieuwenhuis, Robert	(SAT) Session C: Solver Tools & Explanations
Nipkow, Tobias	(ITP) ITP Invited Talk: Dominique Unruh, RWTH Aachen and University of Tartu (Isabelle) Papers 2a (IJCAR) Formalization & Interactive Proof (ITP) ITP Papers: Formalisation of Mathematics-3
Nishida, Naoki	(WST) Termination of First-Order Rewriting (WPTE) Session 4 (WST) Program Analysis
Noort, Mathijs van	(KR) Datalog and existential rules
Norman, Chase	(Lean) Contributed talks 2
Norman, Gethin	(MartaFest) Morning session 1
Norrman, Kristoffer	(SMT) Decision Procedures & Automation
Nowara, Khaled	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models
Núñez-Molina, Carlos	(KR) Learning for planning
O
Obiedkov, Sergei	(KR) Description logic and learning (KR) Argumentation 1
Oda, Yukihiro	(FCS) Session 1: Information Flow Security and Secure Attestation
Oeynhausen, Ragna Talea	(WiL) Semantics
Oitavem, Isabel	(LCC) Saturday morning 1 (LCC) Sunday morning 1 (LCC) Saturday afternoon 1 (LCC) Sunday afternoon 2
Olarte, Carlos	(LSFA) Session 6
Olimpieri	(TLLA) Ugo Dal Lago (Invited Tutorial, joint with ITRS) (TLLA) Hugo Paquet (Invited, joint with Galop) (TLLA) S2.1 (TLLA) S1.2 (TLLA) S2 (TLLA) Brigitte Pientka (Invited) (TLLA) Lison Blondeau-Patissier (Invited) (TLLA) S4.1 (TLLA) S3.1 (TLLA) S4 (TLLA) S3.2
Oliva, Jonathan	(ML4SP) Paper talks 2
Oliveira, Alexandre Garcia de	(MSFP) Contributed Talks 1
Oliveira, Jose Parente de	(ST4DM) Session 2: Semantic Technologies for Data-centric AI and Knowledge Graph Construction
Oliveras, Albert	(SAT) Session J: SMT & Theory Reasoning
Olivier, François	(ASPOCP) Planning and Temporal Reasoning
Olson, Wyatt	(PoS) Session 4: Exploring Solvers and Instances
Oostrom, Vincent van	(IFIP16) Session 2 (IWC) Confluence & Formalization (TERMGRAPH) Session 3 (TERMGRAPH) Session 4 (IWC) Completion
Ordyniak, Sebastian	(PCCR) Welcome (PCCR) George Osipov (PCCR) Daniel Neuen (PCCR) Contributed Talks (PCCR) Contributed Talks (PCCR) Roohani Sharma (PCCR) Joao Marques-Silva (PCCR) Sebastian Siebertz (PCCR) Robert Ganian (PCCR) Johannes Fichte (PCCR) Open Problems and Discussion
Origer, Sebastien	(AR4Space) Session 1
Ortiz, Magdalena	(ST4DM) Invited Talk: Magdalena Ortiz (KR) Description logics and databases (KR) KR Invited: Magdalena Ortiz
Orvalho, Pedro	(LLM-Solve) Session 2 - LLMs for Constraint Model Generation
Osipov, George	(PCCR) George Osipov
Otoni, Rodrigo	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Otte, Pim	(TEAL) Plenary session 3 (ThEdu) ThEdu Session 3
Otten, Jens	(ARQNL) ARQNL Session 5: Embeddings and Benchmarks
Ouaknine, Joel	(LICS) Session 12B Proof Theory, Fixed Points, and Meta-Complexity
Oudshoorn, Anouk Michelle	(KR) Graph Data (LINDA) Poster announcements 2
Ozaki, Ana	(KR) Belief change and epistemic logic
P
Paiva, Valeria de	(LSFA) Session 1 (LSFA) Session 3
Palmigiano, Alessandra	(CI-BD-SOQE) Session 6 (CI-BD-SOQE) Session 7
Pano, Albulen	(DL) DL in Practice
Paparrizou, Anastasia	(ML4SP) Paper talks 3
Papi, Laura	(KR) Doctoral Consortium (talks)
Paquet, Hugo	(GALOP) Joint keynote talk with TLLA - Hugo Paquet (TLLA) Hugo Paquet (Invited, joint with Galop) (LICS) Session 8A Foundations of Probabilistic Computation
Pardal, Nina	(LINDA) Talk session 2
Parent, Xavier	(KR) Nonmonotonic logic
Park, Seo Jin	(ACV) 24am2
Parker, David	(MartaFest) Morning session 2
Parthasarathy, Madhusudan	(RajeevFest) Afternoon 1
Partow, Pouya	(ACV) 25am1-2
Pasetto, Luca	(CREST) Contributed Presentations 1
Pastva, Samuel	(KR) Beyond SAT
Paterson, Kenny	(CSF) Invited Talk
Paul, Soumyajit	(SYNT) Games and Synthesis - 2
Paulson, Lawrence	(Isabelle) Keynote 1
Pé-Curto, Carolina	(CMSB) Causal Inference and Multi-Omics Integration 2
Pearson, Justin	(CP) ASP (WHOOPS) Papers 3 (CP) Theory 2 & Closing
Pease, Adam	(Vampire) Proof checking & applications (PAAR) Session 4
Péchoux, Romain	(LICS) Session 5A Logical Aspects of Quantum Computation
Pedersen, Kajsa	(ST4DM) Session 1: Temporal and Ontological Foundations for Semantic Data Management
Pedersen, Mina Young	(WiL) Epistemic Logic
Peitl, Tomas	(QBF) Pragmatics of QBF (SAT) Session H: QBF Proofs & Dependencies
Peñaloza, Rafael	(DL) Learning
Pennino, Federico	(ICLP) Block 4 (4 TPLP)
Percy, Elias	(SmP) Contributed talks II
Perelli, Giuseppe	(LAMAS-SR) Giuseppe Perelli 'Mechanism Redesign: Repairing Techniques for Synthesis and Rational Synthesis'
Pérez, Marco	(ICLP) Block 6 (8 TC)
Perez, Thomas	(DIALOCO) Contributed talks
Perháč, Ján	(TEAL) Plenary session 1 (PEG) Session 4: Logic Programming for Teaching Computing Subjects
Pertseva, Elizaveta	(CAV) Deductive Verification & Certified Verification
Pesant, Gilles	(CP) Beyond Filtering & Global Hybrid Optimisation Solver (CP) DEI & General Assembly
Peterseim, Benedikt	(CSF) Attack Trees & Risk Analysis (LICS) Session 8A Foundations of Probabilistic Computation
Petrolo, Mattia	(DL) Poster Announcements
Petrukhin, Yaroslav	(ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics
Pfeiffer, Peter	(WHOOPS) Papers 1 (QBF) QBF Counting, Sampling and Synthesis
Pfenning, Frank	(FSCD) Invited Talk: Andrej Bauer (IJCAR) Awards
Phalakarn, Kittiphon	(OVERLAY) Learning (OVERLAY) Verification and Model Checking (VeriProP) Session 3
Pham, Ngoc-Mai	(ICLP) Block 9 (8 TC)
Pham, Quang	(SAIV) Contributed talks and short presentations
Philantropy, Renaissance	(ITP) AI for Math Happy Hour (“Differentiated” Networking)
Pich, Jan	(PC) Invited Talk 1
Pichler, Dominik	(LSFA) Session 8
Pientka, Brigitte	(IJCAR) Invited Talk (TLLA) Brigitte Pientka (Invited) (FSCD) Concurrency (IMLA) Invited Talk I4
Pieris, Andreas	(KR) Graph Data
Piotrovskaya, Ekaterina	(TLLA) S4
Piterman, Nir	(LICS) Session 9B Games and Strategies under Uncertainty
Pluska, Alexander	(Vampire) Machine learning (ML4SP) Paper talks 2
Poiret, Josselin	(FSCD) Proof Assistants
Pol, Jaco van de	(FMQC) Representation of Quantum Information
Polaczek, Axel	(Vampire) Proof checking & applications
Pollitt, Florian	(SAT) Session B: Proof Systems & Complexity (PoS) Session 5: SAT Solver Technology (SAT) Session F: CDCL & Parallel Solving
Pontelli, Enrico	(ICLP) 20 Years Test of Time Award
Portegies, Jim	(ThEdu) ThEdu Session 4
Potyka, Ana Ozaki and Nico	(NMR) Opening (NMR) Matthias Knorr (NMR) Closing
Potyka, Nico	(NMR) Tommie Meyer (DL) Invited Speaker: Tommie Meyer (NMR) Leila Amgoud (KR) Argumentation 2 (KR) Machine learning and explanation (CARLA) CARLA Workshop - II Sessions
Pous, Damien	(ITP) ITP Papers
Povéda, Guillaume	(Soft) Session 1 (CP) Scheduling, Timetabling
Prabhakar, Pavithra	(CAV) Hybrids, Controls and Probabilistic Systems (AIMACS) Poster Lightning session
Pradic, Cécilia	(LICS) Session 12A Constructive Mathematics & Type Theory
Prasad, Siddhartha	(TEAL) Plenary session 3
Prebet, Enguerrand	(IJCAR) Differential Equations & Hybrid Systems
Preiner, Mathias	(CAV) SMT, SAT & Decision Procedures
Preto, Sandro	(LOGICNN) Session 3: From Neural Networks to Logic
Prince, Tephilla	(ACV) 24pm2
Prokop, Maximilian	(CAV) Synthesis
Przybocki, Benjamin	(SAT) Session A: Encodings & Preprocessing (IJCAR) Theory Combination, Arithmetic Circuits & Embedded Systems (SMT) SMT
Pulari, Subin	(LICS) Session 6B Quantitative and Analytical Properties of Formal Languages
Puppis, Gabriele	(LICS) Session 2B Automata
Q
Qiao, Jingxin	(CSF) E-Voting & Anonymity
Quémerais, Iwan	(GALOP) Contributed Talks - Session 1
Quist, Arend-Jan	(FMQC) Representation of Quantum Information (KR) Knowledge compilation
Quito, Wilber Bermeo	(PoS) Session 4: Exploring Solvers and Instances
R
Rabe, Florian	(IJCAR) Formalization & Interactive Proof
Rabing, Mathias Schack	(Isabelle) Papers 1a
Rader, Alexander Philipp	(ICLP) Block 4 (4 TPLP)
Rafieioskouei, Arshia	(HYPER) Contributed talks 2
Rago, Antonio	(KR) Explanation
Rajasekaran, Senthil	(LAMAS-SR) Session III
Ramanujam, R	(WiL) Formal Verification
Ranalter, Daniel	(FSCD) Higher-Order Logic
Rankooh, Masood Feyzbakhsh	(KR) SAT encoding (CP) Hybrid MIP/CP, Routing, Pareto
Rappoport, Omer	(HCVS) Session #3
Rauer, Erik	(KR) Preferences
Raya, Rodrigo	(SMT) Arrays, Datatypes & Relational Reasoning
Reeves, Joseph	(PoS) Session 1: Proofs
Reeves, Joseph E.	(IJCAR) SMT Proof Production & Checking
Refaeli, Idan	(SAIV) Contributed talk, short presentations, and case studies
Reichl, Franz	(QBF) QBF Counting, Sampling and Synthesis
Reinders, Jaro	(MSFP) Contributed Talks 1
Reiners, Luis Angel Rodriguez	(KR) Answer Set Programming 2
Reynolds, Andrew	(SMT) MCSat & Nonlinear Arithmetic (IJCAR) SMT Proof Production & Checking (CAV) Deductive Verification & Certified Verification
Riba, Colin	(FSCD) Concurrency
Ribeiro, Jandson	(NMR) Defeasible Beliefs
Richter, David	(VeriProP) Session 4
Righetti, Guendalina	(THEMA) Session 2
Rinaldi, Luigi	(CAV) Hardware Verification
Rino, Neha	(MW1) PhD Students Panel
Rischel, Eigil	(MSFP) Contributed Talks 2
Rizkallah, Christine	(ITP) ITP Paper: Automata and Coinduction (ITP) ITP Papers: Program Logics
Rocha, Anne C.	(NMR) DL & NMR
Rodriguez, Andoni	(KR) Neural-symbolic learning
Rojas, Alejandro Javier Solares	(IMLA) Contributed Talks C8
Romanenko, Elena	(THEMA) Invited Talk 2
Romano, Salvatore	(OVERLAY) Multi-agent systems
Rosain, Johann	(RocqWS) Session 3 (ITP) ITP Papers: Automation and Tactics
Rosenberg, Gili	(CP) Application (Logistics, HVAC Optimisation, Playoff Clinching)
Roshal, Sophia	(IJCAR) Refined Logics & Proofs, Hyperproperties & Synthesis
Rosie, Raz	(CSF) Cryptographic Primitives & Protocols
Roussel, Olivier	(SAT) Session K: Competitions
Roy, Ann	(CAV) Machine Learning, AI and Verification
Rubio, Rosario	(ThEdu) ThEdu Session 2
Rückschloß, Kilian	(ICLP) Block 12 (1 RPR + 6 TC)
Rudolph, Sebastian	(KR) Knowledge compilation (DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions (KR) Belief change
Rühling, Nicolas	(ICLP-DC-SS) DC Session 3 + Closing
Rümmer, Philipp	(CAV) Invited Talk
Russo, Alessandra	(SAT) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (FSCD) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (CP) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (LICS) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (KR) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (ICLP) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (FLoC) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI
Russo, Fabrizio	(JoeFest) Contributed Talks 1 (LINDA) Talk session 2
Rustenholz, Louis	(WST) Termination of Loops (WST) Program Analysis
Rybakov, Mikhail	(ARQNL) ARQNL Session 1: Modal Logics
S
S., Karthikhesvaran S.	(WHOOPS) Papers 2
Sá, Bruno	(CMSB) Constraint-Based Modeling and Molecular Computation
Sabbatini, Federico	(SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design (SKILLED-LLMs) Session 3: Symbolic Constraints in Learning and Inference
Sabel, David	(WPTE) Session 2
Saccomani, Pedro	(WHOOPS) Papers 2
Sadowski, Albert	(LAMAS-SR) Session IV
Saeidian, Sara	(CSF) Quantitative Information Flow
Sagonas, Konstantinos	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Saito, Teppei	(WST) Termination of First-Order Rewriting
Sakai, Masahiko	(IWC) Variants of Term Rewriting Systems
Sakayori, Ken	(LICS) Session 9A Semantics of Programming Languages
Salah, Aladdin Ben	(LLM-Solve) Session 2 - LLMs for Constraint Model Generation
Salazar, Albin	(CMSB) Rule-Based and Stochastic Modelsule-Based and Stochastic Models
Sallinger, Sarah	(HYPER) Contributed talks 1 (CAV) Software: Tools, Verification and Synthesis
Sälzer, Marco	(KR) Expressivity of neural networks
Samar, Sahil	(SAT) Session B: Proof Systems & Complexity
Samet, Dov	(JoeFest) In-Person Invited Talks
Sánchez, César	(HYPER) Invited talk 2
Sanna, Rafaello	(ICLP) Block 11 (6 TC)
Sansone, Emanuele	(PoS) Session 6: Encodings
Santi, Enrico	(ICLP) Block 2 (6 TC)
Santiago-Fernández, Sofía	(IMLA) Contributed Talks C2
Santo, José Espírito	(FSCD) Proof Theory
Santos, Jennifer	(AR4Space) Session 2
Santschi, Simon	(CI-BD-SOQE) Session 1
Saraiva, Lorenzo	(LSFA) Session 4
Saribatur, Zeynep G.	(THEMA) Welcome (THEMA) Invited Talk 1 (THEMA) Session 1A (THEMA) Session 1 (THEMA) Invited Talk 2 (THEMA) Session 2 (THEMA) Interactive Session
Sariyanto, Happy Khairunnisa	(IJCAR) Model Finding, Certification & Synthesis (WiL) Modal Logic
Sarkar, Uddalok	(VeriProP) Session 2
Sasse, Ralf	(CSF) Side-Channel & Speculative Defenses
Sato, Takumi	(WPTE) Session 2
Sau, Ignasi	(LICS) Session 4B Logic and Structural Graph Theory
Sauerwald, Kai	(THEMA) Session 1 (KR) Epistemic logic (LCC) Saturday afternoon 1 (THEMA) Session 2 (THEMA) Interactive Session
Saurin, Alexis	(CI-BD-SOQE) Session 8
Sauter, Luca	(IMLA) Contributed Talks C1
Scaletta, Marco	(FORCE) Theory and logics
Schäffeler, Maximilian	(Isabelle) Papers 2c
Schaub, Torsten	(CP) ASP (ICLP-DC-SS) SS Invited Talk 2
Scheerer, Frederik	(CAV) Security, Privacy and Hyperproperties
Schidler, André	(PoS) Session 5: SAT Solver Technology
Schilling, Christian	(SAIV) Invited talks and round-table discussions
Schimpf, Joachim	(PIPs) Session 1:
Schmellenkamp, Marko	(TEAL) Plenary session 3
Schmidt, Renate A.	(CI-BD-SOQE) Session 6 (CI-BD-SOQE) Session 7
Schmied, Margaux	(CP) Filtering, Search, Modelling
Schmitt, Frederik	(SYNT) Reactive Synthesis
Schnitzer, Yannik	(LAMAS-SR) Session I
Schön, Oliver	(CAV) Hybrids, Controls and Probabilistic Systems
Schreiber, Dominik	(SMT) Invited Talk + Parallelism (CAV) SMT, SAT & Decision Procedures
Schröer, Philipp	(CAV) Hybrids, Controls and Probabilistic Systems
Schulz, Leon Raffael	(Isabelle) Papers 2b
Schulz, Stephan	(Vampire) Equality reasoning(?) (IJCAR) Superposition, Saturation, Equations & Constraints
Schurr, Hans-Joerg	(SMT) Decision Procedures & Automation
Schuster, Johannes	(PAAR) Session 2
Schwind, Nicolas	(KR) Belief change
Sebastiani, Roberto	(IJCAR) SMT Proof Production & Checking (IJCAR) Superposition, Saturation, Equations & Constraints
Seidl, Martina	(SAT) Session G: QBF Algorithms (QBF) Dependency QBF (SAT) Session K: Competitions
Seip, Paul	(QBF) Dependency QBF
Senthilkumar, Rithik Appachi	(SAIV) Contributed talks 2
Sergeys, Thomas	(SAT) Session C: Solver Tools & Explanations
Sertkaya, Barış	(DL) Invited Speaker: Stefan Borgwardt
Sewa, Guidio	(Soft) Session 3
Shalmon, Yogev	(PoS) Session 5: SAT Solver Technology
Shao, Honglin	(CSF) Cryptographic Primitives & Protocols
Shapiro, Ehud	(ICLP) Block 6 (8 TC)
Sharma, Roohani	(PCCR) Roohani Sharma
Sharygina, Natasha	(HCVS) Session #3
Shattuck, Eli	(DPSOLVE) Talks 1
Shaw, Arijit	(SAT) Session K: Competitions (MC) Complexity and Explanations (SMT) Learning, LLMs & Counting (MC) Weighted Counting over Theories and First-Order Structures
Sheela, Arun Raveendran Nair	(ICLP) Block 11 (6 TC)
Shen, Zechi	(CSF) Information Flow & Secure Composition
Sheng, Aeacus	(ITP) ITP Papers: Automation and Tactics
Shepherd, Zoey	(SYNT) Program Synthesis
Shillito, Ian	(IMLA) Contributed Talks C4
Shimane, Yuri	(AR4Space) Session 2
Shirazi, Zev	(ACV) 25am2
Shirmohammadi, Mahsa	(LICS) Session 2B Automata (LICS) Session 3B Automata
Shkatov, Dmitry	(ARQNL) ARQNL Session 1: Modal Logics (ARQNL) ARQNL Session 3: Proof Theory and Substructural Logics (ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics (ARQNL) ARQNL Session 4: Tableaux (ARQNL) ARQNL Session 5: Embeddings and Benchmarks
Shmuel, Ido	(SAIV) Contributed talk
Siala, Mohamed	(CP) DEI & General Assembly
Sidhoum, Romain	(IJCAR) Model Finding, Certification & Synthesis (LFMTP) Calculi
Sidorov, Konstantin	(CP) Scheduling (PoS) Session 2: Optimization (CP) Verification, Certification
Siebertz, Sebastian	(MW2) Sebastian Siebertz (PCCR) Sebastian Siebertz
Sieve, Riccardo	(DL) Poster Announcements
Silvetti, Simone	(KR) Temporal reasoning
Šimkus, Mantas	(NMR) ASP
Simon, Laurent	(ML4SP) Paper talks 3
Simon, Luke	(ICLP) 20 Years Test of Time Award
Simón, Manuel Combarro	(CP) Hybrid MIP/CP, Routing, Pareto
Simonis, Helmut	(ModRef) Session 2: Puzzles (CP) Application (Production, Timetabling, Automated Driving Systems)
Sirman, Alistair	(SAIV) Contributed talk, short presentations, and case studies
Sison, Rob	(Isabelle) Papers 1d
Skaisgiris, Paulius	(KR) Doctoral Consortium (talks) (NMR) NMR & Explainable AI
Skiba, Kenneth	(NMR) Argumentation 2
Skvortsov, Evgeny	(ICLP) Block 10 (4 TPLP) (PEG) Session 3: Tools for Teaching Logic Programming (PEG) Session 4: Logic Programming for Teaching Computing Subjects (ASPOCP) System and Tools + Closing
Slaney, John	(TEAL) Plenary session 1
Slater, Luke	(KR) Knowledge compilation (KR) Doctoral Consortium (talks)
Slivovsky, Friedrich	(CI-BD-SOQE) Session 5 (SAT) Session E2: Knowledge Compilation (SYNT) Functional & Quantum Synthesis (CI-BD-SOQE) Session 4
Ślusarz, Natalia	(FORCE) Autonomous and learning-enabled systems
Smykalla, Michel	(TLLA) S2
Smykalla, Michel V.	(IMLA) Contributed Talks C8
Soares, Luigi D. C.	(CSF) Quantitative Information Flow
Sochański, Michał	(ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics
Sofronie-Stokkermans, Viorica	(IJCAR) Superposition, Saturation, Equations & Constraints (IJCAR) Awards
Soh, Takehide	(KR) SAT encoding
Sokolov, Dmitry	(PC) Invited Talk 2
Solar-Lezama, Armando	(AIMACS) Morning session (SAIV) Keynote presentation (RajeevFest) Afternoon 1 (AIMACS) Poster Lightning session (AIMACS) Afternoon Session #2 (AIMACS) Poster Lightning Session #3
Soltani, Reza	(CSF) Attack Trees & Risk Analysis
Song, Yuliang	(LLM-Solve) Session 2 - LLMs for Constraint Model Generation
Sonoda, Sho	(ITP) ITP Papers: Formalisation of Mathematics
Soos, Mate	(SAT) Session I: Beyond Propositional SAT
Sousa, Ana Catarina	(WiL) Type Theory
Soutchanski, Mikhail	(OVERLAY) Planning
Spadoni, Stella	(WiL) Computability
Spallitta, Giuseppe	(PoS) Session 3: Enumeration & Counting (MC) Complexity and Explanations (MC) Weighted Counting over Theories and First-Order Structures (CP) Theory 1
Speight, Sam	(TLLA) S2.1
Spiegel, Lars-Phillip	(MoST) Session 1 (MoST) Session 2
Spoerl, John	(NMR) Argumentation 1
Sprokholt, Dennis	(CAV) Deductive Verification & Certified Verification
Sproston, Jeremy	(MartaFest) Afternoon session 1
Sridharan, Mohan	(JoeFest) Contributed Talks 1
Srikanth, Ananthajit	(Isabelle) Papers 2b
Stargalla, Moritz	(PCCR) Contributed Talks
Steakley, Samuel	(DIALOCO) Contributed talks
Sterlicchio, Gioacchino	(ICLP) Block 3 (Best DC + 4 RPR) (ICLP) Block 9 (8 TC)
Straßburger, Lutz	(DIALOCO) Second invited talk
Strieker, Laura	(LCC) Saturday afternoon 1
Strobel, Jannick	(JoeFest) Contributed Talks 2 (CREST) Contributed Presentations 3
Struk, Martin	(RCRA) Constraint Satisfaction, SAT e Heuristics
Stübinger, Terru	(ThEdu) ThEdu Session 1
Stuckey, Peter	(ICLP) Invited Talk 2 (CP) SAT, MAXSAT, CP-SAT (SAT) Session E1: Best Papers (CP) Application (Logistics, HVAC Optimisation, Playoff Clinching)
Su, Pengcheng	(CSF) Differential Privacy
Subercaseaux, Bernardo	(CompBench) Invited Talk (PoS) Session 6: Encodings
Subramanian, Vignesh	(KR) Doctoral Consortium (talks)
Suda, Martin	(TPTPTP) Recording proofs (Vampire) Machine learning
Suliman, Khaled Jamal	(ThEdu) ThEdu Session 4
Sumii, Eijiro	(FCS) Session 1: Information Flow Security and Secure Attestation
Sun, Youcheng	(FORCE) Autonomous and learning-enabled systems (CAV) Program Analysis Session
Surprise, Surprise	(CP) ACP Awards & Next CP/CPAIOR
Sutcliffe, Geoff	(TPTPTP) Recording proofs (IJCAR) Live Competitions Kickoff (PAAR) Session 2 (TPTPTP) Proof expectations (TPTPTP) New TPTP Formats (TPTPTP) Action planning
Suzuki, Jun	(LSFA) Session 2
Swift, Theresa	(LPOP) Session 1 (PIPs) Panel
Szafarczyk, Artur	(TLLA) S4.1
Szeider, Stefan	(PoS) Session 1: Proofs (SAT) Invited Talk 2 (CompBench) Invited Talk (ML4SP) Paper talks 1 (CP) Verification, Certification (ICLP) Block 3 (Best DC + 4 RPR)
T
Tabatabai, Amir Akbar	(CI-BD-SOQE) Session 4 (CI-BD-SOQE) Session 8
Tafese, Joseph	(CAV) Software: Tools, Verification and Synthesis
Takemura, Akihiro	(KR) Neural-symbolic learning and logic (ICLP) Block 2 (6 TC)
Tan, Tony	(QBF) Pragmatics of QBF
Tan-Lhernould, Alexandre	(CMSB) Causal Inference and Multi-Omics Integration 1
Taprogge, Melanie	(WiL) Formal Verification (PAAR) Session 3
Tarau, Paul	(ICLP) Block 2 (6 TC)
Tardivo, Fabio	(CP) Best Papers & Competition Results (DPSOLVE) Talks 2
Tarzariol, Alice	(ICLP-DC-SS) Opening + DC Session 1 (ICLP-DC-SS) SS Invited Talk 2 (ICLP-DC-SS) DC Session 2 (ASPOCP) System and Tools + Closing (ICLP-DC-SS) DC Session 3 + Closing
Tasson, Christine	(FSCD) Substructural Logics
Tatho, sthyve	(CMSB) Causal Inference and Multi-Omics Integration 1
Ternovska, Eugenia	(WiL) Algebraic Logic
Terrien, Tanguy	(CP) Scheduling, Timetabling
Terui, Kazushige	(FSCD) Substructural Logics (SD) Invited Talk: Kazushige Terui
Tetková, Lenka	(SAIV) Invited talks and round-table discussions
Teuber, Samuel	(SAIV) Contributed talk, short presentations, and case studies (FORCE) Theory and logics (PERR) Session 4
Thakur, Amitayush	(ITP) ITP Papers: AI and ITP
Thangasuthan, Kokulan	(LAMAS-SR) Session I
Thatcher, Marc	(TERMGRAPH) Session 2 (DIALOCO) Contributed talks
Thejaswini, K. S.	(SYNT) Games and Synthesis - 2
Theocharis, Constantine	(FSCD) Quantitative Models
Thielscher, Michael	(KR) Belief change and epistemic logic (KR) Answer Set Programming 1
Thiemann, René	(IWC) Confluence & Formalization (FSCD) Rewriting (IWC) Variants of Term Rewriting Systems
Thieyre, Jordan	(KR) Argumentation 1
Thomas, Will	(RocqWS) Session 4
Tinelli, Cesare	(CAV) Security, Privacy and Hyperproperties (CAV) SMT, SAT & Decision Procedures (IJCAR) Theory Combination, Arithmetic Circuits & Embedded Systems (SMT) SMT
Tiurin, Aleksei	(MSFP) Contributed Talks 2
Toledo, Guilherme Vicentin de	(IJCAR) Theory Combination, Arithmetic Circuits & Embedded Systems
Toman, David	(DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
Toohey, Matthew	(Lean) Contributed talks 2
Torre, Salvatore La	(RajeevFest) Morning 2
Tóthová, Michaela	(DL) Poster & Demo Announcements
Tourret, Sophie	(Isabelle) Keynote 2 (LFMTP) Unification (Isabelle) Papers 2b (LFMTP) Calculi
Traversié, Thomas	(FSCD) Higher-Order Logic
Traytel, Dmitriy	(Isabelle) Keynote 2 (Isabelle) Papers 2a (ITP) ITP Papers (Isabelle) Tutorial 3
Trogni, Lea	(LFMTP) Calculi
Troquard, Nicolas	(TERMGRAPH) Session 2
Tsai, Wei-Lun	(CAV) Quantum
Tsai, Yun-Chen	(SmP) Contributed talks I
Tsao, Yi-Nung	(LOGICNN) Session 2: Verification
Tsoukalas, George	(AIMACS) Afternoon Session #2
Tsouros, Dimos	(ModRef) Session 1: Constraint Modelling and Propagation
Tsukada, Takeshi	(FSCD) Quantitative Models (FSCD) Categorical Models
Tumlin, Anne M	(SAIV) Contributed talks
Turhan, Anni-Yasmin	(KR) Description logic and learning
Tzevelekos, Nikos	(WPTE) Session 3 (GALOP) Joint keynote talk with WPTE - Nikos Tzevelekos
tzuhan@msu.edu, Tzu-Han	(HYPER) Contributed talks 2
U
Ueda, Kazunori	(TERMGRAPH) Session 3
Ulbrich, Mattias	(PERR) Session 4
Ullrich, Sebastian	(Lean) Keynote1
Umili, Elena	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models (SKILLED-LLMs) Closing
Unruh, Dominic	(ITP) ITP Invited Talk: Dominique Unruh, RWTH Aachen and University of Tartu
Unruh, Dominique	(CSF) Authenticity & Identity (ITP) ITP Papers: Formalisation of Mathematics
Uppuluri, Karthik	(LLM-Solve) Session 2 - LLMs for Constraint Model Generation
Urban, Caterina	(AR4Space) Session 1 (ACV) 25pm1 (MW2) Caterina Urban
Urban, Josef	(Isabelle) Papers 1d (ITP) ITP Papers: Formalisation of Mathematics & AI
Urciuoli, Sebastián	(LSFA) Session 6
Uthaiwat, Emilie	(TLLA) S2
V
Vandevelde, Simon	(PEG) Session 2: LP for Teaching Logical Thinking to Children
Vanezi, Evangelia	(LSFA) Session 7
Vanoni, Gabriele	(ITRS) Session 2
Vardi, Moshe	(LPOP) Session 1 (MartaFest) Morning session 2 (JoeFest) In-Person Invited Talks (RajeevFest) Afternoon 2 (LPOP) Session 4
Varghese, Sherwin	(SAIV) Contributed talks
Varzinczak, Ivan	(DL) Conflicts and Exceptions
Vašíček, Ondřej	(ICLP) Block 5 (2 TPLP)
Vasileiou, Stylianos	(KR) Neural-symbolic learning and logic (XLoKR-ExCoS) LLMs and Reasoning
Vasileiou, Stylianos Loukas	(KR) Machine learning and explanation
Vázquez, Gricel	(AR4Space) Session 2
Vehlken, Fabian	(Vampire) Proof checking & applications (KR) Explanation
Vennekens, Joost	(LPOP) Session 1 (LPOP) Session 3 (LPOP) Session 4
Veronese, Celeste	(KR) Neural-symbolic learning (XLoKR-ExCoS) Explaining Machine Learning
Victor, Nathaniel	(PERR) Session 3
Vieira, Felipe Lourenço Angelim	(CREST) Contributed Presentations 3
Villadsen, Jørgen	(ThEdu) ThEdu Session 1 (ThEdu) ThEdu Session 3 (Isabelle) Papers 1d (ThEdu) Business Meeting
Villia, Maria Myrto	(KR) Doctoral Consortium (talks)
Vin, Eric	(FORCE) Autonomous and learning-enabled systems
Vitali, Anna	(CP) Metaheuristics, Portfolio
Voboril, Florentina	(LLM-Solve) Session 4 - LLMs for Improving Solvers and Models (ICLP) Block 9 (8 TC)
Vollmer, Heribert	(LCC) Saturday morning 2 (LCC) Sunday afternoon 1 (LCC) Sunday afternoon 2
Vooijs, Niels	(LICS) Session 12B Proof Theory, Fixed Points, and Meta-Complexity
Vos, Daniël	(SAIV) Contributed talks 2
Vozna, Alina	(ICLP-DC-SS) DC Session 2
W
Wafa, Noah Abou El	(IJCAR) Differential Equations & Hybrid Systems
Walch, Armin	(CAV) Program Analysis Session
Waldmann, Uwe	(IFIP16) Session 3
Walega, Przemyslaw	(OVERLAY) Invited Talk
Wallace, Richard	(RCRA) Constraint Satisfaction, SAT e Heuristics
Walukiewicz, Igor	(LICS) Session 6B Quantitative and Analytical Properties of Formal Languages
Wang, Eric Jonathan	(ITP) ITP Papers: Formalisation of Mathematics & AI
Wang, Haitian	(SmP) Contributed talks I
Wang, Han	(CAV) Machine Learning, AI and Verification
Wang, Haun-Chih	(CSF) Machine Learning Security & Privacy
Wang, Pei	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Wang, Theo	(ACV) 25am2
Waring, Thomas	(TLLA) S4
Warren, David	(LPOP) Session 4
Warren, David S.	(PIPs) Session 1:
Wassermann, Renata	(KR) KR Invited: Joao Marques-Silva (NMR) Belief Change (KR) Belief change
Watted, Omar	(KR) Learning for planning
Watters, Sean	(IMLA) Contributed Talks C1
Wawer, Michał	(LAMAS-SR) Session II
Wałęga, Przemysław	(DefDesKR) Part 2 - Definite Descriptions in Description Logics
Wehr, Dominik	(SD) Contributed Talks Session 3
Wei, Sheng	(KR) Argumentation and applications
Weitkämper, Felix	(ICLP) Block 12 (1 RPR + 6 TC)
Wenzel, Makarius	(Isabelle) Tutorial 2
Wenzel, Mario	(PEG) Session 2: LP for Teaching Logical Thinking to Children (PEG) Session 3: Tools for Teaching Logic Programming
Wernhard, Christoph	(CI-BD-SOQE) Session 2 (CI-BD-SOQE) Session 3 (IJCAR) Superposition, Saturation, Equations & Constraints
Weydert, Emil	(MoST) Session 2
White, Lauren M.	(AR4Space) Session 2
Wielemaker, Jan	(PIPs) Session 1:
Wijsen, Jef	(LINDA) Talk session 1
Willemsen, Rick	(CP) Hybrid MIP/CP, Routing, Pareto
Wilson, Amalee	(SMT) Invited Talk + Parallelism
Wimmer, Ralf	(QBF) Dependency QBF
Winter, Felix	(CP) Application (Production, Timetabling, Automated Driving Systems)
Winterer, Dominik	(SMT) SMT-COMP & Business Meeting
Winterhalter, Théo	(LFMTP) Calculi
Wittbold, Florian	(ACV) 25pm2
Wolff, Burkhart	(Isabelle) Papers 1b
Wolter, Frank	(CI-BD-SOQE) Session 4
Wooding, Ben	(SAIV) Contributed talks
Woolner, Lucas	(LAMAS-SR) Session IV
Wright, Jamie	(ITP) ITP Paper: Automata and Coinduction
Wu, Jinghan	(CI-BD-SOQE) Session 6
Wu, Shuwen	(WiL) Semantics
Wu, Tianchen	(ModRef) Session 3: Automated Generation and Reformulation
Wu, Xinlong	(CAV) Program Analysis Session
X
Xiao, Yifeng	(FORCE) Theory and logics
Xiao, Yuxuan	(Lean) Contributed talks 4
Xu, Jun	(Isabelle) Papers 2b
Xu, Ming	(CAV) Quantum
Xu, Zhenghang	(KR) Knowledge compilation
Y
Yagi, Akihisa	(HCVS) Session #2
Yam, Chit Hong	(AR4Space) Session 4
Yan, Fang	(ITP) ITP Papers: Verification and Model Checking
Yanakieva, Elena	(ICLP) Block 10 (4 TPLP)
Yang, Hui	(KR) Machine learning and explanation
Yang, Jingjie	(LICS) Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Yang, Kaiyu	(AIMACS) Morning session
Yang, Xiaoshuang	(KR) Doctoral Consortium (talks) (PAAR) Session 3
Yangli, Zhengling	(SAT) Session D: MaxSAT & PB Optimization
Ye, Furong	(CompBench) Analyzing Benchmarks, Solvers and Performance Drivers
Ye, Leiqi	(CAV) Hardware Verification
Yi, Yutong	(WiL) Epistemic Logic
Yin, Haoxuan	(GALOP) Contributed Talks - Session 1 (IMLA) Contributed Talks C3 (LICS) Session 3A Type Systems
Yin, Hongkai	(IJCAR) Arrays & Interpolation (IJCAR) Rewriting, Automata, Verification & Fuzzy Logic
Yin, Xiang	(XLoKR-ExCoS) Argumentation & Description Logics (KR) Argumentation 1
Yip, Kai Hou	(AR4Space) Session 3
Yu, Ziyang	(CP) Filtering, Search, Modelling
Z
Zain, Dr. Sara	(FCS) Session 2: Cryptography
Zaiser, Fabian	(VeriProP) Session 2
Zak, Dekel	(SYNT) Functional & Quantum Synthesis
Zardini, Gioele	(FORCE) Theory and logics
Zemoh, Ndzebelai Precious	(CSF) Symbolic Protocol Verification
Zhan, Naijun	(IJCAR) Refined Logics & Proofs, Hyperproperties & Synthesis
Zhang, Chenyuan	(KR) Probability
Zhang, Jialu	(CP) SAT, MAXSAT, CP-SAT (Soft) Session 2
Zhang, Jiaxin	(DPSOLVE) Talks 2
Zhang, Xiang	(CAV) SMT, SAT & Decision Procedures
Zhang, Yaofang	(SAT) Session I: Beyond Propositional SAT
Zhang, Yu	(CSF) Authenticity & Identity
Zhang, Zhong	(AR4Space) Session 3
Zhao, Junming	(Isabelle) Papers 2c
Zhao, Yonghe	(KR) Neural-symbolic learning
Zheng, Xinda	(CP) Hybrid MIP/CP, Routing, Pareto
Zhou, Neng-Fa	(CP) Reformulation, MDD/FLOW (PIPs) Session 2: (ICLP) Block 3 (Best DC + 4 RPR) (CP) Hybrid MIP/CP, Routing, Pareto
Zhou, Xiaofeng	(CAV) Hardware Verification
Zhu, Rui	(ARQNL) ARQNL Session 4: Tableaux
Zhu, Shufang	(SYNT) Keynote talk 3
Zhu, Thomas	(ITP) ITP Papers: AI and ITP
Zhulin, Maxim	(PoS) Session 5: SAT Solver Technology
Zikelic, Djordje	(SAIV) Invited talks + round table discussion (SYNT) Keynote talk 2
ZOUARI, SAFA	(LICS) Session 7A Categorical models: effects, automata & model theory
Zuccato, Lorenzo	(LINDA) Poster announcements 1
Zullo, Joseph	(UNIF) Session 4
#
(chair), Mohammad Abdulaziz	(Isabelle) Panel Discussion