XML/LA workshop

The 1st (and the only) Symposium on XML, Logic, and Automata

Grantown-on-Spey, 18-20 July, 2008

Practical Information

The bus will leave at 11am, 17 July, from the Pollock Halls (see here for the map)
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 100, parked 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 + pounds)).
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 exercise 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.
Weather: expect a typically Scottish July weather.
Any problems: email or call Leonid and Cristina (mobile phones were sent to you by email).

Program

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 program below).
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, and this, and that, and that).
20th July: morning session with a long (45min) break to check out (well, take down your luggage), lunch, and departure for Edinburgh.

Participants (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

Workshop Program

18 JULY

SESSION 1 (9:30 - 11:00; chair: Leonid)

Moshe "From Philosophical to Industrial Logic" (9:30-10:15)
Frank "Regular expression inference" (10:15-11)

COFFEE 11:00-11:30

SESSION 2 (11:30 - 1:00)

Pablo "Extending Query Languages for Data Exchange"
Marcelo "The Recovery of a Schema Mapping"
Shunichi \vee Filip "Consistency of XML Schema mappings"

LUNCH 1:00 - 2:30

SESSION 3 (2:30-4:00; chair: Cristina)

Serge "Monitoring Web applications (or Active documents: satisfiability of queries and view maintenance)"
Henrik "Containment of Conjunctive Queries over Trees"
Wim "The Tractability Frontier for NFA Minimization"

COFFEE BREAK (4:00 - 4:30)

SESSION 4 (4:30-5:45)

Maarten "Content and Structure Queries"
Floris "Complexity and composition of webservices" (5:00-5:45)

DINNER 7:30

19 JULY

SESSION 5 (9:00-10:30; chair: Floris)

Victor "Static Analysis of Active XML Systems"
Cristina \vee Leonid "XML, temporal logics and automata"
Anthony "Recurrent reachability in regular model checking"

COFFEE (10:30-11:00)

SESSION 6 (11:00-12:00)

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

DINNER at 7pm followed by WHISKY TASTING

20 JULY

SESSION 7 (9:30-11:00; chair: Thomas)

Georg "Taming the Infinite Chase: Query Answering under Expressive Relational Constraints" (9:30-10:30)
Leo "Taking Advantage of Answer Set Programs for Consistent Query Answering"

COFFEE + taking your luggage downstairs (11:00-11:30)

SESSION 8 (11:30 - 1:00)

Balder "Expressive power of schema mapping languages"
Mikolaj "XPath evaluation in linear time"
Luc "Enumerating results of MSO queries on trees with constant delay"

LUNCH 1:00-2:15
BUS leaves at 2:30