User contributions for Peter

11 February 2023

• 23:4223:42, 11 February 2023 diff hist +340 WG211/M22Schedule →Train and bus tickets
• 23:3523:35, 11 February 2023 diff hist −1 WG211/M22Schedule →In Delft
• 23:3423:34, 11 February 2023 diff hist +1,224 WG211/M22Schedule →Registration
• 21:4421:44, 11 February 2023 diff hist −607 WG211/M22Schedule →Accommodation
• 21:4221:42, 11 February 2023 diff hist +15 WG211/M22Schedule →Venue
• 21:2621:26, 11 February 2023 diff hist +52 WG211/M22Schedule →Venue

12 January 2023

• 21:0721:07, 12 January 2023 diff hist −4 WG211/M22Schedule →EVCS: Eelco Visser Commemorative Symposium
• 21:0521:05, 12 January 2023 diff hist −29 WG211/M22Schedule →Accommodation

11 January 2023

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

9 January 2023

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

4 January 2023

• 23:5323:53, 4 January 2023 diff hist +10 WG211/M22Schedule →Program / schedule
• 23:5223:52, 4 January 2023 diff hist +5 WG211/M22Schedule →Talks
• 23:4823:48, 4 January 2023 diff hist +5 WG211/M22Schedule →Registration
• 23:4723:47, 4 January 2023 diff hist +25 WG211/M22Schedule →Getting to Delft
• 23:4423:44, 4 January 2023 diff hist −1 WG211/M22Schedule →In Delft
• 23:4223:42, 4 January 2023 diff hist +104 WG211/M22Schedule →April 3rd-4th 2023 in Delft, The Netherlands
• 23:2123:21, 4 January 2023 diff hist −38 WG211/M22Schedule →EVCS: Eelco Visser Commemorative Symposium
• 23:1423:14, 4 January 2023 diff hist +582 WG211/M22Schedule →Touristic information
• 23:0623:06, 4 January 2023 diff hist +1,125 WG211/M22Schedule →Accommodation
• 22:5222:52, 4 January 2023 diff hist +2,709 WG211/M22Schedule →Travel
• 22:3122:31, 4 January 2023 diff hist +446 WG211/M22Schedule →Venue

8 December 2022

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

17 November 2022

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

16 November 2022

• 23:2023:20, 16 November 2022 diff hist +4 WG211/M22Schedule →April 3rd-4th 2023 in Delft, The Netherlands
• 23:1723:17, 16 November 2022 diff hist +10 WG211/M22Schedule →Eelco Visser Commemorative Symposium
• 23:1223:12, 16 November 2022 diff hist +29 WG211/M22Schedule →April 3rd-4th 2023 in Delft, The Netherlands
• 23:0823: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..."
• 22:1322:13, 16 November 2022 diff hist +8 Main Page →Current Activity
• 22:1222:12, 16 November 2022 diff hist +67 Main Page →Past Activity

11 August 2022

• 11:0311:03, 11 August 2022 diff hist 0 m WG211/M21Schedule →Talks
• 09:4009: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
• 09:3909:39, 11 August 2022 diff hist +85 WG211/M21Schedule →Talks

25 May 2022

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

14 February 2020

• 16:4016: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

7 December 2019

• 00:4300:43, 7 December 2019 diff hist +14 WG211/M20Schedule →Attendance

31 March 2019

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

8 July 2018

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

25 May 2018

• 08:2508: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

23 May 2018

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

17 May 2018

• 14:2114:21, 17 May 2018 diff hist +98 WG211/M18Schedule →Travel
• 14:1314:13, 17 May 2018 diff hist +55 WG211/M18Schedule →Talks

5 April 2018

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

12 November 2015

• 13:5513:55, 12 November 2015 diff hist +43 WG211/M15Schedule →Talks
• 13:5313: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

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

26 October 2015

• 13:1513: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..."
• 13:0213:02, 26 October 2015 diff hist +22 WG211/M15Schedule →Talks

16 October 2015

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

13 September 2015

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