• Sign in
  • Sign up
conf.researchr.org / German Vidal
  • APLAS & ATVA 2026 profile
  • APLAS 2024 profile
  • ECOOP 2025 profile
  • FLOPS 2022 profile
  • ICFP 2019 profile
  • ICFP 2026 profile
  • ISSTA/ECOOP 2024 profile
  • POPL 2021 profile
  • POPL 2025 profile
German Vidal

Registered user since Wed 16 May 2018

Name:German Vidal
Country:Spain
Affiliation:Universitat Politecnica de Valencia
Personal website: https://gvidal.webs.upv.es/
Research interests:programming languages, functional programming, logic programming, term rewriting, software verification, debugging, reversible computation, artificial intelligence, probabilistic rule-based formalisms, explainability

Contributions

2026

APLAS

  • Committee Member in Program Committee within the APLAS Research Papers-track

LOPSTR

  • Committee Member in Program Committee within the LOPSTR+PPDP 2026-track

2025

DEBT

  • Committee Member in Program Committee within the DEBT 2025-track

Symposium on Practical Aspects of Declarative Languages

  • Co-chair in Programme Chairs within the PADL 2025-track
  • Session Chair of Session 1 (part of PADL 2025)

2024

APLAS

  • Author of Explaining Explanations in Probabilistic Logic Programming within the Research Papers-track

DEBT

  • Committee Member in Program Committee within the DEBT 2024-track
  • Author of Reversible Debugging of Erlang Programs in CauDEr within the DEBT 2024-track

2022

FLOPS

  • Author of Explanations as Programs in Probabilistic Logic Programming within the FLOPS 2022-track

2021

Symposium on Practical Aspects of Declarative Languages

  • Author of Causal-Consistent Reversible Debugging: Improving CauDEr within the PADL 2021-track

2019

ICFP

  • Committee Member in Program Committee within the Research Papers-track
Share
xTue 9 Jun 14:45
using conf.researchr.org (v1.73.2)
Support page
Sign Up