Agenda

Result 1 - 2 of 2 results
  • Martin Loog

    Huygens Colloquium: Marco Loog

    Monday 13 January 2025, 12:30 pm - 1:15 pm Institute for Computing and Information Sciences, Faculty of Science Colloquium / Seminar Speaker: Marco Loog

    Martin Loog will discuss machine learning's state and challenges in AI, exploring data's role in model improvement. This event is for Faculty of Science staff and students.

  • Proof Automation for Fine-Grained Concurrent Separation Logic

    Proof Automation for Fine-Grained Concurrent Separation Logic

    Monday 3 February 2025, 4:30 pm Software Science, Institute for Computing and Information Sciences, Faculty of Science PhD defence PhD candidate: I.N. Mulder

    The PhD defence of I.N. Mulder is on 3 February 2025 at 04:30 pm.