Faculty of Informatics
Logo USI
Italiano

Events archive

Current events

22
May
2023
22.
05.
2023

Fast Weight Programmers for Greater Systematic Generalisation in Language

16
May
2023
16.
05.
2023

On the Understandability of Security Tactics for Microservice APIs

15
May
2023
15.
05.
2023

USI Graduation Ceremony

11
May
2023
11.
05.
2023

ByteBack: Deductive Functional Verification of Bytecode programs

09
May
2023
09.
05.
2023

AI and the Rights of the Child: identifying knowledge gaps, requirements and methods needed for a respectful technology

06
May
2023
06.
05.
2023

XXVII Dies academicus

05
May
2023
05.
05.
2023

Un'introduzione alla scienza esatta ellenistica

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

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

Pages