German Vidal

Registered user since Wed 16 May 2018

Name:German Vidal
Affiliation:Universitat Politecnica de Valencia
Research interests:programming languages, functional programming, logic programming, term rewriting, concurrency, program verification, debugging, program transformation, reversible computation, artificial intelligence, probabilistic logic programming, explainability


FLOPS 2022
Author of Explanations as Programs in Probabilistic Logic Programming within the FLOPS 2022-track
PADL 2021 Author of Causal-Consistent Reversible Debugging: Improving CauDEr within the PADL 2021-track
ICFP 2019 Committee Member in Program Committee within the Research Papers-track