Benedikt Löwe

Benedikt Löwe in [[Prague]], August 2019 Benedikt Löwe (born 1972) is a German mathematician and logician working at the universities of Amsterdam, Hamburg, and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the interdisciplinary conference series ''Foundations of the Formal Sciences'' (FotFS; 1999–2013) and ''Computability in Europe'' (CiE; since 2005). Provided by Wikipedia
1
The Nature of Computation. Logic, Algorithms, Applications [E-Book] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
2
How the World Computes [E-Book]: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
3
Models of Computation in Context [E-Book] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings /
4
Logic and the Foundations of Game and Decision Theory – LOFT 8 [E-Book] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /
5
Programs, Proofs, Processes [E-Book] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings /
6
Infinity in Logic and Computation [E-Book] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
7
New Computational Paradigms [E-Book] : Changing Conceptions of What is Computable /
8
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I [E-Book] /
9
Computation and Logic in the Real World [E-Book] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
10
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London [E-Book] /
11
Logical Approaches to Computational Barriers [E-Book] / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
12
New Computational Paradigms [E-Book] / First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings