4th Indian Conference on Logic and its Applications
January 9–11, 2011
Delhi University, India
Delhi University, India
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 9 to 11, 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. Pre-conference workshops during Jan 5–8 are also being planned. Details of these workshops will be posted on the conference website in due course. Visit the ALI page for information on past events, and the ICLA 2009 website for details of the previous ICLA.
Submission
Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, foundations and philosophy of mathematics and the sciences, history of logic, Indian systems of logic, use of formal logic in areas of theoretical computer science and artificial intelligence, or on the relationship between logic and other branches of knowledge, are welcome.
Please look at the instructions to authors in our submission page.
Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings, which will be made available at the time of the conference. It is expected that the conference proceedings will appear as a volume in the FoLLI series of Springer Lecture Notes in Artificial Intelligence—this will be confirmed soon.
For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.
Important dates
| Deadline for submission (in electronic form): | July 31, 2010 |
| Notification to authors: | September 5, 2010 |
| Deadline for camera-ready papers: | October 10, 2010 |