Post

🔵 #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