🔵 #IMDEATalk at IMDEA Software Institute

🗣️Alin-Petru Rosu

📅 Tuesday, Nov 3
⏰ 11:00 CET
🔎 PKI for Space Systems: Rethinking Certificates for the Post-Quantum Era

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3

🔵 #IMDEATalk at IMDEA Software Institute

🗣️Javier Gómez

📅 Wednesday, Oct 14
⏰ 11:00 CET
🔎 Blockchain Protocols across Heterogeneous Cryptocurrencies

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3

🔵 #IMDEATalk at IMDEA Software Institute

🗣️Ehsan Kafshdar Goharshady (Institute of Science and Technology Austria)

📅 Tuesday, Jul 14
⏰ 11:00 CET
🔎 Refuting Equivalence in Probabilistic Programs with Conditioning

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3

🔵 #IMDEATalk at IMDEA Software Institute

🗣️Antonio García Marqués (Universidad Rey Juan Carlos)

📅 Wednesday, Jul 01
⏰ 12:00 CET
🔎 Connecting the dots: how to use graph signal processing to learn graphs from nodal observations

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3

🔵 #IMDEATalk at IMDEA Software Institute

🗣️Mahesh Sreekumar Rajasree (CISPA Helmholtz Center for Information Security)

📅 Monday, May 25
⏰ 11:00 CET
🔎 Limits of Black-Box Constructions of Pseudorandom Codes

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3

🔵 #IMDEATalk at IMDEA Software Institute

🗣️Gregory Chockler (University of Surrey)

📅 Tuesday, April 21
⏰ 11:00 CET
🔎 Proving Linearizability of Fault-Tolerant Register Protocols: Dependency Graph Approach

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3

🔵 #IMDEATalk at IMDEA Software Institute

🗣️Alessio Mansutti (IMDEA Software)

📅 Monday, March 2
⏰ 15:00 CET
🔎 On the Design of Algorithms for Non-linear Theories of Arithmetic

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3