Faculty of Informatics
Logo USI
Tools
Info for
Italiano

About

Study

Research

Practicalities

News and events

Events
22
May
2024
22.
05.
2024

On computable numbers, with an application to the Druckproblem

Seminars
25
May
2024
25.
05.
2024

Open Day on 25 May 2024

27
May
2024
27.
05.
2024

USI Graduation Ceremony

29
May
2024
29.
05.
2024

Spring Semester Project Presentations

25
June
2024
25.
06.
2024

Satellite workshop to International Society for Bayesian Analysis (ISBA) world meeting

10
May
2025
10.
05.
2025

XXIX Dies academicus

Home / News and events / Events / Events archive

Events archive

Current events

20
April
2023
20.
04.
2023

Mutation Testing of Deep Learning Systems

18
April
2023
18.
04.
2023

History of protocol design and quality assurance in Cosmos

17
April
2023
17.
04.
2023

Master Online Q&A

06
April
2023
06.
04.
2023

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

Effective and flexible SMT-streamlined software model checking

30
March
2023
30.
03.
2023

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

28
March
2023
28.
03.
2023

Empirical Assessment and System Level Integration of Neural Network Supervisors

23
March
2023
23.
03.
2023

On Reviewers' Regrets and Negative Results

22
March
2023
22.
03.
2023

Regular Model Checking Revisited

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

21
March
2023
21.
03.
2023

Effective Automated Software Verification: A Multilayered Approach

20
March
2023
20.
03.
2023

Overview of formal method tools from Microsoft Research

17
March
2023
17.
03.
2023

Make VR great again

Master Info Day

16
March
2023
16.
03.
2023

The CakeML Project: Chasing End-to-End Correctness, Verified Compilation and Applications

15
March
2023
15.
03.
2023

Experimental Study on Cyberbullying Detection in Social Network: A comparison between Machine Learning and Transfer Learning Techniques

13
March
2023
13.
03.
2023

Bachelor Ministage: get to know USI in two days

Adaptive maximization of social welfare in theory and practice

09
March
2023
09.
03.
2023

Teaching problem decomposition with graphics

02
March
2023
02.
03.
2023

The bright future between immutability and aliasing restrictions

Pages

Faculty of Informatics
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]
Other contacts Feedback on the website

Directions

Stay in touch

© Università della Svizzera italiana
swissuniversities.ch