Conference (co-)chair:

• 29th International Conference on Fundamental Approaches to Software Engineering (FASE'26), Torino (Italy), April 2026
• 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23), Alicante, Spain , May 2020
• 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016), Greece, June 2016
• 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)
• 11th International Conference on integrated Formal Methods (iFM 2014)
• ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013)
• 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)
• 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), York, UK ,28th March 2009
• 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2008), July, Valencia (Spain)

Steering Committees:

• IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), since 2015
• International Conference on integrated Formal Methods (iFM), 2015-2017
• ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), 2012-2016
• International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), since 2011
• International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), 2009-2013, 2015-2020

Program Committees:

2025:
• 31st Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025)
2024:
• 32th European Symposium on Programming (CAV 2024)
• 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)
• 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)
• 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024)
2023:
• 36th International Conference on Computer Aided Verification (ESOP 2023)
• International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-24)
• 35th International Conference on Computer Aided Verification (CAV 2023)
• 43nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)
2022:
• 16th International Symposium on Functional and Logic Programming (FLOPS 2022)
• 34th International Conference on Computer Aided Verification (CAV 2022)
• 9th Workshop on Horn Clauses for Verification and Synthesis (HCVS-2022)
2021:
• IEEE International Conference on Software Testing, Verification and Validation , (ICST 2021)
• 33rd International Conference on Computer-Aided Verification, (CAV 2021)
• Doctoral Symposium of the 24th International Symposium on Formal Methods, (DS-FM2021)
2020:
• 29th European Symposium on Programming , (ESOP 2020)
• IEEE International Conference on Software Testing, Verification and Validation , (ICST 2020)
• 15th International Symposium on Functional and Logic Programming , (FLOPS 2020)
• The 31st International Conference on Concurrency Theory , (CONCUR 2020)
• International Symposium on Logic-Based Program Synthesis and Transformation, (LOPSTR 2020)
2019:
• The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation , (PEPM 2019)
• 23rd International Symposium on Formal Methods, (FM 2019)
2018:
• The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018), 3-6 September 2018, Frankfurt, Germany.
• 14th International Conference on integrated Formal Methods (iFM 2018), 5-7 September 2018, Maynooth, Ireland.
• 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), June 27-29 2018, Toulouse, France.
2017:
• Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
• 21st International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-21)
• 37th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2017)
• PEPM 2017 Workshop on Partial Evaluation and Program Manipulation (PEPM 2017), Paris, France
• 24th Static Analysis Symposium (SAS 2017), New York, USA
• 13th International Conference on integrated Formal Methods (iFM 2017), Torino, Italy
2016:
• 12th International Conference on integrated Formal Methods (iFM 2016), Reykjavik, Iceland
• 25th European Symposium on Programming (ESOP 2016), Eindhoven, The Netherlands
• 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016), Shanghai, China
• First International workshop on Resource Aware Computing (RAC2016) (RAC 2016), EIndhoven, N.L.
2015:
• 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina
• 22nd International Static Analysis Symposium (SAS 2015), Saint-Malo, France
• 31st International Conference on Logic Programming (ICLP 2015), Cork, Irland
• ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015), Mumbai, India
• Verified Software: Theories, Tools, and Experiments (VSTTE 2015), San Francisco, USA
• Horn Clauses for Verification and Synthesis ( HCVS 2015), San Francisco, USA
• FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS ( FOPARA 2015), London, UK
2014:
• 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), Canterbury, UK
• 6TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE (SCC 2014), La Marsa, Tunisia
• 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), Leucorea Lutherstadt Wittenberg, Germany
• 30th International Conference on Logic Programming (ICLP 2014), Vienna, Austria
• Workshop on Horn Clauses for Verification and Synthesis (HCVS 2014), Vienna, Austria
• 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014), Vienna, Austria
• Workshop on Termination (WST 2014), Vienna, Austria
• Series of Meetings on Logical and Semantic Frameworks with Applications (LSFA 2014), Vienna, Austria
2013:
• 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013)
• 29th International Conference on Logic Programming (ICLP 2013), Istanbul, Turkey
• 20th Static Analysis Symposium (SAS 2013), Seattle, USA
• 10th International Conference on Integrating Formal Methods (iFM 2013), Turku, Finland
• Fifteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2013), Rome
• 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013), Kiel
• 8th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2013), Sao Paulo, Brazil
• The 2013 International Symposium on Memory Management (ISMM 2013), Seattle (member of review committee)
2012:
• SAS'12: International Static Analysis Symposium (SAS 2012), France
• The Turing Centenary Conference (Turing-100), June 22-25, Manchester, UK
• ICLP'12: International Conference on Logic Programming (ICLP 2012), Budapest, Hungary
• LPAR-18: Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Merida, Venezuela
• 10th International conference on the principles and practice of programming in java (PPPJ'12), South Africa
• 7th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2012), Tallin, Estonia
2011:
• 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011)
• 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
• International Symposium on Memory Management (ISMM 2011) Member of the Review Committee
• Eleventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2011), Venice, Italy
• The Third International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2011), Venice, Italy
• 6th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2011), Saarbrücken, Germany
2010:
• International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2010), July, Hagenberg, Austria
• Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, (SCAM 2010), September, Timisoara, Romania
• 8th International Conference on the Principles and Practice of Programming in Java, (PPPJ 2010), September, Vienna (Austria)
• 17th International Static Analysis Symposium, (SAS 2010), September, Perpignan (France)

