Faculty of Informatics
Logo USI
Tools
Info for
Italiano

About

Study

Research

Practicalities

News and events

Events
30
April
2024
30.
04.
2024

Quo vadis education in the era of automation

Seminars
03
May
2024
03.
05.
2024

Cryptocurrency vs. consensus

Seminars

Hazard Detection for Robotic Applications as Visual Anomaly Detection

Defenses
04
May
2024
04.
05.
2024

XXVIII Dies academicus

06
May
2024
06.
05.
2024

CTL* Verification and Synthesis using Existential Horn Clauses

Seminars
08
May
2024
08.
05.
2024

Business Ideas 2024

10
May
2024
10.
05.
2024

Workshop of the International Center for Advanced Computing in Medicine (ICAM)

Workshop
15
May
2024
15.
05.
2024

Exploring the Usage of Pre-trained Models for Code-Related Tasks

Defenses
Home / News and events / Events / Events archive

Events archive

Current events

13
April
2018
13.
04.
2018

OntoGene/BioMeXt: Information Extraction for the Life Sciences

09
April
2018
09.
04.
2018

Bioresorbable polymers for medical devices: a perspective on multiscale modeling

16
March
2018
16.
03.
2018

Reusing Solutions Modulo Theories

15
March
2018
15.
03.
2018

VIX, Crypto, Blockchain, Futures and/or Options: Could these be considered by a prudent investor?

14
March
2018
14.
03.
2018

Counting 2-level polytopes

Homomorphisms and generalisations seen from both sides

Some high-degree integrality gap results for the Sum of Squares hierarchy

22
February
2018
22.
02.
2018

Meltdown, Spectre, and the hidden side of a computer's processor

Penalising model component complexity: A principled practical approach to constructing priors

05
February
2018
05.
02.
2018

Efficient Tree-Based Content-Based Routing Schemes

01
February
2018
01.
02.
2018

New Architectures for Very Deep Learning

30
January
2018
30.
01.
2018

(*Really*) Practical Byzantine Fault Tolerance and its application to the Hyperledger Fabric Blockchain

29
January
2018
29.
01.
2018

Building global and scalable systems with Atomic Multicast

23
January
2018
23.
01.
2018

Automatic Generation of Test Oracles

IDCOLAB: An Interactive and Dynamic Collaborative Labeling Framework

18
January
2018
18.
01.
2018

Subdivision schemes for curve design and image analysis

21
December
2017
21.
12.
2017

Fall Semester Project Presentations 2017

19
December
2017
19.
12.
2017

Likelihood Approximation With Hierarchical Matrices For Large Spatial Datase

13
December
2017
13.
12.
2017

HiFrog: SMT-based Model Checker for Software Verification

Collaborative Missions with Heterogeneous Networked Teams

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