Conferences

  • PC19
    Autumn school “Proof and Computation”,
    Munich (Germany), September 20-26, 2019
  • CCC 2019,
    Continuity, Computability, Constructivity – From Logic to Algorithms,
    Ljubljana (Slovenia), September 2-6, 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
  • 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