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: TBA
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 15m An Overview of the DARPA CLARA Program for Trustworthy AI
Benjamin Grosof DARPA
16:45 40m Panel Discussion
TBA
17:25 Closing
Joost Vennekens Vrije Universiteit Brussel David Warren Stony Brook University