Home
Calls
Main Track
Special Track: KR in the Wild
Special Track: Reasoning, Learning, and Decision Making
Recently Published Research Track
Tutorial and Workshop Proposals
Doctoral Consortium Applications
Video Track
Nominations: KR Early Career Award
Nominations: KR Test of Time Award
Nominations: KR Distinguished Service Award
Important Dates
Submission Information
Submission Guidelines
Selection Process
Program
Keynote Speakers
Local Information
Organization
General
Area Chairs
Program Committee: Main Track
Program Committee: KR in the Wild Track
Program Committee: Reasoning, Learning, and Decision Making Track
Program Committee: Video Track
Sponsoring
Program Committee: Main Track
Erman Acar
, University of Amsterdam
Shqiponja Ahmetaj
, TU Wien
Yamine Ait Ameur
, IRIT-CNRS-Toulouse INP
Gianvincenzo Alfano
, University of Calabria
José J. Alferes
, Universidade Nova de Lisboa
Mario Alviano
, University of Calabria
Benjamin Aminof
, TU Wien
Alessandro Antonucci
, IDSIA
Daan Apeldoorn
, University Medical Center Mainz
Theofanis Aravanis
, University of the Peloponnese
Carlos Areces
, Universidad Nacional de Córdoba
Dörthe Arndt
, TU Dresden
Alessandro Artale
, Free University of Bozen-Bolzano
Hamed Ayoobi
, Imperial College London
Mutsunori Banbara
, Nagoya University
Ringo Baumann
, Leipzig University
Peter Baumgartner
, Data61, CSIRO & Australian National University
Bartosz Bednarczyk
, TU Dresden & University of Wrocław
Francesco Belardinelli
, Imperial College London
Leopoldo Bertossi
, SKEMA Business School
Stefano Bistarelli
, University of Perugia
Fernando Bobillo
, University of Zaragoza
Alexander Bochman
, Holon Institute of Technology
Thomas Bolander
, Technical University of Denmark
Piero A. Bonatti
, Università di Napoli Federico II
Blai Bonet
, Universidad Simón Bolívar
Stefan Borgwardt
, Technische Universität Dresden
Pierre Bourhis
, CNRS
Loris Bozzato
, Fondazione Bruno Kessler
Maxime Buron
, UCA
Marco Calautti
, University of Milan
David Carral
, Inria
Giovanni Casini
, ISTI-CNR and CAIR
Federico Cerutti
, University of Brescia
Lukas Chrpa
, Czech Technical University in Prague
Agata Ciabattoni
, TU Wien
Gianluca Cima
, Sapienza University of Rome
Jens Claßen
, Roskilde University
Oana Cocarascu
, King's College London
Marco Console
, University of Edinburgh
Carl Corea
, University of Koblenz-Landau
Augusto B. Corrêa
, University of Basel
Fabio . Cozman
, Universidade de Sao Paulo
Fabio Aurelio D'Asaro
, University of Verona
Carlos Damásio
, Universidade Nova de Lisboaa
Alessandro Daniele
, Fondazione Bruno Kessler
Mehdi Dastani
, Utrecht University
Alexis de Colnet
, TU Wien
Ronald de Haan
, University of Amsterdam
Warren Del-Pinto
, University of Manchester
Antonio Di Stasio
, University of Oxford
Federica Di Stefano
, TU Wien
Martin Dieguez
, University of Angers
Clare Dixon
, University of Manchester
Dragan Doder
, Utrecht University
Wolfgang Faber
, Alpen-Adria-Universität Klagenfurt
Jorge Fandinno
, University of Nebraska Omaha
Eduardo Fermé
, University of Madeira
Christian Fermüller
, Vienna University of Technology
Oliver Fernandez Gil
, TU Dresden
Flavio Ferrarotti
, SCCH
Johannes K. Fichte
, Linköping University
Tommaso Flaminio
, IIIA - CSIC
Giorgos Flouris
, ICS FORTH
Gerhard Friedrich
, Universität Klagenfurt
Maurice Funk
, Leipzig University
Marco Garapa
, University of Madeira
Marcel Gehrke
, University of Luebeck
Tobias Geibinger
, TU Wien
Manolis Gergatsoulis
, Ionian University
Alessandro Gianola
, INESC-ID/Instituto Superior Técnico, Universidade de Lisboa
Nina Gierasimczuk
, Technical University of Denmark
Laura Giordano
, Università degli Studi del Piemonte Orientale
François Goasdoué
, U. Rennes
Lluis Godo Lacasa
, IIIA - CSIC
Lucia Gomez
, Inria
Ricardo Gonçalves
, Universidade Nova de Lisboa
Sergio Greco
, UNICAL
Jasmin Grosinger
, Örebro University
Paolo Guagliardo
, University of Edinburgh
Victor Gutierrez Basulto
, Cardiff University
Jonas Philipp Haldimann
, FernUniversität in Hagen
Zhang Haodi
, Shenzhen University
Markus Hecher
, MIT
Jesse Heyninck
, Technische Universität Dortmund
Till Hofmann
, RWTH Aachen University
Martin Homola
Aaron M. Hunter
, British Columbia Institute of Technology
Giovambattista Ianni
, Università della Calabria
Daniela Inclezan
, Miami University
Jianmin Ji
, University of Science and Technology of China
Magdalena Kacprzak
, Bialystok University of Technology
Shakil M. Khan
, University of Regina
Toryn Q. Klassen
, University of Toronto and Vector Institute
Matthias Knorr
, Universidade Nova de Lisboa
Boris Konev
, University of Liverpool
Roman Kontchakov
, Birkbeck, University of London
Juha Kontinen
, University of Helsinki
Patrick Koopmann
, Vrije Universiteit Amsterdam
Egor V. Kostylev
, University of Oslo
Alisa Kovtunova
, TU Dresden
Francesco Kriegel
, Technische Universität Dresden
Markus Krötzsch
, TU Dresden
Isabelle Kuhlmann
, University of Hagen
Oliver Kutz
, Free University of Bozen-Bolzano
Jürgen Landes
, University of Milan
Davide Lanti
, Free University of Bozen-Bolzano
Francesco Leofante
, Imperial College London
Vladimir Lifschitz
, University of Texas
Fangzhen Lin
, Hong Kong University of Science and Technology
Sebastian Link
, University of Auckland
Francesca Alessandra Lisi
, University of Bari "A. Moro"
Jorge Lobo
, ICREA - Universitat Pompeo Fabra
Anela Lolic
, TU Wien
Emiliano Lorini
, IRIT
Timothy S. Lyon
, TU Dresden
Sagar Malhotra
, TU Wien
Quentin Manière
, Leipzig University
Marco Manna
, University of Calabria
Marco Maratea
, University of Calabria
Lucas Martinelli Tabajara
, Runtime Verification
Nicolas Maudet
, Sorbonne Université
Andrea Mazzullo
, Free University of Bozen-Bolzano
Kevin McAreavey
, University of Bristol
John Meyer
, Utrecht University
Loizos Michael
, Open University of Cyprus
Munyque Mittelmann
, University of Naples Federico II
Ralf Möller
, University of Lübeck
Angelo Montanari
, University of Udine
Leora Morgenstern
, Systems & Technology Research
Filip Murlak
, University of Warsaw
Nysret Musliu
, TU Wien
Matthias Nickles
, University of Galway
Juan C. Nieves
, Umeå University
Andreas Niskanen
, University of Helsinki
Johannes Oetsch
, Jonkoping University
Cem Okulmus
, Umeå University
Nicola Olivetti
, Aix-Marseille University, LIS
Andrea Orlandini
, National Research Council of Italy
Piotr Ostropolski-Nalewaja
, University of Wrocław
Wassila Ouerdane
, MICS, CentraleSupélec
Ana Ozaki
, University of Oslo
Aline Paes
, Universidade Federal Fluminense
Nina Pardal
, University of Sheffield
Xavier Parent
, University of Luxembourg
Francesco Parisi
, University of Calabria
Timothy J. Parker
, IRIT
Fabio Patrizi
, Sapienza University of Rome
Guilherme Paulino-Passos
, Imperial College London
David Pearce
, UPM
Wojciech Penczek
, Institute of Computer Science, PAS
Elise Perrotin
, AIST
Laurent Perrussel
, University of Toulouse 1
Liat Peterfreund
, Hebrew University of Jerusalem
Ron Petrick
, Heriot-Watt University
Andreas Pieris
, University of Edinburgh & University of Cyprus
Ramón Pino Pérez
, CRIL-Université d'Artois
Sylwia Polberg
, Cardiff University
Axel Polleres
, WU Wien
Sandro Preto
, University of São Paulo
Badran Raddaoui
, SAMOVAR CNRS UMR 5157
Antonio Rago
, Imperial College London
Anna Rapberger
, Imperial College London
Maurício Reis
, Universidade da Madeira
Francesco Ricca
, University of Calabria
Tjitze Rienstra
, Maastricht University
Ricardo O. Rodriguez
, Universidad de Buenos Aires
Alessandro Ronca
, University of Oxford
Panos Rondogiannis
, National and Kapodistrian University of Athens
Sasha Rubin
, The University of Sydney
Chiaki Sakama
, Wakayama University
Attila Sali
, Alfréd Rényi Institute of Mathematics
Zeynep G. Saribatur
, TU Wien
Ken Satoh
, National Institute of Informatics
Kai Sauerwald
, FernUniversität in Hagen
Domenico Fabio Savo
, Università degli Studi di Bergamo
Federico M. Scafoglieri
, La Sapienza
Konstantin Schekotihin
, Alpen-Adria-Universität Klagenfurt
Steven Schockaert
Francois Schwarzentruber
, ENS Rennes
Dietmar A. Seipel
, University of Würzburg
Baris Sertkaya
, Frankfurt University of Applied Sciences
Paulo A. Shakarian
, ASU
Gerardo I. Simari
, Universidad Nacional del Sur in Bahia Blanca & CONICET
Michael Sioutis
, LIRMM, Université de Montpellier & CNRS
Kenneth Skiba
, University of Hagen
Friedrich Slivovsky
, TU Wien
Marlo Souza
, Federal University of Bahia
Mohan Sridharan
, University of Edinburgh, UK
Roni Stern
, BGU
Frieder . Stolzenburg
, Harz University
Umberto Straccia
, National Research Council, Italy
Hannes Strass
, TU Dresden
Karim Tabia
, Université d'Artois
Balder ten Cate
, University of Amsterdam
David Tena Cucala
, University of Oxford
Andrea G. B. Tettamanzi
, Université Côte d'Azur
Michael Thomazo
, Inria; DI ENS; ENS; CNRS; University PSL
David Toman
, University of Waterloo
Irina Trubitsyna
, University of Calabria
Sara Ugolini
, IIIA, CSIC
Markus Ulbricht
, University of Leipzig
Alessandro Umbrico
, National Research Council of Italy
Mauro Vallati
, University of Huddersfield
Kees van Berkel
, TU Wien
Leon van der Torre
, University of Luxembourg
Ivan Varzinczak
, Université Paris 8
Joost Vennekens
, KU Leuven
Srdjan Vesic
, CNRS
Amanda Vidal
, Czech Academy of Sciences
Jonni Virtema
, University of Sheffield
Domagoj Vrgoc
, Pontificia Universidad Catolica de Chile
Przemysław A. Wałęga
, University of Oxford
Kewen Wang
, Griffith University
Yuheng Wang
, Google
Christoph Wernhard
, University of Potsdam
Emil Weydert
, University of Luxembourg
Marco Wilhelm
, TU Dortmund
Xiang Yin
, Imperial College London
Marina Zanella
, University of Brescia
Jessica Zangari
, University of Calabria
Xiangfu Zhao
, Yantai University
Shufang Zhu
, University of Oxford
Yoni Zohar
, Bar Ilan University