[kisoron-ml] LCC 2019（7月8日・パトラ）発表募集

[Akitoshi Kawamura]

メーリングリストの皆様

九大の河村と申します。7月に国際会議ICALPの併設集会としてギリシアのパトラ
で行われる「論理学と計算量」研究集会LCC 2019の御案内をお送りいたします。
投稿は3～4ページで、締切は5月1日です。

===========================================================
First Call for Contributions
LCC 2019

20th International Workshop on Logic and Computational Complexity

July 8, 2019, Patras, Greece
Collocated with ICALP 2019
http://www.cs.swansea.ac.uk/lcc/
===========================================================

LCC meetings are aimed at the foundational interconnections between
logic and computational complexity, as present, for example, in implicit
computational complexity (descriptive and type-theoretic methods);
deductive formalisms as they relate to complexity (e.g. ramification,
weak comprehension, bounded arithmetic, linear logic and resource
logics); complexity aspects of finite model theory and databases;
complexity-mindful program derivation and verification; computational
complexity at higher type; and proof complexity. The program will
consist of invited lectures as well as contributed talks selected by the
Program Committee.

IMPORTANT DATES:

 * submission     May 1, 2019
 * notification   May 20, 2019
 * workshop       July 8, 2019

SUBMISSION:

Submissions must be in English and in the form of an abstract of about
3-4 pages. All submissions should be submitted through Easychair at:

   https://easychair.org/conferences/?conf=lcc19

We also welcome submissions of abstracts based on work submitted or
published elsewhere, provided that all pertinent information is
disclosed at submission time. There will be no formal reviewing as is
usually understood in peer-reviewed conferences with published
proceedings. The program committee checks relevance and may provide
additional feedback.

PROGRAM COMMITTEE:

Lauri Hella, Co-chair, Tampere University, Finland
Monika Seisenberger, Co-chair, Swansea University, UK
Sam Buss, University of California, San Diego, US
Anupam Das, University of Copenhagen, Denmark
Anuj, Dawar, University of Cambridge, UK
Akitoshi Kawamura, Kyushu University, Fukuoka, Japan
Arne, Meier, University of Hannover, Germany
Lidia Tendera, University of Opole, Poland

CONTACT:

To contact the workshop organizers, please send an e-mail to
lcc19 at easychair.org

-- 
河村彰星
九州大学システム情報科学研究院情報学部門
〒819-0395　福岡市西区元岡744
092-802-3806
kawamura at inf.kyushu-u.ac.jp