Difference between revisions of "WG211/M19Schedule"

From WG 2.11
Jump to: navigation, search
(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

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.

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.