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/2024/newsitem/15048/30
 -September---4-October-2024-Workshop-Continuity-Co
 mputability-Constructivity---From-Logic-to-Algorit
 hms-CCC2024-Nice-France
DTSTAMP:20240701T144111
SUMMARY:Workshop Continuity, Computability, Constr
 uctivity - From Logic to  Algorithms (CCC2024), Ni
 ce, France
DTSTART;VALUE=DATE:20240930
DTEND;VALUE=DATE:20241004
LOCATION:Nice, France
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.  Invited Speakers (confirme
 d): Micaela Mayero (University Sorbonne Paris Nord
 ) and Jean-Michel Muller (ENS Lyon). With other na
 mes to be announced.  The workshop invites all con
 tributions relating to computation where issues of
  continuity, computability and constructivity play
  major roles. Specific areas of interest include: 
 Exact real number computation, Correctness of algo
 rithms on infinite data, Computable analysis Compl
 exity (of real numbers, real-valued functions, etc
 .), Effective descriptive set theory, Domain theor
 y, Constructive analysis and topology, Constructiv
 e foundations, Category-theoretic approaches to co
 mputation on infinite data, Weihrauch degrees, Oth
 er related areas
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  <p>Invited Speakers (confirmed): Micaela 
 Mayero (University Sorbonne Paris Nord) and Jean-M
 ichel Muller (ENS Lyon). With other names to be an
 nounced.</p>\n</div><div>\n  <p>The workshop invit
 es all contributions relating to computation where
  issues of continuity, computability and construct
 ivity play major roles. Specific areas of interest
  include: Exact real number computation, Correctne
 ss of algorithms on infinite data, Computable anal
 ysis Complexity (of real numbers, real-valued func
 tions, etc.), Effective descriptive set theory, Do
 main theory, Constructive analysis and topology, C
 onstructive foundations, Category-theoretic approa
 ches to computation on infinite data, Weihrauch de
 grees, Other related areas</p>\n</div>
URL:https://www.lix.polytechnique.fr/CCC2024/
END:VEVENT
END:VCALENDAR