User contributions for Ups

2 June 2018

• 11:0811:08, 2 June 2018 diff hist +13 WG211/M18Schedule →Scientific program

30 May 2018

• 11:4311:43, 30 May 2018 diff hist +26 WG211/M18Schultz No edit summary current
• 11:4211:42, 30 May 2018 diff hist +419 WG211/M18Schultz No edit summary
• 11:3911:39, 30 May 2018 diff hist +48 WG211/M18Schedule →Talks

28 May 2018

• 16:2516:25, 28 May 2018 diff hist +652 N WG211/M18Chiba Created page with "''Toward frameworks and libraries with language-like interfaces'' by Shigeru Chiba A library on early days was a collection of reusable subroutines. A modern library is not..." current
• 16:2516:25, 28 May 2018 diff hist +99 WG211/M18Schedule →Talks

26 May 2018

• 10:3210:32, 26 May 2018 diff hist +1,010 N WG211/M18Barwell Created page with "Adam Barwell ''Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics'' Abstract. Metaheuristics are families of algorithms that des..." current
• 10:3210:32, 26 May 2018 diff hist −12 WG211/M18Schedule →Talks

21 May 2018

• 17:3117:31, 21 May 2018 diff hist +58 WG211/M18Schedule →Scientific program
• 15:4715:47, 21 May 2018 diff hist +127 WG211/M18Schedule →Scientific program
• 15:2915:29, 21 May 2018 diff hist +60 WG211/M18Schedule →Talks
• 15:2715:27, 21 May 2018 diff hist −1 WG211/M18 Kiselyov No edit summary current
• 15:2715:27, 21 May 2018 diff hist −2 WG211/M18 Kiselyov No edit summary
• 15:2715:27, 21 May 2018 diff hist +1,710 N WG211/M18 Kiselyov Created page with "Session types without sophistry by Oleg Kiselyov, joint work with Keigo Imai of Gifu University Whereas ordinary types approximate the results, session types approximate comm..."
• 15:2615:26, 21 May 2018 diff hist +73 WG211/M18Schedule →Talks
• 15:2515:25, 21 May 2018 diff hist +15 WG211/M18Schedule →Talks
• 15:2415:24, 21 May 2018 diff hist +15 WG211/M18Schedule →Attendance

13 May 2018

• 21:0321:03, 13 May 2018 diff hist +64 WG211/M18Schedule →Attendance
• 20:2920:29, 13 May 2018 diff hist +15 WG211/M18Schedule →Attendance

8 May 2018

• 23:1723:17, 8 May 2018 diff hist −113 WG211/M18Schedule →IFIP Working Group 2.11, Eighteenth Meeting
• 23:1723:17, 8 May 2018 diff hist +80 WG211/M18Schedule →Travel
• 22:0022:00, 8 May 2018 diff hist +283 WG211/M18Schultz No edit summary
• 21:5721:57, 8 May 2018 diff hist +466 N WG211/M18Schultz Created page with "'''Designing a Language for Programming Robot Swarms''' by Ulrik Pagh Schultz (based on joint work with Elisabetta Seggioli) This talk presents a work-in-progress in designin..."
• 19:0819:08, 8 May 2018 diff hist +133 WG211/M18Schedule →Talks

2 April 2018

• 20:5420:54, 2 April 2018 diff hist +1,060 WG211/M18Schedule →Joint trips before/after the meeting

27 March 2018

• 09:5409:54, 27 March 2018 diff hist +62 WG211/M18Schedule →Joint trips before/after the meeting

20 March 2018

• 12:2812:28, 20 March 2018 diff hist +407 WG211/M18Schedule →IFIP Working Group 2.11, Eighteenth Meeting

9 March 2018

• 09:4909:49, 9 March 2018 diff hist +30 WG211/M18Schedule →Attendance

27 February 2018

• 11:2911:29, 27 February 2018 diff hist +81 WG211/M18Schedule →Accommodation
• 10:5410:54, 27 February 2018 diff hist −27 WG211/M18Schedule →Accommodation

2 November 2017

• 22:5322:53, 2 November 2017 diff hist +4 Main Page →Current Activity
• 21:5621:56, 2 November 2017 diff hist +52 WG211/M18Schedule →Attendance
• 21:5621:56, 2 November 2017 diff hist +193 WG211/M18Schedule →Registration
• 21:5421:54, 2 November 2017 diff hist +147 WG211/M18Schedule →Travel
• 21:5321:53, 2 November 2017 diff hist +47 WG211/M18Schedule →Venue
• 21:5221:52, 2 November 2017 diff hist +47 WG211/M18Schedule →Accommodation
• 21:5021:50, 2 November 2017 diff hist +118 WG211/M18Schedule →Accommodation
• 21:4621:46, 2 November 2017 diff hist 0 WG211/M18Schedule →June 4-7, 2018 in Kyoto, Japan.

20 July 2017

• 12:4312:43, 20 July 2017 diff hist +1 WG211/M17Schedule →Social events
• 11:1111:11, 20 July 2017 diff hist +50 WG211/M17Schedule →Social events

15 July 2017

• 12:2812:28, 15 July 2017 diff hist +1,434 N WG211/M17Oliveira Created page with "'''Semantic Modularization Techniques in Practice: A TAPL case study''' by Bruno Oliveira In this talk I will present a case study on a modular implementation of the Types an..." current

9 July 2017

• 20:1520:15, 9 July 2017 diff hist +817 WG211/M17Schedule →Scientific program

18 June 2017

• 23:0223:02, 18 June 2017 diff hist +17 WG211/M17Schultz No edit summary current
• 23:0123:01, 18 June 2017 diff hist +565 N WG211/M17Schultz Created page with "'''Safety as a Programming Language Concept''' by Ulrik Pagh Schultz This talk presents initial work on representing ''functional safety'' as a programming language concept (..."

29 May 2017

• 20:2420:24, 29 May 2017 diff hist +20 WG211/M17Schedule →Attendance

15 May 2017

• 15:0815:08, 15 May 2017 diff hist +23 WG211/M17Schedule →Registration
• 15:0815:08, 15 May 2017 diff hist +11 WG211/M17Schedule →Registration
• 15:0715:07, 15 May 2017 diff hist +134 WG211/M17Schedule →Registration

6 April 2017

• 16:5516:55, 6 April 2017 diff hist +9 WG211/M17Schedule →Accommodation
• 16:5316:53, 6 April 2017 diff hist +26 WG211/M17Schedule →Part II: Catering and social events