Facoltà di scienze informatiche
Logo USI
Strumenti
Info per
English

Facoltà

Studia con noi

Ricerca

Info pratiche

Notizie ed eventi

Eventi
25
Aprile
2024
25.
04.
2024

Neuro-Symbolic AI for Developing, Testing and Consuming Web APIs: An AMBIZIONE Project Proposal

Seminari
30
Aprile
2024
30.
04.
2024

Quo vadis education in the era of automation

Seminari
03
Maggio
2024
03.
05.
2024

Hazard Detection for Robotic Applications as Visual Anomaly Detection

Difese di tesi
04
Maggio
2024
04.
05.
2024

XXVIII Dies academicus

06
Maggio
2024
06.
05.
2024

CTL* Verification and Synthesis using Existential Horn Clauses

Seminari
15
Maggio
2024
15.
05.
2024

Exploring the Usage of Pre-trained Models for Code-Related Tasks

Difese di tesi
17
Maggio
2024
17.
05.
2024

Bachelor Info Day, un'occasione per conoscere l'USI

25
Maggio
2024
25.
05.
2024

Porte aperte il 25 maggio 2024

Home / Notizie ed eventi / Eventi / Archivio eventi

Archivio eventi

Eventi correnti

24
Novembre
2016
24.
11.
2016

From Distributed Programming to Big Data Analytics

17
Novembre
2016
17.
11.
2016

On the Key Role Intelligence Agencies can play to Restore our Democratic Institutions

08
Novembre
2016
08.
11.
2016

Data relevance in pharmaceutical industry

03
Novembre
2016
03.
11.
2016

Inference and learning in Bayesian Networks

28
Ottobre
2016
28.
10.
2016

Solving Non-Linear Arithmetic: a Numerical Alternative

DynIBEX: a Differential Constraint Library for Studying Dynamical Systems

25
Ottobre
2016
25.
10.
2016

Software Redundancy: What, Where, How

24
Ottobre
2016
24.
10.
2016

Mobile Sensing Unleashed: Autonomous Drones at Your Service

Soft Computing in Cryptography

21
Ottobre
2016
21.
10.
2016

Cerimonia di consegna dei diplomi - Degree award ceremony

20
Ottobre
2016
20.
10.
2016

The Cross-Entropy based Testing

Witnessing existential quantifiers with AE-VAL

18
Ottobre
2016
18.
10.
2016

Computer modeling and simulation of natural phenomena

13
Ottobre
2016
13.
10.
2016

The Art of Consistent SDN Updates

12
Ottobre
2016
12.
10.
2016

Hardware Trojans: An Emerging Threat for the Internet of Things

07
Ottobre
2016
07.
10.
2016

Voltage-Gated Channel Channelopathies: Small defects with fatal consequences

06
Ottobre
2016
06.
10.
2016

Algorithmic Logic-Based Verification with SeaHorn

Blockchains and Their Limits

04
Ottobre
2016
04.
10.
2016

Tackling sampling and accuracy issues in biomolecular simulations

19
Settembre
2016
19.
09.
2016

Computing the solution sets of nonlinear equations

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