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/2017/newsitem/7419/5-7
 -January-2017-7th-Indian-Conference-on-Logic-and-i
 ts-Applications-ICLA-2017-Kanpur-India
DTSTAMP:20160529T000000
SUMMARY:7th Indian Conference on Logic and its App
 lications (ICLA 2017), Kanpur, India
DTSTART;VALUE=DATE:20170105
DTEND;VALUE=DATE:20170107
LOCATION:Kanpur, India
DESCRIPTION:ICLA is a forum for bringing together 
 researchers from a wide variety of fields in which
  formal logic plays a significant role, along with
  mathematicians, computer scientists, philosophers
  and logicians studying foundations of formal logi
 c 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.   For more information, see http://www.cse.
 iitk.ac.in/users/icla/ or contact icla2017.iitk at
  gmail.com.   Authors are invited to submit papers
  presenting original and unpublished research in a
 ny area of logic and applications. Articles on mat
 hematical and philosophical logic, computer scienc
 e logic, foundations and philosophy of mathematics
  and the sciences, use of formal logic in areas of
  theoretical computer science and artificial intel
 ligence, logic and linguistics, history of logic, 
 Indian systems of logic, or on the relationship be
 tween logic and other branches of knowledge, are w
 elcome. Deadline for Submission: 12 August 2016.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>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      </p
 >\n    \n      \n      <p>For more information, se
 e\n        <a target="_blank" href="http://www.cse
 .iitk.ac.in/users/icla/">http://www.cse.iitk.ac.in
 /users/icla/</a> or contact  <a class="email">icla
 2017.iitk <span class="at">at</span> gmail.com</a>
 .\n      </p>\n    </div><div>\n      <p>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      </
 p>\n      </div>
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