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
- 08:4108:41, 14 July 2022 diff hist +58 WG211/M21Schedule →Accommodation
- 08:3908:39, 14 July 2022 diff hist +5 WG211/M21Schedule →Accommodation
- 08:3608:36, 14 July 2022 diff hist +63 WG211/M21Schedule →Accommodation
- 08:3508:35, 14 July 2022 diff hist +298 WG211/M21Schedule →Accommodation
- 08:1208:12, 14 July 2022 diff hist +111 WG211/M21Schedule →Registration
11 July 2022
- 11:3311:33, 11 July 2022 diff hist +239 WG211/M21Schedule →Travel
- 09:0009:00, 11 July 2022 diff hist +267 WG211/M21Schedule →Travel
- 08:4708:47, 11 July 2022 diff hist +384 WG211/M21Schedule →Travel
- 07:2607: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
- 11:2211:22, 25 May 2022 diff hist +468 WG211/M21Schedule →August 15th-18th in Odense, Denmark
- 11:1511:15, 25 May 2022 diff hist +200 WG211/M21Schedule →Social events
- 11:1211:12, 25 May 2022 diff hist +784 WG211/M21Schedule →IFIP Working Group 2.11, Twenty-first Meeting
- 11:0311:03, 25 May 2022 diff hist +77 WG211/M21Schedule →Registration
- 11:0111:01, 25 May 2022 diff hist +2 WG211/M21Schedule →Registration
- 11:0011:00, 25 May 2022 diff hist +378 WG211/M21Schedule →Venue
17 May 2022
- 13:0113:01, 17 May 2022 diff hist +121 WG211/M21Schedule →Registration
30 March 2022
29 March 2022
- 16:5516:55, 29 March 2022 diff hist +106 WG211/M21Schedule →Registration
- 16:5416:54, 29 March 2022 diff hist +55 WG211/M21Schedule →Accommodation
- 16:5416:54, 29 March 2022 diff hist +211 WG211/M21Schedule →Venue
- 16:5216:52, 29 March 2022 diff hist +228 WG211/M21Schedule →Travel
- 16:5016:50, 29 March 2022 diff hist +261 WG211/M21Schedule →Venue
20 January 2020
- 15:3415:34, 20 January 2020 diff hist +12 WG211/M20Schedule →Talks
- 15:3315: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
- 15:2915:29, 20 January 2020 diff hist +96 WG211/M20Schedule →Talks
- 12:0912:09, 20 January 2020 diff hist +20 WG211/M20Schedule →Attendance
19 May 2019
- 13:2813:28, 19 May 2019 diff hist 0 N File:WG211 M19 Schultz.pdf No edit summary current
- 13:2713:27, 19 May 2019 diff hist +41 WG211/M19Schedule →Talks
1 May 2019
29 April 2019
- 11:4111:41, 29 April 2019 diff hist +341 WG211/M19Schedule →Social events
- 11:3811:38, 29 April 2019 diff hist +66 WG211/M19Schedule →Scientific program
- 02:0302: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
- 02:0202:02, 29 April 2019 diff hist +37 WG211/M19Schedule →Talks
28 April 2019
- 12:5812:58, 28 April 2019 diff hist +27 WG211/M19Schedule →Venue
- 12:5412: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
- 09:0809:08, 28 April 2019 diff hist +1,715 WG211/M19Schedule No edit summary
- 09:0409:04, 28 April 2019 diff hist +94 WG211/M19Schedule →Travel
27 April 2019
- 21:3921:39, 27 April 2019 diff hist −31 WG211/M19Schedule →Travel
26 April 2019
- 17:0617:06, 26 April 2019 diff hist +198 WG211/M19Schedule →Social events
- 17:0317:03, 26 April 2019 diff hist −27 WG211/M19Schedule →Scientific program
- 17:0117:01, 26 April 2019 diff hist −79 WG211/M19Schedule →Talks
- 17:0117:01, 26 April 2019 diff hist +98 WG211/M19Schedule →Talks
- 16:5816:58, 26 April 2019 diff hist 0 WG211/M19Schedule →Scientific program
- 16:5716:57, 26 April 2019 diff hist +166 WG211/M19Schedule →Scientific program
- 16:5416:54, 26 April 2019 diff hist +57 WG211/M19Schedule →Travel
