E-HEALTH: Progetti di ricerca nel campo dell’informatica applicata alla salute SERIE DI SEMINARIWhere: Blocco 11When: Lunedì 28/10, ore 18-19, aula D4.8 Martedì 29/10, ore 18-19, aula D4.5 Mercoledì 30/10, ore 18-19, aula D4.8 Giovedì 31/10, ore 18-19, aula D4.2 Riconosciuta…
Human behaviour modelling and simulation – an agent-based approach
Speaker: Visiting Professor Julie Dugdale,HAwAI research group (Human Aware Artificial Intelligence),Università di Grenoble. Quando: Mercoledì 16 Ottobre, 11:30 Dove: Sala Seminari, II piano, edificio Alan Turing AbstractThis seminar looks at how human behaviours can be simulated in a computational model for the…
Combining Epistemic and Operational Aspects in Compositional Verification of Protocols
Schedule: 1 October, 11:30 – 12.30Place: GSSI – MLH, v. Francesco Crispi 7 Speaker: Mohammad Reza MousaviSchool of Informatics – Data-Oriented Software Engineering, University of Leicester, UK https://www2.le.ac.uk/departments/informatics/people/mohammad-mousaviTitle: Combining Epistemic and Operational Aspects in Compositional Verification of ProtocolsAbstract: We propose a framework…
Distinguished lectures del Prof. K. GOPAKUMAR
Il Prof. K. Gopakumar, IEEE Fellow e Distinguished Lecturer dell”IEEE Industrial Electronics Society sarà ospite dell’IEEE Italy Chapter e terrà due distiguished lecturers nei giorni: Mercoledì 19 Settembre ore 15.00: Università degli Studi di Firenze, Complesso di Santa Apollonia, Via…
Design Languages: A Necessary New Generation of Computer Languages
Title: Design Languages: A Necessary New Generation of Computer Languages Bran Selic (Monash University/Malina Software) When: 11 July 2019, 14:30 Where: Sala Seminari Alan Turing Abstract: With the increased demand for so-called “smart” systems, which are required to interact with…
Two seminars on Robotics and Automotive
Title: Effective and User-friendly Specification of Multi-Robot MissionsWhen: Wednesday 24, April 15:00-16:00Where: Aula seminari, blocco 0 Abstract: Mobile robots are increasingly used in everyday life to autonomously realize missions such as exploring rooms, delivering goods, or following certain paths for…
GSSI Seminar by Adrian Rutle
When: Wednesday, April 17, 2019, 15:00 Where: Library Room, GSSI Title: Model Repair with Reinforcement LearningSeminar by Prof. Adrian Rutle, Department of Computing, Mathematics and Physics – Western Norway University of Applied Sciences Abstract:Model Driven Engineering is an emerging branch of Software Engineering used to handle…
Seminar by Luca Berardinelli on “Model-Driven Engineering in Practice at Braintribe: tools, challenges, and collaborations”
When: Tuesday, April 16th, 11AM Where: Meeting Room, “Alan Turing” building Title: Model-Driven Engineering in Practice at Braintribe: tools, challenges, and collaborations. Summary: Braintribe (https://www.braintribe.com) is a SME founded in 2005, with around 70 employees, located in Vienna, Zurich,…
Seminars Prof. Carlo Fischione, Monday 15 and Tuesday 16, from 2 pm to 6 pm
Prof. Carlo Fischione (Royal Institute of Technology – KTH, Sweden) will give two classes on Monday 15 and Tuesday 16, from 2 pm to 6 pm in Aula Seminari DISIM (Alan Turing Building), on the following topics: Title: Fundamentals of…
Lectio Magistralis at the GSSI on Software Heritage by Stefano Zacchiroli
Schedule: 24 April, 11.30 – 12.30 Place: GSSI – Main Lecture Hall, v. Francesco Crispi 7 Speaker: Stefano ZacchiroliIRIF, Université Paris Diderot / Inria / IRILL, Paris, Francehttps://upsilon.cc/~zack/ Title: “Software Heritage: source code analysis at the scale of the world” Abstract: The…