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/2013/newsitem/4404/10-
 12-January-2013-Indian-Conference-on-Logic-and-its
 -Applications-ICLA-2013-Chennai-India
DTSTAMP:20120325T000000
SUMMARY:Indian Conference on Logic and its Applica
 tions (ICLA 2013), Chennai, India
DTSTART;VALUE=DATE:20130110
DTEND;VALUE=DATE:20130112
LOCATION:Chennai, India
DESCRIPTION:ALI, the Association for Logic in Indi
 a, announces the next edition of its biennial (Int
 ernational) Indian Conference on Logic and its App
 lications (ICLA), to be held at the Institute of M
 athematical Sciences, Chennai, from January 10 to 
 12, 2013. ICLA is a forum for bringing together re
 searchers from a wide variety of fields that forma
 l logic plays a significant role in, along with ma
 thematicians, philosophers and logicians studying 
 foundations of formal logic in itself. The confere
 nce has also included studies in systems of logic 
 in the Indian tradition, and historical research o
 n logic.   This year's speakers will include Josep
 h Halpern, Martin Otto, Mark Reynolds and Gabriel 
 Sandu.    For more information, see the ICLA page 
 at http://www.imsc.res.in/~icla and the ALI page a
 t http://ali.cmi.ac.in/, or email icla at imsc.res
 .in.   Authors are invited to submit papers presen
 ting original and unpublished research in any area
  of logic and applications. Papers on topics of cu
 rrent interest in pure and applied logic, foundati
 ons and philosophy of mathematics and the sciences
 , set theory, model theory, proof theory, areas of
  theoretical computer science, artificial intellig
 ence and other disciplines which are of direct int
 erest to mathematical and philosophical logic, as 
 well as articles on the relationship between logic
  and other branches of knowledge, or on history of
  logic, are welcome. Deadline for Submission (in e
 lectronic form): 13 August 2012
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>ALI, 
 the Association for Logic in India, announces the 
 next\n      edition of its biennial (International
 ) Indian Conference on\n      Logic and its Applic
 ations (ICLA), to be held at the Institute\n      
 of Mathematical Sciences, Chennai, from January 10
  to 12, 2013.\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 with mathematicians, philosopher
 s and logicians studying\n      foundations of for
 mal logic in itself.  The conference has also\n   
    included studies in systems of logic in the Ind
 ian tradition,\n      and historical research on l
 ogic.\n      </p>\n      <p>This year's speakers w
 ill include\n      Joseph Halpern, Martin Otto, Ma
 rk Reynolds and Gabriel Sandu.\n      </p>\n    \n
       \n      <p>\n        For more information, s
 ee the ICLA page at\n        <a target="_blank" hr
 ef="http://www.imsc.res.in/~icla">http://www.imsc.
 res.in/~icla</a>\n        and the ALI page at <a t
 arget="_blank" href="http://ali.cmi.ac.in/">http:/
 /ali.cmi.ac.in/</a>,\n        or email <a class="e
 mail">icla <span class="at">at</span> imsc.res.in<
 /a>.\n      </p>\n    </div><div>\n      <p>Author
 s are invited to submit papers presenting original
  and\n      unpublished research in any area of lo
 gic and\n      applications. Papers on topics of c
 urrent interest in pure and\n      applied logic, 
 foundations and philosophy of mathematics and the\
 n      sciences, set theory, model theory, proof t
 heory, areas of\n      theoretical computer scienc
 e, artificial intelligence and other\n      discip
 lines which are of direct interest to mathematical
  and\n      philosophical logic, as well as articl
 es on the relationship\n      between logic and ot
 her branches of knowledge, or on history of\n     
  logic, are welcome.  Deadline for Submission (in 
 electronic\n      form): 13 August 2012\n      </p
 >\n      </div>
URL:/NewsandEvents/Archives/2013/newsitem/4404/10-
 12-January-2013-Indian-Conference-on-Logic-and-its
 -Applications-ICLA-2013-Chennai-India
END:VEVENT
END:VCALENDAR