PEG 2024 @ ICLP

Prolog Education Workshop 2024

The Second Prolog Education Workshop, PEG 2024, took place at ICLP 2024 in Dallas, on Sunday, October 13, 2024.

The proceedings of the workshop are part of the Proceedings of the 2024 ICLP Workshops.

Workshop Program

Location: Naveen Jindal School of Management (JSOM), UTDallas Richardson campus.

08:30-09:00
Breakfast
09:00-10:35
Session 1: How to teach Prolog and the logic programming paradigm

10:30-11:00
Coffee break
11:00-12:30
Session 2: Materials and tools for the above

12:30-13:30
Lunch
13:30-14:30
Session 3: How to teach STEM and non-STEM subjects through Prolog and/or LP

14:30-15:30
Session 4: Teaching uses of Generative AI through either LP, Machine Learning, or their combination

15:30-16:00
Coffee break
16:00-17:45
Session 5: Wrapup

  • 16:00-16:15 Discussion of previous session
  • 16:15-17:00 Panel session, addressing questions such as:
    • What to teach?
    • Teaching logic vs. teaching logic programming
    • When to teach what, to whom
    • Symbolic vs. substructural AI
    • Visibility strategies
    • How can Prolog and teaching through it contribute to making society more equitably human-friendly?
  • 17:00-17:45 Discussion: The next steps: connecting, brainstorming, planning

Teachers training workshop

Note that a workshop for training of teachers of Logic Programming in Primary Education is also being organized (with some sessions concurrent with the PEG workshop) by the University of Comahue, Argentina (in Spanish) and is open for (free) registration.

CFP

You can find the Call for Papers here (deadline has passed).

Context

PEG 2024 is an initiative 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 Chair

Verónica Dahl, Simon Fraser University, Canada (veronica_dahl@sfu.ca)

Workshop Coordinators

  • Jacinto Dávila, Universidad de Los Andes, Venezuela
  • Włodek Drabent, Institute of Computer Science, Polish Academy of Sciences
  • Manuel Hermenegildo, T.U. Madrid (UPM) and IMDEA Software Institute, Spain
  • Christian Jendreiko, HSD University of Applied Sciences, Düsseldorf, Germany
  • Bob Kowalski, Imperial College London, UK
  • José F. Morales, T.U. Madrid (UPM) and IMDEA Software Institute, Spain
  • David S. Warren, Stony Brook University, USA

Program Committee

  • Salvador Abreu, Universidade de Evora, Portugal
  • Laura Cecchi, Universidad Nacional del Comahue, Argentina
  • Stefania Costantini, Università degli Studi dell'Aquila, Italy
  • Jacinto Dávila, Universidad de Los Andes, Venezuela
  • Włodek Drabent, Institute of Computer Science, Polish Academy of Sciences
  • Michael Genesereth, Stanford University, USA
  • Gopal Gupta, University of Texas at Dallas
  • Manuel Hermenegildo, T.U. Madrid (UPM) and IMDEA Software Institute, Spain
  • Christian Jendreiko, HSD University of Applied Sciences, Düsseldorf, Germany
  • Bob Kowalski, Imperial College London, UK
  • Viviana Mascardi, Università di Genova, Italy
  • José F. Morales, T.U. Madrid (UPM) and IMDEA Software Institute, Spain
  • Veneta Tabakova-Komsalova, Plovdiv University, Bulgaria
  • Paul Tarau, University of North Texas, USA
  • David S. Warren, Stony Brook University, USA
  • Jan Wielemaker, Vrije Universiteit Amsterdam, the Netherlands
  • Yuanlin Zhang, Texas Tech University, USA

Contact

All questions about submissions should be emailed to the Program Chair, Veronica Dahl (veronica_dahl@sfu.ca), or to any member of the Organizing Committee.


Prolog Education is a part of the "All Things Prolog" online Prolog community, an initiative of the Association for Logic Programming stemming from the Year of Prolog activities.