BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2011/newsitem/3317/9-1 1-January-2011-4th-Indian-Conference-on-Logic-and- its-Applications-ICLA-2011-Delhi-India DTSTAMP:20100408T000000 SUMMARY:4th Indian Conference on Logic and its App lications (ICLA 2011), Delhi, India DTSTART;VALUE=DATE:20110109 DTEND;VALUE=DATE:20110111 LOCATION:Delhi, India DESCRIPTION:ALI, the Association for Logic in Indi a, announces the fourth edition of its biennial In ternational Conference on Logic and its Applicatio ns (ICLA), to be held at the Delhi University, fro m January 9 to 11, 2011. ICLA is a forum for bri nging together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and lo gicians studying foundations of formal logic in it self. A special feature of this conference is the inclusion of studies in systems of logic in the In dian tradition, and historical research on logic. As in the earlier events in this series, we shal l have eminent logicians as invited speakers. Pre- conference workshops during Jan 5-8 are also being planned. Details of these workshops will be poste d on the conference website at http://ali.cmi.ac.i n/icla2011 in due course. Any queries related to t he conference may be sent to the following email a ddress: icla at cse.iitk.ac.in. Authors are invi ted to submit papers presenting original and unpub lished research in any area of logic and applicati ons. Articles on mathematical and philosophical lo gic, foundations and philosophy of mathematics and the sciences, history of logic, Indian systems of logic, use of formal logic in areas of theoretica l computer science and artificial intelligence, or on the relationship between logic and other branc hes of knowledge, are welcome. Deadline for Submis sion: 16 July 2010 X-ALT-DESC;FMTTYPE=text/html:
\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

\n

ICLA 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 \n

As 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

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
URL:/NewsandEvents/Archives/2011/newsitem/3317/9-1 1-January-2011-4th-Indian-Conference-on-Logic-and- its-Applications-ICLA-2011-Delhi-India END:VEVENT END:VCALENDAR