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:
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 .
\n\nThe workshop was planned to take pla ce in Faro, Portugal. However, due to the COVID-19 pandemic, the workshop will now be online.
Extended abstracts (1-2 pages) of o riginal work are welcome. The workshop specificall y invites contributions in the areas of Exact real number computation, Correctness of algorithms on infinite data, Computable analysis, Complexity of real numbers, real-valued functions, etc. Effectiv e descriptive set theory, Domain theory, Construct ive analysis, Category-theoretic approaches to com putation on infinite data, Weihrauch degrees, And related areas.