Seminars

• Dec, 21. Antonio Ravara (Universidad NOVA, Lisbon):
  "Automatic Detection and Resolution of Deadlocks in Go Programs"

• Dec, 20. Ivan Malvolta (Vrije Universiteit):
  "Green architectural tactics for robotic software"

• Nov, 13. Max Tschaikowski (Aalborg University):
  "Forward and Backward Constrained Bisimulations for Quantum Circuits"

• Oct, 5. Rick Kazman (University of Hawaii):
  "A Gentle Introduction to Technical Debt"

• Oct, 4. Hong-Mei Chen (Shidler College of Business of the University of Hawaii at Manoa):
  "Holistic Technical Debt Management: In Search of Best Practices"

• Sep, 11. Roland Kuhn (Actyx, Germany)
  "The Difficulty of Taming Heterogeneous Swarms"

• Jul, 20. Balachander Krishnamurthy (AT&T Labs-Research/CDO):
  "AI Governance"

• Jul 13. Fabio Palomba (Università di Salerno):
  "An Automated Framework for Context-Aware Fairness Analysis in Requirements Engineering"

• Jul, 7. Roberto Natella (Università degli Studi di Napoli Federico II):
  "Injecting Faults, Attacks, and Stressful Conditions in Software Systems"

• Jun 16, Maurizio Napolitano (Bruno Kessler Foundation, Italy):
  "The OpenStreetMap Ecosystem: scientific research and social innovation"

• Jun 12, Bernd Fisher (Stellenbosch University, South Africa):
  "Spectrum-Based Fault Localization for Multi-Fault Programs"

• Jun 9, Nobuko Yoshida (Oxford University):
  "Specification-guided programming for asynchronous message-passing optimisation"

• Jun 7. Daniele Gorla ("Sapienza" Università di Roma, Italy):
  "Inefficiencies in Network Design -- a journey into semantics, graph theory and algorithms (with a glimpse into game theory and complexity)"

• May 25. Shibashis Guha (Tata Institute of Fundamental Research Mumbai, India):
  "Strategy synthesis for global window PCTL"

• May 3. Nir Piterman (Chalmers):
  "Modelling and Verification of Reconfigurable Interacting Systems"

• May 2. Gerardo Schneider (Chalmers):
  "Runtime Verification meets Controller Synthesis"

• Apr 28. Franco Raimondi (Middlesex University and Amazon Scholar):
  "Ensuring the correctness of complex and critical systems using logic-based methods"

• Apr 27. Emanuele D'Osualdo (MPI-SWS):
  "Towards expressive and scalable software verification"

• Apr 11. Antonio Bucchiarone (Bruno Kessler Foundation, Italy):
  "Let me adjust to the challenge! Approaches to personalized and gamified learning"

• Mar 28. Valentina Castiglioni (ICE-TCS Reykjavik University, Iceland):
  "Uncertainties, adaptability, and verification"

• Mar 23. Emanuele Natale (INRIA):
  "On the Random Subset Sum Problem and Neural Networks"

• Mar 22. Breno Miranda (UFPE, bafm@cin.ufpe.br):
  "Efficient and Scalable Regression Testing for Large-scale Software Systems"

• Mar 14. Rafael Capilla (Lappeenranta University of Technology, Finland):
  "Dynamic Variability in today’s Cyber-physical and Autonomous Systems"

• Mar 10. Andrea Vandin (Scuola Superiore Sant'Anna, Italy):
  "Automated Analysis of Economic Agent-Based Models by Statistical Model Checking"

• Mar 9.  Robert Bredereck (TU Clausthal for Foundations of Artificial Intelligence and Algorithms):
  "Maximizing the Spread of an Opinion in Few Steps: Opinion Diffusion in Non-Binary Networks "

• Feb 27. Gian Berkenbrock (Federal University of Santa Catarina, Brazil):
  "Are the sensors reliable? A point of view from anomaly detection"

• Feb 17. Anita Juškevičienė (University Institute of Data Science and Digital Technologies, Lituania):
  "Physical Computing to Ensure Gender Balance in STEAM  Education"

• Jan 26. Travis Gagie (Dalhousie University, Canada):
  "Pangenomic FM-indexes"

• .  ():
  ""

• .  ():
  ""

• .  ():
  ""

• .  ():
  ""

• .  ():
  ""

• Oct, 11. Gabriel Rodrigues (University of Brasília, Brazil):
  "An Architecture for Mission Coordination of Heterogeneous Robots"

• Sep, 28. Joël Ouaknine (Max Planck Institute for Software Systems, Germany):
  "The Skolem Landscape"

• Jul, 8. Valentina Lenarduzzi (University of Oulu, Finland):
  "Technical Debt and Microservices"

• Jul, 5. Davide Taibi (Tempere University, Finland):
  "The Evolution of Cloud Architectures: From Monolithic to Microservices to Serverless... to Micro-Frontends"

• Jun, 30. Alberto Marchetti-Spaccamela (Sapienza University, Italy):
  "Scheduling DAGs: recent results and challenges"

• May, 10. Martin Olsen (Aarhus University, Denmark):
  "The Online Stacking Problem"

• Mar, 30. Alfonso Pierantonio (Università degli Studi dell’Aquila, Italy):
  "Dynamic Classification: Towards a Conceptual Modeling of Behavior"

The majority of the talks were taking place in the Joint ICE-TCS CS@GSSI Virtual Seminar Series.

• Sep, 29. Magnus M. Halldorsson (Reykjavik University, Iceland):
  "Distributed Graph Coloring"

• Sep, 15. Mirco Tribastone (IMT Lucca, Italy):
  "Reconciling discrete and continuous modeling for the analysis of large-scale Markov chains"

The majority of the talks were taking place in the Joint ICE-TCS CS@GSSI Virtual Seminar Series.

• Jun, 24. Raffaelo Potestio (Trento University, Italy):
  "Exploring the crossroad between information theory, statistical mechanics, and biology"

• Feb, 18. Mordo Shalom (Hit-Holon Institute of Technology, Israel):
  "On the Complexity of Various Reload/Changeover Cost Problems"

• Jan, 24. Giorgio Manganini (United Technologies Research Centre, Ireland):
  "Policy Gradient with Parameter-Based Exploration: methods, extensions and applications"

• Dec, 3. Iori Kotorov (Innopolis University, Russia):
  "InnoBoost (Innovation and Creativity: Thinking Outside the Box)"

• Dec, 2. Manuel Mazzara (Innopolis University, Russia):
  "Software Release anomaly detection in DevOps environment"

• Nov, 28. Henning Meyerhenke (Humboldt-Universität zu Berlin, Germany):
  "Fast Group Centrality Algorithms for Large Graphs"

• Nov, 6. Rocco De Nicola (IMT Lucca, Italy):
  "Programming Collective Adaptive Systems by Relying on Attribute-based Communication"

• Nov, 5. Radu Mateescu (Inria Grenoble, France):
  "An Action-based Model Checking Language for Concurrent Systems"

• Oct, 1. Mohammad Reza Mousavi (University of Leicester, UK):
  "Combining Epistemic and Operational Aspects in Compositional Verification of Protocols"

• Sep, 5. Silvia Crafa (University of Padova, Padova, Italy):
  "Smart contracts programming: formal methods in action"

• Sep, 3. Paolo Zuliani (Newcastle University, UK):
  "Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation"

• Jul, 11. Michael E. Houle (National Institute of Informatics, Japan):
  "Local Intrinsic Dimensionality: An Extreme-Value-Theoretic Foundation"

• Jun, 25. Wan Fokkink (Vrije Universiteit, The Netherlands):
  "Supervisory control synthesis for software of bridges, water locks, and tunnels"

• Jun, 18. Laura Sanità (University of Waterloo, Canada):
  "On the hardness of computing the diameter of a polytope"

• Jun, 10. Luca Padovani (University of Torino, Italy):
  "Types and contracts for binary sessions, from theory to practice"

• May, 22. Alessandro Cimatti (Fondazione Bruno Kessler, Italy):
  "Logics at work"

• May, 14. Andrea Pesare (Università La Sapienza, Italy):
  "Reinforcement Learning: (really) an introduction"

• Apr, 24. Stefano Zacchiroli (IRIF, Université Paris Diderot/Inria/IRILL, France):
  "Software Heritage: source code analysis at the scale of the world"

• Apr, 17. Adrian Rutle (Western Norway University of Applied Sciences, Norway):
  "Model Repair with Reinforcement Learning"

• Apr, 4. Antonio Filieri (Imperial College London, UK):
  "Probabilistic symbolic execution: a bird's eye view"

• Apr, 2. Caterina Urban (INRIA, École Normale Supérieure, France):
  "What Programs Want: Automatic Inference of Input Data Specifications"

• Mar, 21. Jean-Eric Pin (CNRS et University Paris-Diderot, France):
  "The algebraic theory of automata, a trailer"

• Mar, 4. Javier Camara (University of York, UK):
  "Model Integration and Decision-Making for Self-Adaptation in Mobile Robotics"

• Feb, 27. Holger Hermanns (Saarland University, Germany):
  "Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions"

• Jan, 21. Shantanu Das (Aix-Marseille University, France):
  "Exploration Algorithms for Energy Constrained Robots"

• Jan, 9. Travis Gagie (Universidad Diego Portales and the Chilean Center for Biotechnology and Bioengineering, Chile):
  "Indexing Genomic Databases"

• Dec, 11. Alfonso Pierantonio (University of L'Aquila, Italy):
  "Conceptual Modelling of Behavior"

• Nov, 9. Many speakers. ICE-TCS/GSSI Workshop 2018

• Nov, 6. Giovanni Stilo (University of Rome La Sapienza, Italy):
  "Time Makes Sense"

• Oct, 18. Nicola Galesi (University of Rome La Sapienza, Italy):
  "Structural graph properties vs proof hardness"

• Oct, 17. Vincenzo Auletta (University of Salerno, Italy):
  "Reasoning about consensus in opinion diffusion" 

• Oct, 8. Tommaso Dreossi (University of California Berkeley, US):
  "Systematic Analysis of Cyber-Physical Systems with Machine Learning Components"

• Sep, 18. Ulrich Kohlenbach (Technische Universität Darmstadt, Germany):
  "Proof Mining: from proof-theoretic foundations to applications in core mathematics"

• Sep, 17. Giulio Caravagna (The Institute of Cancer Research, London, UK):
  "Challenges in Computational Modelling for Cancer Research"

• Jul, 6. Andrea Riposati (DanteLabs, Italy):
  "Decoding the DNA: challenges and opportunities in bioinformatics"

• Jun, 14. Luca Trevisan (U.C. Berkeley and Simons Institute for the Theory of Computing):
  "Some simple distributed network processes"

• Jun, 18. Ricardo Baeza-Yates (NTENT & Northeastern University at SV, USA):
  "Challenges of (BIG, small, Right) data"

• May, 28. Kim G. Larsen (Aalborg University, Denmark):
  "Synthesis, Verification and Optimization for Stochastic Hybrid Games"

• May, 23 - 25. Christian Kästner (Carnegie Mellon University, USA):
  "Understanding and Taming Feature Interactions"

• May, 22. Thomas A. Henzinger (Institute of Science and Technology, Austria):
  "An introduction to the Institute of Science and technology Austria"

• May, 22. Thomas A. Henzinger (Institute of Science and Technology, Austria):
  "Computer Science versus Computational Science"

• May, 17. Ezio Bartocci (TU Wien, Austria):
  "Rigorous Systems Engineering of Cyber-Physical Systems"

• May, 10. Radu Calinescu (University of York):
  "Engineering Robust Software Systems through Stochastic Model Synthesis"

• Apr, 11. Pierluigi Crescenzi (Università di Firenze):
  "Proofs, Complexity, and Optimization"

• Apr, 9. Salvatore La Torre (Università di Salerno):
  "Finding Rare Bugs in Concurrent Programs"

• Mar, 7. Mirco Tribastone (IMT Lucca, Italy):
  "Bisimulations for polynomial differential equations"

• Feb, 12. Adrian Francalanza (University of Malta, Malta):
  "Foundations for Runtime Monitoring"

• Jan, 30. Giordano Pola (Università dell'Aquila, Italy):
  "Formal methods for the control of Cyber Physical Systems with Logic Specifications"

• Nov, 16. Shantanu Das (LIF - Aix-Marseille University, France):
  "Distributed graph algorithms for energy-constrained mobile robots"

• Oct, 30. Sasha Rubin (The University of Sydney, Australia):
  "Complexity of strategic reasoning under partial observability"

• Oct, 24. Ricardo Baeza-Yates (NTENT & Northeastern University at SV, USA):
  "Bias in the Web"

• Oct, 17. Mohammad Hamdaqa (Reykjavik University, Iceland):
  "Around the Cloud in Less than 60 Minutes"

• Feb, 2. Stefano Salsano (University of Rome Tor Vergata, Italy):
  "Towards superfluid Network Function Virtualization (NFV)"

• Nov, 26. Heinz Schmidt (RMIT University, Australia):
  "Modeling and analysis of software-intensive cyberphysical systems"

• Oct, 18. Ricardo J. Rodríguez (University of Zaragoza, Spain):
  "Extracting WinAPI Call Graphs for Inferring Malicious Behaviours"

• Sep, 27. Leszek Antoni Gąsieniec (University of Liverpool, UK):
  "Deterministic Majority/Plurality Consensus Protocols"

• Jul, 11. Alfredo Navarra (University of Perugia):
  "Robot-based computing systems: modeling and tasks"

• Jun, 27. Luca Naso (Neodata Group, Tree, Telecom Italia):
  "Big Data: from science to markets"

• May, 4. Paul Klint (Centrum Wiskunde & Informatica, Netherlands):
  "The evolving Rascal ecosystem"

• Feb, 29. Beniamino Di Martino (Seconda Università degli Studi di Napoli, Italy):
  "Cloud portability and interoperability: semantic techniques"

• Jan, 11. Barbara Mazzolai (Center for Micro-BioRobotics, IIT, Italy):
  "Learning by nature how to build soft robots"

• Oct, 28. Steven E. Koonin (Center for Urban Science and Progress, NYU, USA):
  "Adventures in Urban Informatics"

• Sep, 16. Daniel Dubois (Imperial College, London, UK):
  "Performance Optimization in the Cloud for Spot and Burstable Resources"

• Jul, 15. Giuliano Casale (Imperial College, London):
  "Towards Performance Aware DevOps"

• Jun, 11. Kishor S. Trivedi (Duke University, USA):
  "Why Does Software Fail and What Should be Done About It?"

• Jun, 9. Kishor S. Trivedi (Duke University, USA):
  "Capacity Planning for Infrastructure-as-a-Service Cloud"

• May, 13. Marinella Petrocchi (CNR Pisa, Italy):
  "Protection of (personal) data: legal and technical perspectives"

• Apr, 21. André van Hoorn (University of Stuttgart, Germany):
  "Measurement-based Performance Problem Detection and Diagnosis"

• Apr, 15. Stephane Perennes (CNRS Nice-Sophia Antipolis, France):
  "Counting, Generating, sampling: A brief algorithmic point of view"

• Feb, 10. Leire Etxeberria (University of Mondragon, Spain):
  "Variability Management in V&V of Cyber Physical Systems"

• Dec, 15. Nicola Tonellotto (CNR Pisa, Italy):
  "Efficiency Research in Information Retrieval"

• Nov, 5. Rocco De Nicola (Institute for Advanced Studies, Lucca):
  "A formal approach to autonomic systems programming: The SCEL Language"

• Jun, 17. Aldeida Aleti (Monash UIniversity, Australia):
  "Fitness landscape characterisation for search-based software engineering problems"

• May, 14. Clas Jacobson (United Technologies Systems & Controls Engineering, USA):
  "Systems Engineering: Industrial Status, Needs, Barriers, Enablers and Opportunities"

• May, 14. Karl H. Johansson (Royal Institute of Technology, Sweden):
  "Cyber-physical goods transportation"

• May, 14. Alberto Sangiovanni Vincentelli (University of California at Berkeley, USA):
  "Let's get Physical: Adding a Physical Dimension to the Cyber World"

• May, 14. Adam Wolisz (Technical University Berlin, Germany):
  "Networking for making CPS reality - CPS for improving the Networking"

The majority of the talks are currently taking place in the Joint ICE-TCS CS@GSSI Virtual Seminar Series.