Activities per year
Activities
- 1 - 50 out of 51 results
Search results
-
Dagstuhl Seminar 25141: Categories for Automata and Language Theory
Hansen, H. H. (Contributor)
31-Mar-2025 → 4-Apr-2025Activity: Organising and attending an event › Attending an event › Academic
-
Steering Committee Workshop on Logic, Language, Information and Computation (WoLLIC) (External organisation)
Hansen, H. H. (Member of board)
7-Jul-2024 → …Activity: Membership › Academic
-
-
PhD assessment committee of Joseph Paulus
Hansen, H. H. (Member of Assessment Committee)
20-Sept-2024Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic
-
Dagstuhl Seminar 24432 on Behavioural Metrics and Quantitative Logics
Hansen, H. H. (Attendee)
20-Oct-2024 → 25-Oct-2024Activity: Organising and attending an event › Attending an event › Academic
-
Indiana University Bloomington
Hansen, H. H. (Visiting researcher)
18-Jul-2023 → 25-Jul-2023Activity: Visiting an external institution › Academic
-
PhD examination board of Alen Arslanagic
Hansen, H. H. (Member of PhD Examining Committee)
12-Sept-2023Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic
-
Mathematical structures in computer science (Journal)
Hansen, H. H. (Guest editor)
14-Sept-2023 → …Activity: Peer-review and editorial work › Editorial work › Academic
-
University of Strathclyde
Hansen, H. H. (Visiting researcher)
3-Jul-2023 → 6-Jul-2023Activity: Visiting an external institution › Academic
-
PhD examination board of Jana Wagemaker, Radboud University
Hansen, H. H. (Member of PhD Examining Committee)
24-Oct-2022Activity: Examination, teaching and supervision › Examination, teaching and supervision external institution › Academic
-
PhD assessment committee of Atefeh Keshavarzi Zafarghandi
Hansen, H. H. (Member of Assessment Committee)
19-Apr-2022Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic
-
14th Conference on Logic and the Foundations of Game and Decision Theory
Hansen, H. H. (Member of scientific committee)
11-Mar-2022 → 22-Jul-2022Activity: Organising and attending an event › 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-2023Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Supervisor of Valentina Trucco Dalmas
Hansen, H. H. (Supervisor) & Ramanayake, R. (Co-supervisor)
1-Mar-2022 → …Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic
-
Steering Committee of Coalgebraic Methods in Computer Science (CMCS) and Conference on Algebra and Coalgebra in Computer Science (CALCO) (External organisation)
Hansen, H. H. (Member of board)
12-Jul-2022 → 12-Jul-2026Activity: Membership › Academic
-
29th Workshop on Logic, Language, Information and Computation
Hansen, H. H. (Chair/vice-chair of scientific committee)
11-Oct-2022 → 14-Jul-2023Activity: Organising and attending an event › 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 → …Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Supervisor of Vitor Rodrigues Greati
Hansen, H. H. (Supervisor) & Ramanayake, R. (Co-supervisor)
1-Jun-2022 → …Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic
-
Supervisor of Anton Chernev
Hansen, H. H. (Supervisor) & Kupke, C. (Co-supervisor)
1-Sept-2022 → …Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › 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-2021Activity: Organising and attending an event › 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-Sept-2021 → 8-Sept-2021Activity: Organising and attending an event › 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-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
ACT Adjoint School 2021
Hansen, H. H. (Contributor)
1-Feb-2021 → 9-Jul-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (External organisation)
Hansen, H. H. (Member of board)
28-Jan-2021 → …Activity: Membership › Academic
-
Linearity, Control Effects, and Behavioral Types
Perez Parra, J. (Invited speaker)
12-Jan-2021Activity: Talk and presentation › Academic presentation › Academic
-
TYPES 2021: 27th International Conference on Types for Proofs and Programs
Perez Parra, J. (Member of scientific committee)
14-Jun-2021 → 18-Jun-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Mathematical Foundations of Programming Semantics 2021
Hansen, H. H. (Member of scientific committee)
7-Feb-2021 → …Activity: Organising and attending an event › 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-2021Activity: Organising and attending an event › 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-Oct-2021 → 29-Oct-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Examination Board for the Master of Logic program, ILLC, University of Amsterdam (External organisation)
Hansen, H. H. (Member of board)
27-Jan-2021 → …Activity: Membership › Academic
-
Coalgebras and their Modal Logics: Polynomial Functors and Beyond
Hansen, H. H. (Invited speaker)
16-Mar-2021 → 17-Mar-2021Activity: Talk and presentation › Academic presentation › Academic
-
Workshop on Polynomial Functors
Hansen, H. H. (Invited speaker)
15-Mar-2021 → 19-Mar-2021Activity: Talk and presentation › Academic presentation › Academic
-
Applied Category Theory 2021
Hansen, H. H. (Member of scientific committee)
2-Mar-2021 → …Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Session Types and Higher-Order Concurrency
Perez Parra, J. (Invited speaker)
24-Feb-2021Activity: Talk and presentation › Academic presentation › Academic
-
SEN Symposium 2021
Hansen, H. H. (Chair/vice-chair of organising committee)
8-Sept-2020 → 1-Mar-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Women in Logic 2021
Hansen, H. H. (Member of scientific committee)
16-Dec-2020 → 27-Jun-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
9th Indian Conference on Logic and its Applications
Hansen, H. H. (Member of scientific committee)
29-Oct-2020 → …Activity: Organising and attending an event › 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-Oct-2020Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic
-
CONCUR 2020: 31st International Conference on Concurrency Theory
Perez Parra, J. (Member of scientific committee)
1-Sept-2020 → 4-Sept-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Dutch National Association for Software Engineering (VERSEN) (External organisation)
Perez Parra, J. (Member of board)
2020 → …Activity: Membership › Academic
-
Supervisor of Alois Rosset, Vrije Universiteit Amsterdam
Hansen, H. H. (Supervisor)
1-May-2020 → 28-Apr-2025Activity: Examination, teaching and supervision › Examination, teaching and supervision external institution › Academic
-
Young Academy of Groningen (YAG) (External organisation)
Perez Parra, J. (Member)
2019 → …Activity: Membership › Academic
-
Supervisor of Fatemeh Seifan, University of Amsterdam
Hansen, H. H. (Supervisor)
1-Nov-2019 → 5-Jun-2024Activity: Examination, teaching and supervision › Examination, teaching and supervision external institution › Academic
-
14th Int. Tbilisi Symposium on Language, Logic and Computation
Hansen, H. H. (Chair/vice-chair of scientific committee)
27-Oct-2019 → 22-Sept-2023Activity: Organising and attending an event › 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-2019Activity: Organising and attending an event › 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-2019Activity: Organising and attending an event › 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)
2018Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Compositionality (Journal)
Hansen, H. H. (Editorial board member)
1-Sept-2018 → …Activity: Peer-review and editorial work › Editorial work › Academic
-
Supervisor of Graciela Nava Guerrero, Delft University of Technology
Hansen, H. H. (Supervisor)
1-Sept-2017 → 25-Mar-2022Activity: Examination, teaching and supervision › Examination, teaching and supervision external institution › Academic
-
Supervisor of Frank Feys
Hansen, H. H. (Supervisor)
1-Sept-2016 → 1-Sept-2021Activity: Examination, teaching and supervision › Supervision and examination of PhD students of the UG › Academic