2016
Title: Sensor networks, internet of things and smart environments
Lecturer: Michele Girolami (CNR Pisa), Alexander Kocian (Dipartimento di Informatica), Stefano Chessa (Dipartimento di Informatica)
Period: 26, 27,28 Aprile (ore 11:00-13:00) - 2,3,4,5,6 Maggio (ore 11:00-13:00) - 9-10 Maggio (ore 11:00-13:00)
Place: Sala Riunioni OVEST Dip.to Informatica
Title: Searching by Similarity on a Very Large Scale
Lecturer: Giuseppe Amato, CNR Pisa
Period: 4 - 15 July 2016, 11.00 - 13.00
Title: Introduction to process calculi and related type systems
Lecturer: Ilaria Castellani, Rosario Pugliese
Period: 1, 2, 3, 9, 10, 11, 14, 15, 16, 17 december 2015, 14.30 -- 16.30
Place: Università di Firenze, Viale Morgagni, Aula Anfiteatro
ATTENTION: The course is canceled
Title: Specification and Verification of Complex Business Processes
Lecturer: Kamel Barkaoui (Conservatoire National des Arts et Métiers, Parigi)
Period: 12 -23 September 2016
Title: Coalgebre, automi e linguaggi nominali ecc
Lecturer: Bartek Klin
Period: Monday June 27, 11:00-13:00; Tuesday June 28, 10:00-13:00; Thursday June 30, 10:00-13:00; Thursday June 30, 16:00-18:00 - always in Aula Seminari Ovest
Title: Machine Learning Techniques and Selected Applications for Big Data
Lecturer: Stan Matwin (Dalhousie University, Canada)
Period: February 22, 25, 29 - March 3, 7, 10, 14, 17, 21, 24 2016
Timetable: Mon. 11:00-13:00 Thu. 14:00-16:00
Place: Department of Computer Science Sala “seminari ovest"