Events on Computability and Complexity in Analysis

This is a list of CCA conferences, workshops, seminars and tutorials:

CCA Conference 2023, in Dubrovnik, Croatia, 7-9 September 2023
CCA Conference 2022, in Glenside, PA, USA, 23-26 May 2022
CCA Conference 2021, in Munich, Germany (virtual), 26-28 July 2021
CCA Conference 2020, in Bologna, Italy (virtual), 9-11 September 2020
CCA Conference 2019, in Zagreb, Croatia, 8-11 July 2019
CCA Conference 2018, in Kochel am See, Germany, 5-8 August 2018
CCA Conference 2017, in Daejeon, Republic of Korea, 24-27 July 2017
CCA Conference 2016, in Faro, Portugal, 15-17 June 2016
CCA Conference 2015, in Tokyo, Japan, 12-15 July 2015
CCA Conference 2014, in Darmstadt, Germany, 21-24 July 2014
CCA Conference 2013, in Nancy, France, 8-10 July 2013
CCA Conference 2012, in Cambridge, UK, 24-27 June 2012
CCA Conference 2011, in Cape Town, South Africa, 31 January - 4 February 2011
CCA Conference 2010, in Zhenjiang, China, 21-25 June 2010
CCA Conference 2009, in Ljubljana, Slovenia, 18-22 August 2009
CCA Conference 2008, in Hagen, Germany, 21-24 August 2008
CCA Conference 2007, in Siena, Italy, 16-18 June 2007
CCA Conference 2006, in Gainesville, Florida, USA, 1-5 November 2006
CCA Conference 2005, in Kyoto, Japan, 26-29 August 2005
CCA Workshop 2004, in Lutherstadt Wittenberg, Germany, 16-20 August 2004
CCA Conference 2003, in Cincinnati, USA, 28-30 August 2003
CCA Workshop 2002, in Málaga, Spain, 12-13 July 2002
CCA Dagstuhl Seminar 2001, in Dagstuhl, Germany, 11-16 November 2001
CCA Workshop 2000, in Swansea, Wales, 17-19 September 2000
CCA Tutorial 2000, in Hagen, Germany, 21-25 February 2000
CCA Dagstuhl Seminar 1999, in Dagstuhl, Germany, 14-19 November 1999
CCA Workshop 1998, in Brno, Czech Republic, 24-27 August 1998
CCA Dagstuhl Seminar 1997, in Dagstuhl, Germany, 21-25 April 1997
CCA Workshop 1996, in Trier, Germany, 22-23 August 1996
CCA Workshop 1995, in Hagen, Germany, 19-20 August 1995

Related Events

Submit details of a related event

2025

Dagstuhl Seminar, Weihrauch Complexity: Structuring the Realm of Non-Computability, Dagstuhl, Germany, 23-28 March 2025

2024

CCA 2024, Twenty-First International Conference on Computability and Complexity in Analysis, Swansea, UK, 15-18 July 2024 (Deadline: 29 April 2024)
CiE 2024, 20th Edition of CiE, Amsterdam, The Netherlands, 8-12 July 2024
Leeds Computability Days 2024, Computability, Reverse Mathematics, and Topology, Leeds, UK, 2-5 July 2024
LC 2024, Logic Colloquium, Gothenburg, Sweden, 24-28 June 2024
ENR 2024, Equivalences, Numberings, Reducibilities, Astana, Kazakhstan, 20-24 May 2024
CCR 2024, 17th International Conference on Computability, Complexity and Randomness, Nagoya, Japan, 11-15 March 2024
World Logic Day Workshop 2024, Astana, Kazakhstan (online), 15 January 2024

