Fundamentele Informatica

Activiteiten

Activiteiten per jaar 2015 2021 2022 2025

• 22 Organising and contributing to an event
• 8 Supervision and examination of PhD students of the UG
• 6 Membership
• 4 Examination, teaching and supervision external institution
• 11 Meer
  • 4 Academic presentation
  • 2 Attending an event
  • 2 Editorial work
  • 2 Visiting an external institution
  • 1 Hosting a visitor

Activiteiten per jaar

Zoekresultaten

• Linearity, Control Effects, and Behavioral Types

  Perez Parra, J. (Invited speaker)

  12-jan.-2021

  Activiteit: Academic presentation › Academic

• Coalgebras and their Modal Logics: Polynomial Functors and Beyond

  Hansen, H. H. (Invited speaker)

  16-mrt.-2021 → 17-mrt.-2021

  Activiteit: Academic presentation › Academic

• Workshop on Polynomial Functors

  Hansen, H. H. (Invited speaker)

  15-mrt.-2021 → 19-mrt.-2021

  Activiteit: Academic presentation › Academic

• Session Types and Higher-Order Concurrency

  Perez Parra, J. (Invited speaker)

  24-feb.-2021

  Activiteit: Academic presentation › Academic