Facoltà di scienze informatiche
Logo USI
Strumenti
Info per
English

Facoltà

Studia con noi

Ricerca

Info pratiche

Notizie ed eventi

Eventi
09
Ottobre
2023
09.
10.
2023

Automated Verification of Blockchain Technologies with Correctness Guarantees

Difese di tesi
10
Ottobre
2023
10.
10.
2023

Informatics and computational thinking, cross-skills in school

Seminari
04
Maggio
2024
04.
05.
2024

XXVIII Dies academicus

Home / Notizie ed eventi / Eventi / Archivio eventi

Archivio eventi

Eventi correnti

15
Maggio
2023
15.
05.
2023

Master Meetings - Semestre primaverile 2023

Cerimonia dei diplomi USI

11
Maggio
2023
11.
05.
2023

ByteBack: Deductive Functional Verification of Bytecode programs

09
Maggio
2023
09.
05.
2023

AI and the Rights of the Child: identifying knowledge gaps, requirements and methods needed for a respectful technology

06
Maggio
2023
06.
05.
2023

XXVII Dies academicus

05
Maggio
2023
05.
05.
2023

Un'introduzione alla scienza esatta ellenistica

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

04
Maggio
2023
04.
05.
2023

Research Code as Infrastructure (RCaI)

02
Maggio
2023
02.
05.
2023

Approximate Bayesian inference based on dense matrices using INLA

27
Aprile
2023
27.
04.
2023

What about Web APIs versioning?

20
Aprile
2023
20.
04.
2023

Mutation Testing of Deep Learning Systems

18
Aprile
2023
18.
04.
2023

History of protocol design and quality assurance in Cosmos

17
Aprile
2023
17.
04.
2023

Master Online Q&A

06
Aprile
2023
06.
04.
2023

Effective and flexible SMT-streamlined software model checking

Mind, consciousness and ChatGPT: can ChatGPT impute unobservable mental states to others?

30
Marzo
2023
30.
03.
2023

Exploring the Dual Nature of Code Review: Implications for Investigative Methods and Tool Development

28
Marzo
2023
28.
03.
2023

Empirical Assessment and System Level Integration of Neural Network Supervisors

23
Marzo
2023
23.
03.
2023

On Reviewers' Regrets and Negative Results

22
Marzo
2023
22.
03.
2023

Regular Model Checking Revisited

On Learning- and Optimization-based Methods for Risk-Averse Control of Autonomous Systems

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