Past editions

In this page you can find the list of past editions of the Bertinoro International Spring School from 2011 to 2022 with the associated list of offered courses. The editions are listed in chronological order, from the most recent to the oldest. The editions for 2020 and 2021 were cancelled due to the COVID-19 pandemic.

BISS 2022

Towards Developmental Machine Learning
Opinions and conflict in social networks: models, computational problems, and algorithms
From Cloud to Serverless through microelements

BISS 2019

Internet of things: a data oriented approach
Multitask learning and learning-to-learn: a statistical learning perspective
Software security across abstraction layers

BISS 2018

Provable security for low level execution platforms
Distributed models, MapReduce and large scale algorithms
Elements of Quantum Computation

BISS 2017

Approximation Algorithms
Probabilistic Graphical Models in Intelligent Systems
Kleene algebra with tests and applications to network programming

BISS 2016

Advanced Topics in Programming Languages
Model and Languages for Service-Oriented and Cloud Computing
Algorithms and Methods for Mining Large Graphs

BISS 2015

Game Theory: Models, Numerical Methods, and Applications
Protection of sensitive information
Introduction to Modern Cryptography

BISS 2014

Big Data Analysis of Patterns in Media Content
An Introduction to Probabilistic and Quantum Programming
Development of dynamically evolving and self-adaptive software

BISS 2013

Foundations of Security: Cryptography, Protocols, Trust
Stochastic Process Algebras for Quantitative Analysis
Shape and Visual Apperance Acquisition for Photo-realistic Visualization

BISS 2012

Algorithms for the web and for social networks
Software Verification and Interactive Theorem Proving
Regularization methods for high dimensional learning

BISS 2011

Computational Aspects of Game Theory
Trust in Anonymity Networks (TAN)
Information Integration (II)
Model Checking: From Finite-state to Infinite-state Systems (MCFIS)