'Program Your Own Castle' - Developing a Self-Guided Tutorial for the Hour of Code
Automating Non-Formalized Testing Techniques via Quantification and Optimisation: The Case of Boundary Value Testing
Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
Geometric Assignment and Geometric Bottleneck
XXVIII Dies academicus
Current events
International Conference on integrated Formal Methods (iFM 2022)
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
USI-SUPSI Blood Donation Days, May 2022 - Day 1
Internet of Things for the Sustainable Development Goals
Sustainable University Day 2022
Supercharging Plant Configurations using Z3