Excellence Group PROMETEO2011/052

Includes the following people:

Beatriz Alarcón, Mauricio Alba, María Alpuente, Demis Ballis, Antonio Bella, Francisco Correa, Aristides Dasso, Santiago Escobar, Javier Espert, Marco A. Feliu, César Ferri, Fran Frechina, Ana Funes, Vicente Gisbert, Raúl Gutiérrez, José Hernández, Carlos Herrero, David Insa, Javier Insa, Christophe Joubert, Alexei Lescaylle, Marisa Llorens, Salvador Lucas, Javier Oliver, Javier Piris, María José Ramírez, Daniel Romero, Sonia Santiago, Josep Silva, Salvador Tamarit, Germán Vidal, Alicia Villanueva.

 

Further Information on the Group and its Activities

Summary of the activities
Group members
Current projects
Papers available on-line
Software

6th International School on Rewriting, ISR 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)

SpaRCIM: Spanish Research Consortium for Informatics and Mathematics
      (Spanish Institute within ERCIM)                                                  
CoLogNET Network of Excellence in Computational Logic