4th Indian Conference on Logic and its Applications
January 5–11, 2011
University Conference Hall, Delhi University North Campus


ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at Delhi University, from January 5 to 11, 2011. The main conference is from January 9 to 11, 2011, and two pre-conference events – Logic and Philosophy Today on January 5 and 6, 2011, and LogiCCC Meets India on January 7 and 8, 2011.

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.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. We have two pre-conference workshops planned: Logic and Philosophy Today on January 5–6, 2011, and LogICCC Meets India on January 7–8, 2011.

The ICLA 2011 proceedings is published as Springer LNCS volume 6521 in the FoLLI series.

Visit the ALI page for information on past events, and the ICLA 2009 website for details of the previous ICLA.

Important dates

Deadline for camera-ready papers: October 23, 2010

Sponsors


  • Registration closed!
  • Dates
  • Conference dates:
    January 5–11, 2011
  • Contact
  • icla at cse.iitk.ac.in