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/2018/newsitem/9852/24-
 --28-September-2018-Continuity-Computability-Const
 ructivity-CCC-2018-Faro-Portugal
DTSTAMP:20180405T184916
SUMMARY:Continuity, Computability, Constructivity 
 (CCC 2018), Faro, Portugal
DTSTART;VALUE=DATE:20180924
DTEND;VALUE=DATE:20180928
LOCATION:Faro, Portugal
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.  Invited Speakers: Vasco Brattka (Munich, Ge
 rmany), Akitoshi Kawamura (Fukuoka, Japan), Jaap v
 an Oosten (Utrecht, Netherlands), and Warwick Tuck
 er (Uppsala, Sweden). Tutorial Speaker: Martin Zie
 gler (Daejeon, South Korea).  Extended abstracts (
 1-2 pages) of original work are welcome.  The work
 shop specifically invites contributions in the are
 as of Exact real number computation, Correctness o
 f algorithms on infinite data, Computable analysis
 , Complexity of real numbers, real-valued function
 s, Effective descriptive set theory, Scott's domai
 n theory, Constructive analysis, Category-theoreti
 c approaches to computation on infinite data, Weih
 rauch degrees, and related areas.
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\n  <p>Inv
 ited Speakers: Vasco Brattka (Munich, Germany), Ak
 itoshi Kawamura (Fukuoka, Japan), Jaap van Oosten 
 (Utrecht, Netherlands), and Warwick Tucker (Uppsal
 a, Sweden). Tutorial Speaker: Martin Ziegler (Daej
 eon, South Korea).</p>\n</div><div>\n  <p>Extended
  abstracts (1-2 pages) of original work are welcom
 e.&nbsp; The workshop specifically invites contrib
 utions in the areas of Exact real number computati
 on, Correctness of algorithms on infinite data, Co
 mputable analysis, Complexity of real numbers, rea
 l-valued functions, Effective descriptive set theo
 ry, Scott's domain theory, Constructive analysis, 
 Category-theoretic approaches to computation on in
 finite data, Weihrauch degrees, and related areas.
 </p>\n</div>
URL:http://cid.uni-trier.de/ccc-2018-continuity-co
 mputability-constructivity-from-logic-to-algorithm
 s-faro-portugal-september-24-28-2018/
END:VEVENT
END:VCALENDAR