Activities per year
Activities
- 19 results
Search results
-
7th Strathclyde International Perspectives on Cybercrime Summer School
de Muijnck-Hughes, J. (Invited speaker)
23 Aug 2024Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Scottish Programming Languages and Verification Summer School 2024
Allais, G. (Organiser), Watters, S. (Organiser), Atkey, B. (Organiser), Nordvall Forsberg, F. (Organiser), Mc Bride, C. (Organiser), de Muijnck-Hughes, J. (Organiser), Lambert, A. (Organiser), Altenmüller, M. (Organiser) & Kupke, C. (Organiser)
29 Jul 2024 → 2 Aug 2024Activity: Participating in or organising an event types › Organiser of special symposia
-
Scottish Programming Languages and Verification Summer School 2024
de Muijnck-Hughes, J. (Participant)
29 Jul 2024 → 2 Aug 2024Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Using Dependent Types to Design and Implement an Imperative Language with Multiparty Session Types
de Muijnck-Hughes, J. (Speaker)
29 May 2024Activity: Talk or presentation types › Invited talk
-
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
-
Scottish Programming Languages Seminar Series
de Muijnck-Hughes, J. (Organiser), Nordvall Forsberg, F. (Organiser), Rodriguez Sakamoto, R. (Organiser) & YUKSEL, D. B. (Organiser)
22 Nov 2023Activity: Participating in or organising an event types › Organiser of special symposia
-
Formal Methods Europe (External organisation)
de Muijnck-Hughes, J. (Advisor)
2023 → …Activity: Membership types › Membership of network
-
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
-
Scottish Programming Languages Institute (External organisation)
de Muijnck-Hughes, J. (Advisor)
2022 → …Activity: Membership types › Membership of network
-
The 20th Asian Symposium on Programming Languages and Systems Artifact Evaluation
de Muijnck-Hughes, J. (Chair)
2022Activity: Participating in or organising an event types › Organiser of major 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
-
European Associaton for Programming Languages and Systems (External organisation)
de Muijnck-Hughes, J. (Advisor)
2020 → …Activity: Membership types › Membership of network
-
Scottish Programming Languages Seminar Series: October 2019 in Glasgow
de Muijnck-Hughes, J. (Organiser) & Steuwer, M. (Organiser)
30 Oct 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Scottish Programming Language Seminar Series
de Muijnck-Hughes, J. (Organiser), Steuwer, M. (Organiser) & Dharda, O. (Organiser)
7 Mar 2018Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Journal of Functional Programming (Journal)
de Muijnck-Hughes, J. (Peer reviewer)
2017 → 2023Activity: Publication peer-review and editorial work types › Journal peer review