Seminars

• Apr, 20 Franck Cassez (ConsenSys Software R&D, Australia):
  "Formal verification of the Deposit Smart Contract".
  Note: This talk will be held at 11:00 GMT/12:00 Italian time. [Video]

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

• Oct, 27. Noah Giansiracusa (Bentley University, USA):
  "What Role Does Machine Learning Play in Misinformation?".     [Video]

• Sep, 29. Magnus M. Halldorsson (Reykjavik University, Iceland):

"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]

• 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.