Lemma Generation for Horn Clause Satisfiability: A Preliminary Study (VPT 2019 - )

Mon 1 - Thu 4 April 2019 Genoa, Italy

Who

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

Track

VPT 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 2 Apr 2019 12:00 - 12:30 at Verdi - Session 2

Emanuele De Angelis

University of Chieti-Pescara

Italy

Fabio Fioravanti

University of Chieti-Pescara

Italy

Alberto Pettorossi

University of Rome Tor Vergata, Italy

Maurizio Proietti

CNR-IASI

Italy

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	Session 2VPT at Verdi

11:00 60m Talk		Validation of Internet of Things FrameworksVPT Invited Talk VPT Giorgio Delzanno DIBRIS, University of Genova
12:00 30m Talk		Lemma Generation for Horn Clause Satisfiability: A Preliminary Study VPT Emanuele De Angelis University of Chieti-Pescara, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI