Seminars

ICE-TCS + CS@GSSI

Forthcoming attractions will be announced here in due course. Confirmed speaker in 2021 include Philippa Gardner (Imperial College London, UK).

Joint Seminars in 2021

  • Dec, 1 Phil Husbands (University of Sussex, UK):
    "Intelligent Robots: threat or opportunity?".
    Note: This talk will be held at 1
    3:00 GMT/14:00 Italian time. [Video] Phil's book


"Distributed Graph Coloring". [Video]

  • Sep, 22. Roberta Sinatra (IT University Copenhagen, DK):
    "Quantifying biases in science". [Video]

  • June, 21. Mariangiola Dezani-Ciancaglini (University of Torino, Italy):
    "Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions". [Video]

  • June, 15. Patrizio Pelliccione (GSSI and Chalmers|University of Gothenburg, Sweden):
    "Robotics Software Engineering: the challenge of mission specification".

  • May, 19. Cristiano Galbiati (GSSI and Princeton University, USA):
    "From Dark Matter to the Milano Mechanical Ventilator: A Personal Journey". [Video]

  • May, 11. Andrea Clementi (University of Rome Tor Vergata):
    "Sharp Thresholds for a SIR Model on One-Dimensional Small-World Networks".
    Note: This talk will be held at 16:00 Italian time.

  • Apr, 26. Pierre Fraigniaud (Université de Paris and CNRS):
    "Distributed Runtime Verification".
    Note: This talk will be held at 16:00 Italian time.

  • Apr, 14. Rajeev Alur (University of Pennsylvania, USA):
    "Syntax-guided Program Synthesis". Note: [Video]

  • Mar, 24. Javier Esparza (Technical University of Munich, Germany):
    "Recent Advances on Population Protocols". [Video]

  • Mar, 23. Amos Korman (CNRS and IRIF, Université de Paris, France):
    "How do crazy ants navigate in unreliable environments?". [Video]

  • Mar, 12. Simon Gay (School of Computing Science, University of Glasgow UK ):
    "Session Types for Reliable Distributed Systems". [Slides] [Video]

  • Mar, 3. Luca Viganò (King's College London, UK ):
    "Security is mortals’ chiefest enemy: formalizing the human dimension of cybersecurity". [Video]

  • Feb, 25. Stefano De Sabbata (University of Leicester, UK ):
    "Digital urban geographies". [Slides] [Video]
    Note: This talk will be held at 17:00 Italian time.

  • Feb, 15. Bridget Eileen Tenner (DePaul University, USA):
    "Permutations and pinnacle sets".

  • Jan, 27. Luca Trevisan (Bocconi University, Italy):
    "Graph and Hypergraph Sparsification". [Video]

Joint Seminars in 2020

  • Dec, 17. Laura Kovacs (TU Wien, Austria):
    "Algebra-based Analysis of Polynomial Probabilistic Programs". [Video]

  • Dec, 14. Christos Papadimitriou (Columbia University, USA):
    "Language, Brain, and Computation". [Video (Zoom)][YouTube]
    Note: This talk was held in cooperation with the Icelandic Academy of Sciences. The talk will be held at 16:00 GMT.

  • Dec, 11. Ivan Visconti (University of Salerno, Italy):
    "There Is Something (Wrong) About Digital Contact Tracing". [Video]
    Note: The talk will be held at 14:30 GMT.

  • Dec, 2. Marica Branchesi (GSSI, Italy):
    "A new exploration of the Universe through gravitational-wave observations". [Information] [Video (Zoom)] [YouTube]
    Note: This talk will be aimed at a general public and is held in cooperation with the Icelandic Academy of Sciences and the Icelandic Physics Society. The talk will be held at 12:00 GMT.

  • Nov, 30. Scott Aaronson (University of Texas at Austin, USA):
    "Quantum Computing and Quantum Computational Supremacy".
    [Video] This talk was held in cooperation with the Icelandic Academy of Sciences and the Icelandic Physics Society.

  • Nov, 25. Martina Maggio (Saarland University, Germany):
    "Testing Adaptive Software with Probabilistic Guarantees". [Video]

  • Nov, 20. Silvio Micali (MIT and Algorand, USA):
    "ALGORAND: The Truly Distributed Blockchain". [Video]
    Note: This talk will be held in cooperation with the Icelandic Academy of Sciences.

  • Nov, 13. Monika Henzinger (University of Vienna, Austria):
    "Hierarchical graph decompositions in dynamic algorithms" [Video].

  • Nov, 6. Alexandra Silva (University College London, UK):
    "An algebraic framework to reason about concurrency" [Slides].

  • Oct, 28. Jon Kleinberg (Cornell University, USA):
    "Fairness and Bias in Algorithmic Decision-Making" [Video].

  • Oct, 21. Gianlorenzo D'Angelo (GSSI, Italy):
    "Coverage Centrality Maximization" [Video].

  • Oct, 12. Orna Kupferman (Hebrew University Jerusalem, Israel):
    "From Correctness to High Quality" [Video].

  • Sep, 30. Marta Kwiatkowska (University of Oxford, UK):
    "Safety and robustness for deep learning with provable guarantees" [Slides].
    Note: See here for more information.

  • Sep, 28. Thore Husfeldt (Lund University, Sweden, and IT University of Copenhagen, Denmark):
    "A Sixpack of Fairness" [Slides].
    Note: See here for more information.

  • Sep, 25. Rodrigo Ferreira (Rice University, USA):
    "Deep Tech Ethics: Integrating Social Justice in Computer Ethics Curricula" [Video] [Slides].
    Note: See here for more information.

  • Sep, 17. Phillip Rogaway (University of California Davis, USA):
    "Are we doing the work we should?" [Slides].
    Note: See here for more information.

  • Jul, 1. Clemens Grabmayer (GSSI, Italy):
    "Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions".

  • Jun, 30. Sanjit A. Seshia (UC Berkeley, USA).
    "Verified Artificial Intelligence and Autonomy" [Video].
    Note: See here for more information.

  • Jun, 24. Nicola Paoletti (Royal Holloway, University of London, UK):
    "Neural predictive monitoring".
    Note: See here for more information.

  • Jun, 22. Helgi Kristvin Sigurbjarnarson (Synthetic Minds, Seattle):
    "Push-Button Verification of Systems Software".
    Note: See here for more information.

  • Jun, 12. Clemens Grabmayer (GSSI, Italy):
    "A Complete Proof System for 1-Free Regular Expressions modulo Bisimilarity" [Video of the LICS 2020 talk by Clemens].
    Note: See here for more information.

  • Jun, 11. Nicola Prezza (LUISS, Roma, Italy):
    "Regular Languages meet Prefix Sorting".
    Note: See here for more information.

  • Jun, 8. Pierluigi Crescenzi (IRIF, Paris Diderot, France):
    "Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs".
    Note: See here for more information.

  • Jun, 4. Catia Trubiani (GSSI, Italy).
    "Performance Learning for Uncertainty of Software".
    Note: See here for more information.

  • May, 25. Karoliina Lehtinen (University of Liverpool, UK).
    "Parity Games -- the quasi-polynomial era".
    Note: See here for more information.

  • May, 20. Edward Ashford Lee (UC Berkeley, USA).
    "The Coevolution: The Entwined Future of Humans and Machines" [Video].
    Note: See here for more information.

  • May, 4. Luca Aceto (ICE-TCS, Department of Computer Science, Reykjavik University, Iceland and GSSI, Italy):
    "Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?"
    Note: See here for more information.

  • Apr, 29. Mohsen Ghaffari (ETH Zurich, Switzerland):
    "Network Decomposition and Derandomization for Distributed Algorithms".
    Note: See here for more information.

  • Apr, 29. Moshe Y. Vardi (Rice University, USA):
    "An Ethical Crisis in Computing?" [Video of a talk with the same title at University of Waterloo].
    Note: See here for more information.

  • Apr, 20. Magnus M. Halldorsson (ICE-TCS, Department of Computer Science, Reykjavik University, Iceland):
    "Symmetry breaking with your hands tied".
    Note: See here for more information.

  • Apr, 7. Henning Ulfarsson (Department of Computer Science, Reykjavik University, Iceland).
    "Combinatorial Exploration: guided by humans, proven by computer".
    Note: See here for more information.