‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Tue 2 Apr 2019 12:00 - 12:30 at Verdi - Session 2

Tue 2 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Session 2VPT at Verdi
11:00 - 12:00
Talk
Validation of Internet of Things FrameworksVPT Invited Talk
VPT
Giorgio DelzannoDIBRIS, University of Genova
12:00 - 12:30
Talk
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
VPT
Emanuele De AngelisUniversity of Chieti-Pescara, Fabio FioravantiUniversity of Chieti-Pescara, Alberto PettorossiUniversity of Rome Tor Vergata, Italy, Maurizio ProiettiCNR-IASI