Facoltà di scienze informatiche
Logo USI
Strumenti
Info per
English

Facoltà

Studia con noi

Ricerca

Info pratiche

Notizie ed eventi

Eventi
Ottobre
2020

Parallelization and modelling techniques for scalable SMT-based verification

Difese di tesi
Ottobre
2020

Less is more: efficient hardware design through Approximate Logic Synthesis

Difese di tesi
Novembre
2020

16th International Conference on integrated Formal Methods (iFM 2020)

Maggio
2021

Dies academicus 2021

Home / Notizie ed eventi / Eventi

Eventi

Archivio eventi

Ottobre
2020

Parallelization and modelling techniques for scalable SMT-based verification

Difese di tesi
Ottobre
2020

Less is more: efficient hardware design through Approximate Logic Synthesis

Difese di tesi
Novembre
2020

16th International Conference on integrated Formal Methods (iFM 2020)

Maggio
2021

Dies academicus 2021

Facoltà di scienze informatiche
Università della Svizzera italiana
Via Buffi 13
6900 Lugano, Svizzera
tel +41 58 666 46 90
fax +41 58 666 46 47
e-mail decanato.inf@usi.ch
Altri contatti Feedback sul sito

Indicazioni

Resta in contatto

© Università della Svizzera italiana
swissuniversities.ch