WG 2.11 - User contributions [en]

WG211/M25Schedule

2025-08-07T12:05:03Z

Jeremy-y: /* Members attending */

= IFIP Working Group 2.11, Twenty-fifth Meeting =

== December 2-5, 2025, Stellenbosch, South Africa ==

The meeting will be held in Stellenbosch, South Africa, hosted by [mailto:bfischer@sun.ac.za Bernd Fischer]. The meeting is planned for 3.5 days, with a half day on December 5. More details, program, and registration information will be appearing on this page in the next few weeks.

=== Venue ===

The meeting will be held at the Wallenberg Center of the [http://stias.ac.za/ Stellenbosch Institute for Advanced Study] ([https://maps.app.goo.gl/AZg9SFDFsrLBL8Dr7 Streetview]). This is to the east of the [http://en.wikipedia.org/wiki/Stellenbosch_University Stellenbosch University] Campus ([https://www.sun.ac.za/english/welcome/Documents/Main%20campus%20map%20revised.pdf Campus map]). Most B&B's, hotels, and restaurants are within 10-15mins walk.

Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&B.

=== Group excursion ===

Please let me know if you are interested in an organized post-meeting full-day group excursion. The "classic" tour is Boulder's Beach for penguin watching, and Cape of Good Hope; other alternatives are Table Mountain, Cape Town Aquarium, or Robben Island (the apartheid-era prison).

=== Registration ===

'''NOTE: this is still preliminary.'''
Registration fees will be around USD 350 / EUR 300; this will cover all lunches on the meeting days and the dinners Tuesday - Thursday. Additional dinner tickets for partners will be USD 175 / EUR 150.

=== Members attending ===

Please add your name to the following list (alphabetical by last name, please) if you are planning to attend the meeting.

* Jacques Carette
* Bernd Fischer
* Eric Van Wyk
* Jeremy Yallop

=== Guests and Observers ===

* Moeketsi Raselimo (local observer)
* Michael Stewer
* Ilya Sergey

The following gave a 'tentative yes'.

* Shraddha Barke
* Cezary Kaliszyk
* Ningnig Xie

== Talks and Schedule ==

TBD.

== Travel ==

Note that the meeting will be in the southern Summer, just before the local holiday season starts in earnest, and Stellenbosch (and all of South Africa) will be getting busy, so arrange your flights and accommodation early.

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [https://www.dha.gov.za/index.php/countries-exempt-from-sa-visas Department of Home Affairs]. Please contact [mailto:bfischer@sun.ac.za Bernd Fischer] if you need a visa to visit South Africa; please note that applications can take substantial amounts of time to get processed (although the backlog has been cleaned up after the last election...)

==== Getting to Stellenbosch ====

The closest airport to Stellenbosch is [https://en.wikipedia.org/wiki/Cape_Town_International_Airport Cape Town International (CPT / FACT)]. There are direct flights from London (Virgin, BA), Amsterdam (KLM), Paris (Air France), Frankfurt (Condor, Lufthansa), Munich (Lufthansa), Zuerich (Edelweiss), Istanbul (Turkish Airlines), Doha (Qatar Airways), Dubai (Emirates), Addis Ababa (Ethiopian), Washington (United), Newark (United), Atlanta (Delta), and Singapore (Singapore Airlines). Note that some of these flights are seasonal and operate only during the southern Summer, so they might not show up yet. There are also regional connections to many places in southern Africa (e.g., Windhoek).

Further connections (e.g., from India, East Asia, Australia, or South America) are available with a transfer in Johannesburg. I recommend to fly into Cape Town, if feasible, because the transfer in Johannesburg requires you to clear immigration and customs (like in the US), which can be a bit unpredictable.

Flight prices vary of course wildly. I have recently paid anything between EUR 700 and 1200 for a Germany round trip, and EUR 1500 for a California round trip.

CPT is about 35km from Stellenbosch; there is no public transport, but Uber is widely available, cheap (< EUR 20 to Stellenbosch), and I always take it. Please be aware that taxi touts will try to talk you into a metered taxi as soon as you leave customs; I always politely ignore them.

If you prefer a pre-booked airport shuttle, try:
* [http://www.bettinashuttle.co.za/home Bettina's]
* [http://www.shuttleup.co.za/ Shuttle Up]

Stellenbosch is small and easily navigable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to go on a road-trip before or after the conference. There is no public transport in Stellenbosch; do *not* take the train to Cape Town, or a minibus taxi.

==== Accommodation ====

Stellenbosch does not have big corporate hotels but offers a wide variety of different smaller accommodation options. Most centrally located B&Bs (look for the "Stellenbosch Central" or "Mostertsdrift" areas) will be in the range from EUR 80 to EUR 150 per night; there are also Airbnb-style accommodations but they tend to be more in the suburbs, and are not necessarily cheaper. Many wine farms offer luxury accommodation, but they are typically out of town and require a rental car.

Please make your own arrangements and please note that places begin to fill up.

==== Weather ====

Early December is late spring in South Africa. The weather in Stellenbosch ''should'' be nice - the average day-time highs are around 25C, night-time lows around 15C, and it ''should'' be dry. However, there are chances of an early heat wave, with temperatures above 30C, or (fortunately less likely) a late rain front with temperatures dropping by 5-10 degrees.

==== Pre- / post-meeting excursions ====

Here are a few ideas if you are planning to spend a few extra days in Stellenbosch or travel around the country:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the "poorts" (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.
* Go shark cage diving in Struisbaai.

Except for the Cape Town weekend, most trips will require a rental car. You can get an uber or a dedicated driver for a wine tasting tour, which is probably a smart idea in the first place...

'''Safaris.'''
There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

WG211/M24Schedule

2024-12-03T07:36:11Z

Jeremy-y: Programme for Tuesday

= IFIP Working Group 2.11, Twenty-fourth Meeting =

== December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK ==

The meeting will be hosted by [https://www.denotational.co.uk/ Ohad Kammar], who will write in the first person in the remainder.

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

[https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.07 Althaus-Reid Room, 1.07] ([http://exhibition.div.ed.ac.uk/rooms-renamed-in-honour-of-two-inspirational-female-theologians/ 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 [https://maps.app.goo.gl/oCXGNCb2ax68WS6B6/ 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 [https://vpnreg.ucs.ed.ac.uk/admin/compregs.pdf computing regulations].

* '''Visit-Ed.''' If eduroam does not work for you and you don't have a guest account, you can try using the [https://www.ed.ac.uk/information-services/computing/desktop-personal/wifi-networking/guest-alumni-wifi-access 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 [https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.09 Porteous Room 1.09]
(you can read more about it
[https://exhibition.div.ed.ac.uk/porteous%E2%80%AFroom/ here]) on the
same floor as the main room.

== Travel ==

=== Travel to Edinburgh ===

==== Air ====

[https://www.edinburghairport.com/ Edinburgh Airport] is located
approximately 8 miles away from the city centre.

The [https://edinburghtrams.com/ Edinburgh tram] runs from the
airport every 7 minutes, the last tram from the airport leaves after
22:30 (see tram webpage).

The [https://airlink100.co.uk/ 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. [https://www.taxis-edinburgh.co.uk/ 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]].

==== 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 [https://www.nationalrail.co.uk/ 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 [https://www.sleeper.scot/ 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 [https://upload.wikimedia.org/wikipedia/commons/f/ff/The_Mound%2C_Edinburgh%2C_18_September_2014.jpg up a slope].
If that is not a problem, then Edinburgh is quite walkable.

Public transportation is available. Check out [https://transportforedinburgh.com/ Transport for Edinburgh] for all the details.

* Buses. [https://www.lothianbuses.com/ 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 [https://www.lothianbuses.com/wp-content/uploads/2024/09/Network_Map_240908.pdf 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 [https://www.taxis-edinburgh.co.uk/ webpage] for advance bookings. Your favourite search engine will provide other taxi companies.

* Tram. The [https://edinburghtrams.com/ 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:
* [https://www.apexhotels.co.uk/destinations/edinburgh/apex-city-of-edinburgh-hotel/ 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.
* [https://www.motel-one.com/en/hotels/edinburgh/hotel-edinburgh-royal/ Motel One Edinburgh Royal]. A cheaper option, steep downhill from the venue.
* [https://www.scotsmanhotel.co.uk/ Scotsman Hotel]. A more expensive option, slightly-up-and-moderate-downhill from the venue.

== Weather ==

Edinburgh has temperate (and temperamental) climate, and currently the broadcast is 0 to 8 degrees centrigade during the day, and perhaps -1 degrees centrigade at night and in the early morning. It will be windy with gusts of wind of up to 35 mph, 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 [https://www.visitscotland.com/things-to-do/events/st-andrews-day 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.

[https://www.historicenvironment.scot/about-us/news/st-andrews-day-ticket-giveaway/ Historic Environment Scotland] offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for [https://www.historicenvironment.scot/ticket-giveaway/ 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 [https://ewh.org.uk/calton-hill/ Calton Hill] and has a road and steps leading all the way up.

[https://www.geolsoc.org.uk/GeositesArthursSeat 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 [https://www.epay.ed.ac.uk/conferences-and-events/college-of-science-and-engineering/school-of-informatics/informatics-events/ifip-working-group 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:
| Scoped and Typed Staging by Evaluation
* Guillaume Allais [[WG211/M24Allais | Scoped and Typed Staging by Evaluation ]]
* Nada Amin [[WG211/M24Amin | Experiments in verified program synthesis with LLMs ]]
* Sandrine Blazy [[WG211/M24Blazy | A Mechanized Semantics for Dataflow Circuits ]]
* Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime ]]
* Jacques Carette [[WG211/M24Carette | Partial Evaluation meets Denotational Semantics ]]
* Sebastian Erdweg [[WG211/M24Erdweg | Stateful Differential Operators for Incremental Computing ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell ]]
* Andras Kovacs [[WG211/M24Kovacs | Runtime code generation with dependent types ]]
* Lindsey Kuper [[WG211/M24Kuper | Library-Level Choreographic Programming ]]
* Ralf Lämmel [[WG211/M24Laemmel | Type Inference in a Knowledge-Graph Setting]]
* Sam Lindley [[ WG211M24Lindley | Modal Effect Types ]]
* Peter Mosses [[ WG211/M24Mosses | Denotational Semantics in Agda ]]
* Christoph Reichenbach [[ WG211/M23Reichenbach | Circular Attribute Evaluation in Reference Attribute Grammars ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]
* Amir Shaikhha [[ WG211M24Shaikhha | Democratizing Data Science by Leveraging Structure ]]
* Sven-Bodo Scholz [[WG211/M24Scholz| Hybrid Typing --- unleashing the battle between good error messages and aggressive program optimisation ]]
* Friedrich Steimann [[ WG211/M24Steimann | 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 for the following day.

Tuesday, December 3

* 09:00 - 09:15 Assemble and welcome
** 09:15 - 10:00 Rompf
** 10:00 - 10:45 Steimann
* 10:45 - 11:15 Coffee break
** 11:15 - 12:00 Mosses
* 12:00 - 14:00 Lunch and break
** 14:00 - 14:45 Kuper
** 14:45 - 15:30 Amin
* 15:30 - 16:00 Coffee break
** 16:00 - 16:45 Allais

* 19:00 Dinner: David Bann

Wednesday, December 4

Note: if you're planning to walk to the Galleries today, bring comfortable shoes and relatively warm clothes.

* 09:00 - 09:15 Assemble and welcome
** 09:15 - 10:00 Talk 07
** 10:00 - 10:45 Talk 08
* 10:45 - 11:15 Coffee break
** 11:15 - 12:00 Talk 09
* 12:00 - 12:55 Lunch and short break
* 12:55 onwards: afternoon excursion to the Modern Art Galleries

* 19:00 Dinner: Wee Greek Kitchen

Thursday, December 5

* 08:45 - 09:05 Assemble and welcome
** 09:05 - 09:50 Talk 10
** 09:50 - 10:35 Talk 11
* 10:35 - 11:00 Coffee break
** 11:00 - 11:45 Talk 12
** 11:45 - 12:30 Talk 13
* 12:30 - 14:15 Lunch and break
** 14:15 - 15:00 Talk 14
** 15:00 - 15:45 Talk 15
* 15:45 - 17:00 Coffee break transitioning into business meeting
* 20:30 Dinner: Howie's at Waterloo Place

Friday, December 6

* 08:45 - 09:05 Assemble and welcome
** 09:05 - 09:50 Talk 16
** 09:50 - 10:35 Talk 17
* 10:35 - 11:00 Coffee break
** 11:00 - 11:45 Talk 18
** 11:45 - 12:30 Talk 19
* 12:30 - 14:15 Lunch and farewell

=== Social events ===

==== Dinners ====
* Tuesday, 19:00 December 3: [https://www.davidbann.co.uk/ David Bann] ([https://maps.app.goo.gl/6PevFCJjTn1LfbTt5 map])
* Wednesday, 19:00 December 4: [https://weegreekkitchen.co.uk/ Wee Greek Kitchen] ([https://maps.app.goo.gl/HBJab37BAV8PSQbS9 map])
* Thursday, 20:30 December 5: [https://www.howies.uk.com/venues/howies-waterloo-place/ Howie's at Waterloo Place] ([https://maps.app.goo.gl/RwfdtvHfNaRXaZYD6 map], make sure you go to the one at Waterloo Place!)

==== Excursion ====

On Wednesday afternoon, we'll ramble to the [https://www.nationalgalleries.org/visit/scottish-national-gallery-modern-art Modern Art Galleries] [https://maps.app.goo.gl/md1ZDd1XiCBuwBpS6 One] and [https://maps.app.goo.gl/fV8oSdeHQazrL2J2A Two].

Directions:
* 12:55 Arrive independently by '''Bus:''' take the [https://maps.app.goo.gl/nFEdHat3yddNQUxZ9 13 bus from Princes Street stop PU] . See [[ WG211/M24Schedule#Travel_around_Edinburgh | Travel around Edinburgh ]] section on paying your way.
* 13:00 '''Scenic route''' walk (around 1h, dress warmly), details below.

Synchronised activities:
* 13:00 '''Scenic route''': Meet outside New College for the scenic route walk. [https://maps.app.goo.gl/NNq6dFWMTRn64oqN7 Planned route]:
** Princes Street Gardens
** Queensferry Road and Dean Village
** [https://en.wikipedia.org/wiki/Water_of_Leith_Walkway Water of Leith Walkway]
** [https://www.aidsmemorial.info/memorial/id=98/life_tribute_edinburgh_aids_memorial.html Life Tribute]

* 15:00-16:15. Guided tour of [https://maps.app.goo.gl/fV8oSdeHQazrL2J2A Modern Art Gallery Two], meet Katharine and Duncan outside.

* 16:57 [https://maps.app.goo.gl/jXtfbjfkFGjhRCBd7 Bus back to Princes Street]. See [[ WG211/M24Schedule#Travel_around_Edinburgh| Travel around Edinburgh ]] section on paying your way.
* 17:00 Galleries close.

'''Warning:''' Walking from the Galleries to the Wee Greek Kitchen will be around 1h, in the dark and cold. If you choose to walk, I recommend you stop somewhere along the way to get warm again, maybe drink a cup of tea or mulled wine. Here's a route with the [https://maps.app.goo.gl/Uitqc7dCrY6eyvuj6 last possible option to do so], but feel free to duck into any nice place along the way.

==== Thursday pre-dinner activities ====

Especially if you're not attending the business meeting, there is plenty of time to spend between sunset and dinner. A nice activity can be to stroll around the [https://www.visitscotland.com/things-to-do/events/christmas-winter-festivals/edinburgh Edinburgh Chrismas Market]. It's [https://maps.app.goo.gl/MehaaffXdeehk6NMA hard to miss], and straight down from the venue, with Howie's at Waterloo Place just up the road.

WG211/M24Schedule

2024-11-30T19:11:22Z

Jeremy-y: make times internally consistent

= IFIP Working Group 2.11, Twenty-fourth Meeting =

== December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK ==

The meeting will be hosted by [https://www.denotational.co.uk/ Ohad Kammar], who will write in the first person in the remainder.

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

[https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.07 Althaus-Reid Room, 1.07] ([http://exhibition.div.ed.ac.uk/rooms-renamed-in-honour-of-two-inspirational-female-theologians/ 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 [https://maps.app.goo.gl/oCXGNCb2ax68WS6B6/ 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 [https://vpnreg.ucs.ed.ac.uk/admin/compregs.pdf computing regulations].

* '''Visit-Ed.''' If eduroam does not work for you and you don't have a guest account, you can try using the [https://www.ed.ac.uk/information-services/computing/desktop-personal/wifi-networking/guest-alumni-wifi-access 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 [https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.09 Porteous Room 1.09]
(you can read more about it
[https://exhibition.div.ed.ac.uk/porteous%E2%80%AFroom/ here]) on the
same floor as the main room.

== Travel ==

=== Travel to Edinburgh ===

==== Air ====

[https://www.edinburghairport.com/ Edinburgh Airport] is located
approximately 8 miles away from the city centre.

The [https://edinburghtrams.com/ Edinburgh tram] runs from the
airport every 7 minutes, the last tram from the airport leaves after
22:30 (see tram webpage).

The [https://airlink100.co.uk/ 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. [https://www.taxis-edinburgh.co.uk/ 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]].

==== 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 [https://www.nationalrail.co.uk/ 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 [https://www.sleeper.scot/ 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 [https://upload.wikimedia.org/wikipedia/commons/f/ff/The_Mound%2C_Edinburgh%2C_18_September_2014.jpg up a slope].
If that is not a problem, then Edinburgh is quite walkable.

Public transportation is available. Check out [https://transportforedinburgh.com/ Transport for Edinburgh] for all the details.

* Buses. [https://www.lothianbuses.com/ 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 [https://www.lothianbuses.com/wp-content/uploads/2024/09/Network_Map_240908.pdf 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 [https://www.taxis-edinburgh.co.uk/ webpage] for advance bookings. Your favourite search engine will provide other taxi companies.

* Tram. The [https://edinburghtrams.com/ 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:
* [https://www.apexhotels.co.uk/destinations/edinburgh/apex-city-of-edinburgh-hotel/ 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.
* [https://www.motel-one.com/en/hotels/edinburgh/hotel-edinburgh-royal/ Motel One Edinburgh Royal]. A cheaper option, steep downhill from the venue.
* [https://www.scotsmanhotel.co.uk/ Scotsman Hotel]. A more expensive option, slightly-up-and-moderate-downhill from the venue.

== Weather ==

Edinburgh has temperate (and temperamental) climate, and currently the broadcast is 0 to 8 degrees centrigade during the day, and perhaps -1 degrees centrigade at night and in the early morning. It will be windy with gusts of wind of up to 35 mph, 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 [https://www.visitscotland.com/things-to-do/events/st-andrews-day 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.

[https://www.historicenvironment.scot/about-us/news/st-andrews-day-ticket-giveaway/ Historic Environment Scotland] offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for [https://www.historicenvironment.scot/ticket-giveaway/ 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 [https://ewh.org.uk/calton-hill/ Calton Hill] and has a road and steps leading all the way up.

[https://www.geolsoc.org.uk/GeositesArthursSeat 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 [https://www.epay.ed.ac.uk/conferences-and-events/college-of-science-and-engineering/school-of-informatics/informatics-events/ifip-working-group 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:
| Scoped and Typed Staging by Evaluation
* Guillaume Allais [[WG211/M24Allais | Scoped and Typed Staging by Evaluation ]]
* Nada Amin [[WG211/M24Amin | Verified program synthesis ]]
* Sandrine Blazy [[WG211/M24Blazy | A Mechanized Semantics for Dataflow Circuits ]]
* Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime ]]
* Jacques Carette [[WG211/M24Carette | Partial Evaluation meets Denotational Semantics ]]
* Sebastian Erdweg [[WG211/M24Erdweg | Stateful Differential Operators for Incremental Computing ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell ]]
* Andras Kovacs [[WG211/M24Kovacs | Runtime code generation with dependent types ]]
* Lindsey Kuper [[WG211/M24Kuper | Library-Level Choreographic Programming ]]
* Ralf Lämmel [[WG211/M24Laemmel | Type Inference in a Knowledge-Graph Setting]]
* Sam Lindley [[ WG211M24Lindley | Modal Effect Types ]]
* Peter Mosses [[ WG211/M24Mosses | Denotational Semantics in Agda ]]
* Christoph Reichenbach [[ WG211/M23Reichenbach | Circular Attribute Evaluation in Reference Attribute Grammars ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]
* Amir Shaikhha [[ WG211M24Shaikhha | Democratizing Data Science by Leveraging Structure ]]
* Sven-Bodo Scholz [[WG211/M24Scholz| Hybrid Typing --- unleashing the battle between good error messages and aggressive program optimisation ]]
* Friedrich Steimann [[ WG211/M24Steimann | 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 for the following 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 - 13:10 Lunch and short break
** 13:10 - 14:00 Talk 18
** 14:00 - 14:50 Talk 04
* 14:50 - 15:20 Coffee break
** 15:20 - 16:10 Talk 05
** 16:10 - 17:00 Talk 06

* 19:00 Dinner: David Bann

Wednesday, December 4

Note: if you're planning to walk to the Galleries today, bring comfortable shoes and relatively warm clothes.

* 08: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 to the Modern Art Galleries

* 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

* 08: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 ===

==== Dinners ====
* Tuesday, 19:00 December 3: [https://www.davidbann.co.uk/ David Bann] ([https://maps.app.goo.gl/6PevFCJjTn1LfbTt5 map])
* Wednesday, 19:00 December 4: [https://weegreekkitchen.co.uk/ Wee Greek Kitchen] ([https://maps.app.goo.gl/HBJab37BAV8PSQbS9 map])
* Thursday, 20:30 December 5: [https://www.howies.uk.com/venues/howies-waterloo-place/ Howie's at Waterloo Place] ([https://maps.app.goo.gl/RwfdtvHfNaRXaZYD6 map], make sure you go to the one at Waterloo Place!)

==== Excursion ====

On Wednesday afternoon, we'll ramble to the [https://www.nationalgalleries.org/visit/scottish-national-gallery-modern-art Modern Art Galleries] [https://maps.app.goo.gl/md1ZDd1XiCBuwBpS6 One] and [https://maps.app.goo.gl/fV8oSdeHQazrL2J2A Two].

Directions:
* 12:55 Arrive independently by '''Bus:''' take the [https://maps.app.goo.gl/nFEdHat3yddNQUxZ9 13 bus from Princes Street stop PU] . See [[ WG211/M24Schedule#Travel_around_Edinburgh | Travel around Edinburgh ]] section on paying your way.
* 13:00 '''Scenic route''' walk (around 1h, dress warmly), details below.

Synchronised activities:
* 13:00 '''Scenic route''': Meet outside New College for the scenic route walk. [https://maps.app.goo.gl/NNq6dFWMTRn64oqN7 Planned route]:
** Princes Street Gardens
** Queensferry Road and Dean Village
** [https://en.wikipedia.org/wiki/Water_of_Leith_Walkway Water of Leith Walkway]
** [https://www.aidsmemorial.info/memorial/id=98/life_tribute_edinburgh_aids_memorial.html Life Tribute]

* 15:00-16:15. Guided tour of [https://maps.app.goo.gl/fV8oSdeHQazrL2J2A Modern Art Gallery Two], meet Katharine and Duncan outside.

* 16:57 [https://maps.app.goo.gl/jXtfbjfkFGjhRCBd7 Bus back to Princes Street]. See [[ WG211/M24Schedule#Travel_around_Edinburgh| Travel around Edinburgh ]] section on paying your way.
* 17:00 Galleries close.

'''Warning:''' Walking from the Galleries to the Wee Greek Kitchen will be around 1h, in the dark and cold. If you choose to walk, I recommend you stop somewhere along the way to get warm again, maybe drink a cup of tea or mulled wine. Here's a route with the [https://maps.app.goo.gl/Uitqc7dCrY6eyvuj6 last possible option to do so], but feel free to duck into any nice place along the way.

==== Thursday pre-dinner activities ====

Especially if you're not attending the business meeting, there is plenty of time to spend between sunset and dinner. A nice activity can be to stroll around the [https://www.visitscotland.com/things-to-do/events/christmas-winter-festivals/edinburgh Edinburgh Chrismas Market]. It's [https://maps.app.goo.gl/MehaaffXdeehk6NMA hard to miss], and straight down from the venue, with Howie's at Waterloo Place just up the road.

WG211/M24Schedule

2024-11-21T19:24:18Z

Jeremy-y: /* Talks */

= IFIP Working Group 2.11, Twenty-fourth Meeting =

== December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK ==

The meeting will be hosted by [https://www.denotational.co.uk/ 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 ===

[https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.07 Althaus-Reid Room, 1.07] ([http://exhibition.div.ed.ac.uk/rooms-renamed-in-honour-of-two-inspirational-female-theologians/ 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 [https://maps.app.goo.gl/oCXGNCb2ax68WS6B6/ 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 [https://vpnreg.ucs.ed.ac.uk/admin/compregs.pdf computing regulations].

* '''Visit-Ed.''' If eduroam does not work for you and you don't have a guest account, you can try using the [https://www.ed.ac.uk/information-services/computing/desktop-personal/wifi-networking/guest-alumni-wifi-access 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 [https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.09 Porteous Room 1.09]
(you can read more about it
[https://exhibition.div.ed.ac.uk/porteous%E2%80%AFroom/ here]) on the
same floor as the main room.

== Travel ==

=== Travel to Edinburgh ===

==== Air ====

[https://www.edinburghairport.com/ Edinburgh Airport] is located
approximately 8 miles away from the city centre.

The [https://edinburghtrams.com/ Edinburgh tram] runs from the
airport every 7 minutes, the last tram from the airport leaves after
22:30 (see tram webpage).

The [https://airlink100.co.uk/ 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. [https://www.taxis-edinburgh.co.uk/ 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]].

==== 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 [https://www.nationalrail.co.uk/ 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 [https://www.sleeper.scot/ 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 [https://upload.wikimedia.org/wikipedia/commons/f/ff/The_Mound%2C_Edinburgh%2C_18_September_2014.jpg up a slope].
If that is not a problem, then Edinburgh is quite walkable.

Public transportation is available. Check out [https://transportforedinburgh.com/ Transport for Edinburgh] for all the details.

* Buses. [https://www.lothianbuses.com/ 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 [https://www.lothianbuses.com/wp-content/uploads/2024/09/Network_Map_240908.pdf 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 [https://www.taxis-edinburgh.co.uk/ webpage] for advance bookings. Your favourite search engine will provide other taxi companies.

* Tram. The [https://edinburghtrams.com/ 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:
* [https://www.apexhotels.co.uk/destinations/edinburgh/apex-city-of-edinburgh-hotel/ 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.
* [https://www.motel-one.com/en/hotels/edinburgh/hotel-edinburgh-royal/ Motel One Edinburgh Royal]. A cheaper option, steep downhill from the venue.
* [https://www.scotsmanhotel.co.uk/ 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 [https://www.visitscotland.com/things-to-do/events/st-andrews-day 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.

[https://www.historicenvironment.scot/about-us/news/st-andrews-day-ticket-giveaway/ Historic Environment Scotland] offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for [https://www.historicenvironment.scot/ticket-giveaway/ 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 [https://ewh.org.uk/calton-hill/ Carlton Hill] and has a road and steps leading all the way up.

[https://www.geolsoc.org.uk/GeositesArthursSeat 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 [https://www.epay.ed.ac.uk/conferences-and-events/college-of-science-and-engineering/school-of-informatics/informatics-events/ifip-working-group 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
* James McKinna
* Ohad Kammar
* Paul Kelly (on 5-6 only)
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Ralf Lämmel
* Sam Lindley
* Peter Mosses
* Christoph Reichenbach
* Tiark Rompf
* Sven-Bodo Scholz
* Amir Shaikhha
* Friedrich Steimann
* Tijs van der Storm
* Jeremy Yallop

=== Local Observers ===

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

* Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime ]]
* Jacques Carette [[WG211/M24Carette | Partial Evaluation meets Denotational Semantics ]]
* Sebastian Erdweg [[WG211/M24Erdweg | Stateful Differential Operators for Incremental Computing ]]
* Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Lindsey Kuper [[WG211/M24Kuper | Library-Level Choreographic Programming ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]
* Friedrich Steimann [[ WG211/M24Steimann | A really old new metatheory of software languages ]]
* Amir Shaikhha [[ WG211M24Shaikhha | Democratizing Data Science by Leveraging Structure ]]
* Sam Lindley [[ WG211M24Lindley | Modal Effect Types ]]

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

To be determined.

Tuesday, December 3

* 8:45 - 9:00 Welcome
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Wednesday, December 4

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Thursday, December 5

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Friday, December 6

* 9:00 - <<TBD>> <<n>> talks
** <<TBD>>-<<TBD>> <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> 1 talk
* <<TBD>> Lunch

=== Social events ===

To be determined.

WG21//M24Kuper

2024-11-21T19:23:53Z

Jeremy-y: Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper

#REDIRECT [[WG211/M24Kuper]]

WG211/M24Kuper

2024-11-21T19:23:53Z

Jeremy-y: Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper

Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a choreography, that is then transformed to individual programs for each node via a compilation step called endpoint projection (EPP). While CP languages have existed for over a decade now, library-level CP -- in which choreographies are expressed as programs in an existing host language, and choreographic language constructs and EPP are provided entirely by a host-language library -- is still in its infancy.

In this talk, we'll assess the current state of the art of library-level CP. We'll discuss which elements of CP are especially tricky to pull off at the library level, mull over some possible implementation approaches, and consider what features a host language ought to have to be CP-library-friendly.

WG211/M24Kuper

2024-11-21T19:23:05Z

Jeremy-y: Created page with "Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a..."

WG211/M24Schedule

2024-11-21T19:22:44Z

Jeremy-y: /* Talks */

= IFIP Working Group 2.11, Twenty-fourth Meeting =

== December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK ==

The meeting will be hosted by [https://www.denotational.co.uk/ 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 ===

[https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.07 Althaus-Reid Room, 1.07] ([http://exhibition.div.ed.ac.uk/rooms-renamed-in-honour-of-two-inspirational-female-theologians/ 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 [https://maps.app.goo.gl/oCXGNCb2ax68WS6B6/ 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 [https://vpnreg.ucs.ed.ac.uk/admin/compregs.pdf computing regulations].

* '''Visit-Ed.''' If eduroam does not work for you and you don't have a guest account, you can try using the [https://www.ed.ac.uk/information-services/computing/desktop-personal/wifi-networking/guest-alumni-wifi-access 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 [https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.09 Porteous Room 1.09]
(you can read more about it
[https://exhibition.div.ed.ac.uk/porteous%E2%80%AFroom/ here]) on the
same floor as the main room.

== Travel ==

=== Travel to Edinburgh ===

==== Air ====

[https://www.edinburghairport.com/ Edinburgh Airport] is located
approximately 8 miles away from the city centre.

The [https://edinburghtrams.com/ Edinburgh tram] runs from the
airport every 7 minutes, the last tram from the airport leaves after
22:30 (see tram webpage).

The [https://airlink100.co.uk/ 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. [https://www.taxis-edinburgh.co.uk/ 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]].

==== 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 [https://www.nationalrail.co.uk/ 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 [https://www.sleeper.scot/ 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 [https://upload.wikimedia.org/wikipedia/commons/f/ff/The_Mound%2C_Edinburgh%2C_18_September_2014.jpg up a slope].
If that is not a problem, then Edinburgh is quite walkable.

Public transportation is available. Check out [https://transportforedinburgh.com/ Transport for Edinburgh] for all the details.

* Buses. [https://www.lothianbuses.com/ 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 [https://www.lothianbuses.com/wp-content/uploads/2024/09/Network_Map_240908.pdf 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 [https://www.taxis-edinburgh.co.uk/ webpage] for advance bookings. Your favourite search engine will provide other taxi companies.

* Tram. The [https://edinburghtrams.com/ 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:
* [https://www.apexhotels.co.uk/destinations/edinburgh/apex-city-of-edinburgh-hotel/ 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.
* [https://www.motel-one.com/en/hotels/edinburgh/hotel-edinburgh-royal/ Motel One Edinburgh Royal]. A cheaper option, steep downhill from the venue.
* [https://www.scotsmanhotel.co.uk/ 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 [https://www.visitscotland.com/things-to-do/events/st-andrews-day 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.

[https://www.historicenvironment.scot/about-us/news/st-andrews-day-ticket-giveaway/ Historic Environment Scotland] offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for [https://www.historicenvironment.scot/ticket-giveaway/ 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 [https://ewh.org.uk/calton-hill/ Carlton Hill] and has a road and steps leading all the way up.

[https://www.geolsoc.org.uk/GeositesArthursSeat 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 [https://www.epay.ed.ac.uk/conferences-and-events/college-of-science-and-engineering/school-of-informatics/informatics-events/ifip-working-group 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
* James McKinna
* Ohad Kammar
* Paul Kelly (on 5-6 only)
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Ralf Lämmel
* Sam Lindley
* Peter Mosses
* Christoph Reichenbach
* Tiark Rompf
* Sven-Bodo Scholz
* Amir Shaikhha
* Friedrich Steimann
* Tijs van der Storm
* Jeremy Yallop

=== Local Observers ===

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

* Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime ]]
* Jacques Carette [[WG211/M24Carette | Partial Evaluation meets Denotational Semantics ]]
* Sebastian Erdweg [[WG211/M24Erdweg | Stateful Differential Operators for Incremental Computing ]]
* Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Lindsey Kuper [[WG21//M24Kuper | Library-Level Choreographic Programming ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]
* Friedrich Steimann [[ WG211/M24Steimann | A really old new metatheory of software languages ]]
* Amir Shaikhha [[ WG211M24Shaikhha | Democratizing Data Science by Leveraging Structure ]]
* Sam Lindley [[ WG211M24Lindley | Modal Effect Types ]]

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

To be determined.

Tuesday, December 3

* 8:45 - 9:00 Welcome
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Wednesday, December 4

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Thursday, December 5

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Friday, December 6

* 9:00 - <<TBD>> <<n>> talks
** <<TBD>>-<<TBD>> <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> 1 talk
* <<TBD>> Lunch

=== Social events ===

To be determined.

WG211/M24Schedule

2024-10-02T20:53:59Z

Jeremy-y: Add Jeremy Yallop to the Attendance list

= IFIP Working Group 2.11, Twenty-fourth Meeting =

== December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK ==

The meeting will be hosted by [https://www.denotational.co.uk/ 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 ===

[https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.07 Althaus-Reid Room, 1.07] ([http://exhibition.div.ed.ac.uk/rooms-renamed-in-honour-of-two-inspirational-female-theologians/ 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.

I'll include a Google map soon with the venue, and populate it with other
relevant locations closer to the event.

==== WiFi Access ====

If you have eduroam credentials, you may use them to access the
eduroam network while at Edinburgh.

I'm looking into setting up guest accounts for participants without
eduroam credentials, and will put the information here closer to the date.

==== Workspace ====

A quiet area for shared use is available in the [https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.09 Porteous Room 1.09]
(you can read more about it
[https://exhibition.div.ed.ac.uk/porteous%E2%80%AFroom/ here]) on the
same floor as the main room.

== Travel ==

=== Travel to Edinburgh ===

==== Air ====

[https://www.edinburghairport.com/ Edinburgh Airport] is located
approximately 8 miles away from the city centre.

The [https://edinburghtrams.com/ Edinburgh tram] runs from the
airport every 7 minutes, the last tram from the airport leaves after
22:30 (see tram webpage).

The [https://airlink100.co.uk/ 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. [https://www.taxis-edinburgh.co.uk/ 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]].

==== 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 [https://www.nationalrail.co.uk/ 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 [https://www.sleeper.scot/ 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 [https://upload.wikimedia.org/wikipedia/commons/f/ff/The_Mound%2C_Edinburgh%2C_18_September_2014.jpg up a slope].
If that is not a problem, then Edinburgh is quite walkable.

Public transportation is available. Check out [https://transportforedinburgh.com/ Transport for Edinburgh] for all the details.

* Buses. [https://www.lothianbuses.com/ 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 [https://www.lothianbuses.com/wp-content/uploads/2024/09/Network_Map_240908.pdf 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 [https://www.taxis-edinburgh.co.uk/ webpage] for advance bookings. Your favourite search engine will provide other taxi companies.

* Tram. The [https://edinburghtrams.com/ 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. I'll
filter out some 3-star and 4-star suggestions nearby soon, but you'll
probably find somewhere 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.

== 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 [https://www.visitscotland.com/things-to-do/events/st-andrews-day 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.

[https://www.historicenvironment.scot/about-us/news/st-andrews-day-ticket-giveaway/ Historic Environment Scotland] offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for [https://www.historicenvironment.scot/ticket-giveaway/ 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 [https://ewh.org.uk/calton-hill/ Carlton Hill] and has a road and steps leading all the way up.

[https://www.geolsoc.org.uk/GeositesArthursSeat 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 ==

Working on it, I'll put up more details soon.

== Attendance ==
(Alphabetical by last name please)

* Guillaume Allais
* Jacques Carette
* Ohad Kammar
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Christoph Reichenbach
* Tijs van der Storm
* Jeremy Yallop

=== Local Observers ===

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

* <<TBD>>

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

To be determined.

Tuesday, December 3

* 8:45 - 9:00 Welcome
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Wednesday, December 4

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Thursday, December 5

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Friday, December 6

* 9:00 - <<TBD>> <<n>> talks
** <<TBD>>-<<TBD>> <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> 1 talk
* <<TBD>> Lunch

=== Social events ===

To be determined.

WG211/M23Ballantyne

2024-03-30T23:46:31Z

Jeremy-y: Add Michael's slides

== A language workbench as library (Michael Ballantyne) ==

Systems such as Racket and Spoofax allow programmers to develop DSLs with custom syntax, static semantics, compilation, and IDE support. Unfortunately, these technologies mostly have not reached mainstream programmers. I argue that to reach mainstream use, such a language-oriented programming system must satisfy several conditions: (1) be incrementally adoptable in an existing, widely-used language (2) enable its users to gradually acquire the skill of creating DSLs, and (3) provide excellent IDE support for DSLs.

To prototype an architecture for such a system, I have developed the <code>syntax-spec</code> "language workbench as a library" on top of Racket's macro system. <code>syntax-spec</code> supports both whole-DSL specification, providing support for the DSL's backend compiler, as well as Racket's conventional lightweight hygienic macros on top of the DSL. The ideas behind <code>syntax-spec</code> should be portable to other languages with macro systems, such as Rust and Scala, but this will require some additional work to reconcile with the syntax and type systems of these languages.

Slides: [[Media:ballantyne-slides.pdf | ballantyne-slides.pdf]]

File:Ballantyne-slides.pdf

2024-03-30T23:45:06Z

Jeremy-y:

WG211/M23Kellogg

2024-03-30T11:34:40Z

Jeremy-y: /* Static Program Reduction via Specification Slicing (Martin Kellogg) */

== Static Program Reduction via Specification Slicing (Martin Kellogg) ==

Program reduction is the process of making a program smaller while preserving a property of interest, such as the presence or absence of a particular warning from a compiler or other static analysis tool. Traditional approaches to program reduction are dynamic: they use a delta-debugging-like algorithm to iteratively reduce the program while preserving the property of interest. In this talk, I will present a static program reduction technique, called specification slicing, that exploits the modularity of extant analysis tools whose output we are interested in preserving (e.g., type systems) to accomplish program reduction without the need to repeatedly run the analysis. The key advantage of this program reduction technique are its cost and ease of application: it does not require that we run the analysis whose output we are trying to preserve at all, and so it can be run in a tight loop. I will also discuss new uses of program reduction that this advantage unlocks (especially in the context of combining verification tools and large language models).

This talk is about work in progress.

[[Media:kellogg-slides.pdf | Slides]] (pdf)

WG211/M23Kellogg

2024-03-30T11:34:27Z

Jeremy-y: Add Martin's slides

File:Kellogg-slides.pdf

2024-03-30T11:33:48Z

Jeremy-y:

WG211/M23Pikovets

2024-03-30T11:26:13Z

Jeremy-y: Add link to Igor's slides

== OCaml in the Big Data World (Igor Pikovets) ==

I'll talk about how Ahrefs is using OCaml throughout the development stack, keeping the development team lean and able to iterate fast with a large codebase with 10+ years history in a competitive commercial setting, not in small part thanks to code generation at different levels of the system (and of course general OCaml awesomeness). Ahrefs is a self-bootstrapped company of 120 people now, operating a top 10 internet crawler and is currently building a full-text search engine.

[https://github.com/ahrefs/talks/blob/d561ebdb/20240328-ocaml-big-data-world/slides.md Markdown slides] (can be rendered with the [https://github.com/maaslalani/slides slides] tool):

WG211/M23Schedule

2024-03-27T01:24:31Z

Jeremy-y: Add talk titles

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== 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 [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]

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

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:30 Dinner at [https://vedaphilly.com/ Veda]. We will meet in the hotel lobby at 17:50 to take the trolley.

Wednesday, March 27

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
** 9:45 - 10:30 Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 - 11:45 Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]
** 13:45 - 14:30 Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
** 9:00 - 9:45 Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
** 9:45 - 10:30 Geoffrey Mainland
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Kammar

2024-03-27T01:22:22Z

Jeremy-y: Add Ohad's abstract

== Paella: handlers for parameterised algebraic effects (Ohad Kammar) ==

Algebraic effects and their handlers have become more prominent in
modern programming languages due to their flexibility and
expressiveness in incorporating effects into their host language.
Traditional algebraic effects are based on Plotkin and Power's
semantics for computational effects using algebraic theories. Sam
Staton designed a more expressive semantic theory called parameterised
algebraic theories. These theories can account for more sophisticated
effects, including: local state with cyclic references, unix-like
forks, and logic programming / unification-based constraint solving.
I will report about early work-in-progress implementing a library for
parameterised algebraic effects and handlers.

Joint work with Cristina Matache and Jesse Sigal.

WG211/M23Schedule

2024-03-27T01:20:43Z

Jeremy-y: Schedule for Wednesday and Thursday

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== 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 [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

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

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:30 Dinner at [https://vedaphilly.com/ Veda]. We will meet in the hotel lobby at 17:50 to take the trolley.

Wednesday, March 27

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
** 9:45 - 10:30 Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 - 11:45 Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]
** 13:45 - 14:30 Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
** 9:00 - 9:45 Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
** 9:45 - 10:30 Geoffrey Mainland
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-26T11:39:22Z

Jeremy-y: Formatting fix

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== 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 [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

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

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-26T11:38:41Z

Jeremy-y: Add Ken Shan's talk title

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== 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 [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

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

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-26T01:28:58Z

Jeremy-y: Schedule for Tuesday

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== 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 [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

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

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-19T19:11:53Z

Jeremy-y: Placeholder for my talk

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== 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 [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

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

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:
* Michael Ballantyne
* Jacques Carette
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Schedule

2024-03-15T21:56:00Z

Jeremy-y: /* Talks */

WG211/M23Kellogg Static Program Reduction via Specification Slicing

2024-03-15T21:55:45Z

Jeremy-y: Jeremy-y moved page WG211/M23Kellogg Static Program Reduction via Specification Slicing to WG211/M23Kellogg

#REDIRECT [[WG211/M23Kellogg]]

WG211/M23Kellogg

2024-03-15T21:55:44Z

Jeremy-y: Jeremy-y moved page WG211/M23Kellogg Static Program Reduction via Specification Slicing to WG211/M23Kellogg

WG211/M23Pikovets

2024-03-15T17:01:02Z

Jeremy-y: Add Igor Pikovets's talk details

WG211/M23Schedule

2024-03-15T16:58:19Z

Jeremy-y: Add Igor Pikovets's talk details

WG211/M23Kellogg

2024-03-13T19:59:31Z

Jeremy-y: Add Martin Kellogg's talk details

WG211/M23Schedule

2024-03-13T19:57:59Z

Jeremy-y: Add Martin Kellogg's talk details

WG211/M23Ballantyne

2024-03-13T06:27:04Z

Jeremy-y: Add Michael Ballantyne's talk details

WG211/M23Schedule

2024-03-13T06:24:02Z

Jeremy-y: Add Michael Ballantyne's talk details

WG211/M23Steimann

2024-03-11T06:49:50Z

Jeremy-y: Add Friedrich Steimann's talk details

== Relate! Concatenative Relational Programming (Friedrich Steimann) ==

I advertise the main ideas of a stack-based (“concatenative”) language whose values are relations, and whose central operators are the relational product (relation composition) and quoting. I give some examples of programming in Relate!, and pose a few challenges.

WG211/M23Schedule

2024-03-11T06:49:13Z

Jeremy-y: Add Friedrich Steimann's talk details

WG211/M23Kovács

2024-03-11T06:47:09Z

Jeremy-y: Add András Kovács's talk details

== Polarized lambda calculus at runtime, dependent type theory at compile time (András Kovács) ==

I present a particular two-level theory where the object-level is a simply-typed polarized lambda calculus with computation types (functions, computational products) and value types (ADTs, closures), and the meta-level is a standard dependent type theory.
This appears to be an excellent setting for a wide range of staged programming. The polarization gives us precise control over closures and call arities, in a lightweight way. The computational products can be used to generate well-typed mutual blocks with no
overhead in downstream compilation. I develop two applications. First a staged monad transformer library. Second, a staged stream library, where we have very concise definitions for zipping and concatMap with guaranteed fusion, and streams are
also parameterized over monads, so that state transitions can produce monadic effects. For concatMap, I essentially rely on a ''generativity axiom'', which internally states that certain metaprograms cannot analyze object terms. This is somewhat similar
to internal parametricity statements in type theories. There are two implementation for these developments, one in typed Template Haskell, with some compromises due to the lack of polarization and dependent types, and one in Agda.

WG211/M23Schedule

2024-03-11T06:45:57Z

Jeremy-y: Add András Kovács's talk details

WG211/M23Kiselyov

2024-03-11T06:44:01Z

Jeremy-y: Add Oleg's talk details

== The Mysteries of AXPY (Oleg Kiselyov) ==

AXPY is one of the Basic Linear Algebra (BLAS) vector operations: vector addition aX+Y. It is a perfect target for classical optimizations like partial loop unrolling and scalar promotion. (AXPY is also embarrassingly parallel; however, this talk focuses on single-thread performance.) These optimizations are indeed carried out -- by hand -- in OpenBLAS, regarded as one of the two fastest BLAS implementations. One can make a case for automatic code generation, to reduce the tedium of applying such optimizations (given that there are many platforms and several AXPY varieties to optimize: SAXPY, DAXPY, CAXPY). This is the traditional elevator talk about metaprogramming in HPC.

How does it correspond to real life, in this day and age?

WG211/M23Schedule

2024-03-11T06:41:31Z

Jeremy-y: Add Oleg's talk details

WG211/M23Singh

2024-03-07T17:18:56Z

Jeremy-y: Created page with " == Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips (Satnam Singh) == I'll describe a Haskell DSL that uses Lava-like combinators to describe lin..."

== Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips (Satnam Singh) ==

I'll describe a Haskell DSL that uses Lava-like combinators to describe linear algebra-based programs that are compiled to run on Groq's TSP/LPU machine learning chips. The approach will be demonstrated with some examples including a high speed parallel sorter and an FFT implementation.

WG211/M23Schedule

2024-03-07T17:18:51Z

Jeremy-y: Add Satnam's talk details

WG211/M23Schedule

2024-03-07T16:43:59Z

Jeremy-y:

WG211/M23Schedule

2024-02-09T17:29:42Z

Jeremy-y: