Seminar by Ricardo J. Rodríguez, University of Zaragoza, Spain

Date: October 18, 11am, GSSI Room B Speaker: Ricardo J. Rodriguez, University of Zaragoza, Spain Title: Extracting WinAPI Call Graphs for Inferring Malicious Behaviours Abstract: The number of incidents related to cyberattacks is increasing rapidly, accordingto numerous numerous software security vendors during last years. In this regard, malicious software specially crafted to proliferate in PC […]

Continue reading


Seminar by Prof. L. A. Gąsieniec from University of Liverpool

Speaker: Prof. L.A. Gąsieniec (University of Liverpool) Title: Deterministic Majority/Plurality Consensus Protocols Where: GSSI (Main Lecture Hall) When: Tue 27/09/2016, 15:00-16:00 Abstract: We study space-optimal population protocols for several variants of the majority and plurality consensus problems. We start with an important amendment allowing majority population protocols to report equality if neither of the original […]

Continue reading


Seminar by Juan De Lara and Esther Guerra

Title: Constructing Domain Specific Modelling Languages for Model Driven Engineering. When: 21/07/2016 11:00 am Where: Room B Abstract: Model-Driven Engineering (MDE) is a Software Engineering paradigm that promotes an active use of models and transformations throughout all phases of software development. Hence, models are used to specify, test, simulate and generate code for the final […]

Continue reading


Seminar from Christine Julien

Date: Tue, 19 July, 15:00 – 16:00, GSSI Room B Speaker: Christine Julien Title: Middleware for Context-Sharing in Device-to-Device Mobile Environments Abstract: In mobile systems, device-to-device communication and coordination are increasingly mainstream. In these new styles of interactions, it is essential for co-located devices to share (potentially over multiple hops) expressive context information at low-overhead. […]

Continue reading


Seminar by Prof. A. Navarra on Robot-based computing systems

Speaker: Prof. Alfredo Navarra (University of Perugia) Title: Robot-based computing systems: modeling and tasks Where: GSSI (Main Lecture Hall) When: Mon 11/07/2016, 15:00-17:00 Abstract: In the last years a considerably effort in the area of distributed computing has been devoted to the study of models and algorithmic approaches for the so called robot-based computing systems, […]

Continue reading


Seminar from Luca Naso

Date: 27th of June, 3 pm, GSSI Main Hall Speaker: Luca Naso Title: “Big Data: from science to markets” What do galaxies, LHC, stock markets, our facebook profiles and worldwide computer networks share in common? All of them produce an “astronomical” amount of data every day and we want to use them. The challenge in […]

Continue reading


Seminar from Michele Loreti

Tuesday 24th May, 2016 – GSSI – Room D (11.30 – 12.30) Speaker: Dr. Michele Loreti – University of Florence, Italy. Title: Monitoring of Spatio-Temporal properties of Cyber-Physical Systems Abstract: Cyber-Physical Systems (CPS) or “smart” systems are co-engineered interacting networks of physical and computational components. These systems provide the foundation of critical infrastructure. CPS typically […]

Continue reading


Seminar from Paul Klint

Wednesday 4th May, 2016 – GSSI – Main Room  (9.30 – 12.00) Title: The Evolving Rascal Ecosystem Slides: Here  Abstract: The Rascal language and ecosystem aim at providing a one-stop shop for metaprogramming: parsing, analysis, transformation, and code generation are conveniently provided in a single linguistic framework. In this talk I will first recapitulate the […]

Continue reading