This is a temporary WIKI set up for participants of the NII-Shonan Meeting on Dependently Typed Programming to announce their arrival/departure flights, and may thus arrange, among themselves, shared transportation from the airport to Shonan Village.
Please sort by arrival time
| Arrival time | Flight | Name |
|---|---|---|
| 07:40 | LH710 from Frankfurt | Jeremy Gibbons |
| 08:00 | AF 276 from Paris | Matthieu Sozeau |
| 08:00 | AF 276 from Paris | Andres Löh |
| 08:00 | AF 276 from Paris | Venanzio Capretta |
| 08:00 | AF 276 from Paris | james McKinna |
| 08:55 | Finnair AY 073 from Helsinki | Patrik Jansson |
| 09:35 | SK 0983 from Copenhagen | Randy Pollack |
| 15:30 | UA 881 from Chicago | Stephanie Weirich |
Patrik took the 10.18 Narita Express for Ofuna (12.03), changing there (same platform) to JR Yokusomething line (12.08) to Zushi (12.17) + 20 min taxi to Shonan Village. Really smooth ride.
Jeremy got a text from Andres to say that AF276 had been cancelled.
Wed 14th Sept
| Arrival time | Flight | Name |
|---|---|---|
| 08:55 | AY 073 from Helsinki | Tarmo Uustalu |