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/2015/newsitem/5917/5-8
 -January-2015-Fourteenth-Asian-Logic-Conference-AL
 C-2015-Mumbai-India
DTSTAMP:20140911T000000
SUMMARY:Fourteenth Asian Logic Conference (ALC 201
 5), Mumbai, India
DTSTART;VALUE=DATE:20150105
DTEND;VALUE=DATE:20150108
LOCATION:Mumbai, India
DESCRIPTION:The Asian Logic Conference series is s
 ponsored by the Association for Symbolic Logic and
  the meetings are major international events in ma
 thematical logic. The series features the latest s
 cientific developments in the fields in mathematic
 al logic and applications, logic in computer scien
 ce, and philosophical logics. It also aims at prom
 oting activities of mathematical logic in the Asia
 -Pacific region and bringing logicians both from w
 ithin Asia and elsewhere together to exchange info
 rmation and ideas.   The programme will cover a wi
 de range of topics and will feature plenary lectur
 es presented by leading specialists in every major
  area of mathematical logic. In addition there wil
 l be many contributed talks. The conference topics
  include, but are not limited to: Set Theory; Mode
 l theory; Recursion Theory; Proof theory; Computab
 ility Theory; Algebraic Structures; Logical Aspect
 s of Computation; Philosophical Logic.   Conferenc
 e page: http://www.cse.iitb.ac.in/~alc15/index.htm
 l  All the abstracts of contributed talks should b
 e submitted through Easychair by the deadline of S
 eptember 29th, 2014.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The A
 sian Logic Conference series\n        is sponsored
  by the Association for Symbolic Logic and the\n  
       meetings are major international events in m
 athematical logic.\n        The series features th
 e latest scientific developments in the\n        f
 ields in mathematical logic and applications, logi
 c in\n        computer science, and philosophical 
 logics. It also aims at\n        promoting activit
 ies of mathematical logic in the Asia-Pacific\n   
      region and bringing logicians both from withi
 n Asia and\n        elsewhere together to exchange
  information and ideas.\n      </p>\n      <p>The 
 programme will cover a wide range of topics and wi
 ll\n        feature plenary lectures presented by 
 leading specialists\n        in every major area o
 f mathematical logic. In addition there\n        w
 ill be many contributed talks.\n        The confer
 ence topics include, but are not limited to:\n    
     Set Theory; Model theory; Recursion Theory; Pr
 oof theory;\n        Computability Theory; Algebra
 ic Structures; Logical Aspects\n        of Computa
 tion; Philosophical Logic.\n      </p>\n    \n    
   \n      <p>Conference page: <a target="_blank" h
 ref="http://www.cse.iitb.ac.in/~alc15/index.html">
 http://www.cse.iitb.ac.in/~alc15/index.html</a>\n 
      </p>\n    </div><div>\n      <p>All the abstr
 acts of contributed talks should be submitted\n   
      through Easychair by the deadline of\n       
 September 29th, 2014.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/5917/5-8
 -January-2015-Fourteenth-Asian-Logic-Conference-AL
 C-2015-Mumbai-India
END:VEVENT
END:VCALENDAR
