Thomas A. Henzinger , president of IST Austria (Institute of Science and Technology Austria), will visit GSSI on 22th May 2018. Some information on our guest is available here: Web site , Google Scholar , DBLP. Two seminars will be provided: 11.30 am, GSSI Library Room TITLE: An introduction to the Institute of Science and […]
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 […]
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 […]
Thomas A. Henzinger will visit GSSI, stay tuned!
Thomas A. Henzinger , president of IST Austria (Institute of Science and Technology Austria), will visit GSSI. Some information on our guest is available here: Web site , Google Scholar , DBLP . Two seminars will be provided: one on IST Austria and one on his research topics. Further information will be available soon. Save […]
Seminar by Ricardo Baeza-Yates
Date: 24th October, 11:00-12:00 Place: GSSI Main Lecture Hall Title: Bias in the Web Speaker: Ricardo Baeza-Yates – CTO of NTENT, ACM Fellow, IEEE Fellow Abstract: The Web is the most powerful communication medium and the largest public data repository that humankind has created. Its content ranges from great reference sources such as Wikipedia to […]
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 […]
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 […]
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 […]
Slides and lecture notes of Andrea Clementi’s Course are now available
Slides and Lecture Notes of Andrea Clementi‘s course on “Gossip Algorithms for Information Spreading, Consensus and Community Detection” can be downloaded here. Moreover, a useful (free) book on the matter is available at this link.
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 […]