User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 22:42, 11 February 2023 (diff | hist) . . (+340) . . WG211/M22Schedule (→Train and bus tickets)
- 22:35, 11 February 2023 (diff | hist) . . (-1) . . WG211/M22Schedule (→In Delft)
- 22:34, 11 February 2023 (diff | hist) . . (+1,224) . . WG211/M22Schedule (→Registration)
- 20:44, 11 February 2023 (diff | hist) . . (-607) . . WG211/M22Schedule (→Accommodation)
- 20:42, 11 February 2023 (diff | hist) . . (+15) . . WG211/M22Schedule (→Venue)
- 20:26, 11 February 2023 (diff | hist) . . (+52) . . WG211/M22Schedule (→Venue)
- 20:07, 12 January 2023 (diff | hist) . . (-4) . . WG211/M22Schedule (→EVCS: Eelco Visser Commemorative Symposium)
- 20:05, 12 January 2023 (diff | hist) . . (-29) . . WG211/M22Schedule (→Accommodation)
- 21:45, 11 January 2023 (diff | hist) . . (+13) . . WG211/M22Schedule (→Accommodation)
- 16:50, 9 January 2023 (diff | hist) . . (+34) . . WG211/M22Schedule (→Accommodation)
- 22:53, 4 January 2023 (diff | hist) . . (+10) . . WG211/M22Schedule (→Program / schedule)
- 22:52, 4 January 2023 (diff | hist) . . (+5) . . WG211/M22Schedule (→Talks)
- 22:48, 4 January 2023 (diff | hist) . . (+5) . . WG211/M22Schedule (→Registration)
- 22:47, 4 January 2023 (diff | hist) . . (+25) . . WG211/M22Schedule (→Getting to Delft)
- 22:44, 4 January 2023 (diff | hist) . . (-1) . . WG211/M22Schedule (→In Delft)
- 22:42, 4 January 2023 (diff | hist) . . (+104) . . WG211/M22Schedule (→April 3rd-4th 2023 in Delft, The Netherlands)
- 22:21, 4 January 2023 (diff | hist) . . (-38) . . WG211/M22Schedule (→EVCS: Eelco Visser Commemorative Symposium)
- 22:14, 4 January 2023 (diff | hist) . . (+582) . . WG211/M22Schedule (→Touristic information)
- 22:06, 4 January 2023 (diff | hist) . . (+1,125) . . WG211/M22Schedule (→Accommodation)
- 21:52, 4 January 2023 (diff | hist) . . (+2,709) . . WG211/M22Schedule (→Travel)
- 21:31, 4 January 2023 (diff | hist) . . (+446) . . WG211/M22Schedule (→Venue)
- 10:09, 8 December 2022 (diff | hist) . . (-4) . . WG211/M22Schedule (→IFIP Working Group 2.11, Twenty-second Meeting)
- 11:16, 17 November 2022 (diff | hist) . . (+74) . . WG211/M22Schedule (→EVCS: Eelco Visser Commemorative Symposium)
- 22:20, 16 November 2022 (diff | hist) . . (+4) . . WG211/M22Schedule (→April 3rd-4th 2023 in Delft, The Netherlands)
- 22:17, 16 November 2022 (diff | hist) . . (+10) . . WG211/M22Schedule (→Eelco Visser Commemorative Symposium)
- 22:12, 16 November 2022 (diff | hist) . . (+29) . . WG211/M22Schedule (→April 3rd-4th 2023 in Delft, The Netherlands)
- 22: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:13, 16 November 2022 (diff | hist) . . (+8) . . Main Page (→Current Activity)
- 21:12, 16 November 2022 (diff | hist) . . (+67) . . Main Page (→Past Activity)
- 10:03, 11 August 2022 (diff | hist) . . (0) . . m WG211/M21Schedule (→Talks)
- 08: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:39, 11 August 2022 (diff | hist) . . (+85) . . WG211/M21Schedule (→Talks)
- 22:54, 25 May 2022 (diff | hist) . . (+14) . . WG211/M21Schedule (→Attendance)
- 15: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)
- 23:43, 6 December 2019 (diff | hist) . . (+14) . . WG211/M20Schedule (→Attendance)
- 22:47, 31 March 2019 (diff | hist) . . (-1) . . Main Page (→Current Members)
- 16: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:44, 8 July 2018 (diff | hist) . . (+32) . . WG211/M18Schedule (→Attendance) (current)
- 07: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:07, 22 May 2018 (diff | hist) . . (+84) . . WG211/M18Schedule (→Travel)
- 13:21, 17 May 2018 (diff | hist) . . (+98) . . WG211/M18Schedule (→Travel)
- 13:13, 17 May 2018 (diff | hist) . . (+55) . . WG211/M18Schedule (→Talks)
- 22:20, 5 April 2018 (diff | hist) . . (+14) . . WG211/M18Schedule (→Attendance)
- 12:55, 12 November 2015 (diff | hist) . . (+43) . . WG211/M15Schedule (→Talks)
- 12: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)
- 12:34, 27 October 2015 (diff | hist) . . (-1) . . WG211/M15Mosses (current)
- 12: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:02, 26 October 2015 (diff | hist) . . (+22) . . WG211/M15Schedule (→Talks)
- 16:34, 16 October 2015 (diff | hist) . . (+50) . . WG211/M15Schedule (→Talks and Schedule)
- 17:48, 13 September 2015 (diff | hist) . . (+14) . . WG211/M15Schedule (→Attendance)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
