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
D&I Grant Applications
Important Dates
Submission Information
Submission Guidelines
Selection Process
Registration
Program
Schedule
Keynote Speakers
Workshops and Tutorials
Accepted Submissions
Proceedings
Local Information
Weather
Venue
Visa Information
Accommodation
Transportation
Social Events
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
Program Committee: Recently Published Research 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
, University of Insubria
Maxime Buron
, UCA
Marco Calautti
, University of Milan
David Carral
, LIRMM, Inria, University of Montpellier, CNRS
Giovanni Casini
, National Research Council of Italy
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 G. Cozman
, Universidade de São 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
, TU Wien
Oliver Fernández 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
Luca Geatti
, University of Udine
Marcel Gehrke
, University of Hamburg
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
, Université Grenoble Alpes, Inria, CNRS
Ricardo Gonçalves
, Universidade Nova de Lisboa
Sergio Greco
, UNICAL
Jasmin Grosinger
, Örebro University
Paolo Guagliardo
, University of Edinburgh
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 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-Jules 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 & TU Dresden
Wassila Ouerdane
, MICS, CentraleSupélec
Ana Ozaki
, University of Oslo
Aline Paes
, Universidade Federal Fluminense
Nina Pardal
, University of Sheffield
Xavier Parent
, TU Wien
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-Riener
, Cardiff University
Axel Polleres
, WU Wien
Sandro Preto
, Federal University of ABC
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
, Center for Juris-Informatics
Kai Sauerwald
, FernUniversität in Hagen
Domenico Fabio Savo
, Università degli Studi di Bergamo
Federico M. Scafoglieri
, Sapienza University of Rome
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
, University of Liverpool
Marlo Souza
, Federal University of Bahia
Mohan Sridharan
, University of Edinburgh, UK
Roni Stern
, BGU
Frieder Stolzenburg
, Harz University of Applied Sciences
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
, IIIA - CSIC
Jonni Virtema
, University of Sheffield
Domagoj Vrgoč
, Pontificia Universidad Católica 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