\n

ALI, the Association for Logic in India, announces the fourth\n edition of its biennial Internationa l Conference on Logic and\n its Applications (ICLA), to be held at the Delhi University,\n from January 9 to 11, 2011.\n

\nICLA is a forum for bringing together researchers from a wide\n variety of fields that formal logic plays a significant role in,\n along wi th mathematicians, philosophers and logicians stud ying\n foundations of formal logic in itself. A special feature of this\n conference is th e inclusion of studies in systems of logic in\n the Indian tradition, and historical research o n logic.\n

\n \nAs in the ear lier events in this series, we shall have\n e minent logicians as invited speakers. Pre-conferen ce workshops\n during Jan 5-8 are also being planned. Details of these\n workshops will be posted on the conference website at\n http://ali.cmi.ac.in/icla2011 in due course. Any\n queries related to the conference may b e sent to the following\n email address: icla at cse.i itk.ac.in.\n

\n \n\n

URL:/NewsandEvents/Events/Conferences/newsitem/331
7/9-11-January-2011-4th-Indian-Conference-on-Logic
-and-its-Applications-ICLA-2011-Delhi-India
END:VEVENT
END:VCALENDAR
Authors are invited to submit papers p resenting original and\n unpublished research in any area of logic and\n applications. Art icles on mathematical and philosophical logic,\n foundations and philosophy of mathematics and the sciences,\n history of logic, Indian syst ems of logic, use of formal logic\n in areas of theoretical computer science and artificial\n intelligence, or on the relationship between l ogic and other\n branches of knowledge, are w elcome. Deadline for Submission: 16\n July 2 010\n

\n