Benedikt Löwe
Universität Hamburg
Universiteit van Amsterdam
|
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)
|
|
| 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,
in print
|
| 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,
in preparation
|
|
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, in preparation
|
|
| 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, in preparation
|
|