Conferences

  • PC19
    Autumn school “Proof and Computation”,
    Munich (Germany), September 20-26, 2019
  • CCA 2019
    Sixteenth International Conference on Computability and Complexity in Analysis,
    Zagreb (Portugal), 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