The Coq mailing list

[Wolfram Kahl <kahl AT cas.mcmaster.ca>]

Hi Peter,

  I just checked out

  http://tfp2015.inria.fr/venue-accomodations/

This is a very nice and very comprehensive list of informations!

One minor remark (please forward to whoever maintains these pages ---
I could not find this out from the pages): You write:

 | Whatever you are buying, prices are net.

I guess you mean ``prices are gross'', or, more directly, ``listed prices 
include all taxes'',
since ``net'' would normally be understood as meaning ``not including taxes''.


Best wishes,

Wolfram


P.S.: Would entering ``quince'' work for your ``poor man's CAPTCHA''?  ;-)

P.P.S: Electrical plug shape for 220V may be more interesting for most 
travellers than the availability of 380V...