[logic-ml] CSL 2015 - call for papers

[Kazushige TERUI]

みなさま

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
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/