Informatics seminar on Friday, June 15 at 09.30 - Roberto Bruttomesso

Decanato - Facoltà di scienze informatiche

Data d'inizio: 15 Giugno 2007

Data di fine: 16 Giugno 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