Duck, Duck Goose - PLMW @ POPL 2025

VenueCurtis Hotel Denver

Room nameDuck, Duck Goose

Floor3

Capacity60

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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: German Vidal

09:00 60m Keynote		Solvers, unite! A simple unified semantics for reasoning with assurance and agreement PADL Y. Annie Liu Stony Brook University
10:00 30m Talk		Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination PADL Kento Takyu Waseda University, Kazunori Ueda Waseda University

11:00 - 12:30	Session 2PADL at Duck, Duck Goose Chair: Michael Hanus

11:00 30m Talk		Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System PADL Jim Newton EPITA / LRDE 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
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

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: Vitor Santos Costa

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

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

09:00 - 10:30	Session 5PADL at Duck, Duck Goose Chair: Esra Erdem

09:00 60m Keynote		Bridging Safety and Performance PADL Umut A. Acar Carnegie Mellon University
10:00 30m Talk		SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic PADL Zachary Hansen University of Nebraska Omaha, Yuliya Lierler University of Nebraska

11:00 - 12:30	Session 6PADL at Duck, Duck Goose

11:00 30m Talk		ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia PADL Daniela Inclezan Miami University, USA, Hunter Lockwood Myaamia Center & Miami University, Anita Baral Miami University, Jitendra Sharma Miami University, Pratiksha Shrestha Miami University
11:30 30m Talk		A Weighted Bipolar Argumentation Framework and its ASP-based Implementation PADL Yan Yan Southeast University, Nanjing, Junru Li Southeast University, Nanjing, Fangzhou Liu Southeast University, Nanjing, Zerong Wang Southeast University, Nanjing, Zhizheng Zhang Southeast University, Nanjing
12:00 30m Talk		Automated Playing of Survival Video Games with Commonsense Reasoning (short paper) PADL Dan Nguyen University of Texas at Dallas, USA, Bryant Hargreaves University of Texas at Dallas, USA, Keegan Kimbrell University of Texas at Dallas, USA, Gopal Gupta

14:00 - 15:30	Session 7PADL at Duck, Duck Goose Chair: Daniela Inclezan

14:00 30m Talk		Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach PADL Fang Li Oklahoma Christian University, Fei Zuo University of Central Oklahoma, Gopal Gupta
14:30 30m Talk		Leveraging LLM Reasoning with Dual Horn Programs PADL Paul Tarau University of North Texas
15:00 30m Talk		Enhancing network diagnosis with reflection in Prolog (extended abstract) PADL Anduo Wang Temple University, USA Pre-print

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

12:00 - 13:20	PLMW Steering Committee LunchPOPL Catering at Duck, Duck Goose

12:00 80m Lunch		PLMW Steering Committee Lunch POPL Catering

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

12:00 - 13:20	LGBTQ+ LunchPOPL Catering at Duck, Duck Goose

12:00 80m Lunch		LGBTQ+ Lunch POPL Catering

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

12:00 - 13:20	URM LunchPOPL Catering at Duck, Duck Goose

12:00 80m Lunch		URM Lunch POPL Catering

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

09:00 - 10:30	Session 1WITS at Duck, Duck Goose

09:00 60m Keynote		Invited Talk WITS Richard A. Eisenberg Jane Street
10:00 30m Talk		Towards Generic Higher-Order Unification Implementations in HaskellRemote WITS Nikolai Kudasov Innopolis University, Artem Starikov Innopolis University, Fedor Ivanov Innopolis University, Damir Alfiatonov Innopolis University File Attached

11:00 - 12:30	Session 2WITS at Duck, Duck Goose

11:00 30m Talk		Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract SyntaxRemote WITS Nikolai Kudasov Innopolis University, Anastasia Smirnova Innopolis University, Vladislav Deryabkin Innopolis University, Diana Tomilovskaia Innopolis University, Ekaterina Maksimova Innopolis University File Attached
11:30 30m Talk		McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory WITS Junyoung Jang McGill University, Jason Z.S. Hu Amazon Web Services, USA, Antoine Gaulin McGill University, Brigitte Pientka McGill University Pre-print File Attached
12:00 30m Talk		Eta conversion for the unit type (is still not that simple)Remote WITS András Kovács University of Gothenburg and Chalmers University of Technology File Attached

14:00 - 15:30	Session 3WITS at Duck, Duck Goose

14:00 30m Other		Collaboration Time 1 WITS
14:30 30m Talk		Semantic Analysis of Normalisation for Directional Logic ProgrammingRemote WITS Vikraman Choudhury Università di Bologna & Inria OLAS, Neel Krishnaswami University of Cambridge, Ariadne Si Suo University of Cambridge File Attached
15:00 30m Talk		Formalizing locally nameless syntax with cofinite quantification WITS Elif Uskuplu Indiana University, Bloomington File Attached

16:00 - 17:30	Session 4WITS at Duck, Duck Goose

16:00 30m Other		Collaboration Time 2 WITS
16:30 30m Talk		Incremental Bidirectional Typing via Order Maintenance WITS Thomas J. Porter University of Michigan, Marisa Kirisame University of Utah, Liam Mulcahy University of Michigan, Pavel Panchekha University of Utah, Cyrus Omar University of Michigan File Attached
17:00 30m Other		Closing WITS

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Duck, Duck Goose	PADL Session 1																								PADL Session 2																																				PADL Session 3																								PADL Session 4

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Duck, Duck Goose	PADL Session 5																								PADL Session 6																																				PADL Session 7																								PADL

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


Room	12:00						30						13:00						30
Duck, Duck Goose	POPL Catering PLMW Steering Committee Lunch

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


Room	12:00						30						13:00						30
Duck, Duck Goose	POPL Catering LGBTQ+ Lunch

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


Room	12:00						30						13:00						30
Duck, Duck Goose	POPL Catering URM Lunch

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Duck, Duck Goose	WITS Session 1																								WITS Session 2																																				WITS Session 3																								WITS Session 4

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Duck, Duck Goose	PADL Solvers, unite! A simple unified semantics for reasoning with assurance ... 09:00 - 10:00												PADL 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

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Duck, Duck Goose	PADL Bridging Safety and Performance 09:00 - 10:00												PADL SM-based Semantics for Answer Set Programs Containing Conditional Liter ... 10:00 - 10:30												PADL ASP for Language Documentation and Reclamation: A Derivational Stemming ... 11:00 - 11:30						PADL A Weighted Bipolar Argumentation Framework and its ASP-based Implementation 11:30 - 12:00						PADL Automated Playing of Survival Video Games with Commonsense Reasoning (s ... 12:00 - 12:30																								PADL Exploring Answer Set Programming for Provenance Graph-Based Cyber Threa ... 14:00 - 14:30						PADL Leveraging LLM Reasoning with Dual Horn Programs 14:30 - 15:00						PADL Enhancing network diagnosis with reflection in Prolog (extended abstract) 15:00 - 15:30

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


Room	12:00			15			30			45			13:00			15			30			45
Duck, Duck Goose	POPL Catering PLMW Steering Committee Lunch 12:00 - 13:20

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


Room	12:00			15			30			45			13:00			15			30			45
Duck, Duck Goose	POPL Catering LGBTQ+ Lunch 12:00 - 13:20

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


Room	12:00			15			30			45			13:00			15			30			45
Duck, Duck Goose	POPL Catering URM Lunch 12:00 - 13:20

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Duck, Duck Goose	WITS Invited Talk 09:00 - 10:00												WITSRemote Towards Generic Higher-Order Unification Implementations in Haskell 10:00 - 10:30												WITSRemote Towards Generic Type Checking Implementations in Haskell via Second-Ord ... 11:00 - 11:30						WITS McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef ... 11:30 - 12:00						WITSRemote Eta conversion for the unit type (is still not that simple) 12:00 - 12:30																								WITS Collaboration Time 1 14:00 - 14:30						WITSRemote Semantic Analysis of Normalisation for Directional Logic Programming 14:30 - 15:00						WITS Formalizing locally nameless syntax with cofinite quantification 15:00 - 15:30												WITS Collaboration Time 2 16:00 - 16:30						WITS Incremental Bidirectional Typing via Order Maintenance 16:30 - 17:00						WITS Closing 17:00 - 17:30

Room information: Duck, Duck Goose

This program is tentative and subject to change.

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

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

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

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

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

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

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

PADL

PADL

PADL

PADL

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

PADL

PADL

PADL

PADL

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

POPL Catering

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

POPL Catering

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

POPL Catering

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

WITS

WITS

WITS

WITS

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

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

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

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

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

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

Tracks

Room information: Duck, Duck Goose

This program is tentative and subject to change.

Program Display Configuration

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change

Wed 22 JanDisplayed time zone: Mountain Time (US & Canada) change

Thu 23 JanDisplayed time zone: Mountain Time (US & Canada) change

Fri 24 JanDisplayed time zone: Mountain Time (US & Canada) change

Sat 25 JanDisplayed time zone: Mountain Time (US & Canada) change

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

PADL

PADL

PADL

PADL

Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change

PADL

PADL

PADL

PADL

Wed 22 JanDisplayed time zone: Mountain Time (US & Canada) change

POPL Catering

Thu 23 JanDisplayed time zone: Mountain Time (US & Canada) change

POPL Catering

Fri 24 JanDisplayed time zone: Mountain Time (US & Canada) change

POPL Catering

Sat 25 JanDisplayed time zone: Mountain Time (US & Canada) change

WITS

WITS

WITS

WITS

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change

Wed 22 JanDisplayed time zone: Mountain Time (US & Canada) change

Thu 23 JanDisplayed time zone: Mountain Time (US & Canada) change

Fri 24 JanDisplayed time zone: Mountain Time (US & Canada) change

Sat 25 JanDisplayed time zone: Mountain Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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