Conferences

  • CCC 2023
    Continuity, Computability, Constructivity – From Logic to Algorithms,
    Kyoto (Japan), planned for September, 2023
  • CCC 2022,
    Continuity, Computability, Constructivity – From Logic to Algorithms,
    Padova (Italy), September 19-23, 2022
  • CCC 2021,
    Continuity, Computability, Constructivity – From Logic to Algorithms,
    Online (Birmingham, UK), September 19-24, 2021
  • CCC 2020,
    Continuity, Computability, Constructivity – From Logic to Algorithms,
    Faro (Portugal), August 31 – September 4, 2020
  • CCC 2019,
    Continuity, Computability, Constructivity – From Logic to Algorithms,
    Ljubljana (Slovenia), September 2-6, 2019
  • CCC 2018,
    Continuity, Computability, Constructivity – From Logic to Algorithms,
    Faro (Portugal), September, 2018
  • CCC 2017
    Continuity, Computability, Constructivity – From Logic to Algorithms,
    Nancy (France), June 26 – 30, 2017

Related conferences:

  • CCA 2021
    Eighteenth International Conference on Computability and Complexity in Analysis,
    July 26-28, 2021, virtual
  • CCA 2020
    Seventeenth International Conference on Computability and Complexity in Analysis,
    September 9-11, 2020, Bologna, Italy
  • PC19
    Autumn school “Proof and Computation”,
    Munich (Germany), September 20-26, 2019
  • Mathematical Logic and Constructivity,
    Stockholm (Sweden), August 20–23, 2019
  • CCA 2019
    Sixteenth International Conference on Computability and Complexity in Analysis,
    Zagreb (Croatia), July 8-11, 2019
  • MLA’2019
    Third Workshop on Mathematical Logic and its Applications,
    Nancy (France), 11-14/03/2019