Eventi
15
Settembre
2022
15.
09.
2022
29
Settembre
2022
29.
09.
2022
06
Ottobre
2022
06.
10.
2022
13
Ottobre
2022
13.
10.
2022
20
Ottobre
2022
20.
10.
2022
27
Ottobre
2022
27.
10.
2022

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