Section Policies
Peer Review Process
Publication Frequency
Open Access Policy
| Articles | |||
 Open Submissions Peer-Reviewed | Indexed Research Support Tool | ||
| Editors: | |||
| Martín Abadi, | |||
| Parosh Abdulla, Uppsala University (Sweden) | |||
| Samson Abramsky, Oxford University Computing Laboratory | |||
| Luca Aceto, | |||
| Rajeev Alur, | |||
| Roberto Amadio, Université Paris Diderot, Paris, FRANCE | |||
| Margaret Archibald, University of Cape Town, ZA | |||
| Franz Baader, | |||
| Patrick Baillot, ENS Lyon | |||
| Henk Barendregt, | |||
| Gilles Barthe, Fundación IMDEA Software | |||
| Nick Benton, Microsoft Research in Cambridge | |||
| Marc Bezem, Universitetet i Bergen | |||
| Lars Birkedal, IT University of Copenhagen | |||
| María Luisa Bonet, | |||
| Vasco Brattka, University of Cape Town, ZA | |||
| Michele Bugliesi, | |||
| Giuseppe Castagna, | |||
| Hubert Comon-lundh, ENS de Cachan | |||
| Robert Constable, | |||
| S. Barry Cooper, University of Leeds | |||
| Andrea Corradini, University of Pisa, Italy | |||
| Bruno Courcelle, | |||
| Pierre-Louis Curien, Université Paris | |||
| Vincent Danos, | |||
| Anuj Dawar, University of Cambridge | |||
| Valeria de Paiva, | |||
| Rina Dechter, | |||
| Jacques Duparc, Université Lausanne, Suisse | |||
| Martín Escardó, | |||
| Zoltan Esik, | |||
| Javier Esparza, | |||
| Kousha Etessami, University of Edinburgh | |||
| Cormac Flanagan, School of Engineering, UCSC, Santa Cruz, USA | |||
| Martin Giese, University of Oslo, Norway | |||
| Andrew Gordon, Microsoft Research | |||
| Georg Gottlob, | |||
| Jean Goubault-Larrecq, LSV, CNRS & ENS de Cachan | |||
| David Gries, | |||
| Martin Grohe, HU Berlin, Germany | |||
| Orna Grumberg, | |||
| Jozef Gruska, | |||
| Erich Grädel, | |||
| Matthew Hennessy, Trinity College Dublin | |||
| Thomas Henzinger, Ecole Polytechnique Fédérale de Lausanne | |||
| Peter Hertling, Universität der Bundeswehr, Munich | |||
| Michael Hicks, University of Maryland | |||
| Michael Huth, Department of Computing, Imperial College London | |||
| Neil Immerman, | |||
| Radha Jagadeesan, SChool of CTI, Depaul | |||
| Patricia Johann, University of Strathclyde Glasgow | |||
| Neil Jones, | |||
| Jean-Pierre Jouannaud, École Polytechnique, Palaiseau Cedex, France | |||
| Reinhard Kahle, Universidade Nova de Lisboa | |||
| Joost-Pieter Katoen, RWTH Aachen | |||
| Henry Kautz, | |||
| Hélčne Kirchner, | |||
| Bartek Klin, Warsaw University, Poland | |||
| Barbara Koenig, University of Duisburg-Essen | |||
| Stefan Kowalewski, RWTH Aachen, Germany | |||
| Dexter Kozen, Cornell University | |||
| Jan Krajícek, | |||
| Stephan Kreutzer, TU Berlin, Germany | |||
| Orna Kupferman, Hebrew University of Jerusalem | |||
| Alexander Kurz, University of Leicester | |||
| Marta Kwiatkowska, | |||
| Rustan Leino, Microsoft Research (USA) | |||
| Daniel Leivant, | |||
| Maurizio Lenzerini, | |||
| Leonid Libkin, | |||
| Vladimir Lifschitz, | |||
| Christopher Lynch, Clarkson University | |||
| Harry Mairson, | |||
| Aart Middeldorp, University of Innsbruck. Austria | |||
| Tova Milo, | |||
| Ugo Montanari, Universitŕ di Pisa, Italy | |||
| M. Andrew Moshier, | |||
| Lawrence Moss, | |||
| Till Mossakowski, University of Bremen, Germany | |||
| Stephen Muggleton, | |||
| Anca Muscholl, LaBRI, Université Bordeaux, France | |||
| Tobias Nipkow, | |||
| Luke Ong, | |||
| Prakash Panangaden, | |||
| Luca Paolini, Universitŕ di Torino | |||
| Frank Pfenning, | |||
| Anna Philippou, University of Cyprus | |||
| Benjamin Pierce, | |||
| Frank Piessens, K.U.Leuven, Belgium | |||
| Nir Piterman, Imperial College London | |||
| Andrew Pitts, University of Cambridge | |||
| Sriram Rajamani, Microsoft | |||
| R. Ramanujam, Institute of Mathematical Sciences, Chennai, India | |||
| Simona Ronchi Della Rocca, Universitŕ di Torino, Italy | |||
| Jan Rutten, | |||
| Davide Sangiorgi, | |||
| Vladimiro Sassone, ECS, University of Southampton | |||
| Manfred Schmidt-Schauss, Uni Frankfurt, Germany | |||
| Nicole Schweikardt, | |||
| Thomas Schwentick, Technical University of Dortmund | |||
| Luc Segoufin, INRIA | |||
| Helmut Seidl, TU München, Germany | |||
| Peter Selinger, Dalhousie University, Canada | |||
| Anton Setzer, | |||
| Paula Severi, University of Leicester, UK | |||
| Scott Smolka, | |||
| Colin Stirling, | |||
| Peter Stuckey, | |||
| Andrzej Tarlecki, | |||
| Robert Tennent, | |||
| Wolfgang Thomas, | |||
| Ralf Treinen, Université Paris Diderot Paris, France | |||
| Pawel Urzyczyn, University of Warsaw | |||
| Frits Vaandrager, | |||
| Helmut Veith, Technische Universität Wien | |||
| Yde Venema, | |||
| Arild Waaler, University of Oslo, Norway | |||
| Philip Wadler, | |||
| Toby Walsh, | |||
| Igor Walukiewicz, LaBRI | |||
| Mitchell Wand, Northeastern University | |||
| Klaus Weihrauch, FernUni Hagen, Germany | |||
| Pierre Wolper, | |||
| Xizhong Zheng, Arcadia University, USA | |||
| Ning Zhong, University of Cincinnati | |||
| unknown _anonymous, | |||
| Frank _Rust, | |||
This journal provides open access to all of it content on the principle that making research freely available to the public supports a greater global exchange of knowledge. Such access is associated with increased readership and increased citation of an author's work. For more information on this approach, see the Public Knowledge Project, which has designed this system to improve the scholarly and public quality of research, and which freely distributes the journal system as well as other software to support the open access publishing of scholarly resources.
