
Summary
of the activities
Group members
Current
projects
Papers available
on-line
Software
14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009)
18th Int'l Workshop on Functional and
(Constraint) Logic Programming (WFLP'09)
SAS 2008 - LOPSTR 2008 - PPDP 2008 -PLID 2008
3rd
International Workshop on Security and Rewriting Techniques
(SecReT'08)
4th
Int'l Workshop on
Automated Specification and Verification of Web Sites
(WWV'08)
3rd
Int'l Workshop on
Automated Specification and Verification of Web Sites
(WWV'07)
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)
GULP-PRODE 1994
SpaRCIM: Spanish
Research Consortium
for Informatics and Mathematics

| GPLIS | DSIC | UPV |