@dcc.uchile.cl on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Post

DCC UChile

dcc.uchile.cl

did:plc:772snu6sfy2j7hhnwwlvu34k

Hoy en el #dccuchile se realizará la charla dictada por Christophe Scholliers de UGhent, "Proof automation with SMT". ¡Todos/as invitados/as! 📅 Martes 24 de junio ⌚ 15:00 horas 📍 Sala P307 Grace Hopper (Edificio Poniente Beauchef 851) 📌 Más información: https://comunicaciones.dcc.uchile.cl/events/344-charla-proof-automation-with-smt/

2025-06-24T13:29:45.646Z