LPOP — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
09:00-10:05
Session 1
LPOP
Location:
C4.05
| 09:00-09:05 |
Opening and welcome (abstract) 5 min
1 Vrije Universiteit Brussel
2 Stonybrook University
|
| 09:05-09:50 |
Invited Talk: Moshe Vardi (abstract) 45 min
1 Rice University
|
| 09:50-10:05 |
Logic Programming and Coding Agents New Opportunities within a New Paradigm (abstract) 15 min
|
10:05-11:00
Coffee Break
LPOP
Location:
C4.05
11:00-12:00
Session 2
LPOP
Location:
C4.05
| 11:00-11:45 |
Invited Talk: Anil Nerode (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
|
12:00-14:00
Lunch
LPOP
Location:
C4.05
14:00-16:00
Session 3
LPOP
Location:
C4.05
| 14:00-14:45 |
Invited Talk: Carla Gomes (abstract) 45 min
1 Cornell University
|
| 14:45-15:30 |
Invited Talk: Fritz Henglein (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
|
16:00-16:30
Coffee Break
LPOP
Location:
C4.05
16:30-17:30
Session 4
LPOP
Location:
C4.05
| 16:30-17:00 |
Panel discussion (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
|