CoqPL 2025
Sat 25 Jan 2025 Denver, Colorado, United States
co-located with POPL 2025
POPL 2025 (series) / CoqPL 2025 (series) / Curtis Hotel Denver /

Room information: Duck, Duck Goose

VenueCurtis Hotel Denver
Room nameDuck, Duck Goose
Floor3
Capacity60
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 20 Jan

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:30
Session 1PADL at Duck, Duck Goose
Chair(s): German Vidal Universitat Politecnica de Valencia
09:00
60m
Keynote
Invited Talk: Solvers, unite! A simple unified semantics for reasoning with assurance and agreement
PADL
Y. Annie Liu Stony Brook University
File Attached
10:00
30m
Talk
Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut EliminationBest Student Paper –Honorable Mention
PADL
Kento Takyu Waseda University, Kazunori Ueda Waseda University
File Attached
11:00 - 12:30
Session 2PADL at Duck, Duck Goose
Chair(s): Michael Hanus Kiel University
11:00
30m
Talk
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System
PADL
Jim Newton EPITA / LRE https://www.lre.epita.fr
11:30
30m
Talk
Haskell Based Spreadsheets
PADL
Ignacio Ballesteros IMDEA Software Institute and Universidad Politécnica de Madrid, Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
File Attached
12:00
30m
Talk
The Scenic Route to Deforestation
PADL
Steven Libby , Vincent Robinson University of Portland
14:00 - 15:30
Session 3PADL at Duck, Duck Goose
Chair(s): Kazunori Ueda Waseda University
14:00
30m
Talk
A practical approach to handling tabular data in logic
PADL
Robin De Vogelaere KU Leuven, Kylian Van Dessel Leuven.AI, Belgium, Joost Vennekens KU Leuven
14:30
30m
Talk
C3G: Causally Constrained Counterfactual Generation
PADL
Sopam Dasgupta , Farhad Shakerin Microsoft, Joaquín Arias Universidad Rey Juan Carlos, Elmer Salazar The University of Texas at Dallas, Gopal Gupta
15:00
30m
Talk
On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
PADL
Vitor Santos Costa University of Porto, Portugal, Miguel Areias University of Porto, Portugal
16:00 - 17:30
Session 4PADL at Duck, Duck Goose
Chair(s): Vitor Santos Costa University of Porto, Portugal
16:00
30m
Talk
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs
PADL
Felipe Gorostiaga IMDEA Software Institute, Martin Ceresa IMDEA Software Institute, César Sánchez IMDEA Software Institute
16:30
30m
Talk
Checking Concurrency Coding Rules
PADL
Lars-Åke Fredlund Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
17:00
10m
Talk
Can Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk)
PADL
Michael Hanus Kiel University
17:10
10m
Talk
Logic Programming with Extensible Types (Lightning talk)
PADL
Ivan Perez NASA Ames Research Center, Ángel Herranz Universidad Politécnica de Madrid, P: Julio Mariño Universidad Politécnica de Madrid

Mon 20 Jan

Displayed time zone: Mountain Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Duck, Duck Goose

PADL

Session 1

PADL

Session 2

PADL

Session 3

PADL

Session 4

Wed 22 Jan

Displayed time zone: Mountain Time (US & Canada) change

Room12:003013:0030
Duck, Duck Goose

POPL Catering

Mon 20 Jan

Displayed time zone: Mountain Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Duck, Duck Goose
PADL
Invited Talk: Solvers, unite! A simple unified semantics for reasoning ...
09:00 - 10:00
PADLBest Student Paper –Honorable Mention
Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Eli ...
10:00 - 10:30
PADL
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System
11:00 - 11:30
PADL
Haskell Based Spreadsheets
11:30 - 12:00
PADL
The Scenic Route to Deforestation
12:00 - 12:30
PADL
A practical approach to handling tabular data in logic
14:00 - 14:30
PADL
C3G: Causally Constrained Counterfactual Generation
14:30 - 15:00
PADL
On Bridging Prolog and Python to Enhance an Inductive Logic Programming ...
15:00 - 15:30
PADL
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embe ...
16:00 - 16:30
PADL
Checking Concurrency Coding Rules
16:30 - 17:00
PADL
Can Logic Programming Be Liberated from Predicates and Backtracking? (L ...
17:00 - 17:10
PADL
Logic Programming with Extensible Types (Lightning talk)
17:10 - 17:20

:
: