Panel: Reasoning for machine learning at large (PADL 2020 - The 22nd International Symposium on Practical Aspects of Declarative Languages) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Adnan Darwiche, Johannes K. Fichte, Markus Hecher, Patrick Thier, Stefan Woltran, Farhad Shakerin, Gopal Gupta, Martin Erwig, Prashant Kumar, Alan Fern, Johannes Eriksson, Masoumeh Parsa, Ramy Shahin, Marsha Chechik

Track

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

When

Tue 21 Jan 2020 11:35 - 12:00 at Bacchus - Small Languages and Implementation Chair(s): James Cheney

Adnan Darwiche

UCLA

Johannes K. Fichte

TU Dresden

Germany

Markus Hecher

Patrick Thier

Stefan Woltran

Farhad Shakerin

Gopal Gupta

Martin Erwig

Oregon State University

United States

Prashant Kumar

Alan Fern

Johannes Eriksson

Masoumeh Parsa

Ramy Shahin

Marsha Chechik

University of Toronto

Canada

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Session Program

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change

	10:30 - 12:00	Small Languages and ImplementationPADL at Bacchus Chair(s): James Cheney University of Edinburgh, UK

	10:30 25m Talk		Explanations for Dynamic Programming PADL Martin Erwig Oregon State University, Prashant Kumar , Alan Fern
	10:55 25m Talk		A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams PADL Johannes Eriksson , Masoumeh Parsa
	11:20 15m Short-paper		Variability-aware Datalog PADL Ramy Shahin , Marsha Chechik University of Toronto
	11:35 25m Other		Panel: Reasoning for machine learning at large PADL Adnan Darwiche UCLA, Johannes K. Fichte TU Dresden, Markus Hecher , Patrick Thier , Stefan Woltran , Farhad Shakerin , Gopal Gupta , Martin Erwig Oregon State University, Prashant Kumar , Alan Fern , Johannes Eriksson , Masoumeh Parsa , Ramy Shahin , Marsha Chechik University of Toronto