Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C D F G H J K L M N O P S T V W Š

B
Baluch, Miroslav	First-Order Logic Workbook
C
Cifra, Milan	First-Order Logic Workbook
D
de Vries, Ben	LogInd, a tool for supporting students in mastering structural induction
F
Freiberger, Felix	Teaching Concurrency with pseuCo Book
From, Asta Halkjær	Formal Methods Online: Sequent Calculus Verifier (SeCaV)
G
Gombárová, Samantha	First-Order Logic Workbook
H
Heeren, Bastiaan	LogInd, a tool for supporting students in mastering structural induction
Herwig, Maurice	Towards Graphical Feedback in the DiMo Learning Tool
Homola, Martin	SIVA: Simulation and visualization of the DL tableau algorithm
Hundeshagen, Norbert	Towards Graphical Feedback in the DiMo Learning Tool
J
Jacobsen, Frederik Krogsdal	Formal Methods Online: Sequent Calculus Verifier (SeCaV)
Jeuring, Johan	LogInd, a tool for supporting students in mastering structural induction
Jurík, Norbert	First-Order Logic Workbook
K
Komlóssy, Matej	First-Order Logic Workbook
Kulíková, Nikola	First-Order Logic Workbook
Kľuka, Ján	First-Order Logic Workbook
L
Lange, Martin	Towards Graphical Feedback in the DiMo Learning Tool
Lodder, Josje	LogInd, a tool for supporting students in mastering structural induction
M
Meggendorfer, Tobias	DOMtutor -- Competitive Programming as Teaching Tool
Mok, Matej	First-Order Logic Workbook
N
Nyitraiová, Alexandra	First-Order Logic Workbook
O
Onódy, Zoltán	First-Order Logic Workbook
P
Paulovics, Peter	SIVA: Simulation and visualization of the DL tableau algorithm
Perháč, Ján	Visualization of structural operational semantics over programs of simple imperative language.
Pukancová, Júlia	SIVA: Simulation and visualization of the DL tableau algorithm
S
Sardar, Muhammad Usama	Experiences on Online Teaching of Formal Methods to Systems Engineering Students
Schmellenkamp, Marko	Teaching Formal Languages with Iltis - A Preview
Schwarzentruber, Francois	Tableaunoir: an online blackboard for teaching formal methods and making slides Prooffold: a prototype for displaying structured proofs
T
Tsimbolynets, Vitalii	Visualization of structural operational semantics over programs of simple imperative language.
Tóth, Richard	First-Order Logic Workbook
V
Vehlken, Fabian	Iltis: Teaching Logic in the Web
Villadsen, Jørgen	Formal Methods Online: Sequent Calculus Verifier (SeCaV)
W
Weininger, Maximilian	Automata Tutor
Š
Šiška, Jozef	First-Order Logic Workbook