Informatics seminar on Friday, June 15 at 09.30 - Roberto Bruttomesso
Staff - Faculty of Informatics
Start date: 15 June 2007
End date: 16 June 2007
The Faculty of Informatics is pleased to announce a seminar given by Roberto Bruttomesso
TITLE: SMT and its application to bit-vector verification
SPEAKER: Roberto Bruttomesso, ETH Zurich
DATE: Friday, June 15, 2007
PLACE: USI Lugano, Room SI - 008, Informatics Building (Via G. Buffi 13)
TIME: 09.30-10.30
ABSTRACT and more info: http://www.inf.unisi.ch/read_on.php?id=57
HOST: Prof. Natasha Sharygina
