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/2012/newsitem/4038/9-2
 0-January-2012-Fourth-Indian-School-on-Logic-and-i
 ts-Applications-ISLA-2012-Manipal-India
DTSTAMP:20111120T000000
SUMMARY:Fourth Indian School on Logic and its Appl
 ications (ISLA 2012), Manipal, India
DTSTART;VALUE=DATE:20120109
DTEND;VALUE=DATE:20120120
LOCATION:Manipal, India
DESCRIPTION:The Indian School on Logic and Applica
 tions is a biennial event. The previous editions o
 f the school were held in IIT Bombay, IIT Kanpur, 
 and University of Hyderabad. The objective is to p
 resent before graduate students and researchers of
  the country, some basics as well as active resear
 ch areas in logic. The School typically attracts s
 tudents and teachers from mathematics, philosophy 
 and computer science departments. The School is co
 mplemented by a biennial conference. The fourth co
 nference was held at Delhi University, in January 
 2011, and the proceedings published as LNCS 6521 i
 n the FoLLI series. The school will adopt a dual f
 ormat: the mornings will consist of introductory c
 ourses on fundamental aspects of logic, by eminent
  researchers in the area. The afternoons will have
  workshops, which can be of the nature of advanced
  tutorials, or presentations on research areas, in
  different aspects of logic and applications.   Th
 e deadline for receiving applications is December 
 15, 2011. For more information, see http://ali.cmi
 .ac.in/isla2012/.   The ISLA programme committee i
 nvites proposals for workshops for the School, in 
 the broad interdisciplinary area connecting logic 
 and the foundations of mathematics with artificial
  intelligence, computing science and philosophy. T
 he objective is to bring before students and facul
 ty an active research theme. Deadline: 8 September
  2011.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The I
 ndian School on Logic and Applications is a bienni
 al\n      event. The previous editions of the scho
 ol were held in IIT\n      Bombay, IIT Kanpur, and
  University of Hyderabad.  The objective\n      is
  to present before graduate students and researche
 rs of the\n      country, some basics as well as a
 ctive research areas in logic.\n      The School t
 ypically attracts students and teachers from\n    
   mathematics, philosophy and computer science dep
 artments.  The\n      School is complemented by a 
 biennial conference. The fourth\n      conference 
 was held at Delhi University, in January 2011, and
 \n      the proceedings published as LNCS 6521 in 
 the FoLLI series.  The\n      school will adopt a 
 dual format: the mornings will consist of\n      i
 ntroductory courses on fundamental aspects of logi
 c, by eminent\n      researchers in the area.  The
  afternoons will have workshops,\n      which can 
 be of the nature of advanced tutorials, or\n      
 presentations on research areas, in different aspe
 cts of logic\n      and applications.\n      </p>\
 n    \n      \n      <p>The deadline for receiving
  \n        applications is December 15, 2011. For 
 more information, see\n        <a target="_blank" 
 href="http://ali.cmi.ac.in/isla2012/">http://ali.c
 mi.ac.in/isla2012/</a>.\n      </p>\n    </div><di
 v>\n      <p>The ISLA programme committee invites 
 proposals for workshops for the\n        School, i
 n the broad interdisciplinary area connecting logi
 c and the\n        foundations of mathematics with
  artificial intelligence, computing\n        scien
 ce and philosophy.  The objective is to bring befo
 re students and\n        faculty an active researc
 h theme. Deadline: 8 September 2011.\n      </p>\n
       </div>
URL:/NewsandEvents/Archives/2012/newsitem/4038/9-2
 0-January-2012-Fourth-Indian-School-on-Logic-and-i
 ts-Applications-ISLA-2012-Manipal-India
END:VEVENT
END:VCALENDAR