El miércoles 14, a las 14hs va a dar una charla Joost Peter Katoen, (https://en.wikipedia.org/wiki/Joost-Pieter_Katoen) y va a dar una charla que tal vez sea de su interés. Sala 2103 a las 14 horas. Facing Uncertainty in AI - From Verification to Synthesis Uncertainties occur in different forms: data [...]