2014
Title: Logic, Sets, and Graphs
Lecturer: Alberto Policriti
Period: 15/16/17/18/19 and 22/23/24 September
Sala Seminari Est: 9-11
Title: The proof theoretic foundation of computational logic
Lecturer: Dale Miller
Period: April 10-16, Seminari Est, 11-13
Title: Probabilistic approaches to the protection of confidential information
Lecturer: Catuscia Palamidessi
Period: April 14,15 Seminari Est, 15-17; April16 Seminari Est 9-11; April 17,18 Seminari Est 11-13
Title: Algorithms for big data
Lecturers: Paolo Ferragina and Andrea Marino
Period: First 5 lectures: 18, 19, 20, 25, 26 november, 9-11, sala seminari EST
Last 4 lectures: 18 March, 15 - 17 Sala Gerace; 20 March, 11-13, sala seminari EST; 25 March, 15 - 17, Sala Seminari OVEST; 27 March, 11 - 13, Sala Seminari EST.
Title: A Framework for Exploring Biology
Lecturer: Prof. Dr. Grzegorz Rozenberg
Period: June 16 - June 27, 2014 --- Sala riunioni Ovest: 11-13
Title: Computer-aided cryptography
Lecturer: Dr. Gilles Barthes
Period: May 28: 16-18; 29, 30: 9-12 / June 3,4,5,6: 9-12 / Sala Seminari W
Title: Specification methods
Lecturer: Egon Börger
Period: 13-31 January 2014
In addition, each student can attend a course of the Master programme in Computer Science, for instance:
- Stefano Chessa: Reti ad Hoc e di sensori
- Pierpaolo Degano: Tecniche di analisi statica di sistemi
- Ugo Montanari: Semantica e Teoria dei Tipi
- Nadia Pisanti: Algoritmi per la bioinformatica