Computational Logic in the Alps – CLA 2016 – September 5-9, 2016
Introduction
This site provides information for CLA 2016, a combined meeting of
four workshops that will be conducted at the
Obergurgl University Center of the University of Innsbruck
from September 5 until September 9, 2016.
 |
 |
We envision a friendly atmosphere during the meeting, which enables fruitful exchanges leading to joint research and subsequent publications.
Meetings
CLA consists of the following four workshops and meetings:
| AJSW 2016 | 4th Austria-Japan Workshop on Rewriting / 45th TRS meeting |
| IWC 2016 | 5th International Workshop on Confluence |
| LC&A 2016 | Logic, Complexity and Automation |
| WST 2016 | 15th International Workshop on Termination |
Schedule
The following table summarizes the tentative schedule.| Monday | Tuesday | Wednesday | Thursday | Friday | |||||
| 9.00: LC&A invited talk | 8.45: termComp 2016 | 9:00: IWC | 9:00: IWC invited talk | ||||||
| LC&A | WST | 9.30: LC&A invited talk | 9.30: Excursion | IWC invited talk | IWC | ||||
| 11.00: LC&A | 11.00: WST | 11.00: LC&A | 11.00: WST | 11.15: AJSW | 11.15: AJSW | ||||
| 14.15: WST invited talk | 14.15: termComp 2016 | 14.35: IWC | 14.35: IWC | ||||||
| LC&A | WST | LC&A invited talk | WST | CoCo 2016 | |||||
| 16.15: LC&A | 16.15: WST | 16.30: LC&A invited talk | 16.30: WST | 16.25: AJSW | 16.25: AJSW | ||||
| LC&A invited talk | LC&A | WST business meeting | |||||||
| LC&A | LC&A | AJSW business meeting | |||||||
| 19.00: dinner | 19.00: dinner | 19.00: CLA dinner | 18.30: dinner | 18.30: dinner | |||||
The detailed schedule is available in the CLA booklet, that also includes further information on CLA. Or one can browse the schedule (incl. abstracts) by listing all presentations, or all presentation per meeting.
Call for Papers
There will be no shared call for papers for CLA 2016. Instead have a look at the websites of each of the individual meetings.
Venue
The workshop takes place in the
Obergurgl University Centre:
| Universitätszentrum Obergurgl | |
| 6456 Obergurgl | |
| Austria |
We booked a number of rooms from Sunday, September 4 until (and including) Saturday, September 10.
The nearest airport is Innsbruck airport. A more detailed description is to be found here.
We will organise a bus transfer from Innsbruck airport to Obergurgl on Sunday evening at 18:15 and in the inverse direction on Saturday morning at 7:30. (If you arrive at the train station in Innsbruck, you can take bus line F to go to the airport.)
Alternatively you can travel between Innsbruck and Obergurgl by public transport: you can search for a suitable connection via the Austrian railway company ÖBB. Here, example locations are Innsbruck Hbf (train station), Innsbruck Flughafen (airport), and Obergurgl.
Excursion
We offer two alternative excursions on Wednesday. In the evening there will be a shared workshop dinner combined with a wine tasting.
We gathered some photos and one video from the excursion.
1. Rafting
Rafting on the Inn (Imster Schlucht) with Sport-Ossi. If you
can swim and are not shy of water, this will be an unforgettable
experience!
2. Ötzi Village and Stuibenfall
If you prefer something more relaxed, why not join the excursion to Ötzi Village, an archeological theme park devoted to the Copper Age in which the famous Iceman lived. Then you will also get a face-to-face view with the 159m Stuiben falls, Tirol’s highest waterfall.
Registration
The registration has been closed on August 31.
The registration for workshops and accommodation was performed via the following registration system.
The early registration was possible until July 27 (extended). The registration fees are provided in the following table. They cover the coffee breaks, the bus transfer between Innsbruck and Obergurgl on Sunday evening and Saturday morning, as well as the excursion and the CLA dinner.
| Student (early) | Regular (early) | Student (late) | Regular (late) | |
|---|---|---|---|---|
| full week | 140 EUR | 170 EUR | 180 EUR | 220 EUR |
| half week | 115 EUR | 145 EUR | 155 EUR | 195 EUR |
For accommodation you can choose between a single room and a shared room for two persons. In the latter case, you can either state a name of a preferred roommate or the organizers will select a roommate.
The accommodation includes breakfast and dinner.
| per night (early) | per night (late) | |
|---|---|---|
| single room | 95 EUR | 100 EUR |
| shared two person room | 70 EUR | 75 EUR |
Please keep the following facts in mind when registering:
- The early registration deadline is July 27 (extended).
- If you want to participate in the rafting excursion, we need to know your shoe size and your height for renting the wetsuits.
- You can pay by bank transfer or credit card (Visa or Mastercard).
- You are welcome to bring accompanying persons.
Because of restrictions in the registration system,
for every accompanying person, you have to create a separate login and
fill out a separate registration form. You can however
use the same email address for all logins. The registrations costs are
- 0 EUR (neither excursion nor coffee breaks),
- 95 EUR (including excursion, but no coffee breaks), or
- 170 EUR (excursion and coffee breaks, register as regular participant).
Organisation
| AJSW 2016 | Nao Hirokawa | Japan Advanced Institute of Science and Technology |
|---|---|---|
| Christian Sternagel | University of Innsbruck | |
| IWC 2016 | Beniamino Accattoli | INRIA |
| Ashish Tiwari | SRI international | |
| LC&A 2016 | Georg Moser | University of Innsbruck |
| Thomas Powell | University of Innsbruck | |
| WST 2016 | Aart Middeldorp | University of Innsbruck |
| René Thiemann | University of Innsbruck |
Organisation committee
CLA 2016 is organised by the Computational Logic group of the University of Innsbruck.
- Martina Ingenhaeff-Falkner
- Sebastiaan Joosten
- René Thiemann
- Benjamin Winder
- Akihisa Yamada
