[logic-ml] Call for Papers: ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019, IIT Delhi, India (March 3-5, 2019)

[Katsuhiko Sano]

Logic-ml の皆様、

北海道大学の佐野勝彦です。インドのデリーで開催される論理の国際会議についてご案内いたします。奮ってご投稿ください。

佐野勝彦

-----------------------------------------------------------------------------------------------------
CALL FOR PAPERS

ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019
Indian Institute of Technology Delhi
New Delhi, India, March 3-5, 2019

Conference websitehttp://icla2019.cse.iitd.ac.in
Submission linkhttps://easychair.org/conferences/?conf=icla2019
Posterdownload

The Association for Logic in India (ALI) announces the eighth edition
of its biennial International Conference on Logic and its Applications
(ICLA), to be held at the Indian Institute of Technology Delhi from
March 3 to 5, 2019.

ICLA is a forum for bringing together researchers from a wide variety
of fields in which formal logic plays a significant role, along with
mathematicians, computer scientists, philosophers and logicians
studying foundations of formal logic in itself. A special feature of
this conference is the inclusion of studies in systems of logic in the
Indian tradition and historical research on logic.

As in the earlier events in this series, we shall have eminent
scholars as invited speakers. Details of the last ICLA 2017 may be
found at https://icla.cse.iitk.ac.in. See http://ali.cmi.ac.in for
information on past events as well as updates on this conference.

Scope:

Authors are invited to submit papers presenting original and
unpublished research in any area of logic and applications. Articles
on mathematical and philosophical logic, logic in computer science,
foundations and philosophy of mathematics and the sciences, use of
formal logic in areas of theoretical computer science and artificial
intelligence, logic and linguistics, history of logic, Indian systems
of logic, or on the relationship between logic and other branches of
knowledge, are welcome.

Committees:

Program Committee

Abhisekh Sankaran, IMSc Chennai
Amaldev Manuel, IIT Goa (Co-chair)
Amit Kuber, IIT Kanpur
Anuj Dawar, University of Cambridge
Arnaud Sangnier,  Univercite Paris Diderot
Arun Kumar, IIT Delhi
Astrid Kiehn, IIT Mandi
Benedikt Löwe, University of Amsterdam
Benedikt Bollig, LSV, ENS Cachan, CNRS
Benjamin Monmege, Aix-Marseille Université, LIF, CNRS
Davide Grossi, University of Groningen
Denis Kuperberg, ENS Lyon
Gabriele Puppis, LaBRI, Bordeaux
Hans van Ditmarsch, LORIA - CNRS / University of Lorraine
Ivo Düntsch, Brock University
Katsuhiko Sano, Hokkaido University
M. Praveen, Chennai Mathematical Institute
Md. Aquil Khan, IIT Indore (Co-chair)
Mihir Kumar Chakraborty, Jadavpur University
Minghui Ma,  Sun Yat-Sen University
Ramchandra Phawade, IIT Dharwad
Richard Zach, University of Calgary
S. Akshay, IIT Bombay
Sankha Basu, IIIT Delhi
Smita Sirker,  Jawaharlal Nehru University
Soma Dutta, University of Warsaw
Sreejith A. V., IIT Goa
Stefan Göller, University of Kassel
Sujata Ghosh, ISI Chennai
Sunil Easaw Simon, IIT Kanpur
Torben Braüner, Roskilde University

Organizing committee

S. Arun-Kumar, IIT Delhi
Sanjiva Prasad, IIT Delhi
Subodh V Sharma, IIT Delhi


Publication:

Submitted papers will be peer-reviewed and accepted papers will be
published in the conference proceedings. The ICLA 2019 conference
proceedings will be published either in the Springer Lecture Notes in
Computer Science series or in Leibniz International Proceedings in
Informatics (LIPIcs), a series of high-quality conference proceedings
across all fields in informatics established in cooperation with
Schloss Dagstuhl – Leibniz Center for Informatics.

Submission Guidelines:

Authors may submit drafts of full papers or extended abstracts. The
submission must not exceed 12 pages in Springer-Verlag Lecture Notes
LaTeX style. If appropriate, proof details omitted in the paper may be
added in an appendix meant for the reviewers. Concurrent submissions
to other conferences/journals are not admissible.

For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.

Important Dates:

Deadline for Submissions: 5 November 2018
Notification to authors: 21 December 2018
Pre-conference Workshops: 1-2 March 2019
Conference: 3-5 March 2019

Contact

Please contact the PC chairs (aquilk at iiti.ac.in, amal at iitgoa.ac.in)
for any further queries.