• +49 89 6004 2243
  • +49 89 6004 2876
  • Office 1403, Building 41-400

Honorary Research Associate


Memberships




Award


Professional Activities


Recent Publications


  • Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki (eds.), Computing with Infinite Data: Topological and Logical Foundations, vol. (to appear) of Mathematical Structures in Computer Science, Cambridge University Press, Cambridge, 2015
  • Brattka, Vasco and Diener, Hannes and Spreen, Dieter (eds.), Logic, Computation, Hierarchies, (to appear), 2014
  • Brattka, Vasco and Gherardi, Guido and Hölzl, Rupert, Las Vegas Computability and Algorithmic Randomness, in: (submitted), 2014
  • Avigad, Jeremy and Brattka, Vasco, Computability and analysis: the legacy of Alan Turing, in: Downey, Rod (ed.), Turing's Legacy, Lecture Notes in Logic, Cambridge University Press, Cambridge, UK, 2014
  • Bonizzoni, Paola and Brattka, Vasco and Löwe, Benedikt (eds.), The Nature of Computation: Logic, Algorithms, Applications, 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings, vol. 7921 of Lecture Notes in Computer Science, Springer, Berlin, 2013
  • Archibald, Margaret and Brattka, Vasco and Escardó, Martín and Hertling, Peter (eds.), Special Issue for the Conference Computability and Complexity in Analysis (CCA 2011), Cape Town, South Africa, January 31-February 4, 2011, Logical Methods in Computer Science, 2013
  • Berger, Ulrich and Brattka, Vasco and Morozov, Andrei S. and Spreen, Dieter (eds.), Continuity, Computability, Constructivity: From Logic to Algorithms, vol. 163 of Annals of Pure and Applied Logic, Elsevier, Amsterdam, 2012
  • Brattka, Vasco and Le Roux, Stéphane and Pauly, Arno, On the Computational Content of the Brouwer Fixed Point Theorem, in: Cooper, S. Barry and Dawar, Anuj and Löwe, Benedikt (eds.), How the World Computes, vol. 7318 of Lecture Notes in Computer Science, Springer, Berlin, 2012, pages 57-67
  • Brattka, Vasco and de Brecht, Matthew and Pauly, Arno, Closed Choice and a Uniform Low Basis Theorem, Annals of Pure and Applied Logic 163 (2012) 986-1008
  • Brattka, Vasco and Gherardi, Guido and Marcone, Alberto, The Bolzano-Weierstrass Theorem is the Jump of Weak Kőnig's Lemma, Annals of Pure and Applied Logic 163 (2012) 623-655

Bibliographic Information


 

Current Events


  • Dagstuhl Seminar, Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Dagstuhl, Germany, 20-25 September 2015 (Co-Organiser)
  • Oberwolfach Workshop, Mathematical Logic: Proof theory, Constructive Mathematics, Oberwolfach, Germany, 16-22 November 2014 (Invited Participant)
  • Shonan Meeting, Algorithmic Randomness and Complexity, Shonan Village Center, Kanagawa, Japan, 8-12 September 2014 (Invited Participant)
  • CL 2014, Colloquium Logicum, Munich, Germany, 4-6 September 2014 (Local Organizer, Programm Committee Member)
  • CCA 2014, Eleventh International Conference on Computability and Complexity in Analysis, Darmstadt, Germany, 21-24 July 2014 (Programme Committee Chair)
  • WCT 2014, Workshop on Computability Theory, Prague, Czech Republic, 3-4 July 2014 (Invited Speaker)
  • CiE 2014, Computability in Europe: Language, Life, Limits, Budapest, Hungary, 23-27 June 2014 (Programme Committee Member)
  • CCR 2013, Eighths International Conference on Computability, Complexity and Randomness, Moscow, Russia, 23-27 September 2013 (Programme Committee Member)
  • BLC 2013, British Logic Colloquium, Leeds, UK, 5-7 September 2013 (Invited Speaker)
  • Dagstuhl Seminar, Duality in Computer Science, Dagstuhl, Germany, 28 July - 2 August 2013 (Invited Participant)
  • 28th Summer Conference on Topology and its Applications, Nipissing University, Canada, 23-26 July 2013 (Invited Speaker)
  • CCA 2013, Tenth International Conference on Computability and Complexity in Analysis, Nancy, France, 8-10 July 2013 (Steering Committee Chair)
  • CiE 2013, Computability in Europe: The Nature of Computation, Milan, Italy, 1-5 July 2013 (Programme Committee Co-Chair)
  • CCC 2013, Continuity, Computability, Constructivity: From Logic to Algorithms, Swansea University/Gregynog, UK, 26-30 June 2013
  • ABM 2012, Logik Arbeitstagung Bern-München, München, Germany, 20-21 December 2012 (Invited Participant)
  • CL 2012, Colloquium Logicum, Paderborn, Germany, 13-15 September 2012
  • CCR 2012, Seventh International Conference on Computability, Complexity and Randomness, Cambridge, UK, 2-6 July 2012 (Invited Speaker)
  • CCA 2012, Ninth International Conference on Computability and Complexity in Analysis, Cambridge, UK, 24-27 June 2012
  • Turing Centenary Conference CiE 2012, How the World Computes, Cambridge, UK, 18-23 June 2012
  • CCC 2012, Continuity, Computability, Constructivity: From Logic to Algorithms, Trier, Germany, 29 May - 2 June 2012 (Programme Committee Member)