PEG 2025 @ ICLP
Prolog Education Workshop 2025
The Third 2025 Prolog Education Workshop, PEG 2025, will take place at ICLP 2025, U. of Calabria in Rende, Italy, September 12-19, 2025.Workshop Program
Room: DEMACS, Cubo 31B, Room MT13- 08:30-09:00
- Registration
- 09:00-09:05
- José Morales - Laura A. Cecchi: Welcome
- 09:05-10:30
- Session 1: How to teach Prolog and the logic programming paradigm
- 09:05-09:25
- Kristian Reale: Logic and Answer Set Programming in High School: Two Learning Unit Experiences
- 09:25-09:45
- Veneta Tabakova-Komsalova, Magdalena Maglizhanova, Asya Stoyanova-Doycheva and Stanimir Stoyanov: "Platform for Introducing Logic Programming in Bulgarian Secondary Schools – IDEAS (Intelligent Data Educational Analysis System)"
- 09:45-10:05
- Laura A. Cecchi and Jorge P. Rodríguez. "Constructionist Co-Design for the Learning Experience: A Work-in-Progress on Engaging Teachers to Integrate Logic Programming in Primary School"
- 10:05-10:30
- Virginia Padilla: "Gamifying History Education: A Prolog-Based Workshop Using Geospatial Visualization."
- 10:30-11:00
- Coffee break
- 11:00-12:00
- Invited Talk: Verónica Dahl: "PEG 2.0: Future-gazing through a socio-linguistic and historical lens"
- 12:00-13:00
- (Autumn School talk: Fred Mesnard)
- 13:00-14:00
- Lunch
- 14:00-15:00
- (Autumn School talk: Włodek Drabent)
- 15:00-16:30
- Session 2: Materials and tools for the above
- 15:00-15:20
- Jose F. Morales, Daniela Ferreiro and Manuel V. Hermenegildo: "Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom"
- 15:20-15:40
- Galileo Sartor and Adam Wyner: "Teaching Prolog and Logic Programming with Jupyter Notebooks"
- 15:40-16:00
- Christian Jendreiko: "The Simple Generative Logic Grammar: A tool for teaching logical thinking through visual research in art and design."
- 16:00-16:20
- Jacinto Dávila Quintero: "Decompiling Language Models into Logic Programs"
- 16:30-17:00
- Coffee Break
- 17:00-18:00
- Invited Talk: Theresa Swift "LLM-Assisted Education for a Low-Resource Logic Programming Language"
- 18:00-19:30
- Panel session
- 19:30
- Closing
CFP
You can find the Call for Papers for the 2025 workshop here (deadline has passed).Context
The PEG workshop series is one of the initiatives of the Prolog Education Group 2.0 (PEG 2.0), which aims to promote the use of Prolog-like computing to make logical reasoning and trustworthy coding skills more universally available.PEG 2.0 builds upon a nearly 50-year history of developing educational materials for using logic programming languages such as Prolog and ASP to introduce children in primary and secondary schools to both logic and computing. It also includes the insights and innovations developed for teaching Prolog at university level in both Computing and non-Computing courses.
Organization:
Program Chairs
- Laura Cecchi, Universidad Nacional del Comahue, Argentina
- José F. Morales, T.U. Madrid (UPM) and IMDEA Software Institute, Spain
