Foundations of Trustworthy AI for the Real World
Sound Notional Machines
Automated Verification of Blockchain Technologies with Correctness Guarantees
XXVIII Dies academicus
Current events
Operations Research in Trasportation and Logistics: a half-day seminar at IDSIA
All'USI la 15a conferenza internazionale di Smalltalk
Informatics seminar on Wednesday , August 29, Paul Groth
Informatics seminar on Monday,August 20th at 16.00 - Richard Bache
USI-CMU Summer School on Dependable Computer Systems
Informatics seminar on Tuesday, July 10 at 11.00 - Damien Pollet
Informatics seminar on Monday, July 9 at 11.00 - Robert Gwadera
Informatics seminar on Tuesday, July 3 at 11.00 - Lorenz Froihofer
Informatics seminar on Monday, July 2 at 15.00 - Mark Carman
Informatics seminar on Friday, June 15 at 09.30 - Roberto Bruttomesso
Talks@IDSIA: integrating local decision support for global decision-making
Informatics Seminar on Tuesday, June 12 at 14.00 - Alex Villazon
Informatics seminar on Friday, June 8 at 16.00 - Andreas Zeller
Informatics Seminar on Tuesday, June 5 at 16.00 - Miron Livny
Informatics Seminar on Wednesday May 30 at 09.30 - Beat Signer
Informatics seminar on Thursday, May 3 at 16.00 - Michael Fischer
Informatics Seminar on Thursday, April 19 at 09.30 - Sandro Etalle
Informatics seminar on Monday, April 16 at 13.30 - Evanthia Papadopoulou
Informatics Seminar on Wednesday,April 4 at 09.30 - Gao Cong
Informatica moderna e mondo del lavoro - Conferenza Pubblica