[logic-ml] CFP: LCC 2015 - extended deadline
Nao Hirokawa
hirokawa at jaist.ac.jp
Tue Apr 21 14:06:30 JST 2015
皆様
7月に京都で開催されます「第16回 論理と計算量に関するワークショップ LCC 2015」
の講演者募集の締切を延長致しました。
計算量理論からプログラムの計算量解析まで、計算量に関する研究発表を
広く募集しております。講演を検討頂けましたら幸いです。
廣川 直 (JAIST)
======================================================================
Third Call for Papers
(extended deadline)
LCC 2015
16th International Workshop on Logic and Computational Complexity
July 4-5, 2015, Kyoto, Japan
collocated with ICALP/LICS 2015
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 April 29, 2015 (extended)
* notification May 14, 2015
* workshop July 4-5, 2015
INVITED SPEAKERS:
* Olaf Beyersdorff (University of Leeds)
* Mikołaj Bojańczyk (Warsaw University)
* Akitoshi Kawamura (University of Tokyo)
* Jean-Yves Marion (LORIA, Nancy)
* ...
SUBMISSION:
We 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.
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=lcc2015
PROGRAM COMMITTEE:
* Albert Atserias (Universitat Politècnica de Catalunya, Barcelona) co-chair
* Guillaume Bonfante (LORIA, Nancy)
* Yijia Chen (Fudan University, Shanghai)
* Ugo Dal Lago (Università degli Studi di Bologna)
* Nao Hirokawa (JAIST, Nomi) co-chair
* Antonina Kolokolova (Memorial University of Newfoundland)
* Damiano Mazza (CNRS, LIPN - University Paris 13)
* Georg Moser (University of Innsbruck)
* Moritz Müller (Kurt Gödel Research Center for Mathematical Logic, Wien)
* Benjamin Rossman (National Institute of Informatics, Tokyo)
* Iddo Tzameret (Royal Holloway, University of London)
* Heribert Vollmer (Leibniz Universität Hannover)
More information about the Logic-ml
mailing list