Positions:

Editoral Board of Journals:

  • IEEE TSE Transactions on Software Engineering: since 2026
  • Theory and Practice of Logic Programming: since 2018

    • Invited Talks at Conferences and Workshops:

    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:

      2027:
    • International Conference on Foundations and Formal Methods for Software and Systems (iFS 2027)
      • 2025:
    • 31st Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025)
    • International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 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:

        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 (2023)
        • Alejandro Hernández-Cerezo.Superoptimization of Stack-Based Bytecode (2024)

        PI on Projects:

Quick Links

Recent News

  • Member of the Editorial Board of IEEE TSE Transactions on Software Engineering IEE TSE, submit your best paper!
  • PC Co-Chair of Fundamental Approaches to Software Engineering (FASE '26), Torino, Italy, April 2026
  • Special Issue for FASE 2026 Formal Methods in System Design journal , Spring 2027
  • Area editor for Specification, Analysis and Verification of Systems of (TPLP) Theory and Practice of Logic Programming, since December 2019