PIPS — PROGRAM
Days: Sunday, 19 July 2026
Sunday, 19 July 2026
10:00-11:00
Coffee Break
PIPs
Location:
C2.02
12:00-14:00
Lunch
PIPs
Location:
C2.02
14:00-14:10
Opening
PIPs
Location:
C2.02
| 14:00-14:10 |
Welcome; PIP overview and progress report (abstract) 10 min
1 UPM and IMDEA Software Institute
2 Coheret Knowledge
|
14:10-15:10
Session 1:
PIPs
Location:
C2.02
| 14:10-14:30 |
PIPs 0110 Formatted output / 0109 Syntax for labeled subterms. (abstract) 20 min
1 Coninfer
|
| 14:30-14:50 |
PIP-0112: Unicode (abstract) 20 min
1 SWI
2 UPM and IMDEA Software Institute
|
| 14:50-15:10 |
DDB (abstract) 20 min
1 Stony Brook U.
|
15:10-15:50
Coffee Break
PIPs
Location:
C2.02
15:50-16:30
Session 2:
PIPs
Location:
C2.02
| 15:50-16:10 |
The Joys and (Mostly!) Frustrations of Relational Programming in Prolog: A miniKanren Perspective. (abstract) 20 min
1 U. of Alabama at Birmingham
|
| 16:10-16:30 |
The mmin/mmax Table Modes in Picat (abstract) 20 min
1 Boorklyn College, CUNY
|
16:30-17:10
Panel
PIPs
Location:
C2.02
| 16:30-17:10 |
Using coding agents to help bring Prologs together (abstract) 40 min
1 Coheret Knowledge
2 UPM and IMDEA Software Institute
3 SWI
4 Carl Andersen
|