\n

ICLA is a forum for bringing together researchers from a wide variety of \n fields in which formal logic plays a significant role, along with \n mathematicians, computer scientists, philosoph ers and logicians studying \n foundations o f formal logic in itself. A special feature of thi s \n conference is the inclusion of studies in systems of logic in the Indian \n tradi tion, and historical research on logic.\n

\n \n \nFor more information, se e\n http://www.cse.iitk.ac.in /users/icla/ or contact icla 2017.iitk at gmail.com .\n

\n\n

URL:/NewsandEvents/Archives/2017/newsitem/7419/5-7
-January-2017-7th-Indian-Conference-on-Logic-and-i
ts-Applications-ICLA-2017-Kanpur-India
END:VEVENT
END:VCALENDAR
Authors a re invited to submit papers presenting original an d\n unpublished research in any area of logic and\n applications. Articles on mathematical and philosophical logic,\n computer science logic, foundations and philosophy of\n mathem atics and the sciences, use of formal logic in are as of\n theoretical computer science and arti ficial intelligence, logic\n and linguistics, history of logic, Indian systems of logic, or\n on the relationship between logic and other br anches of\n knowledge, are welcome.\n Deadline for Submission: 12 August 2016.\n \n