User contributions for Ups

2 June 2018

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

30 May 2018

• 10:4310:43, 30 May 2018 diff hist +26 WG211/M18Schultz No edit summary current
• 10:4210:42, 30 May 2018 diff hist +419 WG211/M18Schultz No edit summary
• 10:3910:39, 30 May 2018 diff hist +48 WG211/M18Schedule →Talks

28 May 2018

• 15:2515: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
• 15:2515:25, 28 May 2018 diff hist +99 WG211/M18Schedule →Talks

26 May 2018

• 09:3209: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
• 09:3209:32, 26 May 2018 diff hist −12 WG211/M18Schedule →Talks

21 May 2018

• 16:3116:31, 21 May 2018 diff hist +58 WG211/M18Schedule →Scientific program
• 14:4714:47, 21 May 2018 diff hist +127 WG211/M18Schedule →Scientific program
• 14:2914:29, 21 May 2018 diff hist +60 WG211/M18Schedule →Talks
• 14:2714:27, 21 May 2018 diff hist −1 WG211/M18 Kiselyov No edit summary current
• 14:2714:27, 21 May 2018 diff hist −2 WG211/M18 Kiselyov No edit summary
• 14:2714: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..."
• 14:2614:26, 21 May 2018 diff hist +73 WG211/M18Schedule →Talks
• 14:2514:25, 21 May 2018 diff hist +15 WG211/M18Schedule →Talks
• 14:2414:24, 21 May 2018 diff hist +15 WG211/M18Schedule →Attendance

13 May 2018

• 20:0320:03, 13 May 2018 diff hist +64 WG211/M18Schedule →Attendance
• 19:2919:29, 13 May 2018 diff hist +15 WG211/M18Schedule →Attendance

8 May 2018

• 22:1722:17, 8 May 2018 diff hist −113 WG211/M18Schedule →IFIP Working Group 2.11, Eighteenth Meeting
• 22:1722:17, 8 May 2018 diff hist +80 WG211/M18Schedule →Travel
• 21:0021:00, 8 May 2018 diff hist +283 WG211/M18Schultz No edit summary
• 20:5720: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..."
• 18:0818:08, 8 May 2018 diff hist +133 WG211/M18Schedule →Talks

2 April 2018

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

27 March 2018

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

20 March 2018

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

9 March 2018

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

27 February 2018

• 10:2910:29, 27 February 2018 diff hist +81 WG211/M18Schedule →Accommodation
• 09:5409:54, 27 February 2018 diff hist −27 WG211/M18Schedule →Accommodation

2 November 2017

• 21:5321:53, 2 November 2017 diff hist +4 Main Page →Current Activity
• 20:5620:56, 2 November 2017 diff hist +52 WG211/M18Schedule →Attendance
• 20:5620:56, 2 November 2017 diff hist +193 WG211/M18Schedule →Registration
• 20:5420:54, 2 November 2017 diff hist +147 WG211/M18Schedule →Travel
• 20:5320:53, 2 November 2017 diff hist +47 WG211/M18Schedule →Venue
• 20:5220:52, 2 November 2017 diff hist +47 WG211/M18Schedule →Accommodation
• 20:5020:50, 2 November 2017 diff hist +118 WG211/M18Schedule →Accommodation
• 20:4620:46, 2 November 2017 diff hist 0 WG211/M18Schedule →June 4-7, 2018 in Kyoto, Japan.

20 July 2017

• 11:4311:43, 20 July 2017 diff hist +1 WG211/M17Schedule →Social events
• 10:1110:11, 20 July 2017 diff hist +50 WG211/M17Schedule →Social events

15 July 2017

• 11:2811: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

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

18 June 2017

• 22:0222:02, 18 June 2017 diff hist +17 WG211/M17Schultz No edit summary current
• 22:0122: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

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

15 May 2017

• 14:0814:08, 15 May 2017 diff hist +23 WG211/M17Schedule →Registration
• 14:0814:08, 15 May 2017 diff hist +11 WG211/M17Schedule →Registration
• 14:0714:07, 15 May 2017 diff hist +134 WG211/M17Schedule →Registration

6 April 2017

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