User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:36, 14 July 2022 (diff | hist) . . (+63) . . WG211/M21Schedule (→Accommodation)
- 09:35, 14 July 2022 (diff | hist) . . (+298) . . WG211/M21Schedule (→Accommodation)
- 09:12, 14 July 2022 (diff | hist) . . (+111) . . WG211/M21Schedule (→Registration)
- 12:33, 11 July 2022 (diff | hist) . . (+239) . . WG211/M21Schedule (→Travel)
- 10:00, 11 July 2022 (diff | hist) . . (+267) . . WG211/M21Schedule (→Travel)
- 09:47, 11 July 2022 (diff | hist) . . (+384) . . WG211/M21Schedule (→Travel)
- 08:26, 11 July 2022 (diff | hist) . . (+12) . . WG211/M21Schedule (→Attendance)
- 16:17, 4 July 2022 (diff | hist) . . (+437) . . WG211/M21Schedule (→Accommodation)
- 09:58, 15 June 2022 (diff | hist) . . (+38) . . WG211/M21Schedule (→Attendance)
- 10:18, 9 June 2022 (diff | hist) . . (+16) . . WG211/M21Schedule (→Attendance)
- 17:29, 1 June 2022 (diff | hist) . . (0) . . WG211/M21Schedule (→Attendance)
- 17:43, 29 May 2022 (diff | hist) . . (+15) . . WG211/M21Schedule (→Attendance)
- 12:22, 25 May 2022 (diff | hist) . . (+468) . . WG211/M21Schedule (→August 15th-18th in Odense, Denmark)
- 12:15, 25 May 2022 (diff | hist) . . (+200) . . WG211/M21Schedule (→Social events)
- 12:12, 25 May 2022 (diff | hist) . . (+784) . . WG211/M21Schedule (→IFIP Working Group 2.11, Twenty-first Meeting)
- 12:03, 25 May 2022 (diff | hist) . . (+77) . . WG211/M21Schedule (→Registration)
- 12:01, 25 May 2022 (diff | hist) . . (+2) . . WG211/M21Schedule (→Registration)
- 12:00, 25 May 2022 (diff | hist) . . (+378) . . WG211/M21Schedule (→Venue)
- 14:01, 17 May 2022 (diff | hist) . . (+121) . . WG211/M21Schedule (→Registration)
- 15:13, 30 March 2022 (diff | hist) . . (-6) . . WG211/M21Schedule (→Registration)
- 17:55, 29 March 2022 (diff | hist) . . (+106) . . WG211/M21Schedule (→Registration)
- 17:54, 29 March 2022 (diff | hist) . . (+55) . . WG211/M21Schedule (→Accommodation)
- 17:54, 29 March 2022 (diff | hist) . . (+211) . . WG211/M21Schedule (→Venue)
- 17:52, 29 March 2022 (diff | hist) . . (+228) . . WG211/M21Schedule (→Travel)
- 17:50, 29 March 2022 (diff | hist) . . (+261) . . WG211/M21Schedule (→Venue)
- 16:34, 20 January 2020 (diff | hist) . . (+12) . . WG211/M20Schedule (→Talks)
- 16:33, 20 January 2020 (diff | hist) . . (+735) . . N WG211/M20Schultz (Created page with "''Coarse-grained Computational Energy Modeling for Autonomous Systems'' by Ulrik Pagh Schultz In this talk I will present initial work on modeling the relevant parts of the c...") (current)
- 16:29, 20 January 2020 (diff | hist) . . (+96) . . WG211/M20Schedule (→Talks)
- 13:09, 20 January 2020 (diff | hist) . . (+20) . . WG211/M20Schedule (→Attendance)
- 14:28, 19 May 2019 (diff | hist) . . (0) . . N File:WG211 M19 Schultz.pdf (current)
- 14:27, 19 May 2019 (diff | hist) . . (+41) . . WG211/M19Schedule (→Talks)
- 20:50, 1 May 2019 (diff | hist) . . (+35) . . WG211/M19Schedule (→Scientific program)
- 12:41, 29 April 2019 (diff | hist) . . (+341) . . WG211/M19Schedule (→Social events)
- 12:38, 29 April 2019 (diff | hist) . . (+66) . . WG211/M19Schedule (→Scientific program)
- 03:03, 29 April 2019 (diff | hist) . . (+711) . . N WG211/M19Yallop (Created page with "''A typed, algebraic approach to parsing'' by Jeremy Yallop, joint work with Neel Krishnaswami Context-free expressions are an algebraic presentation of context-free language...") (current)
- 03:02, 29 April 2019 (diff | hist) . . (+37) . . WG211/M19Schedule (→Talks)
- 13:58, 28 April 2019 (diff | hist) . . (+27) . . WG211/M19Schedule (→Venue)
- 13:54, 28 April 2019 (diff | hist) . . (+633) . . N WG211/M19Brady (Created page with "''Resource Safety with Linear Dependent Types'' by Edwin Brady I will show progress on a new version of Idris, based on Quantitative Type Theory (QTT). QTT, developed by Bob...") (current)
- 10:08, 28 April 2019 (diff | hist) . . (+1,715) . . WG211/M19Schedule
- 10:04, 28 April 2019 (diff | hist) . . (+94) . . WG211/M19Schedule (→Travel)
- 22:39, 27 April 2019 (diff | hist) . . (-31) . . WG211/M19Schedule (→Travel)
- 18:06, 26 April 2019 (diff | hist) . . (+198) . . WG211/M19Schedule (→Social events)
- 18:03, 26 April 2019 (diff | hist) . . (-27) . . WG211/M19Schedule (→Scientific program)
- 18:01, 26 April 2019 (diff | hist) . . (-79) . . WG211/M19Schedule (→Talks)
- 18:01, 26 April 2019 (diff | hist) . . (+98) . . WG211/M19Schedule (→Talks)
- 17:58, 26 April 2019 (diff | hist) . . (0) . . WG211/M19Schedule (→Scientific program)
- 17:57, 26 April 2019 (diff | hist) . . (+166) . . WG211/M19Schedule (→Scientific program)
- 17:54, 26 April 2019 (diff | hist) . . (+57) . . WG211/M19Schedule (→Travel)
- 20:41, 25 April 2019 (diff | hist) . . (+44) . . WG211/M19Schedule (→Talks)
- 20:32, 25 April 2019 (diff | hist) . . (+63) . . WG211/M19Schedule (→Talks)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
