Faculty of Informatics
Logo USI
Tools
Info for
Italiano

About

Study

Research

Practicalities

News and events

Events
04
September
2024
04.
09.
2024

SIESTA 2024 - 4th International Software Engineering Summer School

Workshop, Conference
11
September
2024
11.
09.
2024

Bernoulli Society Worskhop - Innovation in dynamic network modelling

Workshop
17
September
2024
17.
09.
2024

ICANN 2024 - The 33rd International Conference on Artificial Neural Networks

Conference
09
October
2024
09.
10.
2024

A Lugano la 13. edizione della DACH+ Energy Informatics Conference

Conference
28
November
2024
28.
11.
2024

6th Swiss SCOSTEP workshop

Workshop
10
May
2025
10.
05.
2025

XXIX Dies academicus

Home / News and events / Events / Events archive

Events archive

Current events

05
May
2023
05.
05.
2023

Un'introduzione alla scienza esatta ellenistica

Bachelor Info Day, get to know USI in half a day

04
May
2023
04.
05.
2023

Research Code as Infrastructure (RCaI)

02
May
2023
02.
05.
2023

Approximate Bayesian inference based on dense matrices using INLA

27
April
2023
27.
04.
2023

What about Web APIs versioning?

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

Effective and flexible SMT-streamlined software model checking

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

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

Pages

Faculty of Informatics
Università della Svizzera italiana
Via Buffi 13
6900 Lugano, Svizzera
tel +41 58 666 46 90
e-mail [email protected]
Other contacts Feedback on the website

Directions

Stay in touch

© Università della Svizzera italiana
swissuniversities.ch