FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VEMDP CAMERA-READY ABSTRACTS: AUTHOR INDEX
A
Abate, Alessandro
Amarioarei, Alexandru
Andersen, Jakob Lykke
Anderson, David
B
Badelt, Stefan
Barad, Gefry
Breik, Keenan
Brim, Luboš
C
Cardelli, Luca
Chanseau Saint-Germain, Ken
Csikász-Nagy, Attila
Czeizler, Eugen
D
Diez, Stefan
Dobre, Ana Maria
Dunn, Sara-Jane
E
Erban, Radek
F
Feret, Jérôme
Flamm, Christoph
H
Hajnal, Matej
Heule, Marijn
I
Itcus, Corina
J
Johnson, Robert F.
K
Korten, Till
Kugler, Hillel
Kwiatkowska, Marta
L
Lakin, Matthew
Laurenti, Luca
M
Merkle, Daniel
Molyneux, Gareth
N
Nicolau Jr., Dan
P
Paun, Andrei
Paun, Mihaela
Phillips, Andrew
Plesa, Tomislav
S
Soloveichik, David
Spaccasassi, Carlo
Spencer, Frankie
Stadler, Peter F.
T
Thachuk, Chris
Trandafir, Romica
Troják, Matej
Turberfield, Andrew J.
Tusa, Iris
W
Wijesuriya, Viraj Brian
Winfree, Erik
Z
Zygalakis, Konstantinos
Č
Červený, Jan
Š
Šafránek, David
Šalagovič, Jakub