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/2017/newsitem/8789/26-
 --30-June-2017-Continuity-Computability-Constructi
 vity---From-Logic-to-Algorithms-CCC-2017-Nancy-Fra
 nce
DTSTAMP:20170413T160848
SUMMARY:Continuity, Computability, Constructivity 
 - From Logic to Algorithms (CCC 2017), Nancy, Fran
 ce
DTSTART;VALUE=DATE:20170626
DTEND;VALUE=DATE:20170630
LOCATION:Nancy, France
DESCRIPTION:CCC is a workshop series bringing toge
 ther researchers from exact real number computatio
 n, computable analysis, effective descriptive set 
 theory, constructive analysis, and related areas. 
 The overall aim is to apply logical methods in the
 se disciplines to provide a sound foundation for o
 btaining exact and provably correct algorithms for
  computations with real numbers and related analyt
 ical data, which are of increasing importance in s
 afety critical applications and scientific computa
 tion.  The workshop specifically invites contribut
 ions in the areas of Exact real number computation
 , Correctness of algorithms on infinite data, Comp
 utable analysis, Complexity of real numbers, real-
 valued functions, etc. Effective descriptive set t
 heory Scott's domain theory, Constructive analysis
 , Category-theoretic approaches to computation on 
 infinite data, Weihrauch degrees, And related area
 s. Extended abstracts (1-2 pages) of original work
  are welcome.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>CCC is a 
 workshop series bringing together researchers from
  exact real number computation, computable analysi
 s, effective descriptive set theory, constructive 
 analysis, and related areas. The overall aim is to
  apply logical methods in these disciplines to pro
 vide a sound foundation for obtaining exact and pr
 ovably correct algorithms for computations with re
 al numbers and related analytical data, which are 
 of increasing importance in safety critical applic
 ations and scientific computation.</p>\n</div><div
 >\n  <p>The workshop specifically invites contribu
 tions in the areas of Exact real number computatio
 n, Correctness of algorithms on infinite data, Com
 putable analysis, Complexity of real numbers, real
 -valued functions, etc. Effective descriptive set 
 theory Scott's domain theory, Constructive analysi
 s, Category-theoretic approaches to computation on
  infinite data, Weihrauch degrees, And related are
 as. Extended abstracts (1-2 pages) of original wor
 k are welcome.</p>\n</div>
URL:https://members.loria.fr/MHoyrup/CCC/home.html
END:VEVENT
END:VCALENDAR