Faculty of Informatics
Logo USI
Tools
Info for
Italiano

About

Study

Research

Practicalities

News and events

Events
06
April
2023
06.
04.
2023

Effective and flexible SMT-streamlined software model checking

Defenses
02
May
2023
02.
05.
2023

Approximate Bayesian inference based on dense matrices using INLA

Seminars
05
May
2023
05.
05.
2023

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

06
May
2023
06.
05.
2023

XXVII Dies academicus

Home / News and events / Events / Events archive

Events archive

Current events

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

Adaptive maximization of social welfare in theory and practice

Bachelor Ministage: get to know USI in two days

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

21
February
2023
21.
02.
2023

Algebraic and Humble Programming

A Sparsified Online Newton Method for Training Large Neural Networks

Learning and clustering graphs from high dimensional data

14
February
2023
14.
02.
2023

Biomolecular NMR: from sample preparation to 3D structure

08
February
2023
08.
02.
2023

TIME-X Parallel-in-Time Application Hackathon

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