Neuro-Symbolic AI for Developing, Testing and Consuming Web APIs: An AMBIZIONE Project Proposal
Quo vadis education in the era of automation
Hazard Detection for Robotic Applications as Visual Anomaly Detection
XXVIII Dies academicus
CTL* Verification and Synthesis using Existential Horn Clauses
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, get to know USI in half a day
Open Day on 25 May 2024
Current events
1st International EUGAIN Summer Training School (EUGAIN-STS 2022)
CSF Workshop on Generalized Barycentric Coordinates in Computer Graphics and Computational Mechanics
Human Computer Interaction (HCI) - Retrospective and Perspective
Stabilizing DG methods on polygonal meshes via computable dual norms
Automated Reasoning with Neuro-Symbolic Learning
High-performance computations of multiphase flows
SI Seminar by Valerie Burgener
Geometric problems in higher dimensions: Voronoi diagrams, the Fermat point, and the bichromatic discrepancy
Supercomputing, Cloud and Edge Security Models Convergence using Infrastructure-as-Code, APIs, and Container Technologies
Bachelor Info Day, Lugano Campus
SI Seminar by Diego Venâncio Marcílio
Master Meetings - Spring Semester 2022
XXVI Dies academicus
Costruttori di Fake news
USI-SUPSI Blood Donation Days, May 2022 - Day 2
Internet of Things for the Sustainable Development Goals
USI-SUPSI Blood Donation Days, May 2022 - Day 1
Supercharging Plant Configurations using Z3
Sustainable University Day 2022
SI Seminar by Bin Lin