Germán Vidal

Research Activities

PC chair

• PADL 2025, Denver, Colorado (USA), January, 2025 (PC co-chair with Esra Erdem)
• ICLP 2019, Las Cruces, NM (USA), September 21-25, 2019 (PC co-chair with Esra Erdem)
• HCVS 2018, Oxford, UK, July 13, 2018 (PC co-chair with Temesghen Kahsai) - EPTCS Proceedings of HCVS18
  
• PPDP 2016, 5-7 September, 2016 (Edinburgh, UK).
• LOPSTR 2011, 18-20 July, 2011 (Odense, Denmark).
• FLOPS 2010, Sendai, Japan, April 19-21, 2010 (PC co-chair with Matthias Blume)
• CICLOPS-WLPE 2010, Edinburgh, Scotland, U.K., July 15, 2010 (PC co-chair with Neng-Fa Zhou)
• PEPM 2009, January 19-20, Savannah (Georgia, USA), 2009 (PC co-chair with Germán Puebla)
• SAS 2008, Valencia (Spain), July 16-18, 2008 (PC co-chair, with María Alpuente)
• WFLP 2003, Valencia (Spain), June 12-13, 2003.

Editorial Boards

• Area editor (Design, Analysis and Implementation of Languages) of TPLP, since 2024.
• Guest editor of the TPLP special issue on computational logic for verification
• Guest editor of the Science of Computer Programming special issue on PPDP 2016 (Vol. 155)
• Area editor (Analysis and verification) of the ALP Newsletter, 2016 - 2018.
• Member of the editorial board of Heliyon (Elsevier), 2015 - 2019.
• Member of the editorial board of The Scientific World Journal, 2013 - 2014.
• Guest editor of Theoretical Computer Science,vol. 435. Special issue on FLOPS 2010 (with Matthias Blume).
• Guest editor of Higher-Order and Symbolic Computation, vol. 24(1-2), June 2011. Special issue on PEPM 2009 (with Julia Lawall and Germán Puebla).

Program Committees

• PPDP 2025, September 10 - 11, 2025 (Rende, Italy).
  Deadlines: May 18 (abstract) / May 30 (paper), 2025.
• FORTE 2025, June 16 - 20, 2025 (Lille, France).
  Deadlines (for papers): Jan 31 (abstract) / Feb 7 (paper), 2025. Deadline (for artefacts): Feb 14, 2025.
• RC 2025, July 3 - 4, 2025 (Odense, Denmark). Deadline: Feb 7 (abstract) / Feb 13 (paper), 2025.
  
• DEBT 2024, Sep 19th, 2024 (Vienna, Austria).
• ICLP 2024, October 11-17, 2024 (Dallas, Texas).
• LOPSTR 2024, September 9 - 11, 2024 (Milan, Italy).
• LOPSTR 2023, October 23 - 24, 2023 (Cascais, Lisbon, Portugal).
• WLP 2023, Sep 26th, 2023 (Berlin, Germany).
• WPTE 2023, July 1st, 2023 (Rome, Italy).
• ICLP 2023, July 9 - 15, 2023 (Imperial College, London, UK).
• PPDP 2022, 20-22 September, 2022 (Tbilisi, Georgia).
• PROLE 2022, 5-7 September, 2022 (Santiago de Compostela, Spain).
• ICLP 2022, July 31 - August 8, 2022 (Haifa, Israel).
• VPT 2022, 2 April 2022 (München, Germany).
• ICLP 2021, 20-27 September, 2021 (Porto, Portugal).
• VPT 2021, 27-28 March, 2021 (Luxembourg, Luxembourg).
  
• ICLP 2020, 18-24 September, 2020 (Rende, Italy).
  
• LOPSTR 2020, 7-9 September, 2020 (Bologna, Italy).
  
• VPT 2020, 25-26 April, 2020 (Dublin, Ireland).
  
• RC 2020, 9-10 July, 2020 (Oslo, Norway).
  
• ICFP 2019, 18-23 August 2019 (Berlin, Germany).
  
• RC 2019, 24-25, June 2019 (Lausanne, Switzerland).
  
• SMC 2018, 7-10 October 2018 (Miyazaki, Japan).
  
• RC 2018, 13-14 September 2018 (Leicester, UK).
  
• LOPSTR 2018, 4-6 September 2018 (Frankfurt am Main, Germany).
  
• ICLP 2018, 14-17 July 2018 (Oxford, UK).
  
• WFLP'17, September 19-22, 2017 (Würzburg, Germany).
  
• DECPS'17, October 19, 2017 (Seoul, South Korea).
  
• ICLP 2017, August 29 to September 1, 2017 (Melbourne, Australia).
  
• PROLE'17, Santa Cruz de Tenerife (Spain), July 19-21, 2017.
• VPT 2016, April 2nd, 2016 (Eindhoven, The Netherlands).
• Past research activities...

Invited Talks

• LOPSTR 2019, Porto (Portugal), October 8-10, 2019. Slides

Steering Committees

• LOPSTR (Logic-based Program Synthesis and Transformation), 2010 - 2017 & since 2021.
• RC (Reversible Computation), since 2023.
• PPDP (Principles and Practice of Declarative Programming), 2016 - 2021.
• FLOPS (International Symposium on Functional and Logic Programming), 2008 - 2020.
• ACM SIGPLAN PEPM (Partial Evaluation and Semantics-Based Program Manipulation), 2005 - 2011.

Other activities

• Member of the ALP executive committee (July 2018 - July 2022)
• Autumn School on Computational Logic (affiliated to the 32nd International Conference on Logic Programming), with John Gallagher