Multiple Query Satisfiability of Constrained Horn Clauses (PADL 2023 - : The 25th International Symposium on Practical Aspects of Declarative Languages)

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Who

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Track

PADL 2023

Time Zone

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

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

When

Tue 17 Jan 2023 15:00 - 15:30 at The Loft - Verification Chair(s): Linda Brodo

Emanuele De Angelis

CNR-IASI

Italy

Fabio Fioravanti

University of Chieti-Pescara

Italy

Alberto Pettorossi

University of Rome Tor Vergata, Italy

Italy

Maurizio Proietti

CNR-IASI

Italy

Time Zone

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

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

Tue 17 Jan
Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30	VerificationPADL at The Loft Chair(s): Linda Brodo Università di Sassari

14:00 30m Talk		Execution Time Program Verification With Tight Bounds PADL Ana Carolina Silva FCUP, Manuel Barbosa HASLab - INESC TEC and FCUP, Mario Florido Universidade do Porto
14:30 30m Talk		From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting PADL Misaki Kojima Nagoya University, Naoki Nishida Nagoya University DOI File Attached
15:00 30m Talk		Multiple Query Satisfiability of Constrained Horn Clauses PADL Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI