Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D F G H K L M O P R S T W

A
Aryal, Deepak	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
B
Bayer, Jonas	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Betzendahl, Jonas	Proof Recovery for the IMPS system
C
Ciurezu, Bogdan	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
D
David, Marco	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Deng, Yiping	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Devkota, Prabaht	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Dubischar, Simon	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
F
Fleury, Mathias	IsaSAT, a verified SAT Solver using Isabelle/HOL
Fontaine, Pascal	Quantifier handling in SMT
Freitas, Fred	A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
Fuenmayor, David	Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
G
Grätz, Lukas	Leibniz on Reasoning about Impossible Concepts
H
Haslbeck, Maximilian P. L.	Competitive Proving for Fun
Hassler, Malte Sophian	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
K
Kohlhase, Michael	Mathematical Interface Theories for System Integration
Kop, Cynthia	Wanda: a higher-order termination tool
L
Lippe, Phillip	Deep Reasoning - Hardware Accelerated Artificial Intelligence
Liu, Yufei	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
M
Müller, Dennis	Mathematical Interface Theories for System Integration
O
Oprea, Maria Antonia	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
P
Pal, Abhik	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Peuter, Dennis	On Inductive Verification and Synthesis
R
Rabe, Florian	Mathematical Interface Theories for System Integration
S
Schulz, Stephan	Deep Reasoning - Hardware Accelerated Artificial Intelligence Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
Siebert, Sophie	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Sofronie-Stokkermans, Viorica	On Inductive Verification and Synthesis
Stock, Benedikt	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Stolzenburg, Frieder	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
T
Träger, Marco	Automatic generation of Invariants for Concurrent Programs
W
Wimmer, Simon	Competitive Proving for Fun