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/2014/newsitem/5873/15-
 19-September-2014-Continuity-Computability-Constru
 ctivity-From-Logic-to-Algorithms-CCC-2014-Ljubljan
 a-Slovenia
DTSTAMP:20140817T000000
SUMMARY:Continuity, Computability, Constructivity:
  From Logic to Algorithms (CCC 2014), Ljubljana, S
 lovenia
DTSTART;VALUE=DATE:20140915
DTEND;VALUE=DATE:20140919
LOCATION:Ljubljana, Slovenia
DESCRIPTION:CCC is a workshop series bringing toge
 ther researchers from real analysis, computability
  theory, and constructive mathematics. The overall
  aim is to apply logical methods in these discipli
 nes to provide a sound foundation for obtaining ex
 act and provably correct algorithms for computatio
 ns with real numbers and related analytical data, 
 which are of increasing importance in safety criti
 cal applications and scientific computation.   To 
 view the programme and to register please visit ht
 tp://ccc2014.fmf.uni-lj.si/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>CCC is a w
 orkshop series bringing together researchers from 
 real analysis, computability theory, and construct
 ive mathematics. The overall aim is to apply logic
 al methods in these disciplines to provide a sound
  foundation for obtaining exact and provably corre
 ct algorithms for computations with real numbers a
 nd related analytical data, which are of increasin
 g importance in safety critical applications and s
 cientific computation.\n      </p>\n    \n      <p
 >To view the programme and to register please visi
 t\n        <a target="_blank" href="http://ccc2014
 .fmf.uni-lj.si/">http://ccc2014.fmf.uni-lj.si/</a>
 \n      </p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5873/15-
 19-September-2014-Continuity-Computability-Constru
 ctivity-From-Logic-to-Algorithms-CCC-2014-Ljubljan
 a-Slovenia
END:VEVENT
END:VCALENDAR