Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.
Topics of interest include:
• semantics of programming languages
• models and modeling languages for concurrent, distributed, reactive and mobile systems
• models and modeling languages for timed, hybrid and probabilistic systems
• specification, program analysis and verification
• model checking and theorem proving
• modal, temporal, first- and higher-order logics, and their variants
• constraint logic, SAT/SMT-solving techniques
• theoretical aspects of databases, semi-structured data and finite model theory
• theoretical aspects of artificial intelligence, knowledge representation, description logic
• automata theory, formal languages, term and graph rewriting
• game-based models, synthesis
• type theory, typed calculi
• algebraic, coalgebraic and categorical methods
• formal aspects of performance, dependability and reliability analysis
• foundations of information and network security
• parallel, distributed and randomized algorithms
• design and analysis of algorithms
• foundations of network and communication protocols

Editor-in-Chief
Christel Baier, Technische Universität Dresden, Germany
baier@tcs.inf.tu-dresden.de

Editorial Board
Alessandro Abate, University of Oxford, UK
Roderick Bloem, Graz University of Technology
Ahmed Bouajjani, Université Paris Diderot, France
Patricia Bouyer-Decitre, CNRS Cachan, France
Manfred Broy, Technische Universität München, Germany
Jérémie Chalopin, LIF, CNRS et Aix-Marseille Université, France 
Ugo Dal Lago, Università di Bologna, Italy
Giuseppe De Giacomo, Sapienza Università di Roma, Italy
Martin Dietzfelbinger, Technische Universität Ilmenau, Germany
Leah Epstein, University of Haifa, Israel
Javier Esparza, Technische Universität München, Germany
Henning Fernau, Universität Trier, Germany
Bernd Finkbeiner, Universität des Saarlandes, Germany
Erol Gelenbe, Imperial College London, UK 
Monika Henzinger, University of Vienna, Austria
Gerwin Klein, NICTA, Kensington, and University of New South Wales, Sydney, Australia
Antonín Kučera, Masaryk University, Czech Republic
Leonid Libkin, University of Edinburgh, UK
Madhavan Mukund, Chennai Mathematical Institute, India
Ernst-Rüdiger Olderog, Universität Oldenburg, Germany
Luke Ong, University of Oxford, UK
Catuscia Palamidessi, INRIA Saclay, and LIX, Ecole Polytechnique, France
Prakash Panangaden, McGill University, Canada
Nir Piterman, University of Leicester, UK
André Platzer, Carnegie Mellon University, USA
Arto Salomaa, University of Turku, Finland
Davide Sangiorgi, Università di Bologna, Italy
Uli Sattler, University of Manchester, UK
Nicole Schweikardt, Humboldt-Universität zu Berlin, Germany
Paul Spirakis, University of Liverpool, UK
Ofer Strichman, Technion, Israel
Geoff Sutcliffe, University of Miami, USA
Luca Viganò, King’s College London, UK
Nobuko Yoshida, Imperial College London, UK

Founding Editors
Friedrich L. Bauer, Technische Universität München, Germany
Peter J. Denning, Monterey, USA
Michael J. Fischer, Yale University, USA
Donald E. Knuth, Stanford University, USA
Zohar Manna, Stanford University, USA
Dana Scott, Carnegie Mellon University, USA