The 14th Asian Logic Conference will be held at the Indian Institute of Technology, Bombay, from January 5 to 8, 2015. ALC 2015 will be co-located with ICLA 2015, the 6th Indian Conference on Logic and Its Applications to be held during January 8-10, 2015.
The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.
ALI, the Association for Logic in India, announces the sixth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology, Bombay, from January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian Logic Conference to be held during January 5-8, 2015.
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.
January 05, 2015 — 9:00 am to
January 10, 2015 — 6:00 pm
Add to your calendar
Department of Computer Science and Engineering
Indian Institute of Technology Bombay