Difference between revisions of "WG211/M19Schedule"
(→Attendance) |
(→Talks) |
||
Line 62: | Line 62: | ||
* Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification to undergraduate students]] | * Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification to undergraduate students]] | ||
* Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]] | * Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]] | ||
+ | * Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]] | ||
* Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]] | * Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]] | ||
* Jeremy Gibbons [[WG211/M19Gibbons | To Infinity and Beyond! Transfinite Arrays]] | * Jeremy Gibbons [[WG211/M19Gibbons | To Infinity and Beyond! Transfinite Arrays]] |
Revision as of 18:43, 11 April 2019
Contents
[hide]IFIP Working Group 2.11, Nineteenth Meeting
April 29-May 2nd 2019 in Boston, USA
The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.
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.
Venue
The meeting will be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com
Travel
Travel recommendations to be announced.
Accommodation
As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:
- Superior Full: $149.00
- Superior Queen: $159.00
- Superior King: $159.000
- Deluxe King: $169.00
- Junior Suite: $189.00
- King Suite: $209.00
All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT. The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.
Registration
Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147
The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)
Attendance
Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.
Sandrine Blazy, Edwin Brady, Jacques Carette, Maryam Mehri Dehnavi, Franz Franchetti (Monday and Tuesday), Jeremy Gibbons, Kevin Hammond, Christian Kaestner, Julia Lawall, Geoff Mainland, Ulrik Pagh Schultz, Chung-chieh Shan, Yannis Smaragdakis, Armando Solar-Lezama, Eelco Visser, Eric Walkingshaw, Eric Van Wyk, Jeremy Yallop.
Talks
See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, alphabetical order by last name, following the template below.
- Sandrine Blazy Teaching deductive verification to undergraduate students
- Edwin Brady Resource Safety with Linear Dependent Types
- Maryam Mehri Dehnavi Sparse Matrix Code Generation with Symbolic Decoupling
- Franz Franchetti Formal Software Synthesis of Computational Kernels
- Jeremy Gibbons To Infinity and Beyond! Transfinite Arrays
- Christian Kaestner Higher-Order Mutation Testing with Variational Execution
- Ulrik Pagh Schultz Teaching DSL Engineering to the Masses (all the Non-Computer-Scientists)
- Eelco Visser Declarative Type System Specification with Statix
- Jeremy Yallop [WG211/M19Yallop | A typed, algebraic approach to parsing]]
- ... (add more, order alphabetically by last name, following same pattern)...
Program / schedule
Scientific program
The scheduling of the talks will be announced on the first day of the meeting.
Social events
To be announced. Social events will in general be covered by the registration fee, details will be available later.
Excursion
To be announced.