On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
User contributions for Ups
From WG 2.11
Jump to navigationJump to search
14 July 2022
- 09:3909:39, 14 July 2022 diff hist +5 WG211/M21Schedule →Accommodation
- 09:3609:36, 14 July 2022 diff hist +63 WG211/M21Schedule →Accommodation
- 09:3509:35, 14 July 2022 diff hist +298 WG211/M21Schedule →Accommodation
- 09:1209:12, 14 July 2022 diff hist +111 WG211/M21Schedule →Registration
11 July 2022
- 12:3312:33, 11 July 2022 diff hist +239 WG211/M21Schedule →Travel
- 10:0010:00, 11 July 2022 diff hist +267 WG211/M21Schedule →Travel
- 09:4709:47, 11 July 2022 diff hist +384 WG211/M21Schedule →Travel
- 08:2608:26, 11 July 2022 diff hist +12 WG211/M21Schedule →Attendance
4 July 2022
15 June 2022
9 June 2022
1 June 2022
29 May 2022
25 May 2022
- 12:2212:22, 25 May 2022 diff hist +468 WG211/M21Schedule →August 15th-18th in Odense, Denmark
- 12:1512:15, 25 May 2022 diff hist +200 WG211/M21Schedule →Social events
- 12:1212:12, 25 May 2022 diff hist +784 WG211/M21Schedule →IFIP Working Group 2.11, Twenty-first Meeting
- 12:0312:03, 25 May 2022 diff hist +77 WG211/M21Schedule →Registration
- 12:0112:01, 25 May 2022 diff hist +2 WG211/M21Schedule →Registration
- 12:0012:00, 25 May 2022 diff hist +378 WG211/M21Schedule →Venue
17 May 2022
- 14:0114:01, 17 May 2022 diff hist +121 WG211/M21Schedule →Registration
30 March 2022
29 March 2022
- 17:5517:55, 29 March 2022 diff hist +106 WG211/M21Schedule →Registration
- 17:5417:54, 29 March 2022 diff hist +55 WG211/M21Schedule →Accommodation
- 17:5417:54, 29 March 2022 diff hist +211 WG211/M21Schedule →Venue
- 17:5217:52, 29 March 2022 diff hist +228 WG211/M21Schedule →Travel
- 17:5017:50, 29 March 2022 diff hist +261 WG211/M21Schedule →Venue
20 January 2020
- 16:3416:34, 20 January 2020 diff hist +12 WG211/M20Schedule →Talks
- 16:3316: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:2916:29, 20 January 2020 diff hist +96 WG211/M20Schedule →Talks
- 13:0913:09, 20 January 2020 diff hist +20 WG211/M20Schedule →Attendance
19 May 2019
- 14:2814:28, 19 May 2019 diff hist 0 N File:WG211 M19 Schultz.pdf No edit summary current
- 14:2714:27, 19 May 2019 diff hist +41 WG211/M19Schedule →Talks
1 May 2019
29 April 2019
- 12:4112:41, 29 April 2019 diff hist +341 WG211/M19Schedule →Social events
- 12:3812:38, 29 April 2019 diff hist +66 WG211/M19Schedule →Scientific program
- 03:0303: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:0203:02, 29 April 2019 diff hist +37 WG211/M19Schedule →Talks
28 April 2019
- 13:5813:58, 28 April 2019 diff hist +27 WG211/M19Schedule →Venue
- 13:5413: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:0810:08, 28 April 2019 diff hist +1,715 WG211/M19Schedule No edit summary
- 10:0410:04, 28 April 2019 diff hist +94 WG211/M19Schedule →Travel
27 April 2019
- 22:3922:39, 27 April 2019 diff hist −31 WG211/M19Schedule →Travel
26 April 2019
- 18:0618:06, 26 April 2019 diff hist +198 WG211/M19Schedule →Social events
- 18:0318:03, 26 April 2019 diff hist −27 WG211/M19Schedule →Scientific program
- 18:0118:01, 26 April 2019 diff hist −79 WG211/M19Schedule →Talks
- 18:0118:01, 26 April 2019 diff hist +98 WG211/M19Schedule →Talks
- 17:5817:58, 26 April 2019 diff hist 0 WG211/M19Schedule →Scientific program
- 17:5717:57, 26 April 2019 diff hist +166 WG211/M19Schedule →Scientific program
- 17:5417:54, 26 April 2019 diff hist +57 WG211/M19Schedule →Travel
25 April 2019
- 20:4120:41, 25 April 2019 diff hist +44 WG211/M19Schedule →Talks
