Computational Logic in the Alps  –  CLA 2016   

Computational Logic in the Alps – CLA 2016 – September 5-9, 2016


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.

A view from the mountains on Obergurgl and the university center
The glacier near Obergurgl

We envision a friendly atmosphere during the meeting, which enables fruitful exchanges leading to joint research and subsequent publications.


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


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.


The workshop takes place in the Obergurgl University Centre:

    Universitätszentrum Obergurgl
6456 Obergurgl

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.


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!
Picture of raft

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.

Picture of the Stuiben falls


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:


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.

The organizers can be reached by email via "cla2016 at".


We are grateful for the financial support provided by our sponsors.