Difference between revisions of "AngloHaskell/2007"
Jump to navigation
Jump to search
(added link to my slides!) |
(Gearing up to organise a 2007 event) |
||
| Line 1: | Line 1: | ||
| − | On June the 9th, Microsoft Research sent out an advert for a job. This |
+ | On June the 9th 2006, Microsoft Research sent out an advert for a job. This eventually led to [[AngloHaskell/2006|AngloHaskell 2006]], and much fun was had! |
| + | Doing it again in 2007 seems like a good idea, who's up for it? |
||
| − | This event has been recognized as a great opportunity for a Haskell gathering and we hereby invite all Haskellers (and other cool people) to a fun couple of days in Cambridge. |
||
| + | == Date and Venue == |
||
| − | Date: |
||
| − | * Friday the 4th and Saturday the 5th of August. |
||
| + | These need deciding on! Simon Peyton-Jones has offered to ask MSR if we can have space for talks, and says it's likely we'll get it. A date in the summer seems a good idea, and should help fill in the lull before the next Fun in the Afternoon. |
||
| − | Contact person: |
||
| − | Shae Erisson - +46 70 3915045 |
||
| + | Any other offers for a venue for talks? |
||
| − | Local contact: |
||
| − | Ganesh Sittampalam - 07968 253467 (+44 7968 253467 from a non-UK phone) |
||
| ⚫ | |||
| − | If you're coming into Cambridge by train and want to join in the fun, call Shae at the number above. |
||
| + | It's likely that there'll be people in need of crashspace and so forth, so once we've got a date and venue set it would be an idea for people to organise things here. |
||
| − | == Directions to MSR == |
||
| − | |||
| − | MSR has [http://research.microsoft.com/aboutmsr/visitmsr/cambridge/directions.aspx some directions], which can be best summarised as ‘get a taxi’. Here is (hopefully) a [http://earth.google.com/ Google Earth] [[Media:Microsoft_Research,_Cambridge.kmz|location]] of MSR, as well as a [http://maps.google.com/maps?q=CB3+0FB&ll=52.211499,0.117073&spn=0.02677,0.086517 Google Maps link]. (J J Thomson Avenue is immediately west of Clerk Maxwell Road.) |
||
| − | |||
| − | If you do take a taxi and the driver doesn't know where it is, tell him or her to drive down Madingley Road until you reach the West Cambridge site, J J Thomson Avenue. The Computer Laboratory (next door) has [http://www.cl.cam.ac.uk/UoCCL/contacts/#gettinghere marginally better instructions]. |
||
| − | |||
| − | The fastest way to MSR (on foot and public transport) from the station is to [http://maps.google.com/maps?saddr=CB1+2JW&daddr=Trumpington+Road,+Cambridge cut through to Trumpington Road via Bateman Street] (don't follow the driving directions!), and take the Citi 4 or Uni 4. There's a bus stop just across the road from Bateman Street. |
||
| − | |||
| − | To get to the city centre by bus, take the Citi 1 or Citi 3. Do ask to make sure they're going in the right direction though! There are also a number of clearly marked shuttle busses between the centre and station running during the day every 10 minutes or so. |
||
| − | |||
| − | To walk to the centre (20 minutes not carrying luggage), go straight down the road facing you when you come out of the station, bear right when the road ends at some traffic lights / a WW1 memorial / the botanic gardens, and keep walking straight (Hills Road / Regent St / St Andrews St) for quite a while until you reach a pedestrianised bit, at which point you are in the centre. |
||
| − | |||
| − | From the city centre to MSR, you can catch the number 77 Madingley Road Park and Ride which goes from bus stop M on Emma St. (Or find your way to Pembroke or Silver Street, and catch the Citi 4 / Uni 4 from there.) |
||
== Attendees == |
== Attendees == |
||
| − | + | Per last year, all attendees should '''bring or make a nametag''' that identifies you by your real name and/or IRC name. If anyone wants to drag a roll of stickers and a pen along that'll help! |
|
=== Definite === |
=== Definite === |
||
| − | |||
| − | * Simon Peyton-Jones and Simon Marlow (Friday only) |
||
| − | * Lemmih (will arrive the 2nd and leave the 6th) |
||
| − | * PhilippaCowderoy (barring emergencies, can hang around) |
||
| − | * [http://www.scannedinavian.com/hope/ ShaeErisson] [B0EF20CC] (shapr) (will arrive the 2nd and leave the 5th) |
||
| − | * Peter Nuttall (am around from the 26 July onwards, baring the 3rd when I'm in ipswitch) |
||
| − | * genneth (am in Cambridge anyway) |
||
| − | * GaneshSittampalam (Heffalump) (for at least some of the time) |
||
| − | * Neil Mitchell - ndm (will arrive 4pm on the 5th) |
||
| − | * Liyang HU |
||
| − | * Robin Green (greenrd) |
||
| − | * Dana N Xu |
||
| − | * Duncan Coutts (dcoutts) |
||
| − | * Edwin Brady (From about 2:30pm on Friday) |
||
| − | * PaoloMartini (xerox) |
||
| − | * Esa Ilari Vuokko (eivuokko) |
||
=== Possible === |
=== Possible === |
||
| + | * Philippa Cowderoy - will put myself under definite once we have a time and place |
||
| − | * GK (depends on the date; it'd be great to meet some of the wonderful Haskell community folks) |
||
| − | * vincenz (depends on the date, preferably a day or two, partially weekend) |
||
| − | ** Would need details in advance to reserve ticket for EUROSTAR |
||
| − | * Paul Johnson (paj) (paul at cogito dot org dot uk) |
||
| − | ** Almost certain. Looking for crash space or pointer to nearby cheap hotel |
||
| − | * Alexander Jacobson |
||
| − | |||
| ⚫ | |||
| − | |||
| − | * Are there places we can crash, rooms we can share? |
||
| − | ** Bring your own sleeping bag, if using one of the crash spaces below! |
||
| − | ** dcoutts has offered floor space to a few, however, there may not be any left. |
||
| − | ** psnl (Pete Nuttall) has 14 sq metres of floor crash space in a college. |
||
| − | ** Ganesh Sittampalam has several places worth of crash space left. Ask me on IRC (Heffalump) |
||
== Programme == |
== Programme == |
||
| − | Planning |
+ | Planning will be taking place on IRC as per last year: #anglohaskell on irc.freenode.net |
| − | |||
| ⚫ | |||
| − | |||
| − | * Stop Press! We will have a projector ''and'' a whiteboard! |
||
| − | * Lemmih could give a short talk on breakpoints in GHC |
||
| − | * Liyang is prepared to wave his arms in the air while not making much sense about ''idiomatic programming'' (and '''not just''' the ''applicative idioms'' you've witnessed previously...) with an additional helping of ''memoisation''. |
||
| − | * Paul Johnson will give a talk on '''discrete event simulation'''. |
||
| − | * Ganesh Sittampalam might talk about recent '''Darcs''' work involving patch theory |
||
| − | |||
| − | ==== Formal verification and dependent types ==== |
||
| − | |||
| − | * Dana N Xu will talk about '''Extended Static Checking''' for Haskell (ESC/Haskell) |
||
| − | * Edwin Brady might "introduce '''dependent types''' then talk about [his] pet '''[http://www.dcs.st-and.ac.uk/~eb/Ivor/ theorem prover]'''" |
||
| − | * Robin Green has prepared [http://secure.ucd.ie/~greenrd/talk/ah.pdf a talk] about simulating '''dependent types''' in Haskell, and using them for "categorical programming" (programming based on '''category theory''') and proving properties of code |
||
| − | |||
| − | === Rest of Friday === |
||
| + | If you're having trouble following things on IRC, the discussion page on the wiki might be a good place to leave comments and questions. |
||
| − | * Food's available for a price while at MSR |
||
| − | * We're expecting to hit a pub or two after MSR before we all find our crashspace |
||
| − | * No doubt there're possibilities while at a pub other than beer and chat? |
||
| − | * There's been mention of Go |
||
| − | * PhilippaCowderoy is bringing some additional, simpler games |
||
| − | * Do we have enough people who think they know the rules to get the Chairman's Game going? Can we avoid it turning turing complete? |
||
| + | Last year we had talks in the day on a Friday, followed by pubbage in the evening and assorted activities on the Saturday. This seemed to work, any other suggestions? |
||
| − | === Saturday Stuff === |
||
| ⚫ | |||
| − | * Colonise a '''café''' in the morning 'til everyone's reasonably awake, then head for a '''pub''' or similar with '''wi-fi''' (perhaps the connection is less important?) for coding and/or more social geeking as per everyone's taste |
||
| − | * Pick a café on friday? |
||
| + | It wouldn't be AngloHaskell without some talks, so volunteers please! Last year we had a largely more practical set of talks than you might find at Fun in the Afternoon or an academic event. This was a good thing, and some of the best talks were from people who were far from considering themselves as experts, so feel free to tell us about your experiences. |
||
| − | == Wireless internet == |
||
| + | When we have a venue confirmed, we can also put up details of the equipment available for speakers. |
||
| − | MSR is willling to provide wireless internet to everyone who gives their name and email address. |
||
| + | * Philippa Cowderoy can give one of a number of talks, will pick one as time goes on |
||
| − | * David Himmelstrup, lemmih AT gmail.com |
||
| − | * Ian Lynagh, igloo AT earth.li |
||
| − | * Shae Erisson, shae AT ScannedInAvian.com |
||
| − | * Edwin Brady, eb AT dcs.st-and.ac.uk |
||
| − | * Liyang HU, msrc AT liyang.hu |
||
| − | * Ganesh Sittampalam, ganesh AT earth.li |
||
| − | * Duncan Coutts, duncan.coutts at comlab.ox.ac.uk |
||
| − | * Esa Ilari Vuokko, ei AT vuokko.info |
||
[[Category:Events]] |
[[Category:Events]] |
||
Revision as of 15:57, 21 May 2007
On June the 9th 2006, Microsoft Research sent out an advert for a job. This eventually led to AngloHaskell 2006, and much fun was had!
Doing it again in 2007 seems like a good idea, who's up for it?
Date and Venue
These need deciding on! Simon Peyton-Jones has offered to ask MSR if we can have space for talks, and says it's likely we'll get it. A date in the summer seems a good idea, and should help fill in the lull before the next Fun in the Afternoon.
Any other offers for a venue for talks?
Lodging
It's likely that there'll be people in need of crashspace and so forth, so once we've got a date and venue set it would be an idea for people to organise things here.
Attendees
Per last year, all attendees should bring or make a nametag that identifies you by your real name and/or IRC name. If anyone wants to drag a roll of stickers and a pen along that'll help!
Definite
Possible
- Philippa Cowderoy - will put myself under definite once we have a time and place
Programme
Planning will be taking place on IRC as per last year: #anglohaskell on irc.freenode.net
If you're having trouble following things on IRC, the discussion page on the wiki might be a good place to leave comments and questions.
Last year we had talks in the day on a Friday, followed by pubbage in the evening and assorted activities on the Saturday. This seemed to work, any other suggestions?
Talks
It wouldn't be AngloHaskell without some talks, so volunteers please! Last year we had a largely more practical set of talks than you might find at Fun in the Afternoon or an academic event. This was a good thing, and some of the best talks were from people who were far from considering themselves as experts, so feel free to tell us about your experiences.
When we have a venue confirmed, we can also put up details of the equipment available for speakers.
- Philippa Cowderoy can give one of a number of talks, will pick one as time goes on