image vidden image vidden image Bergen from Ulriken image fjord

emblem

CSL 2011

20th Conference on Computer Science Logic


12-15 September 2011, Bergen, Norway

Sponsored by the Research Council of Norway and the Kurt Gödel Society.
CSL 2011
Department of Informatics
University of Bergen
P.O.Box 7803, N-5020 Bergen, Norway

Proceedings  -   Scope  -   Invited Speakers  -   Paper Submission  -   Important Dates  -   Ackermann Award  -   TYPES Workshop  -   Sightseeing  -   Programme Committee  -   Organising Committee  -   Accommodation  -   Arrival and Venue  -   Social Program  -   Weather Report

Computer Science Logic (CSL)

Computer Science Logic is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

CSL 2011 will be preceded by TYPES 2011 (8-11 September). There is a pre-conference workshop "Epsilon Calculus and Constructivity" organised by Matthias Baaz and Georg Moser in cooperation with the Austrian-French project "Structural Proof Theory" (Sunday 11 September).

The Ackermann Award for 2011 will be presented to the recipient(s) at CSL 2011 (Wednesday 14 September).


Registration

Registration is now open! Please register here.


Program

The preliminary program, including the pre-conference workshop "Epsilon Calculus and Constructivity", is now available.


Scope

Topics of interest include (but are not limited to):

back to top

Invited Speakers

Thomas Ehrhard (Université Paris Diderot)
Martin Otto (Technische Universität Darmstadt)
Moshe Vardi (Rice University)
Frank Wolter (University of Liverpool)


Paper Submission

Authors are invited to submit papers of not more than 15 pages in LIPIcs style presenting work not previously published. Papers are to be submitted through EasyChair. Submitted papers must be in English and provide sufficient detail to allow the PC to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the program committee. Submission is in two phases with dates as given below. Papers must not be submitted concurrently to another conference with refereed proceedings. The PC chair should be informed of closely related work submitted to a conference or journal by March 19, 2011. Papers authored or coauthored by members of the Programme Committee are not allowed. More information can be found in the first call for papers.

back to top

Important Dates

Submission of title and abstract: 27 March, 2011
Submission of full paper: 3 April, 2011
Notification: 30 May, 2011
Final paper due: 17 June, 2011
Conference: 12-15 September, 2011


Ackerman Award

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL. Ackermann Award 2011 will be presented to the recipients at CSL 2011.


TYPES Workshop

The 8th Workshop on Types for Proofs and Programs (TYPES 2011) is colocated with CSL. It will be held in Bergen, Norway, 8-11 September 2011.



Sightseeing

Bergen is a picturesque former Hanseatic town located on the mountainous west coast of Norway. It is also known as the "Gateway to the Fjords". It's large variaty of attractions include the fish market, the beautiful old town Bryggen, Edvard Grieg Museum at Troldhaugen, Fantoft Stave Church, the Fløibanen cable car taking you up from the city centre to Mount Fløien (320 m), a funicular to Mount Ulriken (643 m), and a numberof interesting museums. Surrounded by seven mountains, Bergen offers numerous possibilities for scenic hikes at all levels of difficulty. Finally, a number of tours, including boat trips, are available in Bergen. You may visit the official tourist website for more information.

back to top

Programme Committee

Samson Abramsky (Oxford)
Andrea Asperti (Bologna)
Franz Baader (Dresden)
Matthias Baaz (Vienna)
Johan van Benthem (Amsterdam/Stanford)
Marc Bezem (Bergen, chair)
Patrick Blackburn (Nancy)
Andreas Blass (Michigan)
Jan van den Bussche (Hasselt)
Thierry Coquand (Gothenburg)
Nachum Dershowitz (Tel Aviv)
Valentin Goranko (Copenhagen)
Erich Graedel (Aachen)
Wiebe van der Hoek (Liverpool)
Bart Jacobs (Nijmegen)
Reinhard Kahle (Lisbon)
Stephan Kreutzer (Oxford)
Viktor Kuncak (Lausanne)
Daniel Leivant (Indiana)
Benedikt Loewe (Amsterdam)
Jean-Yves Marion (Nancy)
Eugenio Moggi (Genova)
Albert Rubio (Barcelona)
Anton Setzer (Swansea)
Alex Simpson (Edinburgh)
John Tucker (Swansea)
Pawel Urzyczyn (Warsaw)
Helmut Veith (Vienna)
Andrei Voronkov (Manchester)

back to top

Organising Committee

Isolde Adler
Marc Bezem
Magne Haveraaen
Michal Walicki

back to top

Accommodation

Hotel reservations are to be made by the participants, not by the organising committee. Accommodation in Norway is not cheap. We list some suggestions below. The conference site, Grand Hotel Terminus, offers to the participants rooms, including breakfast, at reduced prices provided that reservation is made before August 1st. Booking is done through booking@ght.no identifying yourself as a participant of TYPES and/or CSL.

Single room 995 NOK/night
Double room 1150 NOK/night

Comparable prices for similar accommodation are hardly possible in Bergen. Slightly lower prices can be achieved, when one accepts a significant lowering of the standard and, typically, renounces the breakfast. Note, however, that eating breakfast in a cafe/restaurant is almost unknown in Norway, so choices for such an option will be very limited. Those interested in cheapest possible accommodation, may try:

Citybox (no personal service),
Jacobs Apartments,
P-Hotels Bergen,
or a list of some others.

Citybox, Jacobs Apartments and P-Hotels Bergen are in a walking distance from the conference site.

Bergen attracts many tourists and the season is not over in the beginning of September. The organizers strongly recommend to make a reservation as early as possible.



Arrival and Venue

From the airport: A shuttle Flybuss leaves the airport approximately every 20 minutes. It takes about 30-40 minutes and costs 95 NOK (150 NOK, when buying return ticket at once). Arriving in the city, one passes the stop Danmarksplass and leaves at the next one, Busstation, from which it is 3 minutes walk to the hotel. Depending on the time of the day (or night), a taxi from the airport may cost around 300-400 NOK.

From the train station: Arriving by train, the hotel/conference site is next to the train station.

Conference site: Grand Hotel Terminus, Zander Kaaes gate 6, zoom in on the map at the red mark where the railway ends.

TYPES/CSL'11 Social Program

NB Ulriks/Fløibanen tickets for the events you booked can be found in your name tag. Please return unused tickets at the end of the conference.

Weather Report

Bergen gets ca. 2.500 mm precipitation per year ("Rain Capital of Europe"). Waterproof shoes and jacket are recommended, even for short outdoor walks. Click here for the current weather report.

back to top

Reinhard Kahle, 7.12.14

Isolde Adler