Facoltà di scienze informatiche
Logo USI
Strumenti
Info per
English

Facoltà

Studia con noi

Ricerca

Info pratiche

Notizie ed eventi

Eventi
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
08
Maggio
2024
08.
05.
2024

Business Ideas 2024

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

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

21
Marzo
2023
21.
03.
2023

Effective Automated Software Verification: A Multilayered Approach

20
Marzo
2023
20.
03.
2023

Overview of formal method tools from Microsoft Research

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