Practical Information
Total Page:16
File Type:pdf, Size:1020Kb
FAQ Practical information Workshop: Workshop on Satifiability (WSAT) August 20-22, 2012 Aarhus University, Denmark ADMINISTRATIVE ORGANIZERS Julie Sara Terndrup Aarhus University Department of Computer Science Marianne Dammand Iversen Aarhus University Department of Computer Science CTIC workshop: Workshop on Satisfiability (WSAT) August 20-22, 2012 Aarhus University, Denmark Workshop venue Aarhus University Department of Computer Science Incuba Science Park Aabogade 15 DK 8200 Aarhus N Building 5524 Lecture room: 147 CFEM workshop: Theory and Practice of Multiparty Computation June 4 to 8, 2012 Aarhus University, Denmark Table of contents AT THE CONFERENCE..................................................................................................................................... 5 Administrative organizers ............................................................................................................................... 5 Scientific organizer ......................................................................................................................................... 5 Registration procedure ................................................................................................................................... 5 Access to building .......................................................................................................................................... 5 Map of workshop area .................................................................................................................................... 6 Meals .............................................................................................................................................................. 7 Meals included for participants .................................................................................................................. 7 Meals not included for participants ............................................................................................................ 7 Where to buy food ...................................................................................................................................... 7 Wireless access ............................................................................................................................................. 7 TRANSPORT ..................................................................................................................................................... 8 Rejseplanen (travel planner) .......................................................................................................................... 8 Airports ........................................................................................................................................................... 8 To and from Aarhus Airport ........................................................................................................................ 8 To and from Billund Airport ........................................................................................................................ 8 To and from Copenhagen Airport .............................................................................................................. 8 Buses in Aarhus ............................................................................................................................................. 9 From downtown Aarhus to the workshop venue ........................................................................................ 9 From workshop venue to downtown Aarhus .............................................................................................. 9 From Hotel Helnan Marselis to the workshop venue ................................................................................. 9 From workshop venue to Hotel Helnan Marselis ....................................................................................... 9 Timetables .................................................................................................................................................. 9 Tickets and prices ...................................................................................................................................... 9 AarhusCard ................................................................................................................................................ 9 Citybikes ....................................................................................................................................................... 10 How to borrow a bike ............................................................................................................................... 10 Taxi ............................................................................................................................................................... 10 MAP OF INNER AARHUS ............................................................................................................................... 11 HEALTH AND SAFETY ................................................................................................................................... 12 Emergency – accident or illness .................................................................................................................. 12 Emergency – medical help ........................................................................................................................... 12 Emergency wards/hospitals ......................................................................................................................... 12 Emergency dentist help ................................................................................................................................ 12 Pharmacy ..................................................................................................................................................... 12 Police and lost property ................................................................................................................................ 12 OPENING HOURS ........................................................................................................................................... 13 Banks ............................................................................................................................................................ 13 Post Offices .................................................................................................................................................. 13 Shopping centres and department stores .................................................................................................... 13 Shops ........................................................................................................................................................... 13 Supermarkets ............................................................................................................................................... 13 SIGHTSEEING IN AARHUS ............................................................................................................................ 14 VisitAarhus ................................................................................................................................................... 14 AarhusCard .................................................................................................................................................. 14 Museums ...................................................................................................................................................... 14 Walking and biking ....................................................................................................................................... 14 Restaurants and bars ................................................................................................................................... 15 Bars and cafes ......................................................................................................................................... 15 Restaurants .............................................................................................................................................. 17 3 18 CTIC workshop: Workshop on Satisfiability (WSAT) August 20-22, 2012 Aarhus University, Denmark Welcome We are pleased to welcome all speakers and participants to the CTIC workshop: Work- shop on Satisfiability (WSAT) on August 20-22, 2012. We wish you an enjoyable and productive stay in Aarhus. SCIENTIFIC ORGANIZERS ADMINISTRATIVE ORGANIZERS Dominik Scheder Julie Sara Terndrup Aarhus University Aarhus University Marianne Dammand Iversen Department of Computer Science Aarhus University 4 18 CTIC workshop: Workshop on Satisfiability (WSAT) August 20-22, 2012 Aarhus University, Denmark At the conference Administrative organizers Julie Sara Terndrup Aarhus University, Department of Computer Science Phone number: +45 21 66 52 81 E-mail: [email protected] Marianne Dammand Iversen Aarhus University, Department of Computer Science Phone number: +45 24 47 11 17 E-mail: [email protected] Scientific organizer Dominik Scheder Aarhus University Phone number: +45 52 75 41 62 E-mail: [email protected] Registration procedure All participants need to register on the first day of the workshop at the registration desk in Incuba Science Park. Access to building Late on in the day the buildings