Break: Ask Me Anything (LPOP 2020 - Logic and Practice of Programming (LPOP) 2020) - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Who

Manuel Hermenegildo, Martin Gebser

Track

Time Zone

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

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

When

Sun 15 Nov 2020 14:15 - 14:25 at SPLASH-IV - 13:05-- Logic and Implementation Tractability Chair(s): Y. Annie Liu

Manuel Hermenegildo

IMDEA Software Institute and T.U. of Madrid

Spain

Martin GebserChair

University of Klagenfurt, Austria

Austria

Time Zone

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

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

Session Program

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

	13:00 - 14:20	13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV Chair(s): Y. Annie Liu Stony Brook University

	13:05 40m Talk		Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms LPOP I: Adnan Darwiche UCLA
	13:45 30m Live Q&A		Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? LPOP Stuart Russell University of California, Berkeley, Paul Tarau University of North Texas, Adnan Darwiche UCLA, C: David Warren Stony Brook University
	14:15 10m Break		Break: Ask Me Anything LPOP Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid, C: Martin Gebser University of Klagenfurt, Austria