The 1st (and the only) Symposium
on XML, Logic, and Automata
Grantown-on-Spey, 18-20 July, 2008
- The bus will leave at 11am, 17 July, from the Pollock
Halls (see here for
- From the airport to Pollock Halls: either take a taxi (about 30
minutes and 20-25 pounds) or take the Airlink bus (blue bus, number
outside domestic arrivals, leaves every 10min or so, cost: GBP 3 one
way and 5 for roundtrip). It takes you to Waverley train station in
about 30min, from there take a taxi to Pollock (5 \cdot (minutes +
- If you miss the bus (please don't do this!) - Don't panic. If you
have a mobile, call Cristina or Leonid. Then take a taxi (or bus 100
from the airport) to Waverley Station and take a train either to
Inverness, or preferably to Carrbridge,
a stop about half an hour before Inverness.
On the 17th, you can go either at 15:33 (train to Perth, from there to
Inverness) or at 19:36 (directly to Inverness). When you get off at
Carrbridge - or shortly before if you have a mobile phone - call
Grantown taxi at 01479 870011, and ask them to take you to Garth Hotel.
On the morning of the 18th there is a train at 6:40am. The journey is
about 3 hours.
- The conference is at Garth
Hotel (see here for
the map). It has only 18 rooms; the event was popular so some of you
will be staying at the Grant
Arms Hotel which is about 50 meters from Garth. Not much of an
but after whiskey tasting this could pose a challenge.
- For those staying at Grant Arms: based on my experience, the
shower requires a bit of basic math to operate. For the room they gave
me in May, the algorithm worked like this: the dial operates in the
range of about 35C to 50C. When you put it on 50C, it's the coldest
(North Sea temperature). At 35C, it's the hottest (boiling hot).
Outside this range the shower shuts down within 20sec, the exact timing
is random, and my stay was too short to figure out the probability
distribution. But before shutting down it tosses a coin and with equal
probability pours a few gallons of ice-cold or boiling hot water over
you. Now you cannot say you haven't been warned!
- The return bus leaves at 2:30pm on the 20th. It will stop at the
airport before coming to Pollock Halls.
expect a typically Scottish July weather.
- Any problems: email or call Leonid and Cristina (mobile phones
were sent to you by email).
- 17th of July: we'll have stops at Pitlochry
for lunch and then at Blair
Castle for an excursion. After that enjoy the scenery; the bus will
get to Grantown an hour or more before dinner.
- 18th of July: workshop (see the scientific
- 19th of July, morning: workshop.
- 19th of July, 12noon: pick up your packed lunch and get on the
bus for the excursion around Loch Ness; we'll go on both sides, the
more spectacular southern side and the more touristic northern, with a
few scenic stops as well as a visit to Urquhart
Castle which is everyone's favorite Nessie
spotting place. Then return to the hotel, dinner at 7pm (please
don't drink too much) followed by whisky tasting (including this,
- 20th July: morning session with a long (45min) break to check out
(well, take down your luggage), lunch, and departure for Edinburgh.
(if your name is
underlined, you are staying at Grant Arms). Sorry it's not
alphabetical, it was copied from an email message...
- Marcelo Arenas
- Pablo Barcelo
- Anthony Widjaja To
- Shunichi Amano
- Mikolaj Bojanczyk
- Maarten Marx
- Frank Neven
- Luc Segoufin
- Floris Geerts
- Thomas Schwentick
- Leo Bertossi
- Georg Gottlob
- Victor Vianu
- Serge Abiteboul
- Maurizio Lenzerini
- Balder ten Cate
- Nicole Schweikardt
- Moshe Vardi
- Phokion Kolaitis
- Scott Weinstein
- Peter Buneman
- Antonella Poggi
- Wim Martens
- Henrik Bjoerklund
- Cristian Riveros
- Jerzy Marcinkowski
- Filip Murlak
- Andrea Cali
- Szymon Torunczyk
- Cristina Sirangelo
- Leonid Libkin
11:00; chair: Leonid)
- Moshe "From Philosophical to
Industrial Logic" (9:30-10:15)
- Frank "Regular expression
(11:30 - 1:00)
- Pablo "Extending Query
Languages for Data Exchange"
- Marcelo "The Recovery of a
- Shunichi \vee Filip "Consistency
of XML Schema mappings"
1:00 - 2:30
- Serge "Monitoring Web
applications (or Active documents: satisfiability of queries and
- Henrik "Containment of
Conjunctive Queries over Trees"
- Wim "The Tractability Frontier
for NFA Minimization"
(4:00 - 4:30)
- Maarten "Content and Structure
- Floris "Complexity and
composition of webservices" (5:00-5:45)
- Victor "Static Analysis of
Active XML Systems"
- Cristina \vee Leonid "XML,
temporal logics and automata"
- Anthony "Recurrent reachability
in regular model checking"
- Thomas "Adding data to
finitely labelled structures"
12:00 pick your packed lunch;
12:30 excursion bus leaves
7:15 EVENING PROGRAM
- 7:15 Whisky: the theory
- 7:30 Whisky tasting: a bit of practice
- 8:00 Dinner
- After Dinner: Whisky tasting - a lot more practice
at 7pm followed by
- Georg "Taming the Infinite
Chase: Query Answering under Expressive Relational Constraints"
- Leo "Taking Advantage of Answer
Set Programs for Consistent Query Answering"
+ taking your luggage
(11:30 - 1:00)
- Balder "Expressive power of
schema mapping languages"
- Mikolaj "XPath evaluation in
- Luc "Enumerating results of MSO
queries on trees with constant delay"
leaves at 2:30