Benedikt Löwe


Universität Hamburg
Universiteit van Amsterdam



Home


Research


Teaching


Service



Editorial activities of Benedikt Löwe

Managing Editorships.

Editorships.

Books.

Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch (eds.), Foundations of the Formal Sciences II, Applications of Mathematical Logic to Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10-13, 2000, Kluwer Academic Publishers, Dordrecht 2003 [Trends in Logic 17] Benedikt Löwe, Boris Piwinger, Thoralf Räsch (eds.), Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III" held in Vienna, September 21-24, 2001, Dordrecht 2004 [Trends in Logic 23] S.Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.), New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 2005, Proceedings, Heidelberg 2005 [Lecture Notes in Computer Science 3526]
Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.), Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings, Heidelberg 2006 [Lecture Notes in Computer Science 3988] Benedikt Löwe, Volker Peckhaus, Thoralf Räsch (eds.), Foundations of the Formal Sciences IV, The History of the Concept of the Formal Sciences, London 2006 [Studies in Logic 3] Benedikt Löwe (ed.), Algebra, Logic, Set Theory, Festschrift für Ulrich Felgner zum 65. Geburtstag, London 2007 [Studies in Logic 4]
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.), Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 2007, Proceedings, Heidelberg 2007 [Lecture Notes in Computer Science 4497] Johan van Benthem, Dov Gabbay, Benedikt Löwe (eds.), Interactive Logic, Selected Papers of the 7th Augustus de Morgan Workshop, November 2005, London, Amsterdam 2007 [Texts in Logic and Games 1] Stefan Bold, Benedikt Löwe, Thoralf Räsch, Johan van Benthem (eds.), Foundations of the Formal Sciences V, Infinite Games, London 2007 [Studies in Logic 11]
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.), New Computational Paradigms: Changing Conceptions of what is Computable, New York 2008 Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.), Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings, Heidelberg 2008 [Lecture Notes in Computer Science 5028] Alexander S. Kechris, Benedikt Löwe, John R. Steel (eds.), Games, Scales, and Suslin Cardinals, The Cabal Seminar, Volume I, Cambridge University Press, Cambridge 2008 [Lecture Notes in Logic 31]
Mihir Chakraborty, Benedikt Löwe, Madhabendra Nath Mitra, Sundar Sarukkai (eds.), Logic, Navya-Nyaya & Applications, Homage to Bimal Krishna Matilal, London 2008 [Studies in Logic 15] Klaus Ambos-Spies, Benedikt L?we, Wolfgang Merkle (eds.), Mathematical Theory and Computational Practice, Fifth Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 2009, Proceedings, Heidelberg 2009 [Lecture Notes in Computer Science 5635] Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe, Infinity in Logic and Computation, Heidelberg 2009 [Lecture Notes in Artificial Intelligence, FoLLI Subseries 5489]
Benedikt Löwe, Eric Pacuit, Jan-Willem Romeijn (eds.), Foundations of the Formal Sciences VI, Probabilistic Reasoning and Reasoning with Probabilities, London 2009 [Studies in Logic 16] Giacomo Bonanno, Wiebe van der Hoek, Benedikt Löwe (eds.), Logic and the Foundations of Game Theory and Decision Theory (LOFT 8), Heidelberg 2010 [Lecture Notes in Artificial Intelligence, FoLLI Subseries 6006] Benedikt Löwe, Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, London 2010 [Texts in Philosophy 11]
Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (eds.), Programs, Proofs, Processes. Sixth Conference on Computability in Europe, CiE 2010, Ponta Delgada, Portugal, July 2010, Proceedings, Heidelberg 2010 [Lecture Notes in Computer Science 6158] Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova (eds.), Models of Computation in Context. Seventh Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, Proceedings Heidelberg 2011 [Lecture Notes in Computer Science 6735] Karen François, Benedikt Löwe, Thomas Müller, Bart Van Kerkhove (eds.), Foundations of the Formal Sciences VII, Bringing Together Philosophy and Sociology of Science, London 2011 [Studies in Logic 32]
Alexander S. Kechris, Benedikt Löwe, John R. Steel (eds.), Wadge degrees and projective ordinals, The Cabal Seminar, Volume II, Cambridge University Press, Cambridge 2012 [Lecture Notes in Logic 37] S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.), How the world computes, Turing Centenary Conference and Eighth Conference on Computability in Europe, CiE 2012, Cambridge, England, Proceedings, Heidelberg 2012 [Lecture Notes in Computer Science 7318] Christoph Kann, Benedikt Löwe, Christian Rode, Sara L. Uckelman, Medieval Logic and Modern Applied Logic, Proceedings of the 1st GPMR Workshop on Logic & Semantics, Bonn, June 28-30, 2007, in preparation [Recherches de Théologie et Philosophie Médiévales; Bibliotheca]

