Research Program Towards High-Quality and Intelligent Software (THIS)

Activities

Activities per year 2014 2022 2023

• 32 Peer-review (publication)
• 16 Organising an event
• 11 Talk or presentation (not at a conference)
• 6 Editorial work journal
• 17 More
  • 3 Attending an event
  • 3 PhD examination
  • 3 Visiting researcher
  • 2 Membership of committee
  • 2 Conference contribution (without a publication)
  • 1 Webmaster / website management
  • 1 PhD supervision at external institution
  • 1 Membership of network
  • 1 External appointment

Activities per year

Search results

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Tobias Kappé (Speaker)

  4 Apr 2023

  Activity: Talk or presentation types › Conference contribution (without a publication) › Academic

• Een late diagnose, wat overkomt je dan?

  Sylvia Stuurman (Speaker)

  25 Nov 2022

  Activity: Talk or presentation types › Conference contribution (without a publication) › Professional