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/2008/newsitem/1950/14-
 26-January-2008-Second-Indian-Winter-School-in-Log
 ic-Kanpur-India
DTSTAMP:20070808T000000
SUMMARY:Second Indian Winter School in Logic, Kanp
 ur, India
DTSTART;VALUE=DATE:20080114
DTEND;VALUE=DATE:20080126
LOCATION:Kanpur, India
DESCRIPTION:The Indian winter school on Logic is a
  biennial event. The first school was held during 
 January 3-18, 2006, at IIT Bombay. The objective i
 s to place before students and researchers of the 
 country, some basics as well as active research ar
 eas in Logic.   The plan this time is to concentra
 te on a few themes: Algebraic Logic, Beyond Probab
 ilistic Uncertainty, Logic and Games, Logic, Bisim
 ulation and Markov Processes, Philosophical Logic,
  Probabilistic Logic, Set Theory and Spatial Reaso
 ning. Each theme may have more than one speaker in
 volved, and will range from an introduction to the
  state-of-the-art for some topic(s) under it. In a
 ddition, there will be time for tutorials/discussi
 on hours. Some special lectures may be accommodate
 d as well.   There are no registration fees for th
 e school, and local hospitality will be provided t
 o all. Students who are ASL members, may apply for
  (limited) ASL travel funds directly to the ASL of
 fice (deadline: October 14, 2007). For more inform
 ation, see http://home.iitk.ac.in/~mohua/school/sc
 hool.htm or contact the co-ordinators at mohua at 
 iitk.ac.in or seth at iitk.ac.in.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>The Indian
  winter school on Logic is a biennial event. The\n
       first school was held during January 3-18, 2
 006, at IIT Bombay.\n      The objective is to pla
 ce before students and researchers of the\n      c
 ountry, some basics as well as active research are
 as in Logic.\n      </p>\n      <p>The plan this t
 ime is to concentrate on a few themes:\n      Alge
 braic Logic, Beyond Probabilistic Uncertainty, Log
 ic and\n      Games, Logic, Bisimulation and Marko
 v Processes, Philosophical\n      Logic, Probabili
 stic Logic, Set Theory and Spatial Reasoning.\n   
    Each theme may have more than one speaker invol
 ved, and will\n      range from an introduction to
  the state-of-the-art for some\n      topic(s) und
 er it. In addition, there will be time for\n      
 tutorials/discussion hours. Some special lectures 
 may be\n      accommodated as well.\n      </p>\n 
    \n      <p>There are no registration fees for t
 he school, and local\n      hospitality will be pr
 ovided to all. Students who are ASL\n      members
 , may apply for (limited) ASL travel funds directl
 y to\n      the ASL office (deadline: October 14, 
 2007).  For more\n      information, see\n      <a
  target="_blank" href="http://home.iitk.ac.in/~moh
 ua/school/school.htm">http://home.iitk.ac.in/~mohu
 a/school/school.htm</a> or\n      contact the co-o
 rdinators at <a class="email">mohua <span class="a
 t">at</span> iitk.ac.in</a> or\n      <a class="em
 ail">seth <span class="at">at</span> iitk.ac.in</a
 >.\n      </p>\n    
URL:/NewsandEvents/Archives/2008/newsitem/1950/14-
 26-January-2008-Second-Indian-Winter-School-in-Log
 ic-Kanpur-India
END:VEVENT
END:VCALENDAR
