PEG — PROGRAM
Days: Sunday, 19 July 2026
Sunday, 19 July 2026
09:05-10:05
Session 1: Workshop Opening and Invited Talk
PEG
Session Chair:
Location:
C3.01
| 09:05-09:10 |
Workshop Opening & Welcome (abstract) 5 min
1 The University of Texas at Dallas, USA
2 University of L'Aquila, Italy
|
| 09:10-10:05 |
Teaching Logical Thinking through Logic Programming using Logical English, Argumentation Games and Animations (abstract) 55 min
1 Imperial College, UK
2 Logical Contracts, UK
|
10:00-10:40
Session 1: Teaching with Logic Programming in Arts and Culture
PEG
Session Chair:
Location:
C3.01
| 10:00-10:20 |
Connecting artistic and logical reasoning: The Bento Box as a Conceptual Tool in the Education of Logic Programming for Art and Design Students. (abstract) 20 min
1 University of Applied Sciences Duesseldorf
|
| 10:20-10:40 |
Symbolic Artificial Intelligence for Preserving Linguistic and Cultural Diversity (abstract) 20 min
1 Paisii Hilendarski University of Plovdiv, Plovdiv, Bulgaria
2 Paisii Hilendarski’ University of Plovdiv, Plovdiv, Bulgaria
3 Institute of Information and Communication Technologies, Bulgarian Academy of Sciences
|
10:40-11:00
Coffee Break
PEG
Location:
C3.01
11:10-12:30
Session 2: LP for Teaching Logical Thinking to Children
PEG
Session Chair:
Location:
C3.01
| 11:10-11:30 |
Logical Minecraft: Teaching Logical Thinking through Games (abstract) 20 min
1 KU Leuven
|
| 11:30-11:50 |
IMPLY - a Logic Learning Game for Pre-literate Children (abstract) 20 min
1 Martin-Luther-University Halle-Wittenberg
|
| 11:50-12:10 |
Cracking Messages: Logic Programming to Secret Communication (abstract) 20 min
1 University of Plovdiv “Paisii Hilendarski”
2 Universidad Nacional del Comahue
|
| 12:10-12:30 |
Web Platform for Symbolic AI and Knowledge (abstract) 20 min
1 Plovdiv University "Paisiy Hilendarski"
2 Simon Fraser University
3 Burgas State University "Prof. Dr. Assen Zlatarov", Burgas, Bulgaria
|
12:30-14:00
Lunch
PEG
Location:
C3.01
14:00-15:20
Session 3: Tools for Teaching Logic Programming
PEG
Session Chair:
Location:
C3.01
| 14:00-14:20 |
Solving P-99 at the age of LLM – Examples and pedagogical considerations (abstract) 20 min
1 Universite de La Reunion
2 Universite de Namur
|
| 14:20-14:40 |
Embodied Declarative Logic: Learning Logica via Orchestrating Robot Behavior (abstract) 20 min
1 Google
2 University of Illinois Urbana-Champaign
3 Gonzaga University
|
| 14:40-15:00 |
Logical English 2: A Reimplementation (abstract) 20 min
1 LogicalContracts.com
2 Universidad de Los Andes, CESIMO, Mérida, Venezuela
|
| 15:00-15:20 |
Are we intelligent enough to judge intelligence? Proposal for a New PEG Task Force to Develop AI Tests (abstract) 20 min
1 Plovdiv University "Paisiy Hilendarski"
2 University of Applied Sciences Duesseldorf
3 Universidad de Los Andes, CESIMO, Mérida, Venezuela
4 Simon Fraser University
5 Universidad Nacional del Comahue
|
15:20-15:50
Coffee Break
PEG
Location:
C3.01
15:50-17:10
Session 4: Logic Programming for Teaching Computing Subjects
PEG
Session Chair:
Location:
C3.01
| 15:50-16:10 |
Using Logica to Teach About Parallel Complexity (abstract) 20 min
1 Google
2 SUNY at Stony Brook
3 University of Illinois Urbana-Champaign
4 Gonzaga University
|
| 16:10-16:30 |
Using Prolog for a Compilers Course (abstract) 20 min
1 University of Evora
2 NOVA LINCS
|
| 16:30-16:50 |
Prolog–Blockly Playgrounds for Logical Reasoning through Natural Deduction (abstract) 20 min
1 Universidad Rey Juan Carlos
2 Università Politecnica delle Marche
|
| 16:50-17:10 |
ProverSLD: An Interactive Visualizer for Teaching SLD Resolution in Prolog and First-Order Logic (abstract) 20 min
1 Technical University of Košice
|