Sven Linker

Registered user since Mon 30 Sep 2019

Name:Sven Linker
Country:Germany
Affiliation:Lancaster University, UK (Leipzig Campus)
Research interests:Spatial Logic, Proof Theory, Verification, Visual Reasoning

Contributions

VL/HCC 2021 Workshops Co-Chair in Organizing Committee
VMCAI 2020 Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track