Panel: Programming with logic for the masses (PADL 2020 - The 22nd International Symposium on Practical Aspects of Declarative Languages)

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

Who

Nikolaj Bjørner, Paul Tarau, Eduardo Blanco, Kinjal Basu, Farhad Shakerin, Gopal Gupta, Alex Brik, Jeffrey Xu, Vinh The Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang

Track

PADL 2020

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

Save

When

Mon 20 Jan 2020 11:25 - 12:00 at Bacchus - Answer Set Programming Systems Chair(s): Neng-Fa Zhou

Nikolaj Bjørner

Microsoft Research

United States

Paul Tarau

University of North Texas

United States

Eduardo Blanco

Kinjal Basu

Farhad Shakerin

Gopal Gupta

Alex Brik

Jeffrey Xu

UCLA

Vinh The Nguyen

Texas Tech University

United States

Yuanlin Zhang

Kwanghee Jung

Wanli Xing

Tommy Dang

Texas Tech University

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

Display full programSpecify a time band

Save

Session Program

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

10:30 - 12:00	Answer Set Programming SystemsPADL at Bacchus Chair(s): Neng-Fa Zhou CUNY Brooklyn College and Graduate Center

10:30 25m Talk		AQuA: ASP-based Visual Question Answering PADL Kinjal Basu , Farhad Shakerin , Gopal Gupta
10:55 15m Short-paper		Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report PADL Alex Brik , Jeffrey Xu UCLA
11:10 15m Short-paper		VRASP: A Virtual Reality Environment for Learning Answer Set Programming PADL Vinh The Nguyen Texas Tech University, Yuanlin Zhang , Kwanghee Jung , Wanli Xing , Tommy Dang Texas Tech University
11:25 35m Other		Panel: Programming with logic for the masses PADL Nikolaj Bjørner Microsoft Research, Paul Tarau University of North Texas, Eduardo Blanco , Kinjal Basu , Farhad Shakerin , Gopal Gupta , Alex Brik , Jeffrey Xu UCLA, Vinh The Nguyen Texas Tech University, Yuanlin Zhang , Kwanghee Jung , Wanli Xing , Tommy Dang Texas Tech University