++++++++++++++++++++++++++++++++++++++++++++++++++++++
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 website: http://icla2019.cse.iitd.ac.in
Submission link : https://easychair.org/conferences/?conf=icla2019
Poster : http://icla2019.cse.iitd.ac.in/icla2019cfp.pdf
++++++++++++++++++++++++++++++++++++++++++++++++++++++
Important Dates:
Deadline for Submissions: 15 November 2018
Notification to authors: 21 December 2018
Pre-conference Workshops: 1-2 March 2019
Conference: 3-5 March 2019
++++++++++++++++++++++++++++++++++++++++++++++++++++++
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, University of Cambridge
Amaldev Manuel, IIT Goa (Co-chair)
Amit Kuber, IIT Kanpur
Anuj Dawar, University of Cambridge
Arnaud Sangnier, Univercite Paris Diderot
S. 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 Warmia and Mazury
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
++++++++++++++++++++++++++++++++++++++++++++++++++++++
Confirmed Invited Speakers:
Ian Pratt-Hartmann, University of Manchester
Carolin Antos, University of Konstanz
Martin Lange, University of Kassel
Mike Prest, University of Manchester
Johann A. Makowsky, Technion - Israel Institute of Technology
Names of other speakers will be added soon.
++++++++++++++++++++++++++++++++++++++++++++++++++++++
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 in the Springer Lecture Notes
in Computer Science (LNCS) series.
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.
Link: https://easychair.org/conferences/?conf=icla2019
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.
++++++++++++++++++++++++++++++++++++++++++++++++++++++
Contact:
Please contact the PC chairs (aquilk(a)iiti.ac.in, amal(a)iitgoa.ac.in) for any further queries.
++++++++++++++++++++++++++++++++++++++++++++++++++++++