Seventh Indian Conference on Logic and its Applications -2017
January 5–7, 2017, Outreach Conference Hall, Indian Institute of Technology, Kanpur, India.


ALI, the Association for Logic in India, announces the seventh edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology, Kanpur, from January 5–7, 2017. ICLA 2017 will be co-located with the Methods for Modalities Conference to be held during January 8-9, 2017.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, 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.

The proceedings of ICLA 2017 is published in the LNCS series, volume 10119.


Sponsors