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

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