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 Eric
From WG 2.11
Jump to navigationJump to search
14 February 2014
- 22:3122:31, 14 February 2014 diff hist +51 WG211/M13Schedule →Sharing a taxi from the hotel or university to the airport
- 22:3022:30, 14 February 2014 diff hist 0 WG211/M13Schedule →Talks
- 22:3022:30, 14 February 2014 diff hist +41 WG211/M13Schedule →Talks
- 21:1921:19, 14 February 2014 diff hist +1,102 N WG211/M13Franchetti Created page with "High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification In this talk we introduce “High Assurance SPIRAL” to solve the “last mile” p..." current
9 February 2014
29 January 2014
- 00:2100:21, 29 January 2014 diff hist +645 N WG211/M13Hammond Created page with "Talk title: Using Dependent Types for Parallel Programming Abstract: In this talk I will introduce a new approach to capture parallelism information directly in the type of a pr..." current
- 00:2000:20, 29 January 2014 diff hist +86 WG211/M13Schedule →Talks
31 December 2013
- 00:4900:49, 31 December 2013 diff hist +471 N WG211/M13Mousavi Created page with "After a general introduction to my research interests and ongoing research projects, I present an overview of our recent experience within the Allegio project, in which a Domain..." current
- 00:4800:48, 31 December 2013 diff hist +115 WG211/M13Schedule →Talks
24 December 2013
- 20:0320:03, 24 December 2013 diff hist +6 Main Page →Current Members
- 20:0120:01, 24 December 2013 diff hist +65 Main Page →Current Members
11 September 2013
- 22:0822:08, 11 September 2013 diff hist +22 WG211/M13Schedule →Attendees
- 20:3120:31, 11 September 2013 diff hist +22 WG211/M13Schedule →Attendees
10 September 2013
19 August 2013
17 July 2013
- 17:2317:23, 17 July 2013 diff hist −2 WG211/M11Schedule →Talks current
- 17:2317:23, 17 July 2013 diff hist 0 N File:M11 vanwyk v2.pdf No edit summary current
8 July 2013
- 10:2010:20, 8 July 2013 diff hist +73 WG211/M12Schedule →Talks
- 10:1910:19, 8 July 2013 diff hist 0 N File:M12 schultz.pdf No edit summary current
- 10:1810:18, 8 July 2013 diff hist 0 N File:M12 rhiger.pdf No edit summary current
22 June 2013
- 19:4319:43, 22 June 2013 diff hist +15 WG211/M12Schedule →Talks
- 19:4319:43, 22 June 2013 diff hist 0 N File:M12 erwig.pdf No edit summary current
20 June 2013
19 June 2013
- 20:0220:02, 19 June 2013 diff hist +227 WG211/M12Schedule →Talks
- 20:0020:00, 19 June 2013 diff hist 0 N File:M12 smaragdakis.pdf No edit summary current
- 20:0020:00, 19 June 2013 diff hist 0 N File:M12 scholz.pdf No edit summary current
- 20:0020:00, 19 June 2013 diff hist 0 N File:M12 schaefer.pdf No edit summary current
- 19:5919:59, 19 June 2013 diff hist 0 N File:M12 mosses.pdf No edit summary current
- 19:5919:59, 19 June 2013 diff hist 0 N File:M12 lengauer.pdf No edit summary current
- 19:5919:59, 19 June 2013 diff hist 0 N File:M12 carette.pdf No edit summary current
- 19:5319:53, 19 June 2013 diff hist +2 WG211/M12Schedule →Talks
- 19:5219:52, 19 June 2013 diff hist +34 WG211/M12Schedule →Talks
- 19:5219:52, 19 June 2013 diff hist 0 N File:M12 vanwyk.pdf No edit summary current
8 June 2013
6 June 2013
3 June 2013
- 19:1519:15, 3 June 2013 diff hist +14 WG211/M12Schedule →Overall schedule
- 19:0719:07, 3 June 2013 diff hist +191 WG211/M12Schedule →Overall schedule
1 June 2013
- 00:0100:01, 1 June 2013 diff hist +25 WG211/M12Schedule →Talks
- 00:0000:00, 1 June 2013 diff hist +969 N WG211/M12Wyk Created page with "Debugging Attribute Grammar Specifications Debugging attributes grammar specifications is a challenge since the order in which attribute equations are evaluated is not always in..." current
30 May 2013
- 14:0414:04, 30 May 2013 diff hist +130 WG211/M12Schedule →Travel
29 May 2013
27 May 2013
- 23:3823:38, 27 May 2013 diff hist +40 WG211/M12Schedule →June 3-6, 2013, Minneapolis, USA
- 19:1919:19, 27 May 2013 diff hist +3,604 WG211/M12Schedule →June 3-6, 2013, Minneapolis, USA
28 March 2013
27 March 2013
- 13:1413:14, 27 March 2013 diff hist +29 WG211/M12Schedule →Venue and Travel
- 13:1013:10, 27 March 2013 diff hist +412 WG211/M12Schedule →Venue and Travel
25 March 2013
- 18:1218:12, 25 March 2013 diff hist −2 WG211/M12Schedule →Registration
- 18:1118:11, 25 March 2013 diff hist +487 WG211/M12Schedule →Registration
