Computer Science Logic 2015
Stephan Kreutzer -­‐ Chair for Logic and Seman7cs -­‐ Technical University Berlin 24th EACSL Annual Conference on Logic in Computer Science (CSL) will be organised at the Technical University Berlin. Conference Organisa7on Local organisa7on team: conference organised by the Logic and Seman7cs Group at the School for Electrical Engineering and Computer Science, Technical University Berlin Members: Stephan Kreutzer (chair of the organisaAon commiBee) Saeed Amiri Christoph DiGmann Roman Rabinovich Sebas7an Siebertz Jana Pilz (administraAve maBers) Several undergrads hBp://logic.las.tu-­‐berlin.de Viktor Engelmann CSL 2015 Main Conference. Four days, Monday to Thursday. We propose 7-­‐10 September 2015. Submission deadline therefore in March 2015. If you know of any clash with another major conference, please let us know. -­‐> stephan.kreutzer@tu-­‐berlin.de Affiliated workshops. Two workshops have been proposed so far. Ø 
FICS: Fixed Points in Computer Science Organised by Ralph MaBhes 1 – 2 day workshop Ø 
YuriFest Workshop in honour of Yuri Gurevich’s 75th birthday Organised by Bernd Finkbeiner If you are interested in organising an affiliated workshop, get in touch with us. Conference Organisa7on Conference schedule: we will follow the usual schedule Ø 
Four days of programme Ø 
Welcome recepAon, business meeAng, conference dinner Ø 
We aim at providing lunch during the conference Social events: Ø 
Conference dinner and welcome recepAon Possibly pre-­‐conf workshops Day 1 Day 2 Day 3 Day 4 Talks Talks Talks Talks Welcome recepAon Business meeAng Ackermann award Conference Dinner something informal Possibly post-­‐conf workshops Scien7fic Programme Programme CommiGee Ø 
Programme commiBee is put together right now. Ø 
InvitaAons will be sent in the coming days. Ø 
If you get an invitaAon, please say yes quickly. Submissions Ø 
Deadline as usual in March Ø 
We plan to use easychair Ø 
Publisher for conference proceedings currently being discussed in the CSL steering commiBee Loca7on Conference loca7on: Technical University Berlin The city of Berlin: Ø 
major tourist desAnaAon (in 2012: 10m visitors, 25m nights) Well established tourist infrastructure: Ø 
Many hotels available (at various price tags) Ø 
good public transport system Easy to reach: Ø 
frequent and low cost flights to most European ciAes Ø 
Several flights daily to major air hubs (Frankfurt, London, Paris, Amsterdam, ...) with connecAng flights to the US and elsewhere Ø 
only few direct flights to the US though Technical University Berlin Conference loca7on: Technical University Berlin Centrally located: Ø 
Campus in CharloBenburg, very centrally located Ø 
Range of decent yet inexpensive hotels in the immediate vicinity we esAmate about 60-­‐70 EUR per night incl. breakfast cheaper accommodaAon for students Organisa7on in the university Ø 
keeps costs down Ø 
plenty of seminar and discussion rooms available Technical University Berlin Conference loca7on Technical University Berlin MathemaAcs Building Lecture Halls Well equipped and large enough lecture halls Big screens and simultaneous display of slides and electronic ink Many small seminar rooms with black boards for discussions Internet Eduroam and guest wifi etc. Finally .... ... we hope to see you all next year at CSL in Berlin!