Benedikt Löwe    


Benedikt Löwe: Editorial Activities.

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] Arnold Beckmann, Benedikt Löwe (eds.), Acts of the programme Semantics and Syntax, Isaac Newton Institute for the Mathematical Sciences, January to July 2012, London 2013 [Texts in Computing 17]
Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.), The Nature of Computation: Logic, Algorithms, Applications, 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings, Heidelberg 2013 [Lecture Notes in Computer Science 7921] Mark A. Finlayson, Bernhard Fisseni, Benedikt Löwe, Jan Christoph Meister (eds.), 2013 Workshop on Computational Models of Narrative, CMN'13, 4-6 August, 2013, Hamburg, Germany, Saarbrücken 2013 [Open Access Series in Informatics 32] Benedikt Löwe, Glynn Winskel (eds.), Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012, EPTCS 2014 [Electronic Proceedings in Theoretical Computer Science 143]
Stefan Geschke, Benedikt Löwe, Philipp Schlicht (eds.), Infinity, Computability and Metamathematics, Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, London 2014 [Tributes 23] Alexander S. Kechris, Benedikt Löwe, John R. Steel (eds.), Ordinal Definability and Recursion Theory, The Cabal Seminar, Volume III, Cambridge 2016 [Lecture Notes in Logic 43] Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie (eds.), Cultures of Mathematics and Logic, Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012, Basel 2016 [Trends in the History of Science]
Christoph Kann, Benedikt Löwe, Christian Rode, Sara L. Uckelman, Modern Views of Medieval Logic, Leuven 2018 [Recherches de Théologie et Philosophie Médiévales; Bibliotheca 16] Alexander S. Kechris, Benedikt Löwe, John R. Steel (eds.), Large cardinals, determinacy and other topics, The Cabal Seminar, Volume IV, Cambridge 2020 [Lecture Notes in Logic 49] Gerhard Heinzmann, Benedikt Löwe (eds.), Science's Voice of Reflection, London 2022 [Comptes Rendus de l'Académie Internationale de Philosophie des Sciences 1]

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) Bernhard Fisseni, Benedikt Löwe (eds.), Formal and Computational Models of Narrative, special issue of the journal Sprache und Datenverarbeitung (Volume 37, Issue 1-2, 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)
Benedikt Löwe (ed.), In memory of S. Barry Cooper (1943–2015), special issue of the journal Computability (Volume 2, Issue 2-3, 2018) Benedikt Löwe, Ursula Martin, Alison Pease (eds.), Enabling mathematical cultures, special issue of the journal Synthese (Volume 198, Issue 26, November 2021)
Last changed: 28 August 2024