conf.researchr.org / 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 |