Seminar by Luca Aceto

SCHEDULE: 21th Nov 2017, 14:30, Room B SPEAKER: Luca Aceto (GSSI and School of Computer Science, Reykjavik University) TITLE: Theoretical Foundations for Runtime Monitoring ABSTRACT: Runtime Verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not […]

Continue reading


Kim Larsen will deliver an advanced course at GSSI, stay tuned!

Lecturer: Kim Larsen, http://people.cs.aau.dk/~kgl/ Title: From Timed Automata to Stochastic Hybrid Games – Model Checking, Synthesis, Performance Analysis, Optimization and Machine Learning Abstract: Timed automata and games, priced timed automata and energy automata have emerged as useful formalisms for modeling real-time and energy-aware systems as found in several embedded and cyber-physical systems. During the last […]

Continue reading


Seminar by Sasha Rubin

Date: 30 October, 14:30 Place: GSSI Main Lecturer Hall Speaker: Sasha Rubin (University of Naples Federico II) – https://sasharubin.github.io Title: Complexity of strategic reasoning under partial observability Abstract: There is a need for humans to be able to trust the decisions made by the Artificial Agents (AA) we interact with. This challenge cannot be met […]

Continue reading


Seminar by Mohammad Hamdaqa

Date: October 17, 4pm Place: GSSI Main Lecture Hall Speaker: Mohammad Hamdaqa Title: Around the Cloud in Less than 60 Minutes Abstract: Advances in cloud platforms have changed the application development landscape. Cloud platforms abstract the complexity of application delivery to enable the applications’ rapid development and easy management. This changes the way development teams […]

Continue reading


GSSI Algorithmic Summer Workshop: Teoria Algoritmica dei Giochi, Aspetti Computazionali dell’Economia, Algoritmi, Giochi e Mercati [Schedule]

ABSTRACT The Meeting on Algorithmic Game Theory, Algorithms, Games and Markets, will take place from the 13th to the 14th of July 2017, at Gran Sasso Science Institute (GSSI) in L’Aquila (Italy). The goal of the research meeting, the 1st of this kind in Italy, is to bring together researchers working in these areas of […]

Continue reading


Seminar by Emilio Tuosto

Date: April 21, 3pm Place: GSSI Main Lecture Hall Speaker: Prof. Emilio Tuosto Title: Choreographies for Communicating Systems. An overview and some future directions Abstract: Communicating and distributed systems are notoriously difficult to design, implement, and verify. The problems that affect the realisation of traditional software are amplified by the effects produced by concurrency and […]

Continue reading