HIGHLIGHTS 2018: HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA
TALK AUTHOR INDEX
A
Abboud, Amir
Amrane, Amazigh
Ashok, Pranav
B
Berkholz, Christoph
Berthon, Raphaël
Bojanczyk, Mikolaj
Brunet, Paul
Bulatov, Andrei
Busatto-Gaston, Damien
C
Cadilhac, Michaël
Cheval, Vincent
Clemente, Lorenzo
Colcombet, Thomas
Czerwiński, Wojciech
D
Daviaud, Laure
Descotte, Maria Emilia
Doyen, Laurent
E
Exibard, Léo
F
Fortin, Marie
Frochaux, André
G
Ganty, Pierre
Gaubert, Stéphane
Godin, Thibault
Goeminne, Aline
Gool, Samuel J. V.
Guha, Shibashis
Guillon, Bruno
H
Hausmann, Daniel
I
Iosti, Simon
J
Jamroga, Wojtek
Jecker, Ismaël
K
Kara, Ahmet
Katoen, Joost-Pieter
Kelmendi, Edon
Keppeler, Jens
Kersting, Kristian
Kiefer, Sandra
Kiefer, Stefan
Kovács, Laura
Kuperberg, Denis
Köcher, Chris
Křetínský, Jan
L
Lehtinen, Karoliina
Leroux, Jérôme
Lhote, Nathan
M
Martinov, Emanuel
Maubert, Bastien
Mazowiecki, Filip
Mazzocchi, Nicolas
Meggendorfer, Tobias
Meyer, Philipp J.
Michaliszyn, Jakub
Michielini, Vincent
Muskalla, Sebastian
N
Neider, Daniel
O
Ochremiak, Joanna
Ohlmann, Pierre
Olteanu, Dan
P
Parker, David
Parys, Paweł
Pirogov, Anton
Piórkowski, Radosław
Popova, Svetlana
Pouly, Amaury
Przybyłko, Marcin
Purser, David
Q
Quaas, Karin
R
Rabinovich, Roman
S
S, Krishna
Salamanca, Julian
Schweikardt, Nicole
Shallit, Jeffrey
Shirmohammadi, Mahsa
Skrzypczak, Michał
Srivathsan, B
T
Totzke, Patrick
Tzevelekos, Nikos
U
Urbat, Henning
V
Van Den Bogaard, Marie
van Dijk, Tom
Verbitsky, Oleg
Vortmeier, Nils
W
Weinert, Alexander
Wißmann, Thorsten
Worrell, James
Y
Yamakami, Tomoyuki
Z
Zetzsche, Georg
Zeume, Thomas
Zimmermann, Martin
Zuleger, Florian