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/5978/2-6
 -March-2015-Jaist-Logic-Workshop-Series-2015-Const
 ructivism-and-Computability-Kanazawa-Japan
DTSTAMP:20141026T000000
SUMMARY:Jaist Logic Workshop Series 2015 "Construc
 tivism and Computability", Kanazawa, Japan
DTSTART;VALUE=DATE:20150302
DTEND;VALUE=DATE:20150306
LOCATION:Kanazawa, Japan
DESCRIPTION:JAIST Logic Workshop Series is a works
 hop series bringing together researchers from math
 ematical logic and its application, especially to 
 artificial intelligence and software science. Each
  workshop has its own focus on a specific area of 
 research in mathematical logic and its application
 . In 2015, JAIST Logic Workshop Series focuses on 
 'Constructivism and Computability', aiming at inte
 raction and knowledge transfer between constructiv
 e mathematics and computability theory.   For more
  information, see http://www.jaist.ac.jp/is/labs/i
 shihara-lab/jlws2015/   The Programme Committee co
 rdially invites all researchers to submit their pa
 pers for presentation. Submissions of short abstra
 cts (1 page in PDF format) are accepted through ea
 sychair.org. Deadline for abstract submissions: No
 vember 30.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      JAIST Logic Workshop Series is a workshop ser
 ies bringing\n        together researchers from ma
 thematical logic and its\n        application, esp
 ecially to artificial intelligence and\n        so
 ftware science. Each workshop has its own focus on
  a\n        specific area of research in mathemati
 cal logic and its\n        application. In 2015, J
 AIST Logic Workshop Series focuses on\n        'Co
 nstructivism and Computability', aiming at interac
 tion and\n        knowledge transfer between const
 ructive mathematics and\n        computability the
 ory.\n      </p>\n    \n      \n      <p>For more 
 information, see\n        <a target="_blank" href=
 "http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2
 015/">http://www.jaist.ac.jp/is/labs/ishihara-lab/
 jlws2015/</a>\n      </p>\n    </div><div>\n      
 <p>\n        The Programme Committee cordially inv
 ites all researchers to\n        submit their pape
 rs for presentation.  Submissions of short\n      
   abstracts (1 page in PDF format) are accepted th
 rough\n        easychair.org.  Deadline for abstra
 ct submissions: November 30.\n      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2015/newsitem/5978/2-6
 -March-2015-Jaist-Logic-Workshop-Series-2015-Const
 ructivism-and-Computability-Kanazawa-Japan
END:VEVENT
END:VCALENDAR