2023

Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 12-18 November 2023
Recursion Theory and its Applications, International workshop at the Institute for Advanced Study in Mathematics (IASM), Hangzhou, China, 15-20 October 2023
WDCM 2023, Fifth Workshop on Digitalization and Computable Models, Astana, Kazakhstan, 2-6 October 2023
CCC 2023, Continuity, Computability, Constructivity - From Logic to Algorithms, Kyoto, Japan, 25-29 September 2023
Proof and Computation, Autumn school, Herrsching, Germany, 10-16 September 2023
CCA 2023, Twentieth International Conference on Computability and Complexity in Analysis, Dubrovnik, Croatia, 7-9 September 2023
CiE 2023, Computability in Europe, Batumi, Georgia, 24-28 July 2023
CCR 2023, 16th International Conference on Computability, Complexity and Randomness, Kochel am See, Germany, 10-14 July 2023
Logic Colloquium 2023, ASL European Summer Meeting, Milano, Italy, 5-9 June 2023
Computability and Combinatorics 2023, Summer School and Conference, University of Connecticut, Storrs, USA, 15-21 May 2023
North American Annual Meeting of the Association for Symbolic Logic, Irvine, USA, 25-29 March 2023
A Convergence of Computable Structure Theory, Analysis, and Randomness, International workshop at the Banff International Research Station, Vancouver, Canada, 19-24 March 2023
10th Annual Conference of the Iranian Logic Association, Tehran, Iran, 22-23 February 2023
CSL 2023, Computer Science Logic, Warsaw, Poland, 13-16 February 2023

2022

WDCM 2022, Fourth Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia (online), 24-29 October 2022
Models and Computability, The Mathematics of Julia Knight, Notre Dame, USA, 30 September - 2 October 2022
Colloquium Logicum, Konstanz, Germany, 26-28 September 2022
CCC 2022, Continuity, Computability, Constructivity From Logic to Algorithms, Padova, Italy, 19-23 September 2022
MCU 2022, 9th Conference on Machines, Computations and Universality, Debrecen, Hungary, 31 August - 2 September 2022
APT 2022, International Conference on Applied Proof Theory 2022, Pescara, Italy, 29 August - 2 September 2022
SLAM 2022, Latin American Symposium on Mathematical Logic, San José, Costa Rica, 26-30 July 2022
CiE 2022, 18th International Conference Computability in Europe, Swansea, UK, 11-15 July 2022
PLS 2022, 13th Panhellenic Logic Symposium, Volos, Greece, 6-10 July 2022
9th International Symposium of Domain Theory and Its Applications, Singapore, 4-6 July 2022
DiL 2022, Days in Logic, Faro, Portugal, 30 June - 2 July 2022
CTS 2022, Computing in topological structures: Foundations and implementations, Sirius Mathematics Center, Sochi, Russia, 27 June - 1 July 2022
Logic Colloquium 2022, Reykjavik, Iceland, 27 June - 1 July 2022
Crossley Festschrift Logic Colloquium, virtual, 14-15 June 2022
WRMP 2022, Workshop on Reverse Mathematics and its Philosophy, Paris, France, 13-17 June 2022
CCR 2022, International Conference on Computability, Complexity and Randomness, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, 6-10 June 2022
Leeds Computability Days 2022, Leeds, UK, 30 May - 1 June 2022
CCA 2022, Nineteenth International Conference on Computability and Complexity in Analysis, Glenside, PA, USA, 23-26 May 2022
CIRM Seminar New Directions in Computability Theory, Marseille, France, 7-11 March 2022
CSL 2022, Conference on Computer Science Logic, Göttingen, Germany, 14-19 February 2022
LFCS 2022, Symposium on Logical Foundations of Computer Science, Deerfield Beach, Florida, USA, 10-13 January 2022

2021

Dagstuhl Seminar, Descriptive Set Theory and Computable Topology, Dagstuhl, Germany, 14-19 November 2021
New Trends in Algorithmic Randomness and Computable Analysis, Minisymposium of the Joint Conference of the DMV-ÖMG), Passau, Germany, 29 September 2021
CCC 2021, Continuity, Computability, Constructivity - From Logic to Algorithms, Birmingham, UK (virtual), 19-24 September 2021
Autumn School Proof and Computation, Online, 13-14 September 2021
CCA 2021, Eighteenth International Conference on Computability and Complexity in Analysis, Munich, Germany (virtual), 26-28 July 2021
Logic Colloquium 2021, Poznan, Poland, 19-24 July 2021
CiE 2021, Computability in Europe 2021: Connecting with Computability, Ghent, Belgium (virtual), 5-9 July 2021
WDCM 2021, Third Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia, online, 28 June - 2 July 2021
ASL North American Annual Meeting 2021, University of Notre Dame, USA, Virtual, 22-25 June 2021
Equivalences, Numberings, Reducibilities, a satellite workshop of the 8th European Congress of Mathematics, Udine, Italy (online), 16-18 June 2021
Logical Perspectives 2021, Moscow, Russia (online), 7-11 June 2021
Oberwolfach Workshop, Computability Theory, Oberwolfach, Germany, 25 April - 1 May 2021
SEALS 2021, South Eastern Logic Symposium, University of Florida (online), 27-28 February 2021

