Vom 31. August bis 4. September 2020 findet der Online Workshop "Kontinuität, Berechenbarkeit, Konstruktivität - Von der Logik zu den Algorithmen" (CCC 2020) statt.
Den Aufruf zur Teilnahme finden Sie auf der Seite der CID Trier.
CCC ist eine Workshop-Reihe, die Forscher zusammenbringt, die logische Methoden zur Entwicklung von Algorithmen anwenden, mit besonderem Schwerpunkt auf Berechnungen mit unendlichen Daten, bei denen Fragen der Kontinuität, Berechenbarkeit und Konstruktivität eine wichtige Rolle spielen. Zu den spezifischen Themen gehören die exakte Berechnung reeller Zahlen, berechenbare Analyse, effektive deskriptive Mengenlehre, konstruktive Analyse und verwandte Bereiche. Übergeordnetes Ziel ist die Anwendung logischer Methoden in diesen Disziplinen, um eine solide Grundlage für den Erhalt exakter und nachweislich korrekter Algorithmen für Berechnungen mit reellen Zahlen und anderen kontinuierlichen Daten zu schaffen, die für sicherheitskritische Anwendungen und wissenschaftliches Rechnen von zunehmender Bedeutung sind.
Aufgrund der COVID-19-Pandemie und ihrer Folgen in Bezug auf das Reisen und Zusammenkommen wird der Workshop online stattfinden.
Frühere Workshops fanden bereits in Köln 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018 und Ljubljana 2019 statt.
Der Workshop steht allen Forschern in der Region offen und lädt insbesondere zu Beiträgen in den folgenden Bereichen ein:
- Exakte Berechnung der reellen Zahl,
- Korrektheit von Algorithmen auf unendlichen Daten,
- Berechenbare Analyse,
- Komplexität reeller Zahlen, reellwertiger Funktionen usw.
- Wirksame deskriptive Mengenlehre,
- Domänentheorie,
- Konstruktive Analyse,
- Kategorientheoretische Ansätze zur Berechnung auf unendlichen Daten,
- Weihrauch-Abschlüsse,
- und verwandte Bereiche.
Eingeladene Redner:
- Holger Boche (München)
- Elvira Mayordomo (Saragossa)
- Eike Neumann (Oxford)
- Hideki Tsuiki (Kyoto).
Tutorial-Sprecher:
- Hongseok Yang (KAIST)
Programmausschuss:
- Matthew de Brecht (Kyoto)
- Daniel Graça (Faro) (Ko-Vorsitzender)
- Michal Konečný (Aston)
- Monika Seisenberger (Swansea)
- Alex Simpson (Laibach)
- Dieter Spreen (Siegen) (Ko-Vorsitzender)
- Holger Thies (Kyushu)
- Martin Ziegler (Daejeon)
Organisationskomitee:
- Daniel Graça (Faro)
- Dieter Spreen (Siegen)