Activiteiten per jaar
Activiteiten
- 1 - 50 van 51 resultaten
Zoekresultaten
-
Dagstuhl Seminar 25141: Categories for Automata and Language Theory
Hansen, H. H. (Contributor)
31-mrt.-2025 → 4-apr.-2025Activiteit: Attending an event › Academic
-
Steering Committee Workshop on Logic, Language, Information and Computation (WoLLIC) (Externe Organisatie)
Hansen, H. H. (Member of board)
7-jul.-2024 → …Activiteit: Membership › Academic
-
Dagstuhl Seminar 24432 on Behavioural Metrics and Quantitative Logics
Hansen, H. H. (Attendee)
20-okt.-2024 → 25-okt.-2024Activiteit: Attending an event › Academic
-
PhD assessment committee of Joseph Paulus
Hansen, H. H. (Member of Assessment Committee)
20-sep.-2024Activiteit: Supervision and examination of PhD students of the UG › Academic
-
-
Indiana University Bloomington
Hansen, H. H. (Visiting researcher)
18-jul.-2023 → 25-jul.-2023Activiteit: Visiting an external institution › Academic
-
University of Strathclyde
Hansen, H. H. (Visiting researcher)
3-jul.-2023 → 6-jul.-2023Activiteit: Visiting an external institution › Academic
-
Mathematical structures in computer science (Tijdschrift)
Hansen, H. H. (Guest editor)
14-sep.-2023 → …Activiteit: Editorial work › Academic
-
PhD examination board of Alen Arslanagic
Hansen, H. H. (Member of PhD Examining Committee)
12-sep.-2023Activiteit: Supervision and examination of PhD students of the UG › Academic
-
Supervisor of Anton Chernev
Hansen, H. H. (Supervisor) & Kupke, C. (Co-supervisor)
1-sep.-2022 → …Activiteit: Supervision and examination of PhD students of the UG › 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
-
PhD examination board of Jana Wagemaker, Radboud University
Hansen, H. H. (Member of PhD Examining Committee)
24-okt.-2022Activiteit: Examination, teaching and supervision external institution › Academic
-
Supervisor of Valentina Trucco Dalmas
Hansen, H. H. (Supervisor) & Ramanayake, R. (Co-supervisor)
1-mrt.-2022 → …Activiteit: Supervision and examination of PhD students of the UG › 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.-2023Activiteit: 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.-2022Activiteit: Organising and contributing to an event › Academic
-
Supervisor of Vitor Rodrigues Greati
Hansen, H. H. (Supervisor) & Ramanayake, R. (Co-supervisor)
1-jun.-2022 → …Activiteit: Supervision and examination of PhD students of the UG › Academic
-
29th Workshop on Logic, Language, Information and Computation
Hansen, H. H. (Chair/vice-chair of scientific committee)
11-okt.-2022 → 14-jul.-2023Activiteit: Organising and contributing to an event › Academic
-
Steering Committee of Coalgebraic Methods in Computer Science (CMCS) and Conference on Algebra and Coalgebra in Computer Science (CALCO) (Externe Organisatie)
Hansen, H. H. (Member of board)
12-jul.-2022 → 12-jul.-2026Activiteit: Membership › Academic
-
PhD assessment committee of Atefeh Keshavarzi Zafarghandi
Hansen, H. H. (Member of Assessment Committee)
19-apr.-2022Activiteit: Supervision and examination of PhD students of the UG › Academic
-
TYPES 2021: 27th International Conference on Types for Proofs and Programs
Perez Parra, J. (Member of scientific committee)
14-jun.-2021 → 18-jun.-2021Activiteit: 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.-2021Activiteit: 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.-2021Activiteit: 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.-2021Activiteit: Organising and contributing to an event › Academic
-
Session Types and Higher-Order Concurrency
Perez Parra, J. (Invited speaker)
24-feb.-2021Activiteit: Academic presentation › Academic
-
Examination Board for the Master of Logic program, ILLC, University of Amsterdam (Externe Organisatie)
Hansen, H. H. (Member of board)
27-jan.-2021 → …Activiteit: Membership › Academic
-
Coalgebras and their Modal Logics: Polynomial Functors and Beyond
Hansen, H. H. (Invited speaker)
16-mrt.-2021 → 17-mrt.-2021Activiteit: Academic presentation › Academic
-
Applied Category Theory 2021
Hansen, H. H. (Member of scientific committee)
2-mrt.-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.-2021Activiteit: 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.-2021Activiteit: 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
-
ACT Adjoint School 2021
Hansen, H. H. (Contributor)
1-feb.-2021 → 9-jul.-2021Activiteit: Organising and contributing to an event › Academic
-
Linearity, Control Effects, and Behavioral Types
Perez Parra, J. (Invited speaker)
12-jan.-2021Activiteit: Academic presentation › Academic
-
Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (Externe Organisatie)
Hansen, H. H. (Member of board)
28-jan.-2021 → …Activiteit: Membership › Academic
-
Workshop on Polynomial Functors
Hansen, H. H. (Invited speaker)
15-mrt.-2021 → 19-mrt.-2021Activiteit: Academic presentation › Academic
-
Supervisor of Alois Rosset, Vrije Universiteit Amsterdam
Hansen, H. H. (Supervisor)
1-mei-2020 → 28-apr.-2025Activiteit: Examination, teaching and supervision external institution › Academic
-
SEN Symposium 2021
Hansen, H. H. (Chair/vice-chair of organising committee)
8-sep.-2020 → 1-mrt.-2021Activiteit: Organising and contributing to an event › Academic
-
PhD committee member at the PhD defense of Stipe Pandzic
Hansen, H. H. (Member of PhD Examining Committee)
29-okt.-2020Activiteit: Supervision and examination of PhD students of the UG › Academic
-
Women in Logic 2021
Hansen, H. H. (Member of scientific committee)
16-dec.-2020 → 27-jun.-2021Activiteit: 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.-2021Activiteit: Organising and contributing to an event › Academic
-
Dutch National Association for Software Engineering (VERSEN) (Externe Organisatie)
Perez Parra, J. (Member of board)
2020 → …Activiteit: Membership › 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
-
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.-2019Activiteit: Organising and contributing to an event › Academic
-
Supervisor of Fatemeh Seifan, University of Amsterdam
Hansen, H. H. (Supervisor)
1-nov.-2019 → 5-jun.-2024Activiteit: Examination, teaching and supervision external institution › Academic
-
Young Academy of Groningen (YAG) (Externe Organisatie)
Perez Parra, J. (Member)
2019 → …Activiteit: Membership › 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.-2019Activiteit: 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.-2023Activiteit: Organising and contributing to an event › Academic
-
Compositionality (Tijdschrift)
Hansen, H. H. (Editorial board member)
1-sep.-2018 → …Activiteit: Editorial work › Academic
-
Combined 25th Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
Perez Parra, J. (Chair/vice-chair of scientific committee)
2018Activiteit: Organising and contributing to an event › Academic
-
Supervisor of Graciela Nava Guerrero, Delft University of Technology
Hansen, H. H. (Supervisor)
1-sep.-2017 → 25-mrt.-2022Activiteit: Examination, teaching and supervision external institution › Academic
-
Supervisor of Frank Feys
Hansen, H. H. (Supervisor)
1-sep.-2016 → 1-sep.-2021Activiteit: Supervision and examination of PhD students of the UG › Academic