Skip to content

Commit

Permalink
Update index.md
Browse files Browse the repository at this point in the history
  • Loading branch information
pdmosses committed Oct 13, 2024
1 parent 7652a1a commit cdb5bc2
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions content/meetings/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,9 @@ This section lists my involvement in scientific meetings since 2005.
Pasadena, California, USA, October 2024
([presentation](https://2024.splashcon.org/details/jensfest-2024-papers/6/Towards-Verification-of-a-Denotational-Semantics-of-Inheritance):
*Towards Verification of a Denotational Semantics of Inheritance*)
- [First Wolves Reunion](https://mcusercontent.com/93a9b46161a9dbb2b70b01db3/files/89f2b378-1aa0-0b30-756b-ac584e26b5e8/First_Wolves_Programme.05.pdf):
*50 Years on the Cherwell*,
Wolfson College, University of Oxford, 6–7 September 2024
- [ETAPS 2024](https://etaps.org/2024/):
*European Joint Conferences on Theory and Practice of Software*,
Luxembourg City, Luxembourg, 6–11 April 2024
Expand All @@ -33,6 +36,9 @@ This section lists my involvement in scientific meetings since 2005.
Cascais, Lisbon, Portugal, 23–24 October 2023
([demonstration](https://2023.splashcon.org/details/sle-2023/17/Online-Name-Based-Navigation-for-Software-Meta-languages):
*Online name-based navigation for software meta-languages*)
- [5225](https://cs.au.dk/about-us/aniversary):
*Anniversary celebration: 52 and 25 years*,
Aarhus University, Denmark, 26 May 2023
- *Modular Semantics Seminar*,
University of Amsterdam, Amsterdam, 22 August 2023
(presentation: *Languages for defining funcons – discussion*)
Expand Down

0 comments on commit cdb5bc2

Please sign in to comment.