Towards a Certified Proof Checker for Deep Neural Network Verification (LOPSTR 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz, Ekaterina Komandantskaya

Track

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

Mon 23 Oct 2023 12:10 - 12:30 at Room VII - Session I Chair(s): Santiago Escobar, Robert Glück

Remi Desmartin

Heriot-Watt University

Omri Isac

The Hebrew University of Jerusalem

Grant Passmore

Imandra Inc.

Kathrin Stark

Heriot-Watt University

United Kingdom

Guy Katz

Hebrew University

Israel

Ekaterina Komandantskaya

Heriot-Watt University, UK

United Kingdom

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

Mon 23 Oct
Displayed time zone: Lisbon change

	11:00 - 12:30	Session ILOPSTR at Room VII Chair(s): Santiago Escobar , Robert Glück University of Copenhagen

	11:00 10m Day opening		Opening Remarks LOPSTR Robert Glück University of Copenhagen
	11:10 60m Keynote		Unification Modulo Equational Theories in Languages with Binding Operators Keynote LOPSTR Maribel Fernandez King's College London
	12:10 20m Short-paper		Towards a Certified Proof Checker for Deep Neural Network Verification LOPSTR Remi Desmartin Heriot-Watt University, Omri Isac The Hebrew University of Jerusalem, Grant Passmore Imandra Inc., Kathrin Stark Heriot-Watt University, Guy Katz Hebrew University, Ekaterina Komandantskaya Heriot-Watt University, UK