List of Topics

 

Editor-in-Chief Stefan Milius Friedrich-Alexander Universität Erlangen-Nürnberg   Executive Editors Brigitte Pientka McGill University, Montreal Fabio Zanasi University College London

 

List of Topics

We list the main topics of the journal below. The list is not intended to be restrictive: authors may submit any papers within the scope of the journal to any editor of their choice. However, the Editor-in-Chief retains the right to substitute a different editor. Authors will receive immediate acknowledgment of submission and will be contacted within at most two weeks by the editor who will handle their paper.

Click here to see the list of editors.

 

Move mouse to a topic to see the editors.

Algebraic methods Mardare, Radu Schröder, Lutz

Automata and logic Barcelo, Pablo Fisman, Dana Jurdzinski, Marcin Montanari, Angelo Muscholl, Anca Raskin, Jean-Francois Schwentick, Thomas

Automata learning Fisman, Dana Silva, Alexandra Vandraager, Frits W

Automated deduction Baader, Franz

Categorical models and logic Møgelberg, Rasmus Ejlers de Paiva, Valeria Schröder, Lutz Simpson, Alex Sobocinski, Pawel

Coalgebraic methods Mardare, Radu Schröder, Lutz Silva, Alexandra

Computability and logic Avigad, Jeremy Escardó, Martín Kohlenbach, Ulrich

Computational systems in biology Danos, Vincent

Computer-aided verification Fisman, Dana Kwiatkowska, Marta Sankaranarayanan, Sriram Smolka, Scott A. Vaandrager, Frits W

Concurrency theory Fokkink, Wan Muscholl, Anca Parrow, Joachim Smolka, Scott A. Sobocinski, Pawel

Constraint programming Stuckey, Peter

Cyber-physical systems Sankaranarayanan, Sriram

Database theory Barcelo, Pablo Lenzerini, Maurizio Schwentick, Thomas

Defeasible reasoning Lifschitz, Vladimir

Domain theory Escardó, Martín Goubault-Larrecq, Jean Møgelberg, Rasmus Ejlers Simpson, Alex

Finite model theory Barcelo, Pablo Chen, Yijia Schwentick, Thomas

Formal languages Fisman, Dana Silva, Alexandra Sobocinski, Pawel

Formalized mathematics Avigad, Jeremy

Functional programming and lambda calculus Ahmed, Amal Benton, Nick Kobayashi, Naoki

Homotopy type theory and univalent foundations Escardó, Martín

Inductive logic and learning Jaeger, Manfred

Interactive proof checking Avigad, Jeremy Blazy, Sandrine

Logic and algorithms Chen, Yijia

Logic and complexity Chen, Yijia Dal Lago, Ugo Galesi, Nicola Mahajan, Meena Schwentick, Thomas

Logic and gamesMuscholl, Anca Jurdzinski, Marcin Raskin, Jean-Francois

Logic and probability Goubault-Larrecq, Jean Jaeger, Manfred Kwiatkowska, Marta Mardare, Radu Smolka, Scott A. Simpson, Alex

Logic and verification Fisman, Dana Muscholl, Anca Silva, Alexandra

Logic for knowledge representation Baader, Franz Jaeger, Manfred Lenzerini, Maurizio

Logic for security Benton, Nick

Logic programming Lifschitz, Vladimir Stuckey, Peter

Logics for knowledge representation and reasoning Montanari, Angelo

Logics of programs Dal Lago, Ugo Simpson, Alex Valiron, Benoît

Modal and temporal logics Gore, Rajeev Mardare, Radu Montanari, Angelo Muscholl, Anca Schröder, Lutz Simpson, Alex

Process algebraFokkink, Wan Sobocinski, Pawel

Protocol verificationFokkink, Wan

Program analysis and type checking Ahmed, Amal Wand, Mitchell

Program development and specification Blazy, Sandrine Nipkow, Tobias Wand, Mitchell

Proof complexity Galesi, Nicola Mahajan, Meena

Proof theory and logic Avigad, Jeremy Gore, Rajeev Kohlenbach, Ulrich Simpson, Alex

Quantitative modeling Hillston, Jane

Quantum computation and logic Perdrix, Simon Valiron, Benoît

Real time and hybrid systems Sankaranarayanan, Sriram Vaandrager, Frits W

Reasoning about actions and planning Lifschitz, Vladimir

Reasoning about programs Ahmed, Amal Benton, Nick Blazy, Sandrine

Semantics of programming languages Ahmed, Amal Benton, Nick Ghica, Dan Goubault-Larrecq, Jean Kobayashi, Naoki Møgelberg, Rasmus Ejlers Silva, Alexandra Simpson, Alex Valiron, Benoît Wand, Mitchell

Term rewriting and equational logic Baader, Franz

Type theory and constructive mathematics Dal Lago, Ugo Escardó, Martín Møgelberg, Rasmus Ejlers Setzer, Anton