View source for AngloHaskell/2010

AngloHaskell 2010 is taking place on the 10th and 11th of September in Cambridge, UK (yes, tradition has been broken and month has changed!). It's free, and everyone is invited! Simply add your name to the wiki and we'll see you there.

Organisational contact: Derek Wright (07857 984 549)

== Dates and Venues ==

{| class="wikitable"
|-
! Date !! Venue
|-
| Friday 10th September || Microsoft Research, Cambridge, UK
|-
| Saturday 11th September || [http://www.jdwetherspoon.co.uk/home/pubs/the-regal The Regal] Wetherspoons pub with Wi-Fi (Any better suggestions?)
|}

== 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!

If you can't make the start on Friday, or can only make it on Saturday, that's fine. If you're not sure where everyone's going to be, give one of the contacts a call or a text (Derek Wright = 07857 984 549)

=== Definite ===

* Derek Wright (Fri + Sat) [WiFi]
* Graeme Burnett (Fri + Sat)
* Sam Martin (Fri but not Sat)
* Eric Kow (Fri + Sat) [WiFi]
* Richard Smith (Fri only)
* Benedict Eastaugh (Fri only) [WiFi]
* Simon Marlow (Fri only)
* Tristan Allwood (Fri only) [WiFi]
* Tony Cowderoy (Fri + Sat)
* Philippa Cowderoy (Fri + Sat) [WiFi]
* Will Sonnex (Fri) [WiFi]
* Miëtek Bak (Fri) [WiFi]
* Will Jones (Fri)
* Claude Heiland-Allen (Fri)
* Alex McLean (Fri, can't do Sat) [WiFi]
* Pedro Martins (Fri) [WiFi]
* Nik Sultana (Fri + Sat)
* Rob Henderson (just Friday)
* Pasqualino "Titto" Assini (Fri + Sat)
* Sam Aaron (Fri)
* Max Bolingbroke (Fri)

* Add your name here

=== Possible ===

* Joshua Lee Tucker
* Ben May
* Richard Fergie (just Friday)
* Roland Swingler
* Vincent Hanquez
* Louis Zhuang (hopefully Sat)
* Thomas Schilling (Fri only)
* Neil Mitchell (hopefully Sat)
* Add your name here

=== Not this year, but hopefully next! ===

* Ganesh Sittampalam
* Magnus Therning (Fri) [WiFi]

=== Wifi Signup ===

Wifi accounts are available on request. The signup deadline is Wednesday 8th September. Everyone wanting an account should provide:

* Full name
* Institution
* Country of Residence
* Email Address

Signups here: 

If you'd prefer not to give details here, please email derek at obvious dot co dot uk with the subject "AngloHaskell Wifi Signup".

* Derek Wright, Obvious Limited, UK, derek at obvious dot co dot uk
* Philippa Cowderoy, , UK, flippa at flippac dot org
* Tristan Allwood, Imperial College, UK, tora at doc dot ic dot ac dot uk
* Will Sonnex, Imperial College, UK, will at sonnex dot name
* Pedro Martins, Imperial College, UK, pedromartins dot pt at gmail dot com
* Add Full Name, Institution, Country of Residence, Email Address

== Lodging ==

It's likely that there'll be people in need of crashspace and so forth, so please organise here! Both offers and requests are good.

=== Hostels ===

Details coming soon...

== Programme ==

Planning will be taking place on IRC as per previous years: #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.

In previous years 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, so we'll follow a similar model this year.

=== Timetable ===

This is somewhat preliminary and subject to change as talks are confirmed or otherwise, but the overall structure should hold: 

{| class="wikitable"
|-
! Day !! Time !! Event
|-
| Friday or Saturday || 10am || People start arriving
|-
| || 10:30 am || Tea, coffee and biscuits
|-
| || 11am - Welcome / Talks || Simon Peyton Jones: Welcome to Microsoft Research Cambridge & AngloHaskell
|-
| || || Simon Marlow: Scheduling lazy evaluation on multicore
|-
| || || Claude Heiland-Allen: mandulia - A zooming visualisation of the Mandelbrot Set as many Julia Sets
|-
| || 12-15pm || Lunch
|-
| || 1-15pm - More talks || Alex McLean: tidal - live coding patterns with Haskell
|-
| || || Will Sonnex: Zeno - automated proofs of Haskell programs
|-
| || || Pasqualino "Titto" Assini:  QuidQuid - using Haskell to Turn the Internet on its Head
|-
| || 3pm || Tea, coffee and biscuits
|-
| || 3-30pm - Remaining talks || Eric Kow: Darcs in 2010
|-
| || Then || Functional Grit - small talks that may grow into functional pearls. Open session, anyone can give a quick talk!
|-
| || When people get hungry or the venue kicks us out || Food! Likely we'll head out for a curry
|-
| || Beer o'Clock || When everyone's finished eating, we'll head for a nearby pub
|-
| 2nd Day || From 10am-ish || [http://www.jdwetherspoon.co.uk/home/pubs/the-regal The Regal]

Wetherspoons pub with Wi-Fi near the centre of town ( [http://maps.google.co.uk/maps/place?cid=4630934221894119690 Google Map] )
|}

=== Talks ===

Volunteers please! Previously we have 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.

Talks planned and/or offered:

* Claude Heiland-Allen - "mandulia: A zooming visualisation of the Mandelbrot Set as many Julia Sets" ([http://claudiusmaximus.goto10.org/t/hs/mandulia_anglohaskell_2010-09-10.pdf PDF])
* Alex McLean - "tidal - live coding patterns with Haskell"
* Simon Marlow - "Scheduling lazy evaluation on multicore"
* Will Sonnex - "Zeno - automated proofs of Haskell programs" ([http://www.doc.ic.ac.uk/~ws506/tryzeno/ Try It Online!]) ([http://www.doc.ic.ac.uk/~ws506/tryzeno/pdf/presentation.pdf Slides])
* Eric Kow - "[http://prezi.com/is5nzudw8jxq/darcs-in-2010/ Darcs in 2010]"
* Pasqualino "Titto" Assini - "QuidQuid: using Haskell to Turn the Internet on its Head" ([http://quicquid.org/presentation/QuidQuid.ppt PowerPoint], [http://quicquid.org/presentation/QuidQuid.htm HTML] ,[http://quicquid.org/presentation/QuidQuid.pdf PDF] ,[http://www.quid2.org Try It Online!])
* Add your name here - Add your title here

==== Abstracts ====

People giving talks should add these as they have them :-)

* [http://hackage.haskell.org/package/mandulia-0.4 mandulia: A zooming visualisation of the Mandelbrot Set as many Julia Sets]

Mandulia provides a zooming visualisation of the Mandelbrot Set as many Julia Sets. Featuring a profiled and optimized renderer, and a Lua configuration and scripting interface. 


* Zeno - automated proofs of Haskell programs

Zeno is an inductive theorem prover for properties of Haskell functions operating on recursive datatypes. Stuff like "drop n (take m xs) = take (m - n) (drop n xs)".


* Title here

abstract goes here

==== Functional Grit ====

In previous years there has been a successful 'functional grit' section.  Usually an informal session for people to briefly talk/demo works in progress, no need to pre-register, just turn up and talk.  Think small stones that might turn into functional pearls.  If there's time it'd be great to do again this year.

=== Other activity ===

After Friday's talks, food and drink would be a good idea! Curry is traditional and probably the default, but we're open to other suggestions. After that, we'll retreat to a pub for the evening.


[[User:DWright|Derek Wright]] (07857 984 549)

[[Category:Events]]