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

• 29th Workshop on Logic, Language, Information and Computation

  Hansen, H. H. (Chair/vice-chair of scientific committee)

  11-okt.-2022 → 14-jul.-2023

  Activiteit: Organising and contributing to an event › Academic

• 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science

  Hansen, H. H. (Chair/vice-chair of scientific committee)

  1-jan.-2022 → …

  Activiteit: Organising and contributing to an event › Academic

• 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems

  Hansen, H. H. (Member of scientific committee)

  15-nov.-2022 → 23-jun.-2023

  Activiteit: Organising and contributing to an event › Academic

• 14th Conference on Logic and the Foundations of Game and Decision Theory

  Hansen, H. H. (Member of scientific committee)

  11-mrt.-2022 → 22-jul.-2022

  Activiteit: Organising and contributing to an event › Academic

• TYPES 2021: 27th International Conference on Types for Proofs and Programs

  Perez Parra, J. (Member of scientific committee)

  14-jun.-2021 → 18-jun.-2021

  Activiteit: Organising and contributing to an event › Academic

• FACS 2021: 17th International Conference on Formal Aspects of Component Software

  Perez Parra, J. (Member of scientific committee)

  28-okt.-2021 → 29-okt.-2021

  Activiteit: Organising and contributing to an event › Academic

• ACT Adjoint School 2021

  Hansen, H. H. (Contributor)

  1-feb.-2021 → 9-jul.-2021

  Activiteit: Organising and contributing to an event › Academic

• FORTE 2021: 41th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems

  Perez Parra, J. (Member of scientific committee)

  14-jun.-2021 → 18-jun.-2021

  Activiteit: Organising and contributing to an event › Academic

• LSFA 2021: 16th Workshop on Logical and Semantic Framework with Applications

  Perez Parra, J. (Member of scientific committee)

  23-jul.-2021 → 24-jul.-2021

  Activiteit: Organising and contributing to an event › Academic

• PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming

  Perez Parra, J. (Member of scientific committee)

  6-sep.-2021 → 8-sep.-2021

  Activiteit: Organising and contributing to an event › Academic

• Mathematical Foundations of Programming Semantics 2021

  Hansen, H. H. (Member of scientific committee)

  7-feb.-2021 → …

  Activiteit: Organising and contributing to an event › Academic

• ISR 2021: 12th International School on Rewriting (IFIP Working Group 1.6)

  Perez Parra, J. (Contributor)

  1-jun.-2021 → 15-jun.-2021

  Activiteit: Organising and contributing to an event › Academic

• Applied Category Theory 2021

  Hansen, H. H. (Member of scientific committee)

  2-mrt.-2021 → …

  Activiteit: Organising and contributing to an event › Academic

• CONCUR 2020: 31st International Conference on Concurrency Theory

  Perez Parra, J. (Member of scientific committee)

  1-sep.-2020 → 4-sep.-2021

  Activiteit: Organising and contributing to an event › Academic

• 9th Indian Conference on Logic and its Applications

  Hansen, H. H. (Member of scientific committee)

  29-okt.-2020 → …

  Activiteit: Organising and contributing to an event › Academic

• SEN Symposium 2021

  Hansen, H. H. (Chair/vice-chair of organising committee)

  8-sep.-2020 → 1-mrt.-2021

  Activiteit: Organising and contributing to an event › Academic

• Women in Logic 2021

  Hansen, H. H. (Member of scientific committee)

  16-dec.-2020 → 27-jun.-2021

  Activiteit: Organising and contributing to an event › Academic

• 39th IFIP WG 6.1 Conference on Formal Techniques for Distributed Objects, Components, and Systems

  Perez Parra, J. (Chair/vice-chair of scientific committee)

  17-jun.-2019 → 21-jun.-2019

  Activiteit: Organising and contributing to an event › Academic

• 14th Int. Tbilisi Symposium on Language, Logic and Computation

  Hansen, H. H. (Chair/vice-chair of scientific committee)

  27-okt.-2019 → 22-sep.-2023

  Activiteit: Organising and contributing to an event › Academic

• Combined 26th Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics

  Perez Parra, J. (Chair/vice-chair of scientific committee)

  26-aug.-2019

  Activiteit: Organising and contributing to an event › Academic

• Combined 25th Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics

  Perez Parra, J. (Chair/vice-chair of scientific committee)

  2018

  Activiteit: Organising and contributing to an event › Academic

• 11th International Workshop on Developments in Computational Models

  Perez Parra, J. (Chair/vice-chair of scientific committee)

  28-okt.-2015

  Activiteit: Organising and contributing to an event › Academic