Fundamental Computing

Activities

Activities per year 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 More
  • 4 Academic presentation
  • 2 Attending an event
  • 2 Editorial work
  • 2 Visiting an external institution
  • 1 Hosting a visitor

Activities per year

Search results

• Linearity, Control Effects, and Behavioral Types

  Perez Parra, J. (Invited speaker)

  12-Jan-2021

  Activity: Talk and presentation › Academic presentation › Academic

• Coalgebras and their Modal Logics: Polynomial Functors and Beyond

  Hansen, H. H. (Invited speaker)

  16-Mar-2021 → 17-Mar-2021

  Activity: Talk and presentation › Academic presentation › Academic

• Workshop on Polynomial Functors

  Hansen, H. H. (Invited speaker)

  15-Mar-2021 → 19-Mar-2021

  Activity: Talk and presentation › Academic presentation › Academic

• Session Types and Higher-Order Concurrency

  Perez Parra, J. (Invited speaker)

  24-Feb-2021

  Activity: Talk and presentation › Academic presentation › Academic