Difference between revisions of "WG211/M24Schedule"
(→Scientific program) |
(→Scientific program) |
||
Line 200: | Line 200: | ||
=== Scientific program === | === Scientific program === | ||
− | + | Updated nightly before each day. | |
− | |||
Tuesday, December 3 | Tuesday, December 3 |
Revision as of 14:19, 29 November 2024
Contents
IFIP Working Group 2.11, Twenty-fourth Meeting
December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK
The meeting will be hosted by Ohad Kammar, who will write in the first person in the remainder. If you want to know anything, please email me. This page is not yet finished, I'll try to add the missing information as soon as possible.
The meeting will last 3.5 days; the first three days (Tues-Thur) will be full-day whereas the last day (Fri) will be a half-day session.
Venue
Althaus-Reid Room, 1.07 (named after the theologian Marcella Althaus-Reid)
New College
School of Divinity
The University of Edinburgh
Central Campus
1 Mound Place
Edinburgh EH1 2LU
This is unfortunately not the School of Informatics, which is about 15 minutes walk south from this venue.
A Google map with the venue, hotels, and meeting-relevant locations.
WiFi Access
- eduroam. If you have eduroam credentials, you may use them to access the eduroam network while at Edinburgh.
- guest account. If you know that eduroam will not work for you, I can set you up with a guest account.
Please indicate that you will definitely need a guest account in your registration form. You can always let me know after registration whether you need one, including during the meeting.
Guests must abide by the computing regulations.
- Visit-Ed. If eduroam does not work for you and you don't have a guest account, you can try using the Visit-Ed service described in the middle of that page. It requires registration by Facebook, LinkedIn, WhatsApp, or text message (international numbers included).
Workspace
A quiet area for shared use is available in the Porteous Room 1.09 (you can read more about it here) on the same floor as the main room.
Travel
Travel to Edinburgh
Air
Edinburgh Airport is located approximately 8 miles away from the city centre.
The Edinburgh tram runs from the airport every 7 minutes, the last tram from the airport leaves after 22:30 (see tram webpage).
The Airlink bus (service 100) runs between the airport and the city centre, reaching Waverley Bridge railway station in 25 minutes. The route to and from the airport runs 24 hours a day every 10 minutes approximately during the day.
Most advance hire taxi companies will offer an airport pick-up service. Here's one, but any will do. There's also a taxi hailing stand at the airport, follow the signs.
You can also fly into another main UK city and continue to Edinburgh by train.
Train
Edinburgh is well-connected to most other main UK cities. There are a few faster trains from London (about 4h25min) every day. You can use National Rail to plan your trip and link you to the appropriate provider.
I have enjoyed taking the Eurostar from the main continent to London. There is also the Caledonian Sleeper that can get you to Edinburgh or London by 7am very slowly overnight.
Travel around Edinburgh
Edinburgh is somewhat hilly and the venue is located up a slope. If that is not a problem, then Edinburgh is quite walkable.
Public transportation is available. Check out Transport for Edinburgh for all the details.
- Buses. Lothian buses operates many of the relevant buses. You can pay contactless with a card or app and there's a capped pay program ('TapTapCap'). Here's the map, but I usually use Google maps for directions.
- Taxis. You can usually just hail a black cab from anywhere in the centre, see their webpage for advance bookings. Your favourite search engine will provide other taxi companies.
- Tram. The Edinburgh tram stops fairly close to the venue, so can be an easy way to the venue.
- Uber operates in Edinburgh.
Accommodation
The venue is located quite centrally, with many hotels nearby. Here are some 4-star and 3-star suggestions nearby, but you'll probably find something charming by your own (just watch out for scams). The tram and buses make it easy to also stay somewhere away from the centre and commute in if you prefer.
Hotel suggestions:
- Apex City of Edinburgh Hotel.
Main suggestion, slightly-up-and-steep-downhill from the venue. We have a 10% discount code, which I will email once I have it.
Note: There is a slightly more full Apex hotel on the same street which I listed before, so if you want to be in the suggested hotel, make sure you're in the correct one. - Motel One Edinburgh Royal.
A cheaper option, steep downhill from the venue. - Scotsman Hotel.
A more expensive option, slightly-up-and-moderate-downhill from the venue.
Weather
Edinburgh has temperate (and temperamental) climate, and in December it will likely be close to zero degrees centrigade, typically above. It will be windy, and potentially rainy, so make sure you dress appropriately. Locals wear waterproof/resistant clothes. Umbrellas tend to be rather useless due to the wind, one typically recognises the tourists by their futile struggles to turn inside-out umbrellas while getting soaked.
The days are quite short in December, and you might be able to catch the sunrise heading into the venue in the morning. I recommend avoiding missing most of the daylight completely, e.g., make sure you go for a short walk outside during the lunch break.
Tourism
Edinburgh offers many tourist attractions and museums, and many are located centrally and close to the venue. Entrance to museums and galleries is free. Entrance to some exhibitions in the museum or gallery will require buying a separate ticket.
The meeting takes place just after Saint Andrew's Day weekend, and Monday will be a public holiday in Scotland. That should not affect travel, although the airport and railway might be busier than usual.
Historic Environment Scotland offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for free tourism tickets opens Tuesday 12 November 10am UK time until Thursday 28 November.
If you go to the Castle, try to get there before 1pm to see them fire the Cannon.
Very near the venue is Scott Monument which you can climb, for a fee, during the day for a stunning view. There will be a German Christmas Market nearby I believe.
There are several hills within the city and you can easily climb up. The easiest (and closest to the venue) is Calton Hill and has a road and steps leading all the way up.
Arthur's Seat and the Salisbury Crags are most visible from the centre. It takes about 1.5 hours roundtrip to get to the top. The grass can be slippery after a rain, and people can slip to their death, so wear good shoes and only climb during the day.
You can sometimes take a daytrip on a guided tour to the highlands or a whisky distillery. If you have the time, I recommend spending a few days in the former, and maybe visiting some of the latter.
I'll try to add more stuff here, especially if people send me recommendations or ask questions.
Registration
Please register here. After you 'Book Event', please choose either:
- '4 Day Attendee' or
- iff you're only attending partially, tick the boxes for the relevant days.
(If you plan to partially attend, please discuss with the Chairs first. I think it's somewhat unusual.)
You'll be prompted for additional details like contact details, allergies and dietary requirements after: adding to basket; proceeding to checkout; registering.
Please let me know if you have any problems. Please let me know if you won't be able to register before Thursday 28 Nov.
Attendance
(Alphabetical by last name please)
- Guillaume Allais
- Nada Amin
- Sandrine Blazy
- Edwin Brady
- Jacques Carette
- Sebastian Erdweg
- Jeremy Gibbons
- Kevin Hammond
- Ohad Kammar
- Paul Kelly (on 5-6 only)
- Andras Kovacs
- Lindsey Kuper
- Julia Lawall
- Ralf Lämmel
- Sam Lindley
- James McKinna
- Peter Mosses
- Christoph Reichenbach
- Tiark Rompf
- Sven-Bodo Scholz
- Amir Shaikhha
- Friedrich Steimann
- Jeremy Yallop
Local Observers
- Greg Brown
- Justus Matthiesen
- Nachiappan Valliappan
- Robert Wright
Talks
See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:
- Nada Amin Verified program synthesis
- Sandrine Blazy A Mechanized Semantics for Dataflow Circuits
- Edwin Brady "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime
- Jacques Carette Partial Evaluation meets Denotational Semantics
- Sebastian Erdweg Stateful Differential Operators for Incremental Computing
- Jeremy Gibbons Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity
- Kevin Hammond Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell
- Ohad Kammar Heterogeneous elaborator reflection
- Andras Kovacs Runtime code generation with dependent types
- Lindsey Kuper Library-Level Choreographic Programming
- Ralf Lämmel Type Inference in a Knowledge-Graph Setting
- Sam Lindley Modal Effect Types
- Peter Mosses Denotational Semantics in Agda
- Christoph Reichenbach Circular Attribute Evaluation in Reference Attribute Grammars
- Tiark Rompf Rhyme: A Data-Centric Multi-Paradigm Query Language
- Amir Shaikhha Democratizing Data Science by Leveraging Structure
- Friedrich Steimann A really old new metatheory of software languages
We will follow our usual format of interactive talks with an active audience, using a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meetings shows that it is useful to let the speaker at least finish the introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speaker and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.
Program / schedule
Scientific program
Updated nightly before each day.
Tuesday, December 3
- 08:45 - 09:05 Assemble and welcome
- 09:05 - 09:55 Talk 01
- 09:55 - 10:45 Talk 02
- 10:45 - 11:15 Coffee break
- 11:15 - 12:05 Talk 03
- 12:05 - 14:00 Lunch and break
- 14:00 - 14:50 Talk 04
- 14:50 - 15:40 Talk 05
- 15:40 - 16:10 Coffee break
- 16:10 - 17:00 Talk 06
- 19:00 Dinner: David Bann
Wednesday, December 4
- 09:45 - 09:05 Assemble and welcome
- 09:05 - 09:55 Talk 07
- 09:55 - 10:45 Talk 08
- 10:45 - 11:15 Coffee break
- 11:15 - 12:05 Talk 09
- 12:05 - 13:00 Lunch and short break
- 13:00 onwards: afternoon excursion
- 19:00 Dinner: Wee Greek Kitchen
Thursday, December 5
- 08:45 - 09:05 Assemble and welcome
- 09:05 - 09:55 Talk 10
- 09:55 - 10:45 Talk 11
- 10:45 - 11:15 Coffee break
- 11:15 - 12:05 Talk 12
- 12:05 - 14:00 Lunch and break
- 14:00 - 14:50 Talk 13
- 14:50 - 15:40 Talk 14
- 15:40 - 17:00 Coffee break transitioning into business meeting
- 20:30 Dinner: Howie's at Waterloo Place
Friday, December 6
- 09:45 - 09:05 Assemble and welcome
- 09:05 - 09:55 Talk 15
- 09:55 - 10:45 Talk 16
- 10:45 - 11:15 Coffee break
- 11:15 - 12:05 Talk 17
- 12:05 - 13:00 Lunch and farewell
Social events
To be determined.