20th Conference on Computer Science Logic
12-15 September 2011, Bergen, NorwaySponsored by the Research Council of Norway and the Kurt Gödel Society.
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 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 is now open! Please register here.
The preliminary program, including the pre-conference workshop "Epsilon Calculus and Constructivity", is now available.
Topics of interest include (but are not limited to):
|Thomas Ehrhard (Université Paris Diderot)|
|Martin Otto (Technische Universität Darmstadt)|
|Moshe Vardi (Rice University)|
|Frank Wolter (University of Liverpool)|
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
|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|
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.
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.
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
|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)|
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 email@example.com 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),|
|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.
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.
Dreggekaien, Skur 8, on Bryggen (marked with "B" on this map).It takes 15 minutes to walk from Terminus to Dreggekaien. The boat brings us to the restaurant Cornelius, at the isle Bjorøy.
back to top