Il giorno 24 Ottobre 2022, dalle 11.30 alle 13.30, la STMicroelectronics terrà un seminario dal titolo “Modeling Techniques and Virtual Prototyping of Silicon Carbide MOSFET and IGBT Power Modules”, sulla piattaforma Teams. Scaricare la locandina dell’evento per maggiori informazioni.
[SEMINAR] Reliable Real-Time Distributed AI for Mobile Autonomous Systems
Speaker: Prof. Marco Levorato, University of California, Irvine Schedule: June 1st, 14:30-15:30 Room: Seminar room, Alan Turing (Blocco 0) MS Teams code: 9kkf5ny – “PHD ICT – Seminars and Courses” (UPDATED) Title of talk: Reliable Real-Time Distributed AI for Mobile…
Neuro-symbolic Liveness Verification
Speaker: Dr. Mirco Giacobbe (University of Oxford, UK) Title: Neuro-symbolic Liveness Verification Abstract: Liveness verification answers the question of whether a system always responds with desirable behavior or, dually, never gets stuck without responding at all. For dynamical systems, this relates to the…
WEBINAR on “AR/VR challenges for the next era of Human-Computer interaction”
Speaker:Rino MarinelliProcess Transfer Hardware Engineer @ Facebook Reality LabsuLED team, Plymouth (UK) When: 14 May 2021 – 10.00 a.m. Details and contacts
Course on “Thresholds for a SIR Model on One-Dimensional Small-World Networks”
Schedule: 11 May 2021, 14:00 GMT/16:00 Italian time Virtual link: https://us02web.zoom.us/j/83390778311 Speaker: Andrea Clementi (Università di Roma “Tor Vergata”) TITLE: Sharp Thresholds for a SIR Model on One-Dimensional Small-World Networks ABSTRACT: After a short overview of the basic notions of the…
CINECA “HPC and Quantum Computing – third edition”: Talk submission invitation
Also this year, CINECA is pleased to announce the third edition of the “HPC and Quantum Computing” workshop.Due to the pandemic that is afflicting the whole world, this year the event will be an online edition, completely free as always.…
Webinar by Silvio Micali (MIT) on “ALGORAND: The Truly Distributed Blockchain”
Schedule: 20 November 2020, 14:00 GMT, 15:00 Italian time Virtual link: https://us02web.zoom.us/j/83124846054?pwd=Y2xINW9INExIeElPMnF5cGV0d0NNZz09 Speaker: Silvio Micali (MIT and Algorand) WWW: https://people.csail.mit.edu/silvio/ Title: “ALGORAND: The Truly Distributed Blockchain” Abstract: In its ideal model, a blockchain consists of a digital ledger of unalterable data,…
Joint CS@GSSI/ICE-TCS@Reykjavik University virtual seminar — speaker: Scott Aaronson
This CS@GSSI/ICE-TCS@Reykjavik University joint webinar is held in cooperation with Vísindafélag Íslands (the Icelandic Academy of Sciences) and the Icelandic Physical Society. Schedule: 30 November 2020, 16:00 GMT, 17:00 Italian timeVirtual link: TBA Speaker: Scott Aaronson (University of Texas at…
Joint CS@GSSI/ICE-TCS@Reykjavik University virtual seminar — speaker: Martina Maggio
Schedule: 25 November 2020, 16:30 GMT, 17:30 Italian time Virtual link: TBA Speaker: Martina Maggio, Saarland University, Germany WWW: http://www.martinamaggio.com Title: Testing Adaptive Software with Probabilistic Guarantees Abstract: Testing software that adapts, like a machine learning…
Joint ICE-TCS@Reykjavik University/GSSI virtual seminar — speaker: Monika Henzinger
Schedule: 13 November 2020, 14:00 GMT, 15:00 Italian timeVirtual link: *** https://us02web.zoom.us/j/88549008171 *** Speaker: Monika Henzinger (University of Vienna, Austria)WWW: https://homepage.univie.ac.at/monika.henzinger/ Title: Hierarchical graph decompositions in dynamic algorithms. Abstract: A dynamic graph algorithm is a data structure that maintains a graph property while…