LPOP — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
Session Chair:
Location:
C4.05
| 09:00-09:05 |
Opening and Introduction (abstract) 5 min
1 Vrije Universiteit Brussel
2 Stonybrook University
|
| 09:05-09:50 |
Invited Talk: Moshe Vardi -- A New Paradigm – A New Computer Science? (abstract) 45 min
1 Rice University
|
| 09:50-10:05 |
Logic Programming and Coding Agents New Opportunities within a New Paradigm (abstract) 15 min
|
Session Chair:
Location:
C4.05
| 11:00-11:45 |
Invited Talk: Anil Nerode -- How Should Logic Programming Evolve in an Age of Distributed Computation, or (Herbrand) is to (sequential computation) is to (logic programming) as (Gentzen) is to (distributed computation) is to (???) and why (abstract) 45 min
1 Cornell University
|
| 11:45-12:00 |
From Trustworthy to Resilient AI: Formalizing Requirements for Safe Cyber-Physical Systems Control (abstract) 15 min
1 Kansas State University
|
Session Chair:
Location:
C4.05
| 14:00-14:45 |
Invited Talk: Carla Gomes -- Knowledge‑Centric AI for Scientific Discovery (abstract) 45 min
1 Cornell University
|
| 14:45-15:30 |
Invited Talk: Fritz Henglein -- Mining Algebra for Power and Performance (abstract) 45 min
1 University of Copenhagen
|
| 15:30-15:45 |
Achieving Trustworthy Legal AI using Human-Verification (abstract) 15 min
1 IT University of Copenhagen
2 University of Southern Denmark
|
| 15:45-16:00 |
An Overview of the DARPA CODORD Program for Trustworthy AI (abstract) 15 min
1 DARPA
|
Session Chair:
Location:
C4.05
| 16:30-17:00 |
Panel discussion: Relationships between Formal Models and Data-Centric Computing (abstract) 30 min
1 Rice University
2 Cornell University
3 University of Copenhagen
|
| 17:00-17:15 |
An Overview of the DARPA CLARA Program for Trustworthy AI (abstract) 15 min
1 DARPA
|
| 17:15-17:20 |
Closing (abstract) 5 min
1 Vrije Universiteit Brussel
2 Stonybrook University
|