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
• 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, Fujian Normal University
• Katsuhiko Sano, Hokkaido University
• Kaustuv Chaudhuri, École Polytechnique
• 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
• S. Arun-Kumar, IIT Delhi
• 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 Speakers

ICLA 2019 will feature invited talks by the following speakers. 

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.

Contact

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