Facoltà di scienze informatiche
Logo USI
English

Archivio eventi

Eventi correnti

16
maggio
2023
16.
05.
2023

On the Understandability of Security Tactics for Microservice APIs

15
maggio
2023
15.
05.
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

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

Pages