AngloHaskell/2007

From HaskellWiki

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.

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

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 (can stay for a couple of days)

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)

2.2 Possible

xerox (depends on the date)

GK (depends on the date; it'd be great to meet some of the wonderful Haskell community folks)

EdwinBrady (depends on the date; would probably stay a couple of days)

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

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.

4 Programme

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

4.1 Friday Talks

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.

4.1.1 Formal verification and dependent types

Robin Green is preparing 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

Is there anything other than talks for Friday while we're still at MSR? If not, are there enough talks to warrant a morning start?

Where's lunch?

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?

And other games that take less time to learn to play?

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

some kind of coding / pair programming? Maybe on Saturday when we're not going to be at MSR (we haven't figured out where we will be yet)

We don't know what we're doing on Saturday yet!

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

5 Miscellaneous

Please could everyone bring or make a nametag that identifies you by your real name and/or IRC name.

6 Wireless internet

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