Past Research Activities
-
16th International
Workshop on Functional and (Contraint)
Logic Programming (WFLP'07), Paris (France),
June 25, 2007 (PC member)
-
VII Jornadas sobre Programación y Lenguajes (PROLE'07),
as part of
II Congreso Español
de Informática (CEDI'07), Zaragoza (Spain),
September 12-14, 2007 (PC member)
- 9th Symposium
on Practical Applications of Declarative Languages (PADL'07),
Nice (France), January 14-15, 2007 (PC member)
-
15th International
Workshop on Functional and (Contraint)
Logic Programming (WFLP'06), Madrid (Spain),
16-17 November, 2006 (PC member)
-
Some pictures
- 19th International
Workshop on Implementation and Application of Functional Languages
(IFL 2006), Budapest (Hungary), 4-6 September, 2006 (PC member)
-
Some pictures
(see also
Olaf Chitil's and
Ricardo Peña's
pictures)
-
VI Jornadas
sobre Programación y Lenguajes (PROLE 2006),
Sitges, Spain (PC member)
-
Some pictures
- 16th International Symposium
on Logic-based Program Synthesis and Transformation (LOPSTR 2006),
co-located with PPDP 2006,
ICALP 2006 and
CSFW 2006 (PC member)
-
Some pictures
- 22nd International
Conference on Logic Programming (ICLP'06),
Seattle, Washington, USA, August 17-20,
2006, as part of the Fourth
Federated Logic Conference (PC member)
- The European
Symposium on Programming (ESOP 2006), Vienna, Austria,
March 25 - April 2, 2006, as part of the
ETAPS'06
cluster of conferences (PC member)
- 17th International
Workshop on Implementation and Application of Functional Languages
(IFL 2005),
Dublin (Ireland), 19-21 September, 2005 (PC member)
- Workshop
on Curry and Functional Logic Programming (WCFLP 2005)
(an ACM SIGPLAN sponsored
workshop at ICFP 2005),
Tallinn (Estonia), September 29, 2005 (PC member)
-
Some pictures
- 7th
International Symposium on Principles and Practice of
Declarative Programming (PPDP 2005),
Lisboa (Portugal), 11-13 July 2005, co-located with
ICALP 2005 (PC member)
-
V Jornadas sobre Programación y Lenguajes (PROLE 2005),
Granada (Spain),
as part of the I Congreso
Español de Informática (CEDI 2005)
(PC member)
-
16th International Workshop on Implementation and
Application of Funtional Languages (IFL 2004),
Lübeck, (Germany), Sept. 2004 (PC member)
- 14th International Symposium
on Logic-based Program Synthesis and Transformation (LOPSTR 2004),
co-located with PPDP 2004,
PEPM 2004 and
SAS 2004 (PC member)
-
13th International Workshop on Functional and
Logic Programming (WFLP 2004), held at the
Federated Conference on Rewriting, Deduction, and Programming,
RDP 2004 (PC member)
- Terceras Jornadas
sobre Lenguajes de Programación (PROLE 2003), Alicante, Spain
(PC member)
- ACM SIGPLAN 2003
Workshop on Partial Evaluation and Semantics Based Program Manipulation
(PEPM 2003), held at the
Federated Computing
Research Conference, FCRC 2003 (PC member)
-
12th International Workshop on Functional and
Logic Programming, WFLP 2003 (PC chair)
-
Federated Conference on Rewriting, Deduction and Programming,
RDP 2003 (publicity chair)
- Miembro del comité técnico permanente de la
Academia Nacional
de Ciencias Computacionales (ANaCC)
del Sistema Nacional de Institutos Tecnológicos
(México), revisor de artículos del
CIICC 2002
- International Symposium on
Principles and Practice of Declarative Programming, PPDP 2000
(PC member)
- 9th International Workshop on
Functional and Logic Programming (WFLP 2000), Benicassim, Spain
(organizing committee member)
Last update
/
Germán
Vidal