2020

Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 8-14 November 2020
CCA 2020, Seventeenth International Conference on Computability and Complexity in Analysis, Bologna, Italy (virtual), 9-11 September 2020
CCC 2020, Continuity, Computability, Constructivity - From Logic to Algorithms, Faro, Portugal, 31 August - 4 September 2020
WDCM 2020, Second Workshop on Digitalization and Computable Models, Novosibirsk, Russia, 20-24 July 2020
CiE 2020, Computability in Europe, Beyond the Horizon of Computability, Salerno, Italy, 29 June - 3 July 2020
MLA 2020, Fourth Workshop on Mathematical Logic and its Applications, Kanazawa, Japan, 3-5 March 2020
CSL 2020, 28th Conference of Computer Science Logic, Barcelona, Spain, 13-16 January 2020

2019

ABMV 2019, Logik-Arbeitstagung Bern, München und Verona, Munich, Germany, 12-13 December 2019
CCC 2019, Computability, Continuity, Constructivity - from Logic to Algorithms, Ljuljana, Slovenia, 2-6 September 2019
Mathematical Logic and Constructivity, The Scope and Limits of Neutral Constructivism, Stockholm, Sweden, 20-23 August 2019
LC 2019, Logic Colloquium 2019, Prague, Czech Republic, 11-16 August 2019
CiE 2019, Computability in Europe, Durham, UK, 15-19 July 2019
CCA 2019, Sixteenth International Conference on Computability and Complexity in Analysis, Zagreb, Croatia, 8-11 July 2019
Workshop Facets of Realizability, Cachan, France, 1-3 July 2019
CCR 2019, 14th International Conference on Computability, Complexity and Randomness, Astana, Kazakhstan, 23-25 June 2019
ALC 2019, Asian Logic Conference 2019, Astana, Kazakhstan, 17-21 June 2019
Shanin 100, St. Petersburg Days of Logic and Computability IV, Saint Petersburg, Russia, 23-26 May 2019
JMM 2019, AMS-ASL Special Session on Algorithmic Dimensions and Fractal Geometry, Baltimore, MD, USA, 16-19 January 2019

2018

CCR 2018, Computability, Complexity and Randomness, Santiago de Chile, Chile, 17-21 December 2018
MPFR/MPC/iRRAM Workshop, Trier, Germany, 21-23 November 2018
Joint Meeting of the Korean Mathematical Society and the German Mathematical Society, Seoul, Republic of Korea, 3-6 October 2018
CCC 2018, Computability, Constructivity - From Logic to Algorithms, Faro, Portugal, 24-28 September 2018
CTFM 2018, Workshop on Computability Theory and Foundations of Mathematics 2018, Tokyo, Japan, 13-15 September 2018
Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis, Dagstuhl, Germany, 3-7 September 2018
CCA 2018, Fifteenth International Conference on Computability and Complexity in Analysis, Kochel am See, Germany, 5-8 August 2018
CiE 2018, Sailing Routes in the World of Computation, Kiel, Germany, 30 July - 3 August 2018
LC 2018, Logic Colloquium, Udine, Italy, 23-28 July 2018
RaTLoCC 2018, Ramsey Theory in Logic, Combinatorics and Complexity, Bertinoro, Forli-Cesena, Italy, 15-20 July 2018
Workshop on Ramsey Theory and Computability, Rome, Italy, 9-12 July 2018
Workshop Domains XIII, Fifty years of domain theory, Oxford, UK, 7-8 July 2018
Workshop on Computability Theory and its Applications, Waterloo, Canada, 4-8 June 2018
Logical Perspectives 2018, Saint Petersburg, Russia, 14-18 May 2018
Types, Sets and Constructions, Hausdorff Trimester Program, Bonn, Germany, 2 May - 24 August 2018
CAFM 2018, International Workshop on Computational Approaches to the Foundations of Mathematics, Munich, Germany, 11-13 April 2018
Second Workshop on Mathematical Logic and its Applications, Kanazawa, Japan, 5-9 March 2018
3rd CORE Meeting, Munich, Germany, 26 January 2018
Oberwolfach Seminar, Computability Theory, Oberwolfach, Germany, 7-13 January 2018

