Survival Guide - Uni Kiel

Survival GuideLast update: July 27, 2018

Change log

July 27, 2018 Changed lecture halls from Hörsaal B to Hörsaal F; and fromHörsaal E to Hörsaal K.

Monday, July 30

8:30 AM – 9:15 AM Registration Audimax Lobby

9:15 AM – 9:30 AM Opening Frederik-Paulsen-Hörsaal

9:30 AM – 10:30 AM Kousha Etessami: Algorithms for some infinite-state stochastic games Frederik-Paulsen-Hörsaal

10:30 AM – 11:00 AM Coffee Audimax Lobby

11:00 AM – 12:00 AM Tutorial part 1/3. Bakhadyr Khoussainov: A journey into computably enumerable structuresFrederik-Paulsen-Hörsaal

12:00 AM – 1:30 PM Lunch

1:30 PM – 2:30 PM Johanna Franklin: Algorithmic randomness in analysis Frederik-Paulsen-Hörsaal

2:30 PM – 3:00 PM Coffee Audimax Lobby

SPECIAL SESSIONS

Hörsaal FComputing with ImperfectInformation 1

Hörsaal CBioinformatics and Bio-inspiredComputing 1

Hörsaal KApproximation andOptimisation 1

3:00 PM – 3:45 PM Ethan McCarthyCototal enumeration degreesand the their applications toeffective mathematics

Fumiya OkuboComputing with Multisets: ASurvey on Reaction AutomataTheory

Kim-Manuel KleinUsing Structural Properties forInteger Programs

3:45 PM – 4:30 PM Arno PaulyEnumeration degrees andtopology

Alfonso PatonUsing DNA plasmids as wiresfor multicellular computing

Asaf LevinA unified framework fordesigning EPTAS’s for loadbalancing on parallel machines

4:30 PM – 4:45 PM Break

SPECIAL SESSIONS

Hörsaal FContinuous Computation 1

Hörsaal CSAT-Solving 1

Hörsaal KApproximation andOptimisation 2

4:45 PM – 5:30 PM Matthew de BrechtExtending descriptive settheory to non-metrizablespaces and represented spaces

Joao Marques SilvaComputing with SAT Oracles:Past, Present & Future

Sebastian BerndtComputing Tree Width: FromTheory to Practice and Back

5:30 PM – 6:15 PM Daniel GraçaComputability of ordinarydifferential equations

Florian LonsingQRAT+: Generalizing QRAT by aMore Powerful QBFRedundancy Property

Thomas ErlebachComputing and Scheduling withExplorable Uncertainty

Tuesday, July 31

9:00 AM – 10:00 AM Mai Gehrke: Can Stone duality be useful in computability? Frederik-Paulsen-Hörsaal


CONTRIBUTED SESSION 1 parallel: Transfinite Computations (TraC) Workshop Senatssitzungssaal

Hörsaal F Hörsaal C Hörsaal K

10:30 AM – 10:55 AM Alexander RybalovA generic m-reducibility

Florian Steinberg, Arno Pauly,Christine GassnerComparing integrability andmeasurability in differentmodels of computation

Henning Fernau, Till Fluschnik,Danny Hermelin, Andreas Krebs,Hendrik Molter, RolfNiedermeierDiminishable ParameterizedProblems and Strict PolynomialKernelization

10:55 AM – 11:20 AM Klaus Ambos-SpiesMultiple Permitting and ArrayNoncomputability

Chansu Park, Sewon Park, MartinZieglerOn Tensor Calculus in ExactReal Computation: A CaseStudy from Recursive Analysisto Abstract Data Types

Till Fluschnik, George Mertzios,André NichterleinKernelization Lower Bounds forFinding Constant-SizeSubgraphs

11:20 AM – 11:45 AM Martin MonathA c.e. weak truth table degreewhich is array noncomputableand r-maximal

Franz Brauße, MargaritaKorovina, Norbert MüllerImproving Approximations byTaylor Models in ComputableAnalysis

Paola Bonizzoni, Gianluca DellaVedova, Yuri Pirola, MarcoPrevitali, Raffaella RizziDivide and Conquercomputation of the multi-stringBWT and LCP array

11:45 AM – 12:10 AM Achilles Beros, Mushfeq Khan,Bjørn Kjos-Hanssen, André NiesFrom eventually differentfunctions to pandemicnumberings

Svetlana Selivanova, VictorSelivanovBit Complexity of ComputingSolutions for SymmetricHyperbolic Systems of PDEs

Alexey MilovanovAlgorithmic Statistics andPrediction for polynomialtime-bounded algorithms

12:10 AM – 1:30 PM Lunch

CONTRIBUTED SESSION 2


