Semináře

• Hora Informaticae
  22.04.2025, 13:30 CSET, Velká zasedačka (č. 318, 2. poschodí) Ústavu informatiky AV ČR, v.v.i.
  Jan Onderka (Institute of Computer Science, Prague): Abstraction-Based Machine-Code Program Verification.
• Seminář strojového učení a modelování
  24.04.2025, 14:00, Posluchárna 8, Matematickofyzikální fakulta, Malostranské náměstí 2
  Jelle Hüntelmann: Learning to be uncertain: Of soft labels and soft losses