2017

ABM 2017, Logik-Arbeitstagung Bern-München, Munich, Germany, 14-15 December 2017
Dagstuhl Seminar, Reliable Computation and Complexity on the Reals, Wadern, Germany, 26 November - 1 December 2017
Oberwolfach Seminar, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 5-11 November 2017
SOTFOM 4-Reverse Mathematics, Symposia on the Foundations of Mathematics, Munich, Germany, 9-11 October 2017
19th ÖMG Congress and Annual DMV Meeting, Joint Meeting of the Austrian and German Mathematical Societies, Salzburg, Austria, 11-15 September 2017
CTFM 2017, Workshop on Computability Theory and the Foundations of Mathematics, Singapore, 8-12 September 2017
LC 2017, Logic Colloquium 2017, Stockholm, Sweden, 14-20 August 2017
Arbeitstreffen, Computability and Reducibility, Kloster, Hiddensee, Germany, 6-11 August 2017
CCA 2017, Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, 24-27 July 2017
CCR 2017, Computability, Complexity and Randomness, Mysore, India, 3-7 July 2017
CCC 2017, Continuity, Computability, Constructivity � From Logic to Algorithms, Nancy, France, 26 June - 30 March 2017
CiE 2017, Computability in Europe, Unveiling Dynamics and Complexity, Turku, Finland, 12-16 June 2017
STACS 2017, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8-11 March 2017
Dagstuhl Seminar, Computability Theory, Dagstuhl, Germany, 19-24 February 2017
Second CORE Meeting, Munich, Germany, 27 January 2017
Workshop on Constructivism, Logic and Topology, Berne, Switzerland, 17-18 January 2017
CCS 2017, Computability and Complexity Symposium 2017, Raumati, New Zealand, 5-8 January 2017

2016

Symposium L.E.J. Brouwer, fifty years later, Amsterdam, The Netherlands, 9 December 2016
BIRS-CMO Workshop, Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico, 4-9 December 2016
BIRS-CMO Seminar, Interval Analysis and Constructive Mathematics, Oaxaca, Mexico, 13-18 November 2016
Computability Theory and Foundations of Mathematics 2016, Tokyo, Japan, 20-21 September 2016
Arbeitstreffen, Meeting Computability and the BSS model, Kloster, Hiddensee, 8-12 August 2016
LC 2016, Logic Colloquium 2016, Leeds, United Kingdom, 31 July - 6 August 2016
WCT 2016, Workshop on Computability Theory, Ghent, Belgium, 4-5 July 2016
CiE 2016, Computability in Europe, Pursuit of the Universal, Paris, France, 27 June - 1 July 2016
Computability, Randomness and Applications, CIRM Seminar, Marseille, France, 20-24 June 2016
CCA 2016, Thirteenth International Conference on Computability and Complexity in Analysis, Faro, Portugal, 15-17 June 2016
CSR 2016, 11th International Computer Science Symposium in Russia, St. Petersburg, Russia, 9-13 June 2016
The Foundational Impact of Recursion Theory, In honor of Steve Simpson´s 70th birthday, Storrs, Connecticut, USA, 22 May 2016
Mathematics for Computation, held on the occasion of Douglas Bridges�s 70th birthday, Niederalteich, Germany, 8-13 May 2016
Proof, Computation, Complexity 2016, Munich, Germany, 5-6 May 2016
Dagstuhl Seminar, Well Quasi-Orders in Computer Science, Dagstuhl, Wadern, Germany, 17-22 January 2016
Effective Analysis: Foundations, Implementations, Certification, CIRM Seminar, Marseille, France, 11-15 January 2016
CCR 2016, 11th International Conference on Computability, Complexity and Randomness, Honolulu, Hawaii, USA, 4-8 January 2016
LFCS 2016, Logical Foundations of Computer Science, Deerfield Beach, Florida, USA, 4-7 January 2016
New Challenges in Reverse Mathematics, Programme of the Institute for Mathematical Sciences, National University Singapore, Singapore, 3-16 January 2016

