Activities per year
Activities
- 7 results
Search results
-
Dafny 2024
de Muijnck-Hughes, J. (Speaker)
14 Jan 2024Activity: Participating in or organising an event types › Participation in conference
-
Principles of Programming Languages (POPL 2024)
de Muijnck-Hughes, J. (Participant)
14 Jan 2024 → 16 Jan 2024Activity: Participating in or organising an event types › Participation in conference
-
31st European Symposium on Programming Artifact Evaluation
de Muijnck-Hughes, J. (Member of programme committee)
2022Activity: Participating in or organising an event types › Participation in conference
-
Ninth Workshop on Mathematically Structured Functional Programming
de Muijnck-Hughes, J. (Member of programme committee)
2022Activity: Participating in or organising an event types › Participation in conference
-
The 20th Asian Symposium on Programming Languages and Systems
de Muijnck-Hughes, J. (Member of programme committee)
2022Activity: Participating in or organising an event types › Participation in conference
-
Implementation and Application of Functional Languages
de Muijnck-Hughes, J. (Member of programme committee)
2021Activity: Participating in or organising an event types › Participation in conference
-
International Conference on Programming Language Design and Implementation Artifact Evaluation Committee
de Muijnck-Hughes, J. (Member of programme committee)
2021Activity: Participating in or organising an event types › Participation in conference