User contributions for Ups

30 October 2014

• 07:2107:21, 30 October 2014 diff hist +16 WG211/M14Schedule →Attendance

14 October 2014

• 09:0109:01, 14 October 2014 diff hist 0 WG211/M14Schedule →Attendance
• 09:0109:01, 14 October 2014 diff hist +15 WG211/M14Schedule →Excursion
• 09:0109:01, 14 October 2014 diff hist 0 WG211/M14Schedule →Registration

18 September 2014

• 13:1113:11, 18 September 2014 diff hist +23 WG211/M14Schedule →January 20-22, 2015, Stellenbosch, South Africa
• 12:5412:54, 18 September 2014 diff hist +154 WG211/M14Schedule →Excursions
• 10:5110:51, 18 September 2014 diff hist +542 N WG211/M14Schultz Created page with "''A domain-specific language for specifying reversible robot assembly tasks'' by Ulrik Pagh Schultz In this talk I present initial work in the design and implementation of a DSL..." current
• 10:4810:48, 18 September 2014 diff hist +460 WG211/M14Schedule →IFIP Working Group 2.11, Fourteenth Meeting
• 10:4110:41, 18 September 2014 diff hist +154 WG211/M14Schedule →January 20-22, 2015, Stellenbosch, South Africa

16 June 2014

• 11:5811:58, 16 June 2014 diff hist 0 WG211/M14Schedule →January 19-21, 2015, Stellenbosch, South Africa
• 11:5811:58, 16 June 2014 diff hist +61 Main Page →Current Activity

17 March 2014

• 03:2603:26, 17 March 2014 diff hist +1 WG211/M13Schedule →Talks

14 March 2014

• 15:5915:59, 14 March 2014 diff hist +72 WG211/M13Schedule →Sharing a taxi from the airport to the hotel

13 March 2014

• 08:4708:47, 13 March 2014 diff hist +63 WG211/M13Schedule →Talks

12 March 2014

• 13:4113:41, 12 March 2014 diff hist 0 WG211/M13Schedule →Overall schedule
• 06:4906:49, 12 March 2014 diff hist +87 WG211/M13Schedule →Overall schedule
• 06:4806:48, 12 March 2014 diff hist +37 WG211/M13Schedule →Overall schedule

11 March 2014

• 18:3018:30, 11 March 2014 diff hist +14 WG211/M13Schedule →Talks

10 March 2014

• 17:5317:53, 10 March 2014 diff hist −14 WG211/M13Schedule →Attendees
• 17:4217:42, 10 March 2014 diff hist +584 N WG211/M13Schultz Created page with "''Object-oriented multi-stage programming'' by Ulrik Pagh Schultz As part of a larger effort to demonstrate the three Futamura projections for object-oriented languages, we inve..." current
• 17:3817:38, 10 March 2014 diff hist −11 WG211/M13Igarashi No edit summary current
• 17:3717:37, 10 March 2014 diff hist +945 N WG211/M13Igarashi Created page with "''An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation'' by Atsushi Igarashi n the first half of this talk, I introduc..."
• 17:3717:37, 10 March 2014 diff hist +108 WG211/M13Schedule →Talks
• 17:3117:31, 10 March 2014 diff hist +202 WG211/M13Schedule →Overall schedule

6 March 2014

• 20:2120:21, 6 March 2014 diff hist +12 WG211/M13Schedule →Talks
• 20:1520:15, 6 March 2014 diff hist −74 WG211/M13Schedule →Talks

5 March 2014

• 21:3621:36, 5 March 2014 diff hist +25 WG211/M13Schedule →Attendees
• 10:3810:38, 5 March 2014 diff hist +265 N WG211/M13Ostermann Created page with "''From Object Algebras to Attribute Grammars'' by Klaus Ostermann We discuss the relation between Oliveira et al's object algebras and attribute grammars and present a modular e..." current
• 10:3710:37, 5 March 2014 diff hist +86 WG211/M13Schedule →Talks

4 March 2014

• 09:5609:56, 4 March 2014 diff hist +1,191 N WG211/M13Rayside Created page with "''Synthesis of Microfluidics Chips using SMT Solvers'' by Derek Rayside Microfluidic chips, lab-on-a-chip devices that have channels transporting liquids instead of wires carryi..." current
• 09:5509:55, 4 March 2014 diff hist +105 WG211/M13Schedule →Talks

3 March 2014

• 08:2308:23, 3 March 2014 diff hist +485 N WG211/M13Lawall Created page with "''Understanding the Genetic Makeup of Linux Device Drivers'' by Julia Lawall (joint work with Peter Senna Tschudin, Laurent Reveillere, Lingxiao Jiang, David Lo and Gilles Muller..." current
• 08:2208:22, 3 March 2014 diff hist +13 WG211/M13Schedule →Talks
• 08:2208:22, 3 March 2014 diff hist +94 WG211/M13Schedule →Talks
• 08:2108:21, 3 March 2014 diff hist +20 WG211/M13Schedule →Talks

1 March 2014

• 18:0818:08, 1 March 2014 diff hist +427 N WG211/M13Taha Created page with "''Binding Time Analysis in Acumen'' by Walid Taha Acumen is a language for modeling hybrid continuous/discrete dynamics. Binding Time Analysis is used in Acumen to enable the d..." current
• 18:0818:08, 1 March 2014 diff hist 0 WG211/M13Schedule →Talks
• 18:0718:07, 1 March 2014 diff hist +63 WG211/M13Schedule →Talks
• 18:0618:06, 1 March 2014 diff hist +65 WG211/M13Schedule →Talks

28 February 2014

• 16:5016:50, 28 February 2014 diff hist +56 WG211/M13Lengauer No edit summary current
• 16:5016:50, 28 February 2014 diff hist +532 N WG211/M13Lengauer Created page with " We reported on project ExaStencils at previous meetings of IFIP WG 2.11. Recall: the project pursues advanced stencil-code engineering with automated program optimization and co..."

25 February 2014

• 21:0221:02, 25 February 2014 diff hist +110 WG211/M13Schedule →Talks

23 February 2014

• 20:4520:45, 23 February 2014 diff hist +14 WG211/M13Schedule →Sunday trip to Fallingwater
• 12:4112:41, 23 February 2014 diff hist −13 WG211/M13Schedule →Attendees

10 February 2014

• 08:4808:48, 10 February 2014 diff hist +115 WG211/M13Schedule →Talks
• 08:4608:46, 10 February 2014 diff hist +18 WG211/M13Schedule →Attendees

5 February 2014

• 08:4108:41, 5 February 2014 diff hist +14 WG211/M13Schedule →Attendees

22 January 2014

• 15:0415:04, 22 January 2014 diff hist +75 WG211/M13Schedule →Talks
• 15:0315:03, 22 January 2014 diff hist +20 WG211/M13Schedule →Attendees

11 January 2014

• 15:0515:05, 11 January 2014 diff hist +14 WG211/M13Schedule →Attendees