Facoltà di scienze informatiche
Logo USI
Strumenti
Info per
English

Facoltà

Studia con noi

Ricerca

Info pratiche

Notizie ed eventi

Eventi
25
Settembre
2023
25.
09.
2023

Foundations of Trustworthy AI for the Real World

Seminari
28
Settembre
2023
28.
09.
2023

Sound Notional Machines

Difese di tesi
09
Ottobre
2023
09.
10.
2023

Automated Verification of Blockchain Technologies with Correctness Guarantees

Difese di tesi
04
Maggio
2024
04.
05.
2024

XXVIII Dies academicus

Home / Notizie ed eventi / Eventi / Archivio eventi

Archivio eventi

Eventi correnti

24
Febbraio
2011
24.
02.
2011

Dafny: a program verifier for functional correctness, and for students

23
Febbraio
2011
23.
02.
2011

Scalable Abstractions for Efficient Security Checks

10
Febbraio
2011
10.
02.
2011

Perspectives for Large-scale Evaluation Campaigns and the Cross-Language Evaluation Forum

[OSLab] Seminario, 10/2/2011, "Hardware e Software Open Source per Sistemi Embedded"

08
Febbraio
2011
08.
02.
2011

Reducing Video Memory Consumption

31
Gennaio
2011
31.
01.
2011

Power Modeling and Simulation for Wireless Sensor Networks

28
Gennaio
2011
28.
01.
2011

Algebraic Formal Methods for Invariant Generation

19
Gennaio
2011
19.
01.
2011

Nooku Jam Lugano 2011

10
Gennaio
2011
10.
01.
2011

Processing Mesh Animations - From Static to Dynamic Geometry and Back

31
Dicembre
2010
31.
12.
2010

Riconoscimento ated-ICT Ticino award - Prize: 8'000 CHF

22
Dicembre
2010
22.
12.
2010

Fall Semester Projects Presentations - Faculty of Informatics

14
Dicembre
2010
14.
12.
2010

Pen and Paper Everywhere

10
Dicembre
2010
10.
12.
2010

What influences developer to request information about a change?

07
Dicembre
2010
07.
12.
2010

The Lattice Boltzmann method and its application to biomedical problems

06
Dicembre
2010
06.
12.
2010

Diffusion bases and their applications

30
Novembre
2010
30.
11.
2010

Semantic Document Architecture for Desktop Data Integration and Management

24
Novembre
2010
24.
11.
2010

Challenges in Embedded System Design

22
Novembre
2010
22.
11.
2010

From Adaptive Goals to Self-adaptive Service Compositions

16
Novembre
2010
16.
11.
2010

Cerimonia di consegna dei diplomi della Facoltà di Scienze informatiche - Degree award ceremony of the Faculty of Informatics

05
Novembre
2010
05.
11.
2010

Software Architect: Top Best Job in America 2010

Pages

Facoltà di scienze informatiche
Università della Svizzera italiana
Via Buffi 13
6900 Lugano, Svizzera
tel +41 58 666 46 90
fax +41 58 666 45 36
e-mail [email protected]
Altri contatti Feedback sul sito

Indicazioni

Resta in contatto

© Università della Svizzera italiana
swissuniversities.ch