Personal tools

AngloHaskell/2006

From HaskellWiki

< AngloHaskell
Revision as of 11:03, 20 July 2011 by GaneshSittampalam (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

On June the 9th, Microsoft Research sent out an advert for a job. This job involves maintaining the Glorious Glasgow Compiler, and created quite a stir in the Haskell community: It's the job we've all been hoping for! After a while the CV's were sent, and Microsoft Research has now invited several Haskellers for an interview at Cambridge, UK.

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:

  • Friday the 4th and Saturday the 5th of August.

Contact person: Shae Erisson - +46 70 3915045

Local contact: Ganesh Sittampalam - [number removed after the event]

If you're coming into Cambridge by train and want to join in the fun, call Shae at the number above.

Contents

1 Directions to MSR

MSR has some directions, which can be best summarised as ‘get a taxi’. Here is (hopefully) a Google Earth location of MSR, as well as a 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 marginally better instructions.

The fastest way to MSR (on foot and public transport) from the station is to 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.)

2 Attendees

All attendees, please bring or make a nametag that identifies you by your real name and/or IRC name.

2.1 Definite

  • Simon Peyton-Jones and Simon Marlow (Friday only)
  • Lemmih (will arrive the 2nd and leave the 6th)
  • PhilippaCowderoy (barring emergencies, can hang around)
  • 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)

2.2 Possible

  • 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

3 Lodging

  • 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)

4 Programme

Planning is taking place on IRC: #anglohaskell on irc.freenode.net

4.1 Friday Talks

  • 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

4.1.1 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 theorem prover"
  • Robin Green has prepared a talk about simulating dependent types in Haskell, and using them for "categorical programming" (programming based on category theory) and proving properties of code

4.2 Rest of Friday

  • 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?

4.3 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?

5 Wireless internet

MSR is willling to provide wireless internet to everyone who gives their name and email address.

  • 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