Special Issues.

Benedikt Löwe, Florian Rudolph (eds.), Foundations of the Formal Sciences I, Humboldt-Universit? zu Berlin, May 7-9, 1999, special issue of Synthese (Volume 133, Number 1-2, October/November 2002) S. Barry Cooper, Benedikt Löwe, Dag Normann (eds.), Mathematics of Computation at CiE 2005, special issue of the journal Mathematical Structures in Computer Science (Volume 16, Number 5, October 2006) Thomas Bäck, Benedikt Löwe (eds.), Computation and the natural sciences at CiE 2005, special issue of the journal Theoretical Computer Science C (Volume 371, Issues 1-2, February 2007)
S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas (eds.), Computability in Europe 2005, special issue of the journal Theory of Computing Systems (Volume 41, Number 1, July 2007) Arnold Beckmann, Benedikt Löwe, Dag Normann (eds.), Logical Approaches to Computational Barriers: CiE 2006, special issue of the journal Journal of Logic and Computation (Volume 17, Issue 6, December 2007) Arnold Beckmann, Edwin Beggs, Benedikt Löwe (eds.), From Gödel to Einstein: Computability between Logic and Physics at CiE 2006, special issue of the journal Theoretical Computer Science A (Volume 384, Issue 3, April 2008)
Bernd Buldt, Benedikt Löwe, Thomas Müller (eds.), Towards a New Epistemology of Mathematics, special issue of the journal Erkenntnis, (Volume 68, Issue 3, May 2008) Arnold Beckmann, Benedikt Löwe, (eds.), Computability in Europe 2006, special issue of the journal Theory of Computing Systems, (Volume 43, Issue 3/4, December 2008) S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, CiE 2007: Logic and Computation in the Real World, special issue of the journal Journal of Logic and Computation (Volume 19, Issue 1, February 2009)
Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, CiE 2007: Logic and Computation in the Real World, special issue of the journal Theoretical Computer Science C (Volume 410, Issues 4-5, February 2009) Sam Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, CiE 2007: Logic and Computation in the Real World, special issue of the journal Annals of Pure and Applied Logic (Volume 160, Issue 3, September 2009) Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.), CiE 2008: Logic and Theory of Algorithms, special issue of the journal Archive for Mathematical Logic, (Volume 49, Issue 2, March 2010)
Arnold Beckmann, Benedikt Löwe (eds.), Computability in Europe 2008, special issue of the journal Theory of Computing Systems (Volume 48, Issue 3, April 2011) Arnold Beckmann, Benedikt Löwe (eds.), CiE 2008: Logic and Theory of Algorithms, special issue of the journal Journal of Logic and Computation (Volume 22, Issue 2, April 2012) Klaus Ambos-Spies, Arnold Beckmann, Sam Buss, Benedikt Löwe (eds.), CiE 2009: Mathematical Theory and Computational Practice, special issue of the journal Annals of Pure and Applied Logic (Volume 163, Issue 5, May 2012)
Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo (eds.), Computability in Europe 2010, special issue of the journal Annals of Pure and Applied Logic (Volume 163, Issue 6, June 2012) Arnold Beckmann, Benedikt Löwe, Wolfgang Merkle (eds.), CiE 2009: Mathematical Theory and Computational Practice, special issue of the journal Theory of Computing Systems (Volume 51, Issue 1, July 2012) Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo (eds.), CiE: Programs, Proofs, Processes, special issue of the journal Theory of Computing Systems (Volume 51, Issue 3, October 2012)
Sam Buss, Benedikt Löwe, Dag Normann, Ivan Soskov (eds.), Computability in Europe 2011, special issue of the journal Annals of Pure and Applied Logic (Volume 164, Issue 5, May 2013) Klaus Ambos-Spies, Erzsébet Csuhaj-Varjú, Benedikt Löwe (eds.), CiE 2009: Mathematical Theory and Computational Practice, special issue of the journal Journal of Logic and Computation (Volume 23, Issue 4, August 2013) S. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe (eds.), Computability in Europe 2012, special issue of the journal Annals of Pure and Applied Logic (Volume 165, Issue 9, September 2014)
Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo (eds.), CiE 2010: Programs, Proofs, Processes, special issue of the journal Journal of Logic and Computation, (Volume 25, Issue 4, August 2015) Brendan P. Larvor, Benedikt Löwe, Dirk Schlimm (eds), History and Philosophy of Infinity, special section of the journal Synthese (Volume 192, Issue 8, August 2015)
Last changed: 21 January 2016