1:30 PM – 1:55 PM Timothy McNicholl, Don StullThe isometry degree of acomputable copy of `p

Ivan Georgiev, Lars Kristiansen,Frank StephanOn General SumApproximations of IrrationalNumbers

Erzsébet Csuhaj-Varjú, KristófKántor, György VaszilLanguages of P ColonyAutomata

1:55 PM – 2:20 PM Margarita Korovina, OlegKudinovWeak Reduction Principle andComputable Metric Spaces

Marie NicholsonThe complexity of Tukey typesand cofinal types

Henning Fernau, LakshamananKuppusamy, Rufus OladeleNew Nonterminal ComplexityResults for Semi-ConditionalGrammars

2:20 PM – 2:45 PM Elvira MayordomoA point-to-set principle forseparable metric spaces

Satoru KurodaOn Boolean valued models ofBounded Arithmetic

Florent Becker, DiegoMaldonado, Nicolas Ollinger,Guillaume TheyssierUniversality in Freezing CellularAutomata


3:15 PM – 4:15 PM Tutorial part 2/3. Bakhadyr Khoussainov: A journey into computably enumerable structuresFrederik-Paulsen-Hörsaal

4:30 PM – 6:00 PM Women in Computability Workshop. Speakers: Mai Gehrke, Elvira Mayordomo, Monika SeisenbergerHörsaal F

7:00 PM – Women in Computability dinner

Wednesday, August 1

9:00 AM – 10:00 AM Jeffrey Shallit: Solving Problems in Additive Number Theory with Automata TheoryFrederik-Paulsen-Hörsaal




10:30 AM – 10:55 AM Micha Tomasz GodziszewskiΠ0

1-computable quotientpresentation of a nonstandardmodel of arithmetic

Yong ChengTwo questions aboutincompleteness

Karoliina LehtinenSolving parity games inquasi-polynomial time - alogician’s approach

10:55 AM – 11:20 AM Nikolay Bazhenov, MargaritaMarchukDegrees of categoricity forprime and homogeneousmodels

Merlin CarlSome Observations onInfinitary Complexity

Stepan HolubFormalization of Combinatoricson Words in Isabelle/HOL

11:20 AM – 11:45 AM Valentina HarizanovEffective powers of countablestructures

Dongseong SeonComputability of Haar Averages

Lars Kristiansen, JuvenalMurwanashyakaDecidable and UndecidableFragments of First-OrderConcatenation Theory

11:45 AM – 12:10 AM Dag Normann, Sam SandersUniformity in Mathematics

Attila Bagossy, Peter BattyanyiAn encoding of thelambda-calculus into thecalculus of String MultiSetRewriting

Joel Day, Vijay Ganesh, Paul He,Florin Manea, Dirk NowotkaThe Satisfiability of WordEquations: Decidable andUndecidable Theories

12:10 AM – 1:30 PM Lunch

1:30 PM – 2:30 PM Tutorial part 3/3. Bakhadyr Khoussainov: A journey into computably enumerable structuresFrederik-Paulsen-Hörsaal

2:30 PM – 3:00 PM Best student paper . Dino Rossegger: Elementary bi-embeddability spectra of structuresFrederik-Paulsen-Hörsaal

3:00 PM – Excursion and conference dinner

Thursday, August 2

9:00 AM – 10:30 AM Tutorial part 1/2. Pinar Heggernes: Enumeration Algorithms Frederik-Paulsen-Hörsaal


SPECIAL SESSIONS

Hörsaal FComputing with ImperfectInformation 2

Hörsaal CBioinformatics and Bio-inspiredComputing 2

SenatssitzungssaalHistory and Philosophy ofComputing 1

11:00 AM – 11:45 AM Paul SchuppAsymptotic Density and theTheory of Computability

Bertil SchmidtNext Generation Sequencing:Big Data meets HighPerformance Computing

Wilfried SiegWhat is the concept ofcomputation?

11:45 AM – 12:30 AM (cont.) Oliver KohlbacherDesigning personalizedtherapies using combinatorialoptimization

Paula QuinonA taxonomy of deviantencodings

12:30 AM – 1:30 PM Lunch

1:30 PM – 2:30 PM Alberto Marcone: Looking for ATR0 in the Weihrauch lattice Frederik-Paulsen-Hörsaal


SPECIAL SESSIONS

Hörsaal FContinuous Computation 2

Hörsaal CSAT-Solving 2

SenatssitzungssaalHistory and Philosophy ofComputing 2

3:00 PM – 3:45 PM Mathieu HoyrupTopological analysis ofrepresentations

Oliver KullmannCube-and-Conquer as a generalparadigm for solving SAT andbeyond

Christoph BenzmüllerA Deontic Logic ReasoningInfrastructure

3:45 PM – 4:30 PM Dag NormannFunctionals of Type 3 asRealisers of Classical Theoremsin Analysis

Massimo LauriaAlgorithm analysis throughproof complexity

Martin DavisTuring’s Vision and DeepLearning

4:30 PM – 5:30 PM History and philosophy of computing reception Senatssitzungssaal Foyer

5:30 PM – 7:00 PM General Assembly Frederik-Paulsen-Hörsaal

Friday, August 3

9:00 AM – 10:30 AM Tutorial part 2/2. Pinar Heggernes: Enumeration Algorithms Frederik-Paulsen-Hörsaal




11:00 AM – 11:25 AM Vladimir Uspenskiy, AlexanderShenAlgorithms and GeometricConstructions

Seyyed Alireza AhmadiRecurrent Subgroups ofTopological Groups

Éric Goubault, Jérémy Ledent,Sergio RajsbaumA dynamic epistemic logicsemantics for fault-tolerantdistributed task computability

11:25 AM – 11:50 AM Merlin Carl, Sabrina Ouazzani,Philip WelchTaming Koepke’s Zoo

Pavel Alaev, Victor SelivanovPolynomial-time Presentationsof Algebraic Number Fields

André Souto, Luis Antunes,Andreia Teixeira, Paulo MateusWitness hiding withoutextractors or simulators

11:50 AM – 12:15 AM Keith WeberGeneralizations of Infinite TimeTuring Machines

Douglas Cenzer, Diego RojasOnline Computability andDifferentiation in the CantorSpace

Ulrich Berger, Olga PetrovskaOptimised program extractionfor induction and coinduction

12:15 AM – 1:30 PM Lunch


Hörsaal F Hörsaal C

1:30 PM – 1:55 PM Luca San Mauro, EkaterinaFokina, Dino RosseggerMeasuring the complexity ofreductions betweenequivalence relations

Gualtiero Piccinini, NealAndersonOntic Pancomputationalism

1:55 PM – 2:20 PM Nikolay Bazhenov, ManatMustafa, Mars YamaleevOn dark Σ0

2-equivalencerelations

Marta Fiori CaronesThe reverse mathematics of atheorem about subgraphs withnice properties

2:30 PM – 3:30 PM Alexandra Silva: Decidability and Expressiveness results for Nondeterministic Probabilistic AutomataFrederik-Paulsen-Hörsaal

3:30 PM – 3:45 PM Closing Frederik-Paulsen-Hörsaal

K 10

K 10

K 10

K 10

K 36

K 36

K 36

Wes

trin

g

Wes

trin

g

Wes

trin

g

Wes

trin

g

Wes

trin

g

Wes

trin

g

Wes

trin

g

Olshausenstraße

Olshausenstra

Olshausen

raße

Olshausenstraße

Olshausenstraße

Olshausenstraße

Christia

n-Albrecht

s-Pl

atz

Lude

wig

-Mey

n-St

raße

Wes

trin

g

Wes

trin

g

Olshausenstraße

Wes

trin

g

Olshausenstraße

Olshausenstraße

Olshausenstraße

Wes

trin

g

Olshausenstraße

Wes

trin

g

Olshausenstraße

Universitätskirche

Theaterim Sechseckbau

Café-Lounge

Cafeteria

Reiselust

Kauf ander Uni

Universität

Universität

CampusSuite

jack's kitchen

MensaI

AStA CAUKiel

Uni Bike

DocuLounge

MensaI

AuditoriumMaximum

CAP3

UNI-Hochhaus

Hauptpforte

4

5

6

40

81, 91, 92Universität/Westring

61, 62, 81Universität

Conference venueAudimax

Cantine

Cashpoint

Conference information

Venue

The conference is held in the Audimax building of Kiel University.

Christian-Albrechts-Platz 2, 24118 Kiel

Internet access

To use the wireless network, choose the network SSID “eduroam”. You will find your personal accountdata in your folder.

Where to go for lunch

For lunch you can go to the university cafeteria (cash only). Alternatively, we have compiled a list ofrecommended places below which are close to the conference venue.

Jack’s Kitchen Westring 399, 24118 Kiel

Campus Suite Westring 389, 24118 Kiel

Kooperativa Fraunhoferstr. 13, 24118 Kiel

POI KielPizza Originale Italiana Ahlmannstraße 24, 24118 Kiel

John’s Burgers Gutenbergstr. 16, 24118 Kiel

Getting around

Bus

A single bus ride costs 2.60€. The ticket can be purchased with the bus driver and is valid for two hours.You can change busses as long as they continue the trip in the same direction. For rides with no morethan five stops (including the start) you can purchase a short distance ticket for 1.80€. You can only getthese tickets directly from the bus driver.

Note that some hotels provide free bus passes for the duration of the stay.

Getting to the conference venue from Hauptbahnhof / main station

• 50 (Direction Botanischer Garten)• 61 (Direction Suchsdorf, Rungholtplatz)• 62 (Direction Projensdorf, Woltersweg)• 81 (Direction Botanischer Garten)• 91 (Direction Friedrichsort, Falckensteiner Str.)

Get off at either Universität or Universität/Westring.

Cabs

The typical way to get a cab is by phone. There are two major cab companies in Kiel.

• Taxi Kiel +49 431 680101

• Vineta +49 431 77070

A ride from the city center to the university costs approx. 10€. Tell the driver to take you to the mainbuilding of the university (“Universitätshochhaus”) at the crossing of Westring and Olshausenstraße.

Bike rental

The conference venue can be reached very comfortably by bike from the city center and from the north-ern and western outskirts of the city. Here are at least two possible ways to rent a bike.

The first option is to rent a bike at the “Umsteiger Kiel”. It is located next to the entrance of the mainstation.

per Day per 24h per week

Bike with 3 gears 7.50€ 9€ 40€

Bike with 7+ gears 9€ 10.50€ 50€

The second option is the “CampusRad” bike station near the conference venue. There, bikes can berented after an online registration.

Cultural and Social Programme

The social and cultural programme starts at 4 PM at the Old Botanical Garden. The meeting point is theLiteraturhaus ( Schwanenweg 13, 24105 Kiel).

You can get there by bus as follows:

Universität

Schlossgarten

Literaturhaus

3:37 PM

3:48 PM

4:00 PM

61 to Aalborgring

Walk 800 m, ca. 12 min

Universität

Seegarten, Ostseekai

Schwanenweg

Literaturhaus

3:37 PM

3:50 PM3:54 PM

3:56 PM

4:00 PM

61 to Aalborgring

41 to Tannenberg

Walk 150 m, ca. 4 min

Alternatively, you can walk from the venue to the Literaturhaus (ca. 30 min, see marked route).

Old botantical garden

The Old Botanical Garden was established in 1884 and is located north of the inner city near the fjord,the art gallery and the university clinics. The hilly area of approx. 25000 m² is characterized by oldwoods of astonishing beauty and exotic plants.

From there we take a short walk (5 min) to the art gallery “Kunsthalle”.

Kunsthalle

The Kunsthalle is the major art museum in town. It is well-known for its collection of antiques as wellas paintings, sculptures and objects dating from the late 18th century down to the present day. OnWednesday evening you can join a guided tour through the Kunsthalle. We provide guided tours inEnglish and German. The guided tours start at 5 PM. Düsternbrooker Weg 1, 24105 Kiel

Depending on the weather this trip will be combined with a short walk (ca. 20 min) along the shore tothe Kieler Yacht Club where the conference dinner takes place. If the weather is bad we will take the busconnection below.

Kunsthalle

Kiellinie

6:55 PM

6:59 PM 41 to Tannenberg

Kieler Yacht Club

The Kieler Yacht Club is one of the oldest yacht clubs in Germany. The club is well known for yacht racingevents, in particular for the Kiel Week which is one of the biggest sailing events in the world. The clubwas established in 1887 by officers of the German Navy. Even the German emperor Wilhelm II and hisyounger brother Prince Heinrich of Prussia were members of this club.

At 7 PM on Wednesday evening the conference dinner takes place at the restaurant Kieler Yacht Club.We will start the reception at 7 PM. Please bring your name badge. It will act as the entrance card forthis event.

Kiellinie 70, 24105 Kiel

Literaturhaus, Old Botanical Garden

Kunsthalle

Kieler Yacht Club

41, 42Kiellinie

41, 42Schwanenweg

61Universität

61, 41, ...Main station

41, 61Seegarten, Ostseekai

61Schlossgarten

41, 42Kunsthalle

2.3 km

Route to the event

Bars and Restaurants

Close to the Venue

Jack’s Kitchen Westring 399, 24118 Kiel

OblomovCafé, Bar and RestaurantDelicious burgers. Opens at 6 PM Hansastr. 82, 24118 Kiel

POI KielPizza Originale Italiana Ahlmannstraße 24, 24118 Kiel

John’s Burgers Gutenbergstr. 16, 24118 Kiel

City Center

DECK 8Cocktail Bar — one of northern Germany’smost beautiful bars with a superb viewDress code: see website Raiffeisenstraße 2, 24103 Kiel https://www.restaurant-pier16.de/en

MangosRestaurant and delicious cocktails in theevening Alter Markt 18, 24103 Kiel

La Bodega del SolTapas Bar Brunswiker Straße 54, 24105 Kiel

Steak-House Nr. 1 Preußerstraße 4-6, 24105 Kiel

Close to the Kunsthalle

Schöne Aussichten Düsternbrooker Weg 16, 24105 Kiel

Emergency numbers

Police 110

Ambulance 112

University security +49 431 880 1888 or +49 431 880 2315

https://www.restaurant-pier16.de/en

Documents

Survival Guide - Uni Kiel