Past editions

In this page you can find the list of past editions of the Bertinoro International Spring School from 2011 to 2023 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 2023

  • Hybrid Quantum Computing - A gentle introduction to Quantum Computing from a Software Engineering perspective
  • AI for health
  • Shape your own programming language

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)