The ELP Group

The research group on Extensions of Logic Programming (ELP) works on automated software engineering, advanced software technology, lightweight formal methods, semantics of programming languages -and its application to the analysis, specification, verification, debugging, testing, learning, certification, transformation and optimization of multi-paradigm programs-, term rewriting systems, logic programming, functional programming, computational logic, machine learning, and inductive logic programming.

• AISafety@IJCAI 2022, Vienna, Austria, July 24-25, 2022.
• Evaluation Beyond Metrics workshop (EbeM2022@IJCAI2022), Vienna, Austria, July 24, 2022.
• 32th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Tibilisi, Georgia, September 21-23, 2022.
• 11th Int'l Workshop on Approaches and Applications of Inductive Programming (AAIP@ IJCLR2022, International Joint Conference on Learning & Reasoning), Cumberland Lodge, Windsor Great Park, UK, September 28- 30, 2022.
• SafeAI@AAAI2022, Feb 28 - Mar 1, 2022 | Virtual.
• ECML/PKDD Workshop on Automating Data Science (ADS2021), September 17, 2021 | Virtual.
• 10th Int'l Workshop on Approaches and Applications of Inductive Programming (IP20-21@ IJCLR2021, International Joint Conference on Learning & Reasoning), October 26, 2021.
• AISafety@IJCAI 2021, Aug 21-22, 2021 | Virtual.
• SafeAI@AAAI2021, Feb 8, 2021 | Virtual.
• International Conference on Smart technologies, Systems and Applications (SmartTech-IC 2021), Quito, Ecuador, December 1-3, 2021.
• 13th International Workshop on Rewriting Logic and its Applications (WRLA 2020), April, 2020.
• AISafety@IJCAI 2020, Jan 7-8, 2021 | Virtual.
• 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, September 20-25, 2019.
• Evaluating General-Purpose AI (EGPAI 2019) @ IJCAI 2019, Macao, China, August 10-16, 2019.
• 2nd Workshop on Architectures and Evaluation for Generality, Autonomy & Progress in AI (AEGAP2019) @ IJCAI 2019 & ICML 2018, Macao, China, August 10-16, 2019..
• AAAI's Workshop on Artificial Intelligence Safety @ AAAI 2019, Honolulu, Hawaii, January, 2019.
• AI Safety Workshop @ IJCAI 2019, Macao, China, August 11-12, 2019.
• The Animal-AI Olympics, 2019.
• XIX Spanish Congress on Programming and Computer Languages (PROLE 2019), Cáceres, Spain, September 2-4, 2019.

Previous Conferences and Workshops organized by ELP

• 1st Workshop on Architectures and Evaluation for Generality, Autonomy & Progress in AI (AEGAP2018) @ IJCAI-ECAI 2018, AAMAS 2018 & ICML 2018, Stockholm, Sweden, July 15, 2018.
• Evaluating General-Purpose AI (EGPAI 2017) @ IJCAI 2017, Melbourne, Australia, August 20, 2017.
• Kinds of Intelligence: types, tests and meeting the needs of society @ NIPS 2017, Long Beach, Ca., December 7, 2017.
• Evaluating General-Purpose AI (EGPAI 2016) @ IJCAI 2016, The Hague, The Netherlands, August 30, 2016.
• First Int’l Workshop on Data Wrangling Automation (DWA 2016) @ ICDM 2016, Barcelona, Spain, December 12, 2016.
• XVI Spanish Congress on Programming and Computer Languages (PROLE 2016), Salamanca, Spain, September 14-16, 2016.
• 29th International Workshop on Unification (UNIF 2015), Warsaw, Poland, June 28, 2015.
• Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015), Warsaw, Poland, July 2nd, 2015.
• 1st International Workshop on Learning over Multiple Contexts @ ECML 2014 (LMCE 2014)
• 10th International Workshop on Rewriting Logic and its Applications (WRLA 2014)
• 6th International School on Rewriting (ISR 2012)
• 26th International Workshop on Unification (UNIF 2012)
• 10th Int'l Workshop on Reduction Strategis in Rewriting and Programming (WRS 2011)
• 5th Int'l Workshop on Security and Rewriting Techniques (SecReT 2010)
• 20th Int'l Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010)
• 14th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009)
• 19th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009)
• 15th Int'l Static Analysis Symposium (SAS 2008)
• 2nd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'06)
• 2nd Annual Conference of the ICT for EU-India Cross Cultural Dissemination
• 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)
• 1st Workshop on ROC Analysis in AI (ROCAI 2004)
• 2nd European Starting AI Researcher Symp. (STAIRS 2004)
• Federated Conference on Rewriting, Deduction and Programming (RDP 2003)
• 2nd Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)
• 1st Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)
• 9th Int'l Workshop on Functional and Logic Programming (WFLP 2000)
• 1994 Joint Conference on Declarative Programming (GULP-PRODE 1994)

Permanent Link of PROLE