Seminar titleSpeakerDate
Software HeritageStefano Zacchiroli (co-founder and the current CTO of Software Heritage)2019, April 24
Model Integration and Decision-Making for Self-Adaptation in Mobile RoboticsJavier Camara Moreno (University of York, UK)2019, March 4
Verification, Testing, and Runtime Monitoring of Automotive Exhaust EmissionsHolger Hermanns (Saarbruecken, Germany)2019, February 27
Minimum Reload Cost Graph FactorsProf. Mordo Shalom, Tel Hai College (Upper Galilee, Israel)2019, February 6
Exploration Algorithms for Energy Constrained RobotsShantanu Das (Aix-Marseille University, France)2019, January 21
Indexing Genomic DatabasesTravis Gagie (Universidad Diego Portales and the Chilean Center for Biotechnology and Bioengineering)2019, January 9
Fair Allocation of Combinations of Indivisible Goods and ChoresAyumi Igarashi (Kyushu University, Japan)2018, December 3
Coevolutionary and aggregation-based opinion formation processesAngelo Fanelli (CNRS Caen, France)2018, November 30
Structural graph properties vs proof hardnessNicola Galesi (Roma “La Sapienza”, Italy)2018, October 18
Reasoning about consensus in opinion diffusion Vincenzo Auletta (University of Salerno, Italy)2018, October 17
Systematic Analysis of Cyber-Physical Systems with Machine Learning ComponentsTommaso Dreossi (University of California Berkeley)2018, October 8
Proof Mining: from proof-theoretic foundations to applications in core mathematicsUlrich Kohlenbach (Technische Universität Darmstadt, Germany)2018, September 18
Challenges in Computational Modelling for Cancer ResearchGiulio Caravagna (The Institute of Cancer Research, London, UK)2018, September 17
Modeling terms by graphs with structure constraints (two illustrations)Clemens Grabmayer (VU Amsterdam, The Netherlands;2018, August 30
Reflecting on a Digital Transformation Strategy for Small and Medium-sized Cities – The Case of L’AquilaSaverio Romeo (Lead Expert for the EU Digital Cities Challenge Project)2018, July 11
Decoding the DNA: challenges and opportunities in bioinformatics Andrea Riposati (CEO of Dante Labs)2018, July 6
Synthesis, Verification and Optimization for Stochastic Hybrid GamesKim G Larsen (Aalborg University, Denmark)2018, May 28
Challenges of {BIG, small, Right} dataRicardo Baeza-Yates (CTO of NTENT) 2018, June 18
Understanding and Taming Feature InteractionsChristian Kastner (Carnegie Mellon University)2018, May 23
Computer Science vs Computational ScienceThomas A. Henzinger (President IST Austria)2018, May 22
Rigorous Systems Engineering of Cyber-Physical SystemsEzio Bartocci (Vienna University of Technology, Austria)2018, May 17
Engineering Robust Software Systems through Stochastic Model SynthesisRadu Calinescu (University of York, UK)2018, May 10
Hedonic Games with Graph-restricted CommunicationAyumi Igarashi (University of Oxford)2018, March 14
Bisimulations for polynomial differential equationsMirco Tribastone (IMT Lucca, Italy)2018, March 7
Foundations for Runtime MonitoringAdrian Francalanza (University of Malta)2018, February 12
The revolution of software: a look at the automotive and robotic domains (Slides) Patrizio Pelliccione (Chalmers University of Technology and University of Gothenburg, Sweden)2018, February 7
Formal Methods for the Control of Cyber Physical Systems with Logic SpecificationsGiordano Pola (University of L’Aquila, Italy) 2018, January 30
Distributed graph algorithms for energy-constrained mobile robotsShantanu Das (Aix-Marseille University, France)2017, November 16
Complexity of strategic reasoning under partial observability Sasha Rubin (University of Naples Federico II)2017, October 30
Bias in the Web Ricardo Baeza-Yates (CTO of NTENT) 2017, October 24
Research activities of the Robotics Research Group @UNICAS on multi-robot system, underwater/aerial vehicle manipulator systems, and assistive robotics Profs. Arrichiello and Antonelli (Università di Cassino e Lazio Meridionale)2017, June 7
Choreographies for Communicating Systems. An overview and some future directionsEmilio Tuosto (University of Leicester, UK)2017, April 21
Towards superfluid Network Function Virtualization.Stefano Salsano (University of Rome Tor Vergata, Italy)2017, February 2
Predicting the Time to Migration into Deadlock for a Performance Antipattern Using a Discrete Time Markov Chain.Andre B. Bondi (Performance Consulting, USA)2016, December 7
Modeling and analysis of software-intensive cyberphysical systems.Heinz Schmidt (RMIT University, Melbourne, Australia)2016, November 22
Extracting WinAPI Call Graphs for Inferring Malicious Behaviours.Ricardo J. Rodríguez (University of Zaragoza, Spain)2016, October 18
Deterministic Majority/Plurality Consensus Protocols.L.A. Gąsieniec (University of Liverpool)2016, September 27
Constructing Domain Specific Modelling Languages for Model Driven Engineering.Juan De Lara and Esther Guerra (Universidad Autónoma in Madrid, Spain)2016, July 21
Middleware for Context-Sharing in Device-to-Device Mobile EnvironmentsChristine Julien (University of Texas, Austin, USA)2016, July 19
Robot-based computing systems: modeling and tasks (Slides).Alfredo Navarra (Dipartimento di Matematica e Informatica, Università degli Studi di Perugia, Italy)2016, July 11
An Intro/Demo to Xtext (Code – Tutorials)Lorenzo Bettini (Dipartimento di Informatica Università degli Studi di Torino, Italy)2016, May 16
The time-size-stretch tradeoff in fault-tolerant shortest-path treesGuido Proietti (Università degli Studi dell’Aquila, Italy)2016, May 10-12
The evolution of Rascal ecosystem (Slides)Paul Klint (CWI, Netherlands)2016, May 4
Discrete Opinion Games Social Influence through CoordinationGiuseppe Persiano (University of Salerno, Italy)2015, November 25
Performance Optimization in the Cloud for Spot and Burstable ResourcesDaniel J. Dubois (Imperial College, UK)2015, September 16
Towards Performance Aware DevOpsGiuliano Casale (Imperial College, UK)2015, July 15
Data Centric activities at the Barcelona Supercomputing CenterDavid Carrera (UPC Barcelona, Spain)2015, June 25
Why Does Software Fail and What Should be Done About It?Kishor Trivedi (Duke University, USA)2015, June 11
Capacity Planning for Infrastructure-as-a-Service CloudKishor Trivedi (Duke University, USA)2015, June 9
Protection of (personal) data: legal and technical perspectivesMarinella Petrocchi (ISTI-CNR, Pisa, Italy)2015, May 13
Measurement-based Performance Problem Detection and DiagnosisAndrè Van Hoorn (University of Stuttgart, Germany)2015, April 21
Variability Management in V&V of Cyber Physical SystemsLeire Etxeberria (University of Mondragon, Spain)2015, February 10
Efficiency Research in Information RetrievalNicola Tonellotto (IMT Lucca, Italy)2014, December 15
A formal approach to autonomic systems programming: The SCEL LanguageRocco De Nicola (IMT Lucca, GSSI, Italy)2014, November 5
Fitness landscape characterisation for search-based software engineering problemAldeida Aleti (Monash University, Australia)2014, June 17

Upcoming Seminars