Fun the Sixth
Sven-Bodo Scholz and Frank Penczek have kindly volunteered to
organise Fun the sixth at the University of Hertfordshire.
We can confirm that the date of the meeting is Thursday 15th May
2008. Fun starts with lunch at noon, which is also when the
afternoon starts, and the talks themselves will begin at 2pm.
Frank says
How to get here
The university maintains a web site containing all kind of
information on
how to get to UH.
Once you're here
For all of you arriving early enough for a joint lunch at UH
refectory, the best meeting place will be the area around the main
reception (inside building 1). Talks will be in room A154, Mercer
building, which is the left building opposite of the main reception.
We will signpost a route to the room to make it easy to find.
A campus map can be found
here.
Pub & Curry
For pub and curry we will relocate to Old Hatfield (5-10 minutes
by car/bus). Please let us know if you intend to join for dinner
as we'll have to book a place in advance.
Contact
I hope that provides all necessary information. For any more
information/questions, simply write an email to Bodo
(s DOT scholz AT herts DOT ac DOT uk) or
Frank (f DOT penczek AT herts DOT ac DOT uk).
Bodo adds
Hi all,
eventually, we have finalised the schedule for the next Fun in the
Afternoon seminar here in Hertfordshire. We are pleased to have received
offers not only from the UK but also from the continent. I hope it will
be a series of inspiring talks that offer enough potential for exciting
discussions:
[see below]
PLEASE let us know whether
-
you intend to come to the Curry
-
you intend to come by car
so that we can make appropriate arrangements.
We will post some more travel details shortly.
Looking forward to meeting you all next Thursday here in Herts,
Schedule
| 12.00 - 14.00 |
Lunch: bring your own, or use our refectory |
|
| 14.00 - 14.45 |
TBA |
|
Don Syme,
Microsoft Research, Cambridge
|
|
| 14.45 - 15.00 |
Coffee |
|
| 15.00 - 15.30 |
Heap Recycling for Lazy Languages |
|
Jurriaan Hage,
Utrecht University |
|
| 15.30 - 16.00 |
Declarative Concurrency Engineering with S-Net |
|
Clemens Grelck,
University of Luebeck |
|
| 16.00 - 16.30 |
Coffee |
|
| 16.30 - 17.00 |
The Type is the Value—Or a Part of it |
|
Stephan Herhut,
University of Hertfordshire |
|
| 17.00 - 17.30 |
Container |
|
Thorsten Altenkirch,
University of Nottingham |
|
| 17.30 - 19.00 |
Pub |
|
| 19.00 - |
Curry |