みなさま

Computer Sicence Logic 2015のご案内をさせていただきます。 アブストラクト締切は４月３日となっております。 どうぞ奮ってご投稿ください。

照井

______________________________________________________________________________________________ CSL 2015 COMPUTER SCIENCE LOGIC 2015 Berlin, 7 - 10 September 2015

http://logic.las.tu-berlin.de/csl2015/

Call for Papers

_______________________________________________________________________________________________

AIM AND SCOPE Computer Science Logic (CSL) 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.

LOCATION The 24th EACSL Annual Conference on Computer Science Logic will be held at the Technical University Berlin from Monday, 7 September 2015 to Thurday, 10 September 2015.

LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE) • automated deduction and interactive theorem proving • constructive mathematics and type theory • equational logic and term rewriting • automata and games, game semantics • modal and temporal logic • model checking • decision procedures • logical aspects of computational complexity • finite model theory • computational proof theory • bounded arithmetic and propositional proof complexity • logic programming and constraints • lambda calculus and combinatory logic • domain theory • categorical logic and topological semantics • database theory • specification, extraction and transformation of programs • logical aspects of quantum computing • logical foundations of programming paradigms • verification and program analysis • linear logic • higher-order logic • nonmonotonic reasoning

INVITED SPEAKERS * Martín Abadi (Santa Cruz) * Elham Kashefi (Edinburgh) * Markus Lohrey (Siegen) * Ryan Williams (Standford)

IMPORTANT DATES Abstract submission: 3 April 2015 Paper Submission: 10 April 2015 Paper Notification: 13 June 2015 Conference: 7 - 10 September 2015

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 must 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.

The submission is in two stages. Abstract submissions are due on 3 April 2015. Full paper submissions must be done on or before 10 April 2015. 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 a journal. Papers authored or co-authored by members of the Programme Committee are not allowed.

SATELLITE EVENTS * The 11th International Workshop on Fixed Points in Computer Science (FICS'15) will be held on 11 and 12 September 2015 as a co-located event of CSL’15.

* YuriFest: we will celebrate Yuri Gurevich’s 75th birthday with a symposium in his honour on 11 and 12 September 2015 as a co-located event of CSL’15.

* The annual meeting of the GI Fachgruppe Logik will be organised at the Technical University Berlin in conjunction with CSL'15.

PROGRAMME COMMITTEE • Albert Atserias (Universitat Politècnica de Catalunya, Barcelona) • Achim Blumensath (Technical University Darmstadt) • Mikolaj Bojanczyk (Warsaw University) • Maria Paola Bonacina (Università degli Studi di Verona) • Patricia Bouyer-Decitre (LSV, CNRS & ENS de Cachan) • Ugo Dal Lago (Università di Bologna) • Maribel Fernández (King's College London) • Richard Garner (Macquarie University, Sydney) • Rajeev Goré (Australian National University, Canberra) • Stéphane Graham-Lengrand (CNRS & École Polytechnique, Paris-Saclay) • Martin Grohe (RWTH Aachen University) • Lauri Hella (University of Tampere) • Martin Hofmann (Ludwig-Maximilians-University Munich) • Stephan Kreutzer (Technical University Berlin, pc chair) • Martin Lange (University of Kassel) • Luigi Santocanale (LIF, Aix-Marseille Université & CNRS) • Alexandra Silva (Radboud University Nijmegen) • Alex Simpson (University of Edinburgh) • Sonja Smets (University of Amsterdam) • Makoto Tatsuta (National Institute of Informatics, Tokyo) • Kazushige Terui (Kyoto University) • James Benjamin Worrell (University of Oxford) • Nobuko Yoshida (Imperial College London)

ORGANISING COMMITTEE: • Christoph Dittmann (Technical University Berlin) • Viktor Engelmann (Technical University Berlin) • Stephan Kreutzer (Technical University Berlin, Chair) • Jana Pilz (Technical University Berlin) • Roman Rabinovich (Technical University Berlin) • Sebastian Siebertz (Technical University Berlin)

------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 [email protected] http://www.kurims.kyoto-u.ac.jp/~terui/