2009:
• Formal Techniques for Java-like Programs (FTfJP 2009), July, Genova (Italy)
• The 2009 International Symposium on Memory Management ( ISMM 2009) Member of the Review Committee
• IX Jornadas sobre Programacion y Lenguajes ( PROLE 2009)

2008:
• 7th International Workshop on the Implementation of Logics (IWIL 2008), November, 2008, Doha (Qatar)
• The 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008), July, Paphos (Cyprus)
• The 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2008), July, Valencia (Spain)
• The 15th International Static Analysis Symposium ( SAS 2008)
• The 8th International Workshop on Reduction Strategies in Rewriting and Programming ( WRS 2008)
• VIII Jornadas sobre Programación y Lenguajes ( PROLE 2008)
• ACM SAC track on Software Verification (SV'08)

2007:
• The 17th International Symposium on Logic-Based Program Synthesis and Transformation(LOPSTR 2007)
• Spanish Conference on Programming and Computer Languages (PROLE 2007)

2006:
• Spanish Conference on Programming and Computer Languages (PROLE 2006)

2005:
• International Conference on Logic for Programming, Artificial Intelligence and Reasoning(LPAR 2005)
• International Workshop on Software Techniques for Embedded and Pervasive Systems (STEPS'05) held in conjunction with Pervasive 2005

2004:
• 5th International Workshop on the Implementation of Logics (WIL'04) held in conjunction with the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR'2004
• The 2nd Workshop on Constraint and Logic Programming in Security (COLOPS'04)
• 3rd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'04)
• Workshop on SOftware ANalysis and Development for PervAsive Systems (SONDA'04)

2003:
• 4th International Workshop on the Implementation of Logics (WIL 2003)
• International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2003)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003)

2002:
• 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002)
• International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2002), co-located with the Static Analysis Symposium (SAS 2002)

---

Conference Organizing Committees:

• 10th International Workshop on Functional Logic Programming, WFLP'03
• 10th International Workshop on Functional Logic Programming, WFLP'00

---

PhD Students:

• Miky Gomez-Zamalloa. Analysis and Transformation of Java Bytecode (October 2009)
• Guillermo Roman Diez. Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity (December 2012) Co-advisor: Germán Puebla
• Jose Miguel Rojas Siles. Test Case Generation in Object-Oriented Programming (December 2013) Co-advisor: Miguel Gomez-Zamalloa
• Miguel Isabel. Verification of Concurrent Systems : optimality, Scalability and Applicability (October 2020) Co-advisor: Miguel Gomez-Zamalloa
• Pablo Gordillo. Static analysis of concurrrent and distributed systems: concurrent objects and Ethereum Bytecode(February 2020) Co-advisor: Samir Genaim
• Alicia Merayo. Resource Analysis of Integer and Abstract Programs (May 2022)
• Clara Rodriguez. Verification of Blockchain Technologies: Safety and Security (to be defended June 2023)
• Alejandro Hernández-Cerezo. Ongoing

---

PI on Projects:

• FORTE-CM (Jan 1, 2019 - Dec 31, 2022) [CM Project]
  • Elvira Albert (Complutense University of Madrid)
  • Manuel Núñez (Complutense University of Madrid)
• SFERA (Sept 1, 2022 - Aug 31, 2025) [Spanish Ministry of Science and Innovation PDI2021]
  • Elvira Albert and Albert Rubio (Complutense University of Madrid)
  • Santiago Escobar (Universidad Politécnica de Valencia)
  • Albert Oliveras and Javier Larrosa(Universitat Politècnica de Catalunya)
  • Guillermo Román Díez (Universitat Politécnica de Madrid)
• FreeTech (Jan 1, 2019 - Sep 30, 2022) [Spanish Ministry of Science and Innovation RTI2018]
  • Elvira Albert (Complutense University of Madrid)
  • Santiago Escobar (Universidad Politécnica de Valencia)
  • Albert Rubio (Universitat Politècnica de Catalunya)
• LoBaSS (Jan 1, 2016 - Junio 30, 2020) [Spanish Ministry of Science and Innovation TIN2015-69175-C4-2-R]
  • Elvira Albert (Complutense University of Madrid)
  • Santiago Escobar (Universidad Politécnica de Valencia)
  • Albert Rubio (Universitat Politècnica de Catalunya)
• SICOMORo-CM (Oct 1, 2014 - Oct 1, 2018) [CM Project]
  • Elvira Albert (Complutense University of Madrid)
  • Manuel Núñez (Complutense University of Madrid)
• ENVISAGE (Oct 1, 2013 - Oct 1, 2016) [EU Project FP7]
  • Elvira Albert (Complutense University of Madrid)
  • Einar Broch Johnsen (Coordinator, University of Oslo)
• SUPRA (Jan 1, 2012 - Dec 31, 2013) [Deutsch & Spanish Sc Research Councils, Acciones Integradas Hispano-Alemanas]
  • Elvira Albert (Complutense University of Madrid)
  • Andrey Rybalchenko (Technical Univesity of Munich)
• VIVAC (Jan 1, 2013 - Dec 31, 2015) [Spanish Ministry of Science and Innovation TIN2012-38137-C02]
  • Elvira Albert (Complutense University of Madrid)
  • German Puebla (Technical University of Madrid)
• HATS (March 1, 2009 - February 28, 2013) [EU IST FET Program. Integrated Project #231620] "Highly Adaptable and Trustworthy Software using Formal Methods"
  • German Puebla (Technical University of Madrid) and Elvira Albert (Deputy Director)
  • Reiner Hähnle (Technische Universität Darmstadt)

---

Lecturer at Summer Schools:

• 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models (SFM, Bertinoro, Italy): Test-Case Generation by Symbolic Execution, June 2014 (slides )
• HATS International School on Formal Models for Components and Objects (FMOC, Bertinoro, Italy): Automatic Inference of Bounds on Resource Consumption, September 2013

---

Contributed Talks, Seminars, Posters:

• Seminar at Ecole Normale Superieure (ENS): SACO: A Static Analyzer for Concurrent Objects Sept 2013 (slides )
• Seminar at Ecole Normale Superieure (ENS): COSTA: A COSt and Termination Analyzer for Java (bytecode) Programs Sept 2011 (slides )
• Seminar at Complutense University of Madrid(DSIC): Research in the COSTA group July 2011 (slides )
• Contributed talk at SAS'2010: From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis September 2010 (slides )
• Contributed talk at ISMM09: Live Heap Space Analysis for Languages with Garbage Collection, June 2009 (slides )
• Contributed talk at SCAM08: Modular Decompilation of Low-Level Code by Partial Evaluation, September 2008 (slides)
• Contributed talk at FTfJP08: Dealing with numeric fields in termination analysis of java-like languages, June 2008 (slides )
• Contributed talk at SAC08: Removing Useless Variables in Cost Analysis of Java Bytecode, March 2008 (slides )
• Poster at ICLP'05: A Generic Framework for the Analysis and Specialization of Logic Programs, October 2005 (slides)
• Contributed talk at LOPSTR'05: Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates, September 2005 (slides)
• Contributed talk at LPAR'04: Abstraction-Carrying Code, March 2005 (slides)
• Contributed talk at IWIL'04: A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer, March 2005 (slides)
• Seminar at Copenhagen Programming Language Seminar (COPLAS) : Abstraction-Carrying Code, November 2004 (slides)
• Seminar at RUC Datalogi Research Seminars: Abstraction-Carrying Code, October 2004 (slides)
• Contributed talk at SMC'04: Experiments in Abstract Interpretation-based Code Certification for Pervasive Systems October 2004 (abstract)
• Contributed talk at SONDA'04: Abstract Interpretation based Code Certification for Pervasive Systems: Preliminary Experiments, August 2004 (slides)
• Contributed talk at COCV'04: An Abstract Interpretation-based Approach to Mobile Code Safety , April 2004 (abstract)
• Contributed talk at Appia-Gulp-Prode'2002: AÂ Deterministic Operational Semantics for Functional Logic Programs, September 2002 (slides)
• Seminar at Institut für Informatik und Praktische Mathematik, University of Kiel: A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages, March 2002 (slides)
• Seminar at Parma Computer Science Group, University of Parma: Measuring the Effectiveness of Narrowing-Driven Partial Evaluation, March 2002 (slides)
• Contributed Talk at LOPSTR'01: Source-Level Abstract Profiling in Multi-Paradigm Declarative Languages, November 2001 (slides)
• Contributed Talk at FLOPS'2001: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language, March 2001 (slides)
• Invited Talk at Futamura Lab: Partial Evaluation of Multi-Paradigm Declarative Languages, March 2001 (slides)
• Contributed Talk at WFLP'00Â 9th International Workshop: A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation, September 2000
• Contributed Talk at LOPSTR'00 Int'l Conference:Â Measuring the Effectiveness of Partial Evaluation, July 2000
• Contributed Talk at LPAR'99 Int'l Conference: A Partial Evaluation Framework for Curry Programs, September 1999
• Contributed Talk at WFLP'99 Int'l Workshop:Â Partial Evaluation of Residuating Functional Logic Programs, June 1999
• Contributed Talk at Lehrstuhl für Informatik II of RWTH Aachen, Germany. Partial Evaluation of Functional Logic Programs, March 1999

---

Research visits:

• October 2022-December 2022: Optimization Research Group, Monash University, Australia (with Maria Garcia de la Banda )
• August 2017-January 2018: Programming Principles, Logic and Verification Group, University College London, UK (with Alexandra Silva )
• July 2009: Department of Computer Science, University of Verona, Italy (with Isabella Mastroeni )
• Aug-Nov 2004: Department of Computer Science, University of Roskilde, Denmark (with John Gallagher )
• Sept-Dec 2003: Department of Computer Science, University of New Mexico, US (with Deepak Kapur and Manuel Hermenegildo)
• May-June 2002: School of Computer Science and Software Engineering, Monash University, Australia (with Peter Stuckey and Maria Garcia de la Banda)
• March 2002: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Germany (with Michael Hanus)
• February 2002:SOCRATES Visit to Dipartamento di Informatica, University of Pisa, Italy (with Giorgio Levi)
• March 2001: Futamura Lab. at Department of Information & Computer Science of Waseda University, Tokyo (with Robert Glück)
• February-March 2000: Computer Science Department of PSU, Portland (with Sergio Antoy)
• September 1999: Lehrstuhl fur Informatik II of RWTH Aachen, Germany (with Michael Hanus)
• March - April 1999:Lehrstuhl fur Informatik II of RWTH Aachen, Germany (with Michael Hanus)
• February - April 1998: Dipartmento di Matematica e Informatica, Università degli Studi di Udine, Italia (with Moreno Falaschi)

---

Software:

• COSTA: A COSt and Termination Analyzer for Java Bytecode
• PUBS: A Practical Upper Bounds Solver
• An Interpretive Decompiler from Java Bytecode to Prolog
• ciaopp: The Ciao Preprocessor
• INDY v1.8: A Partial Evaluator for Functional Logic Programs
• Partial Evaluator for Curry
• Source-Level Symbolic Profiler
• A List-Processing Optimizer