Seminar by Luca Aceto

SCHEDULE: 13th December 2017, 17:00, Room TBD SPEAKER: Luca Aceto (GSSI and School of Computer Science, Reykjavik University) TITLE: Computer Science and Logic: A Match Made in Heaven ABSTRACT: During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with […]

Continue reading


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


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


Seminar by Prof. Stefano Salsano

Date: February 2, 11:15 am, GSSI Library Room Speaker: Prof. Stefano Salsano, University of Rome Tor Vergata, Italy Title: Towards superfluid Network Function Virtualization (NFV) Abstract: Network Softwarization is an overall trend that is changing the way in which communication networks are designed, implemented, deployed and run. The Network Function Virtualization (NFV) paradigm is an […]

Continue reading