Vienna
House party for logicians in Vienna, July.
We have now booked a 4 bedroom house for 3 weeks from 6th July -25th July. There are 6 beds.
The ASL summer meeting is 14-19/vii, the Infinity Workshop is 9-11/vii. (But the infinity workshop is invitation only and we haven’t been invited)
People needing to check the official dates Summer of Logic at glance is in http://vsl2014.at/ataglance/.
Michael Beeson plans to be in Vienna, with his wife Hennie Nijland, July 17-24, and possibly a day or two earlier, depending on what else is happening.
Philipp Kleppmann is going to stay 13/7 - 22/7, and has booked his flights.
David Matthai is planning from around 6/vii to 20/vii, though this decision is still somewhat in flux. If his partner Miranda is visiting at the same time he may stay in the flat, or elsewhere, depending on its capacity.
tf has booked travel to arrive in Vienna on 6/vii, and has now paid the rent!!
Valeria (and hopefully Dick) need to be in Vienna 17-18 July. Valeria hopes to stay the whole of LiCS 14-18th July.
Josef Urban plans to be in Vienna for the four nights on July 17,18,19 and 20, leaving on 21st.
Dominic Hughes will stay the three nights July 11,12,13. He’s attending three workshops: Structures & Deduction, Gentzen Systems and Beyond, and Classical Logic & Computation.
Patricia says (I think — see SandBox): “I certainly want to be an inhabitant. It’s not important to me which, say, 2 weeks I spend in residence. So should I wait to see which times are not booked up?” Yep - tf
Itinerary CONFIRMATION CODE: DBWDBZ
OTTAKRINGER STRAßE 242, VIENNA, VIENNA 1160, AUSTRIA
Wonderful apt in quiet surroundings [3] Apartment - Entire home/apt 4 Guests
CHECK IN Sun, Jul 6
CHECK OUT Fri, Jul 25Your Host: MARCUS DUSCHEK +43 664 1829590
Directions Ottakring ist vom Westen am besten zu erreichen. Am besten, man biegt bei der ersten Gelegenheit nach Ende der Westautobahn ab und fährt über Hütteldorf und dem Flötzersteig bis zur Montleartstrasse. Die Zufahrt zu unserem Parkplatz erfolgt über die Erdbrustgasse. Travellers arriving from the west by the A1 motorway turn left at the first light. After passing through Hütteldorf and the Flötzersteig, take a left turn at the Montleartstrasse. The entrance to our parking is in the Erdbrustgasse.
