Saturday July 25, 2026
Displayed time zone: Lisbon Time
9:00 Opening and Introduction
Joost Vennekens Vrije Universiteit Brussel David Warren Stony Brook University
9:05-10:05 Session 1
9:05 45m Invited Talk: A New Paradigm – A New Computer Science?
Moshe Vardi Rice University
9:50 15m Logic Programming and Coding Agents New Opportunities within a New Paradigm
Theresa Swift Coherent Knowledge Systems, Inc
10:05 55m Coffee Break
11:00-12:00 Session 2
11:00 45m Invited Talk: How Should Logic Programming Evolve in an Age of Distributed Computation, or
(Herbrand) is to (sequential computation) is to (logic programming)
(Gentzen) is to (distributed computation) is to (???)
Anil Nerode Cornell University
11:45 15m From Trustworthy to Resilient AI: Formalizing Requirements for Safe Cyber-Physical Systems Control
Pascal Hitzler Kansas State University and Eugene Y. Vasserman Kansas State University
12:00-14:00 Lunch
14:00-16:00 Session 3
14:00 45m Invited Talk: Knowledge-Centric AI for Scientific Discovery
Carla Gomes Cornell University
14:45 45m Invited Talk: Mining Algebra for Power and Performance
Fritz Henglein University of Copenhagen
15:30 15m Achieving Trustworthy Legal AI using Human-Verification
Luis Cruz-Filipe IT University of Copenhagen and Jonas Vistrup University of Southern Denmark
15:45 15m An Overview of the DARPA CODORD Program for Trustworthy AI
Benjamin Grosof DARPA
16:00 30m Coffee Break
16:30-17:30 Session 4
Chair: TBD
16:30 30m Panel Discussion
Carla Gomes Cornell University, Fritz Henglein University of Copenhagen, Anil Nerode Cornell University, Moshe Vardi Rice University
17:00 15m An Overview of the DARPA CLARA Program for Trustworthy AI
Benjamin Grosof DARPA
17:15 Closing
Joost Vennekens Vrije Universiteit Brussel David Warren Stony Brook University