Quo vadis education in the era of automation
Cryptocurrency vs. consensus
Hazard Detection for Robotic Applications as Visual Anomaly Detection
XXVIII Dies academicus
CTL* Verification and Synthesis using Existential Horn Clauses
Business Ideas 2024
Workshop of the International Center for Advanced Computing in Medicine (ICAM)
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Current events
Synchronizing Constraint Horn Clauses
Among the best programmers in Europe
What to search on, What to search for, and How to search for patents
Test design of IIR evaluation
Code Offloading in Opportunistic Computing
SNF Mobility Fellowship - Pietro Bressana
What Good are Formal Methods for Software Engineering?
Software testing research: foundations, key problems and future directions
Dude, we can estimate the understandability of your code! Actually, no! Not yet!
Interaction-Aware Development Environments
Ragazze e informatica - Avanti! Giornata Nuovo futuro
Super-Resolution of Positive Sources and One More Thing ...
Statitstical Inference for small & large dynamical data sets in Systems Biology
Efficient Computational and Statistical Methods for, but not limited to, the Social Science
Statistical Data Science: a thriving future
The quest for fast learning from few examples
Difficult queries: data analytics, machine learning and users studies
Big Data integration and trans-Omics analysis for reconstructing relevant pathways and networks underlying neurodegenerative diseases
Detecting Structure in High Dimensional Data
Scalable Precision Computational Imaging : from Astronomy to Medicine