2015

Real Complexity Theory and Practice, Special Session of MACIS 2015, Berlin, Germany, 11-13 November 2015
Dagstuhl Seminar, Duality in Computer Science, Dagstuhl, Germany, 25-30 October 2015
Dagstuhl Seminar, Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Dagstuhl, Germany, 20-25 September 2015
CCC 2015, Continuity, Computability, Constructivity - From Logic to Algorithms, Schloss Aspenstein, Kochel am See, Germany, 14-18 September 2015
MCU 2015, 7th International Conference on Machines, Computations and Universality 2015, Famagusta, North-Cyprus, Turkey, 9-11 September 2015
CTFM 2015, Computability Theory and Foundations of Mathematics, Tokyo Institute of Technology, Tokyo, Japan, 7-11 September 2015
British Logic Colloquium, Cambridge, UK, 2-4 September 2015
Domains XII, Embedded International Conference of the George Boole Mathematical Sciences Conference (GMBS 2015), Cork, Ireland, 25-28 August 2015
Mathematical, Foundational and Computational Aspects of the Higher Infinite, Programme of the Isaac Newton Institute, Cambridge, UK, 19 August - 18 December 2015
LC 2015, Logic Colloquium, Hesinki, Finland, 3-8 August 2015
CCA 2015, Twelfth International Conference on Computability and Complexity in Analysis, Tokyo, Japan, 12-15 July 2015
CiE 2015, Computability in Europe, Evolving Computability, Bucharest, Romania, 29 June - 3 July 2015
CCR 2015, Tenth International Conference on Computability, Complexity and Randomness, Heidelberg, Germany, 22-26 June 2015
VAI 2015, Varieties of Algorithmic Information, Heidelberg, Germany, 15-18 June 2015
TAMC 2015, 12th Annual Conference on Theory and Applications of Models of Computation, National University of Singapore, 18-20 May 2015
Banff Seminar on Computability, Analysis, and Geometry, Banff, Alberta, Canada, 8-13 March 2015
STACS 2015, 32nd Symposium on Theoretical Aspects of Computer Science, Munich, Germany, 4-7 March 2015
JAIST Logic Workshop Series 2015, Constructivism and Computability, Shiinoki Cultural Complex, Kanazawa, Japan, 2-6 March 2015
Heyting Day 2015, Utrecht, The Netherlands, 27 February 2015

2014

Oberwolfach Workshop, Mathematical Logic: Proof theory, Constructive Mathematics, Oberwolfach, Germany, 16-22 November 2014
CCC 2014, Continuity, Computability, Constructivity - From Logic to Algorithms, Ljubljana, Slovenia, 15-19 September 2014
Shonan Meeting, Algorithmic Randomness and Complexity, Shonan Village Center, Kanagawa, Japan, 8-12 September 2014
CL 2014, Colloquium Logicum, Munich, Germany, 4-6 September 2014
ARA 2014 Japan, Analysis, Randomness and Applications, Shizuoka, Japan, 1-5 September 2014
CCA 2014, Eleventh International Conference on Computability and Complexity in Analysis, Darmstadt, Germany, 21-24 July 2014
PTC 2014, Summer School Proof, Truth, Computation, Frauenwörth, Chiemsee, Germany, 20-25 July 2014
WCT 2014, Workshop on Computability Theory, Prague, Czech Republic, 3-4 July 2014
CiE 2014, Computability in Europe: Language, Life, Limits, Budapest, Hungary, 23-27 June 2014
CCR 2014, Ninth International Conference on Computability, Complexity and Randomness, Singapore, 9-13 June 2014
Computability Days, Journées Calculabilités, Montpellier, France, 28 April - 29 March 2014
CORCON 2014, Workshop on Correctness by Construction, Genoa, Italy, 24-27 March 2014
STACS 2014, 31st International Symposium on Theoretical Aspects of Computer Science, Lyon, France, 5-8 March 2014
CTFM 2014, Computability Theory and Foundations of Mathematics, Tokyo, Japan, 17-20 February 2014
ARA 2014 South Africa, Analysis, Randomness, and Applications, Pretoria, South Africa, 10-11 February 2014
Days in Logic 2014, Universidade do Minho, Braga, Portugal, 23-25 January 2014