The ELP Group

The research group on Extensions of Logic Programming (ELP) works on automated software engineering, advanced software technology, lighthweight 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.

6th International School on Rewriting, ISR 2012

• The 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)