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/2020/newsitem/11843/31
 -August---4-September-2020-Workshop-Continuity-Com
 putability-Constructivity---From-Logic-to-Algorith
 ms-CCC-2020-Online
DTSTAMP:20200723T154015
SUMMARY:Workshop Continuity, Computability, Constr
 uctivity - From Logic to Algorithms (CCC 2020) , O
 nline
DTSTART;VALUE=DATE:20200831
DTEND;VALUE=DATE:20200904
LOCATION:Online
DESCRIPTION:CCC is a workshop series that brings t
 ogether researchers applying logical methods to th
 e development of algorithms, with a particular foc
 us on computation with infinite data, where issues
  of continuity, computability and constructivity p
 lay major roles. Specific topics include exact rea
 l number computation, computable analysis, effecti
 ve descriptive set theory, constructive analysis, 
 and related areas. The overall aim is to apply log
 ical methods in these disciplines to provide a sou
 nd foundation for obtaining exact and provably cor
 rect algorithms for computations with real numbers
  and other continuous data, which are of increasin
 g importance in safety critical applications and s
 cientific computation.  The workshop was planned t
 o take place in Faro, Portugal. However, due to th
 e COVID-19 pandemic, the workshop will now be onli
 ne.  Extended abstracts (1-2 pages) of original wo
 rk are welcome. The workshop specifically invites 
 contributions in the areas of Exact real number co
 mputation, Correctness of algorithms on infinite d
 ata, Computable analysis, Complexity of real numbe
 rs, real-valued functions, etc. Effective descript
 ive set theory, Domain theory, Constructive analys
 is, Category-theoretic approaches to computation o
 n infinite data, Weihrauch degrees, And related ar
 eas.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>CCC is a 
 workshop series that brings together researchers a
 pplying logical methods to the development of algo
 rithms, with a particular focus on computation wit
 h infinite data, where issues of continuity, compu
 tability and constructivity play major roles. Spec
 ific topics include exact real number computation,
  computable analysis, effective descriptive set th
 eory, constructive analysis, and related areas. Th
 e overall aim is to apply logical methods in these
  disciplines to provide a sound foundation for obt
 aining exact and provably correct algorithms for c
 omputations with real numbers and other continuous
  data, which are of increasing importance in safet
 y critical applications and scientific computation
 .</p>\n\n  <p>The workshop was planned to take pla
 ce in Faro, Portugal. However, due to the COVID-19
  pandemic, the workshop will now be online.</p>\n<
 /div><div>\n  <p>Extended abstracts (1-2 pages) of
  original work are welcome. The workshop specifica
 lly invites contributions in the areas of Exact re
 al number computation, Correctness of algorithms o
 n infinite data, Computable analysis, Complexity o
 f real numbers, real-valued functions, etc. Effect
 ive descriptive set theory, Domain theory, Constru
 ctive analysis, Category-theoretic approaches to c
 omputation on infinite data, Weihrauch degrees, An
 d related areas.</p>\n</div>
URL:http://cid.uni-trier.de/ccc-2020
END:VEVENT
END:VCALENDAR