Series of seminars Prof. Fernando De La Prieta
Human behaviour modelling and simulation – an agent-based approach
Combining Epistemic and Operational Aspects in Compositional Verification of Protocols
Distinguished lectures del Prof. K. GOPAKUMAR
Design Languages: A Necessary New Generation of Computer Languages
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…