* Dates: 2019 November 11–15
	* Venue: [[http://www.hotelnicebeaurivage.com][Hôtel Nice Beau Rivage, Nice, FR]]
	* Host: Manuel Serrano

The hotel booking form is attached at the bottom. In response to concerns about sending credit card details by email, there are two options:

	1. The card number of the form is only used as a guarantee, so people that can generate a unique card number can use this method safely.
	2. People can directly transfer the money (I have used transferwise recently and it is a very effective and cheap way to send money abroad) to the hotel bank account. The hotel bank account references are included at the end of this mail. They will STILL HAVE to fill and send the form, without their card number but with the reference of the transfer.

If you prefer option 2) the hotel recommends that they only transfer the money at the end of September or beginning of October.

----++ Members attending
| *Name* | *Affiliation* | *Country* | *Member Since* |
| [[http://www.cs.pdx.edu/~black][Andrew P. Black]] | Portland State University | USA | 2011 |
| [[http://bracha.org/Site/Home.html][Gilad Bracha]] | Shape Security | USA | 2011 |
| [[https://edwinb.wordpress.com/][Edwin Brady]] | University of St. Andrews | UK | 2015 |
| [[http://www.cs.pomona.edu/~kim][Kim Bruce]] | Pomona College | USA | 2011 |
| [[https://www.ponylang.io/][Sylvan Clebsch]] | Microsoft Research Cambridge | UK | 2019 |
| [[https://lukechurchnet.appspot.com/][Luke Church]] | U. Cambridge | UK | 2017 | 
| [[http://alarmingdevelopment.org][Jonathan Edwards]] |  | USA | 2011 |
| [[https://www.inf.usi.ch/faculty/hauswirth/][Matthias Hauswirth]] | University of Lugano | CH | 2018 |
| [[http://www.inf.puc-rio.br/~roberto/][Roberto Ierusalimschy]] | PUC-Rio | BR | 2014 |
| [[http://www.linkedin.com/in/janwillemmaessen][Jan-Willem Maessen]] | Oracle | USA | 2011 |
| [[http://www.informatik.uni-marburg.de/~kos/][Klaus Ostermann]] | University of Marburg | DE | 2015 |
| [[http://gallium.inria.fr/~fpottier/][François Pottier]] | INRIA | FR | 2018 |
| [[https://www-sop.inria.fr/members/Manuel.Serrano/][Manuel Serrano]] | INRIA | FR | 2016 |
| [[http://homepages.cwi.nl/~storm/][Tijs van der Storm]] | CWI & University of Groningen | NL | 2013 |