Seminars
ICE-TCS + CS@GSSI
Joint Seminars in 2022
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]
Joint Seminars in 2021
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]
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.