Seminars at the Faculty of Informatics

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:

HOST: Prof. Natasha Sharygina

URL 1: