User contributions for Peter

11 February 2023

• 22:4222:42, 11 February 2023 diff hist +340 WG211/M22Schedule →Train and bus tickets
• 22:3522:35, 11 February 2023 diff hist −1 WG211/M22Schedule →In Delft
• 22:3422:34, 11 February 2023 diff hist +1,224 WG211/M22Schedule →Registration
• 20:4420:44, 11 February 2023 diff hist −607 WG211/M22Schedule →Accommodation
• 20:4220:42, 11 February 2023 diff hist +15 WG211/M22Schedule →Venue
• 20:2620:26, 11 February 2023 diff hist +52 WG211/M22Schedule →Venue

12 January 2023

• 20:0720:07, 12 January 2023 diff hist −4 WG211/M22Schedule →EVCS: Eelco Visser Commemorative Symposium
• 20:0520:05, 12 January 2023 diff hist −29 WG211/M22Schedule →Accommodation

11 January 2023

• 21:4521:45, 11 January 2023 diff hist +13 WG211/M22Schedule →Accommodation

9 January 2023

• 16:5016:50, 9 January 2023 diff hist +34 WG211/M22Schedule →Accommodation

4 January 2023

• 22:5322:53, 4 January 2023 diff hist +10 WG211/M22Schedule →Program / schedule
• 22:5222:52, 4 January 2023 diff hist +5 WG211/M22Schedule →Talks
• 22:4822:48, 4 January 2023 diff hist +5 WG211/M22Schedule →Registration
• 22:4722:47, 4 January 2023 diff hist +25 WG211/M22Schedule →Getting to Delft
• 22:4422:44, 4 January 2023 diff hist −1 WG211/M22Schedule →In Delft
• 22:4222:42, 4 January 2023 diff hist +104 WG211/M22Schedule →April 3rd-4th 2023 in Delft, The Netherlands
• 22:2122:21, 4 January 2023 diff hist −38 WG211/M22Schedule →EVCS: Eelco Visser Commemorative Symposium
• 22:1422:14, 4 January 2023 diff hist +582 WG211/M22Schedule →Touristic information
• 22:0622:06, 4 January 2023 diff hist +1,125 WG211/M22Schedule →Accommodation
• 21:5221:52, 4 January 2023 diff hist +2,709 WG211/M22Schedule →Travel
• 21:3121:31, 4 January 2023 diff hist +446 WG211/M22Schedule →Venue

8 December 2022

• 10:0910:09, 8 December 2022 diff hist −4 WG211/M22Schedule →IFIP Working Group 2.11, Twenty-second Meeting

17 November 2022

• 11:1611:16, 17 November 2022 diff hist +74 WG211/M22Schedule →EVCS: Eelco Visser Commemorative Symposium

16 November 2022

• 22:2022:20, 16 November 2022 diff hist +4 WG211/M22Schedule →April 3rd-4th 2023 in Delft, The Netherlands
• 22:1722:17, 16 November 2022 diff hist +10 WG211/M22Schedule →Eelco Visser Commemorative Symposium
• 22:1222:12, 16 November 2022 diff hist +29 WG211/M22Schedule →April 3rd-4th 2023 in Delft, The Netherlands
• 22:0822:08, 16 November 2022 diff hist +1,153 N WG211/M22Schedule Created page with "=IFIP Working Group 2.11, Twenty-second Meeting= == April 3rd-4th 2023 in Delft, The Netherlands == The meeting will be hosted by Peter Mosses. The meeting will last 2 days..."
• 21:1321:13, 16 November 2022 diff hist +8 Main Page →Current Activity
• 21:1221:12, 16 November 2022 diff hist +67 Main Page →Past Activity

11 August 2022

• 10:0310:03, 11 August 2022 diff hist 0 m WG211/M21Schedule →Talks
• 08:4008:40, 11 August 2022 diff hist +710 N WG211/M21Mosses Created page with "The Spoofax language workbench supports precise code navigation for any language whose syntax and name resolution have been specified in its meta-languages. However, Spoofax o..." current
• 08:3908:39, 11 August 2022 diff hist +85 WG211/M21Schedule →Talks

25 May 2022

• 22:5422:54, 25 May 2022 diff hist +14 WG211/M21Schedule →Attendance

14 February 2020

• 15:4015:40, 14 February 2020 diff hist +1,207 N WG211/M20Mosses Created page with " == Modular SOS and static semantics == [https://pdmosses.github.io Peter Mosses] At the meeting in Kyoto, I talked about the CBS framework (Media:WG..." current

6 December 2019

• 23:4323:43, 6 December 2019 diff hist +14 WG211/M20Schedule →Attendance

31 March 2019

• 22:4722:47, 31 March 2019 diff hist −1 Main Page →Current Members

8 July 2018

• 16:4716:47, 8 July 2018 diff hist +54 N File:WG211 M18 Mosses slides.pdf Presented slides, updated with URL of CBS-beta release current
• 16:4416:44, 8 July 2018 diff hist +32 WG211/M18Schedule →Attendance current

25 May 2018

• 07:2507:25, 25 May 2018 diff hist +1,352 N WG211/M18Mosses Created page with "CBS is a framework and meta-language for component-based specification of programming languages by translation to so-called ‘funcons’ (fundamental programming constructs)...." current

22 May 2018

• 23:0723:07, 22 May 2018 diff hist +84 WG211/M18Schedule →Travel

17 May 2018

• 13:2113:21, 17 May 2018 diff hist +98 WG211/M18Schedule →Travel
• 13:1313:13, 17 May 2018 diff hist +55 WG211/M18Schedule →Talks

5 April 2018

• 22:2022:20, 5 April 2018 diff hist +14 WG211/M18Schedule →Attendance

12 November 2015

• 12:5512:55, 12 November 2015 diff hist +43 WG211/M15Schedule →Talks
• 12:5312:53, 12 November 2015 diff hist +337 N File:M15Mosses-Slides.pdf The PLanCompS project (http://www.plancomps.org) has developed a component-based approach to formal semantics. Here, we present and demonstrate tool support for component-based language definitions, including semantics-based program execution, developed i current

27 October 2015

• 12:3412:34, 27 October 2015 diff hist −1 WG211/M15Mosses No edit summary current

26 October 2015

• 12:1512:15, 26 October 2015 diff hist +481 N WG211/M15Mosses Created page with "The [http://www.plancomps.org PLanCompS project] has developed a component-based approach to formal semantics. Here, we present and demonstrate tool support for component-based l..."
• 12:0212:02, 26 October 2015 diff hist +22 WG211/M15Schedule →Talks

16 October 2015

• 16:3416:34, 16 October 2015 diff hist +50 WG211/M15Schedule →Talks and Schedule

13 September 2015

• 17:4817:48, 13 September 2015 diff hist +14 WG211/M15Schedule →Attendance