PROGRAM AUTHORS KEYWORDS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | 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 | Without Group | WPTE | WST | XLoKR-ExCoS | Full Program

A
Abate, Alessandro	(LICS) Session 4A Verification & Foundations of Probabilistic Systems (SAIV) Contributed talks
Abbas, Houssam	(CREST) Contributed Presentations 1
Abdelwahab, Mayar	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models
Abdulla, Parosh Aziz	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Abuelkheir, Mervat	(SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design
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
Ahmadi, Rita	(AIMACS) Poster Lightning Session #1
Ahman, Danel	(FSCD) Invited Talk: Andrej Bauer (LICS) Session 8A Foundations of Probabilistic Computation (FSCD) Concurrency
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
Alex, Kevin Kurien	(PCCR) Contributed Talks
Alexaj, Ondrej	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Alfano, Gianvincenzo	(NMR) DL & NMR
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
Á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 (CARLA) CARLA Workshop (DL) Poster Announcements
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
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
Arapinis, Myrto	(CSF) Computer-Aided Cryptography
Areces, Carlos	(KR) Reasoning on actions
Arellanes, Damian	(LSFA) Session 3
Arends, Dick	(ThEdu) ThEdu Session 3
Arieli, Ofer	(KR) Nonmonotonic logic
Arpasi, Janos	(DL) All about DL-Lite
Arquint, Linard	(FCS) Session 2: Cryptography
Artale, Alessandro	(DefDesKR) Part 3 - Definite Descriptions in First-Order Modal and Temporal Logics
Atefe@Mail.Uni-Paderborn.De, Atefe	(LINDA) Poster announcements 2
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 (SAIV) Contributed talks and short presentations (CAV) Synthesis (SAIV) Contributed talk (SAIV) Contributed talks (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
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 (FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Bahmani, Sarvin	(SYNT) Games and Synthesis - I
Baier, Christel	(LICS) Session 11B Modal and Guarded Logics (CREST) Invited Talk by Christel Baier
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.	(LICS) Session 5B Counter and Vector Addition Systems
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	(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
Barbosa, Manuel	(FCS) Session 2: Cryptography
Barile, Roberto	(DL) Explanations
Barlag, Timon	(KR) Description logics and databases (KR) Expressivity of neural networks
Barrett, Clark	(AIMACS) Second morning session
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) 24pm2 (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
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
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
Benevides, Mario	(LSFA) Session 4
Bengel, Lars	(NMR) Argumentation 2
Berardi, Stefano	(WST) Beyond Classical Rewriting
Bergsträßer, Pascal	(AIMACS) Poster Lightning Session #1
Berkel, Kees van	(KR) Argumentation 2 (KR) Temporal reasoning
Berndt, Sebastian	(AR4Space) Session 4
Bertagnon, Alessandro	(ICLP) Block 3 (Best DC + 4 RPR)
Bertossi, Leopoldo	(LINDA) Invited talk 1
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 (ACV) 24pm1 (CAV) Liveness/Termination
Beyersdorff, Olaf	(MC) Opening and Proof Complexity (PC) Invited Talk 1 (PC) Contributed Talks 1 (LCC) Sunday afternoon 2
Bhaskar, Raghav	(CSF) E-Voting & Anonymity
Bhavnani, Sidhant	(QBF) Pragmatics of QBF
Biagioni, Giulia	(WiL) Answer Set Programming
Bianchini, Filippo	(SKILLED-LLMs) Session 3: Symbolic Constraints in Learning and Inference
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
Bierlee, Hendrik	(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	(GALOP) Contributed Talks - Session 4
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
Blanchette, Jasmin	(Isabelle) Tutorial 1
Bleukx, Ignace	(LLM-Solve) Session 1 - Explanations with LLMs
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
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 (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
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
Bozec, Tanguy	(IJCAR) Superposition, Saturation, Equations & Constraints
Bradfield, Julian	(CREST) Contributed Presentations 1
Braicu, Tudor	(CAV) Security, Privacy and Hyperproperties
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
Britkov, 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
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
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
Butler, Martin	(ModRef) Session 4: Applications
Bøving, Oliver Emil	(ITP) ITP Papers: Verification and Model Checking
C
Cabalar, Pedro	(ICLP) Block 11 (6 TC)
Cabrio, Elena	(KR) Argumentation and applications
Cai, Xuran	(CAV) Program Analysis Session
Cailler, Julie	(IJCAR) ProoVer Competition Kickoff (IJCAR) CASC Competition 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
Calinescu, Radu	(CAV) Hybrids, Controls and Probabilistic Systems
Calk, Cameron	(SmP) Invited talk
Caltais, Georgiana	(CREST) Contributed Presentations 1
Camarda, Alessia Donata	(CARLA) CARLA Workshop
Campo, Olga Medrano Martin Del	(LICS) Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
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
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	(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)
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
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
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
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
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
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
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
Clément, Alexandre	(LICS) Session 5A Logical Aspects of Quantum Computation
Clemente, Lorenzo	(LICS) Session 2B Automata
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	(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
Coopmans, Tim	(FMQC) Representation of Quantum Information (FMQC) Model Counting
Coppé, Vianney	(DPSOLVE) Talks 2
Coquand, Thierry	(LICS) Session 11A Constructive Mathematics & Type Theory
Corman, Julien	(ST4DM) Session 1: Temporal and Ontological Foundations for Semantic Data Management
Cornish, Rob	(LICS) Session 8A Foundations of Probabilistic Computation
Correnson, Arthur	(ITP) ITP Paper: Automata and Coinduction (MW2) PhD Student Panel
Costa, Diana	(LSFA) Session 3
Costantini, Stefania	(LAMAS-SR) Session II
Court, Edwin Hamel-De Le	(KR) Neural-symbolic learning and logic
Coutelier, Robin	(Vampire) Optimizations(?) (SAT) Session F: CDCL & Parallel Solving
Cowie, Nox	(WiL) Proof Theory
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
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
Dabrowski, Konrad K.	(KR) Temporal reasoning
Dalmonte, Tiziano	(DL) Conflicts and Exceptions
Damanik, Raja	(FSCD) Rewriting
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
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
Delaune, Stephanie	(LICS) Keynote by Stéphanie Delaune
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
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	(Without Group) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications
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
Domenico, Andrea De	(CI-BD-SOQE) Session 2
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
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	(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	(ITP) ITP Papers: Formalisation of Mathematics-3
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
Eisfeld, Albert	(PAAR) Session 1
Eiter, Thomas	(ASPOCP) Opening + Neurosymbolic and Metaprogramming (JoeFest) Contributed Talks 2 (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
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
Fatmi, Syyeda Zainab	(ACV) 24pm1
Faveri, Arturo De	(TLLA) S2
Federico, Giuseppe	(DL) Explanations
Feldbacher-Escamilla, Christian J.	(CREST) Contributed Presentations 1
Felicissimo, Thiago	(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
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
Fernández, Maribel	(UNIF) Session 1A (FSCD) Quantitative Models
Fernández-Duque, David	(ARQNL) ARQNL Invited Talk
Ferrari, Florent	(LCC) Saturday morning 2
Ferreira, Nikson Bernardes Fernandes	(ML4SP) Paper talks 1
Ferreira, Tiago	(CAV) Automata
Ferretti, Luca	(CSF) Authenticity & Identity
Fervari, Raul	(LSFA) Session 7
Fichte, Johannes	(MC) Opening and Proof Complexity (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
Flippo, Maarten	(WHOOPS) Papers 3
Flugel, Vanessa	(SYNT) Games and Synthesis - I
Fontaine, Caroline	(CSF) Computer-Aided Cryptography
Forest, Simon	(GALOP) Joint keynote talk with ITRS - Simon Forest
Forster, Yannick	(MW2) Yannick Forster
Freer, Cameron	(ITP) ITP Papers: Formalisation of Mathematics & AI
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
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
Gallicchio, James	(ITP) ITP Papers: Formalisation of Mathematics-3
Gallifa-Tronch, Enrique	(LSFA) Session 3
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
Garlik, Michal	(LICS) Session 12B Proof Theory, Fixed Points, and Meta-Complexity
Gaur, Kartikeya	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Gavazzo, Francesco	(LICS) Session 1A Lambda Calculi and Abstract Syntax
Geffner, Hector	(JoeFest) In-Person Invited Talks (KR) Learning for planning
Gehm, Frederick	(SAT) Session F: CDCL & Parallel Solving
George, Mathews	(LFMTP) Unification
Gerlach, Lukas	(KR) Datalog and existential rules
Ghanem, Mohamed	(ML4SP) Paper talks 1
Ghica, Dan R.	(DIALOCO) First invited talk
Ghilardi, Silvio	(UNIF) Session 1A (UNIF) Session 1B
Ghlib, Romaissa	(Soft) Session 1
Giacobbe, Mirco	(CAV) Logic Lounge
Giacomo, Giuseppe De	(Without Group) 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
Giesl, Jürgen	(IJCAR) Awards (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
Girard-Satabin, Julien	(SAIV) Contributed talk, short presentations, and case studies
Givry, Simon de	(Soft) Invited talk (Soft) Session 1 (Soft) Session 2 (Soft) Session 3
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
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 talk (SmP) Contributed talk
Gortworst, Bente	(DL) Learning
Gösgens, Jonas	(KR) Learning for planning
Goswami, Rajarshi	(SYNT) Program Synthesis
Götz, Ruben	(SAT) Session F: CDCL & Parallel Solving
Grabmayer, Clemens	(IWC) Graphs (IFIP16) Session 1
Grastien, Alban	(SAIV) Contributed talks
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 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
Guo, Xiangyu	(ICLP) Block 11 (6 TC)
Gupta, Gopal	(ICLP) Block 9 (8 TC)
Gurfinkel, Arie	(CI-BD-SOQE) Session 5
Gutierrez, Julian	(KR) Neural-symbolic learning
Gutiérrez, Raúl	(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	(FCS) Session 1: Information Flow Security and Secure Attestation
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
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
Haldimann, Jonas Philipp	(NMR) Planning
Hall, Bethel	(AIMACS) Poster Lightning session
Hamaz, Kamal	(ST4DM) Session 2: Semantic Technologies for Data-centric AI and Knowledge Graph Construction
Han, Kun	(UNIF) Session 4
Hart, Perry	(LICS) Session 11A Constructive Mathematics & Type Theory
Hassan, Momen	(DL) DL in Practice
Hasuo, Ichiro	(SmP) Invited talk (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 (MC) Complexity and Explanations
Heck, Linus	(CAV) Machine Learning, AI and Verification (ACV) 24am2
Heiman, Damian	(LOGICNN) Session 3: From Neural Networks to Logic
Heine, Anne-Marie	(NMR) Argumentation 1
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
Hermant, Olivier	(LFMTP) Invited talk (LFMTP) Quantification
Hérouard, Clément	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Heuer, Jan	(ICLP-DC-SS) Opening + DC Session 1
Heule, Marijn	(WHOOPS) Papers 3
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 talk (SmP) Contributed talk
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
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
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
Huang, Tian	(CSF) E-Voting & Anonymity
Huang, Xu	(LICS) Session 10A Constructive Mathematics & Type Theory
Huch, Fabian	(Isabelle) Tutorial 2
Huisman, Marieke	(CAV) Deductive Verification & Certified Verification
Hulak, David B.	(WPTE) Session 2
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)
Ihalainen, Hannes	(WHOOPS) Papers 1 (SAT) Session D: MaxSAT & PB Optimization
Imrie, Jane	(KR) Doctoral Consortium (talks)
Indrzejczak, Andrzej	(DefDesKR) Part 1 - Introduction: Definite Descriptions and Free Logic Semantics (ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics (CI-BD-SOQE) Session 2 (IJCAR) Theory Combination, Arithmetic Circuits & Embedded Systems
Isac, Omri	(SAIV) Contributed talks and short presentations (LOGICNN) Invited Talk 2
Isaji, Masafumi	(AR4Space) Session 3
Iser, Ashlin	(SAT) Session C: Solver Tools & Explanations
Israel, Ofec	(IJCAR) SMT Proof Production & Checking
Issa, Jad	(FMQC) Verification and Synthesis
Ito, Kenta	(PoS) Session 3: Enumeration & Counting
Itty, Nathaniel	(AIMACS) Poster Lightning session
Ivanov, Ievgen	(IWC) Confluence & Formalization
J
Jaber, Guilhème	(ACV) 25am2
Jabs, Christoph	(SAT) Session D: MaxSAT & PB Optimization
Jacks, Michael	(FORCE) Runtime monitoring
Jain, Sanjay	(SAT) Session E1: Best Papers
Jam, Mehran Moeini	(CAV) Automata
Jana, Prithwish	(SAIV) Contributed talk, short presentations, and case studies (AIMACS) Poster Lightning Session #3
Janků, Jakub	(CSF) Computer-Aided Cryptography
Janoschek, Patrick	(SMT) Invited Talk + Encodings
Janota, Mikolas	(Vampire) Equality reasoning(?) (PAAR) Session 1
Jaramillo, Juan	(TLLA) S4
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 (PC) QBF Joint Contrib Talks 2
Johansson, Moa	(AIMACS) Afternoon session (Isabelle) Papers 2c
Johnson, Andrew	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Johnson, Taylor T.	(SAIV) VNN-COMP
Joinet, Jean-Baptiste	(LSFA) Session 4
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	(LICS) Session 11B Modal and Guarded Logics (CI-BD-SOQE) Session 3
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 (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
Kern-Isberner, Gabriele	(NMR) ASP (KR) Nonmonotonic logic
Kern-Isberner, Gaby	(KR) Probability (KR) Reinforcement learning and norms (MoST) Closing
Keskin, Omer	(ITP) ITP Papers
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
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
King, Daragh	(Vampire) Machine learning
Kirchweger, Markus	(IJCAR) Formalization & Interactive Proof
Klaus, Natalia	(AIMACS) Poster Lightning Session #3
Knorr, Matthias	(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
Köll, Christian	(IJCAR) Automation & Unification
Kondylidou, Lydia	(IJCAR) Superposition, Saturation, Equations & Constraints
Konieczny, Sebastien	(KR) Belief change and epistemic logic
Könighofer, Bettina	(FORCE) Autonomous and learning-enabled systems
Kontinen, Juha	(KR) Nonmonotonic logic
Koopmann, Patrick	(DL) DL in Practice (KR) Abduction and diagnosis
Koops, Wietze	(WHOOPS) Papers 3
Kop, Cynthia	(LSFA) Session 5 (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
Kouvaras, Andreas	(EULP) Paper session 2
Kovacs, Laura	(FSCD) Invited Talk: Laura Kovács (LICS) Session 7B Decidability in Arithmetic and Linear Theories
Kozhemiachenko, Daniil	(KR) Probability
Kozicki, Piotr	(FSCD) Categorical Models
Krapivin, Andrew	(SAT) Session A: Encodings & Preprocessing (LCC) Saturday afternoon 2
Krishnamurthi, Shriram	(AIMACS) Panel
Kruger, Loes	(CSF) Symbolic Protocol Verification
Kubyshkina, Ekaterina	(WiL) Epistemic Logic
Kumar, Arun	(WiL) Algebraic Logic
Kumar, Pankaj	(PCCR) Contributed Talks
Kumari, Ankita	(WiL) Graph Theory
Kunčak, Viktor	(IJCAR) Invited Talk
Kupferman, Orna	(CAV) Synthesis
Kura, Satoshi	(VeriProP) Session 3 (CSF) Side-Channel & Speculative Defenses
Kutsia, Temur	(UNIF) Session 4
Kutz, Oliver	(DefDesKR) Part 4 - Conclusion and Discussion
Kuzelka, Ondrej	(MC) Weighted Counting over Theories and First-Order Structures
Kuznetsov, Stepan	(IJCAR) Rewriting, Automata, Verification & Fuzzy Logic
L
Laarakker, Bastiaan	(FSCD) Proof Assistants
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) Complexity and Explanations (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
Lammich, Peter	(Isabelle) Papers 1c (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
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 (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
Lechenne, Serge	(FSCD) Categorical Models
Leclercq, Titouan	(LICS) Session 1A Lambda Calculi and Abstract Syntax
Lee, Joon	(FMQC) Model Counting
Leemhuis, Mena	(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
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
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
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
Lima, João P.	(ST4DM) Session 2: Semantic Technologies for Data-centric AI and Knowledge Graph Construction
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
Lourenço, Bruno F.	(KR) Description logic and learning (DL) Poster Announcements
Lu, Chang	(KR) Machine learning and explanation
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) Arrays & Interpolation (IJCAR) Awards (KR) Expressivity of neural networks
Lutz, Sterre	(SAIV) Contributed talks and short presentations
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
Magaña-López, Gustavo	(CMSB) Boolean and Qualitative Networks
Magliacane, Sara	(SAIV) Invited talks + round table discussion
Magnini, Matteo	(SKILLED-LLMs) Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design
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
Mandel, Richard	(LICS) Session 5B Counter and Vector Addition Systems
Mangel, Éléonore	(DIALOCO) Contributed talks
Manighetti, Matteo	(HCVS) Session #2
Manoorkar, Krishna	(JoeFest) Contributed Talks 2
Manteiga, Ovidio	(ICLP-DC-SS) Opening + DC Session 1
Mantenoglou, Periklis	(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
Marijnissen, Imko	(DPSOLVE) Talks 1
Markovic, Djordje	(ASPOCP) Planning and Temporal Reasoning
Marques-Silva, Joao	(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, Rafael	(ICLP) Block 9 (8 TC)
Martins, Ruben	(LLM-Solve) Session 4 - LLMs for Improving Solvers and Models
Mascarenhas, Tomaz	(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
Matteo, Angelo	(OVERLAY) Temporal, Modal and Logical Foundations
Mayer-Eichberger, Valentin	(QBF) Pragmatics of QBF
Mazowiecki, Filip	(CAV) Automata
Mazzullo, Andrea	(DL) Temporal Extensions
Mccreesh, Ciaran	(WHOOPS) Papers 1 (WHOOPS) Papers 3
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
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 (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 (KR) Nonmonotonic logic (MW1) Tommie Meyer
Michailidis, Kostis	(LLM-Solve) Session 4 - LLMs for Improving Solvers and Models
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	(FSCD) Proof Theory (LFMTP) Quantification (FSCD) Higher-Order Logic
Mishra, Ashish	(CAV) Synthesis
Misselbeck-Wessel, Daniel	(LICS) Session 12A Constructive Mathematics & Type Theory
Mödersheim, Sebastian	(CSF) Information Flow & Secure Composition
Moeller, Maximilian	(XLoKR-ExCoS) Constraints
Mohammady, Meisam	(CSF) Machine Learning Security & Privacy
Momigliano, Alberto	(LFMTP) Invited talk
Mondl, Adam	(LLM-Solve) Session 3 - Formal Methods for LLMs
Monma, Takuma	(VeriProP) Session 3
Monroe, Hunter	(PC) Contributed Talks 4
Montacute, Yoàv	(SmP) Contributed talk
Monteiro, Pedro T.	(CMSB) Boolean and Qualitative Networks
Morak, Michael	(NMR) Planning
Moriyama, Sota	(ICLP-DC-SS) Opening + DC Session 1 (KR) Neural-symbolic learning and logic
Morrison, Kim	(IJCAR) Automation & Unification
Moura, Leonardo De	(Without Group) 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
Muñiz, Brais	(ASPOCP) Opening + Neurosymbolic and Metaprogramming (ASPOCP) Invited Speaker (ASPOCP) Industrial applications
Murano, Aniello	(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 - II Sessions
Møgelberg, Rasmus Ejlers	(LICS) Session 12A Constructive Mathematics & Type Theory
N
Na, Tba	(CAV) CAV Award
Nadel, Alexander	(SAT) Session A: Encodings & Preprocessing (PoS) Session 2: Optimization (Soft) Session 2
Nagashima, Yutaka	(Isabelle) Papers 2c
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
Nemes, Amadé	(ICLP-DC-SS) Opening + DC Session 1 (ASPOCP) Opening + Neurosymbolic and Metaprogramming
Nenchev, Vladislav	(SAIV) Contributed talks
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)	(DIALOCO) Contributed talks (TLLA) S3.2
Niederhauser, Johannes	(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	(Isabelle) Papers 2a (IJCAR) Formalization & Interactive Proof
Nishida, Naoki	(WST) Termination of First-Order Rewriting (WPTE) Session 4
Noort, Mathijs Van	(KR) Datalog and existential rules
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
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
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
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	(ThEdu) ThEdu Session 3
Otten, Jens	(ARQNL) ARQNL Opening
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
Palmigiano, Alessandra	(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	(TLLA) Hugo Paquet (Invited, joint with Galop) (GALOP) Joint keynote talk with TLLA - Hugo Paquet (LICS) Session 8A Foundations of Probabilistic Computation
Pardal, Nina	(LINDA) Talk session 2
Parent, Xavier	(KR) Nonmonotonic logic
Park, Seo Jin	(ACV) 24am2
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	(WHOOPS) Papers 3
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, Tomáš	(QBF) Pragmatics of QBF
Peñaloza, Rafael	(DL) Learning
Pennino, Federico	(ICLP) Block 4 (4 TPLP)
Percy, Elias	(SmP) Contributed talk
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
Pertseva, Elizaveta	(CAV) Deductive Verification & Certified Verification
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) Verification and Model Checking (VeriProP) Session 3
Pham, Ngoc-Mai	(ICLP) Block 9 (8 TC)
Pham, Quang	(SAIV) Contributed talks and short presentations
Pich, Jan	(PC) Invited Talk 1
Pichler, Dominik	(LSFA) Session 8
Pientka, Brigitte	(IJCAR) Invited Talk (TLLA) Brigitte Pientka (Invited) (FSCD) Concurrency
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
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
Portegies, Jim	(ThEdu) ThEdu Session 4
Potyka, Nico	(DL) Invited Speaker: Tommie Meyer (KR) Argumentation 2 (KR) Machine learning and explanation (CARLA) CARLA Workshop - II Sessions
Pous, Damien	(ITP) ITP Papers
Povéda, Guillaume	(Soft) Session 1
Prabhakar, Pavithra	(CAV) Hybrids, Controls and Probabilistic Systems (AIMACS) Poster Lightning session
Pradic, Cécilia	(LICS) Session 12A Constructive Mathematics & Type Theory
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
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)
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
Rappoport, Omer	(HCVS) Session #3
Rauer, Erik	(KR) Preferences
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	(IJCAR) SMT Proof Production & Checking (CAV) Deductive Verification & Certified Verification
Riba, Colin	(FSCD) Concurrency
Richter, David	(VeriProP) Session 4
Rinaldi, Luigi	(CAV) Hardware Verification
Rino, Neha	(MW1) PhD Students Panel
Rischel, Eigil	(MSFP) Contributed Talks 2
Rocha, Anne C.	(NMR) DL & NMR
Rodriguez, Andoni	(KR) Neural-symbolic learning
Romano, Salvatore	(OVERLAY) Multi-agent systems
Rosain, Johann	(ITP) ITP Papers: Automation and Tactics
Roshal, Sophia	(IJCAR) Refined Logics & Proofs, Hyperproperties & Synthesis
Rosie, Raz	(CSF) Cryptographic Primitives & Protocols
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	(Without Group) 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) Program Analysis
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	(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
Sanna, Rafaello	(ICLP) Block 11 (6 TC)
Sansone, Emanuele	(PoS) Session 6: Encodings
Santi, Enrico	(ICLP) Block 2 (6 TC)
Santo, José Espírito	(FSCD) Proof Theory
Santos, Jennifer	(AR4Space) Session 2
Santschi, Simon	(CI-BD-SOQE) Session 1
Saraiva, Lorenzo	(LSFA) Session 8
Saribatur, Zeynep G.	(THEMA) Invited Talk 1 (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
Sato, Takumi	(WPTE) Session 2
Sau, Ignasi	(LICS) Session 4B Logic and Structural Graph Theory
Sauerwald, Kai	(KR) Epistemic logic (LCC) Saturday afternoon 1
Saurin, Alexis	(CI-BD-SOQE) Session 8
Scaletta, Marco	(FORCE) Theory and logics
Schäffeler, Maximilian	(Isabelle) Papers 2c
Scheerer, Frederik	(CAV) Security, Privacy and Hyperproperties
Schilling, Christian	(SAIV) Invited talks and round-table discussions (SAIV) Contributed talk, short presentations, and case studies (SAIV) Keynote presentation (SAIV) Contributed talks
Schmidt, Renate A.	(CI-BD-SOQE) Session 6
Schmitt, Frederik	(SYNT) Reactive Synthesis
Schnitzer, Yannik	(LAMAS-SR) Session I
Schön, Oliver	(CAV) Hybrids, Controls and Probabilistic Systems
Schreiber, Dominik	(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(?)
Schuster, Johannes	(PAAR) Session 2
Schwind, Nicolas	(KR) Belief change
Seidl, Martina	(QBF) Dependency QBF
Seip, Paul	(QBF) Dependency QBF
Senthilkumar, Rithik Appachi	(SAIV) Contributed talks
Sergeys, Thomas	(SAT) Session C: Solver Tools & Explanations
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
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
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
Shmuel, Ido	(SAIV) Contributed talk
Sidhoum, Romain	(IJCAR) Model Finding, Certification & Synthesis (LFMTP) Calculi
Sidorov, Konstantin	(PoS) Session 2: Optimization
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
Simonis, Helmut	(ModRef) Session 2: Puzzles
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) (ASPOCP) System and Tools + Closing
Slater, Luke	(KR) Knowledge compilation (KR) Doctoral Consortium (talks)
Slivovsky, Friedrich	(SYNT) Functional & Quantum Synthesis (CI-BD-SOQE) Session 4
Ślusarz, Natalia	(FORCE) Autonomous and learning-enabled systems
Smykalla, Michel	(TLLA) S2
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
Sousa, Ana Catarina	(WiL) Type Theory
Soutchanski, Mikhail	(OVERLAY) Planning
Spadoni, Stella	(WiL) Computability
Spallitta, Giuseppe	(PoS) Session 3: Enumeration & Counting (MC) Weighted Counting over Theories and First-Order Structures
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
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
Su, Pengcheng	(CSF) Differential Privacy
Subercaseaux, Bernardo	(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
Sutcliffe, Geoff	(TPTPTP) Recording proofs (IJCAR) CASC Competition Kickoff (PAAR) Session 2 (TPTPTP) Proof expectations (TPTPTP) New TPTP Formats (TPTPTP) Action planning
Suzuki, Jun	(LSFA) Session 2
Swift, Theresa	(LPOP) Session 1
Szafarczyk, Artur	(TLLA) S4.1
Szeider, Stefan	(PoS) Session 1: Proofs (ML4SP) Paper talks 1 (ICLP) Block 3 (Best DC + 4 RPR)
T
Tabatabai, Amir Akbar	(CI-BD-SOQE) Session 4
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	(DPSOLVE) Talks 2
Tarzariol, Alice	(ICLP-DC-SS) Opening + DC Session 1 (ASPOCP) System and Tools + Closing (ICLP) Block 3 (Best DC + 4 RPR) (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
Terui, Kazushige	(FSCD) Substructural Logics
Tetková, Lenka	(SAIV) Invited talks and round-table discussions
Teuber, Samuel	(SAIV) Contributed talk, short presentations, and case studies (FORCE) Theory and logics
Thakur, Amitayush	(ITP) ITP Papers: AI and ITP
Thangasuthan, Kokulan	(LAMAS-SR) Session I
Thanos, Dimitrios	(FMQC) Representation of Quantum Information
Thatcher, Marc	(DIALOCO) Contributed talks
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
Thieyre, Jordan	(KR) Argumentation 1
Tinelli, Cesare	(CAV) Security, Privacy and Hyperproperties (CAV) SMT, SAT & Decision Procedures
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
Torre, Salvatore La	(RajeevFest) Morning 2
Tóthová, Michaela	(DL) Poster & Demo Announcements
Tourret, Sophie	(Isabelle) Keynote 2 (LFMTP) Unification (LFMTP) Calculi
Traversié, Thomas	(FSCD) Higher-Order Logic
Traytel, Dmitriy	(Isabelle) Tutorial 3
Trogni, Lea	(LFMTP) Calculi
Tsai, Wei-Lun	(CAV) Quantum
Tsai, Yun-Chen	(SmP) Contributed talk (SmP) Contributed talks I (SmP) Contributed talk
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	(GALOP) Joint keynote talk with WPTE - Nikos Tzevelekos (WPTE) Session 3
U
Umili, Elena	(SKILLED-LLMs) Session 1: Structured Knowledge Meets Language Models (SKILLED-LLMs) Closing
Unruh, Dominique	(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
Vanezi, Evangelia	(LSFA) Session 7
Vanoni, Gabriele	(ITRS) Session 2
Vardi, Moshe	(LPOP) Session 1 (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 4
Veronese, Celeste	(KR) Neural-symbolic learning (XLoKR-ExCoS) Explaining Machine Learning
Vieira, Felipe Lourenço Angelim	(CREST) Contributed Presentations 3
Villadsen, Jørgen	(ThEdu) ThEdu Session 1 (ThEdu) ThEdu Session 3 (ThEdu) Business Meeting
Villia, Maria Myrto	(KR) Doctoral Consortium (talks)
Vin, Eric	(FORCE) Autonomous and learning-enabled systems
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
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 talk (SmP) Contributed talks I (SmP) Contributed talk
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) 25pm2
Waring, Thomas	(TLLA) S4
Wassermann, Renata	(KR) KR Invited: Joao Marques-Silva (KR) Belief change
Watted, Omar	(KR) Learning for planning
Wawer, Michał	(LAMAS-SR) Session II
Wałęga, Przemysław	(DefDesKR) Part 2 - Definite Descriptions in Description Logics
Wei, Sheng	(KR) Argumentation and applications
Weitkämper, Felix	(ICLP) Block 12 (1 RPR + 6 TC)
Wernhard, Christoph	(CI-BD-SOQE) Session 2 (IJCAR) Superposition, Saturation, Equations & Constraints
Weydert, Emil	(MoST) Session 2
White, Lauren M.	(AR4Space) Session 2
Wijsen, Jef	(LINDA) Talk session 1
Wimmer, Ralf	(QBF) Dependency QBF
Wittbold, Florian	(ACV) 25pm2
Wolff, Burkhart	(Isabelle) Papers 1b
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
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, Leiqi	(CAV) Hardware Verification
Yi, Yutong	(WiL) Epistemic Logic
Yin, Haoxuan	(GALOP) Contributed Talks - Session 1 (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
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	(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 1d
Zhao, Yonghe	(KR) Neural-symbolic learning
Zhou, Xiaofeng	(CAV) Hardware Verification
Zhu, Thomas	(ITP) ITP Papers: AI and ITP
Zhulin, Maxim	(PoS) Session 5: SAT Solver Technology
Zikelic, Djordje	(SAIV) Invited talks + round table discussion
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