Scientific Activities
Classified by:
Committees
Organization
Research Visits
Invited talks
PhD students
PhD Committees
Committees
2012
-
PC member -
1st International Workshop on Formal Techniques for Safety-Critical
Systems
(FTSCS 2012), November 12, 2012, Kyoto, Japan.
-
Co-chair -
The International Workshop on Unification (UNIF 2012), Manchester, UK.
-
PC member -
9th Int'l Workshop on
Rewriting Logic and its Applications (WRLA 2012), March
24th-25th, 2012, Tallinn, Estonia
-
PC member -
8th Int'l Workshop on Automated Specification and Verification of Web Systems
(WWV 2012)
in Stockholm, Sweden, June 16, 2012.
2011
-
PC member -
2nd International Workshop on the K Framework and its Applications
(K 2011)
August 8-12, 2011, Cheile Gradistei, Romania.
-
Chair -
10th Int'l Workshop
on Reduction Strategies in Rewriting and Programming (WRS 2011)
at Novi Sad, Serbia.
-
PC member -
7th Int'l Workshop on Automated Specification and Verification of Web Systems
(WWV 2011)
in Reykjavik, Iceland, June 9, 2011.
-
PC member -
20th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2011),
Odense, Denmark, July 19, 2011.
Co-located with PPDP 2011
and LOPSTR 2011.
2010
-
PC member -
X Jornadas sobre Programación y Lenguajes (PROLE 2010)
at Valencia, Spain
PC member -
6th Int'l Workshop on Automated Specification and Verification of Web Systems
(WWV 2010)
in Vienna, Austria, 2010
PC member -
20th International Symposium on Logic-Based Program Synthesis
and Transformation (LOPSTR 2010), Hagenberg, Austria, July 23-25
PC member -
19th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2010),
Madrid, Spain, January 17
co-located POPL 2010
PC member -
21th Int'l Conference on Rewriting Techniques and Applications (RTA 2010)
Edinburgh, 11-13 July
PC member -
8th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2010), Paphos, Cyprus, March 20-21
PC member -
5th Int'l Workshop on Security and Rewriting Techniques (SecReT'10) at Valencia, Spain, June 2010
2009
PC member -
The International Workshop on Unification (UNIF 2009), Montreal, Canada.
PC member -
4th Int'l Workshop on Security and Rewriting Techniques (SecReT'09) at Port Jefferson, New York, USA, co-located CSF-22
PC member -
IX Jornadas sobre Programación y Lenguajes (PROLE 2009)
at San Sebastián, Spain
PC member -
14th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009)
at Eindhoven (NL), November 2-3, 2009 (colocated with FM 2009)
Chair -
18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009)
at Brasilia, Brasil, 2009.
PC member -
5th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'09)
at Hagenberg, Austria, July 10, 2009
PC member -
9th Int'l Workshop
on Reduction Strategies in Rewriting and Programming (WRS 2009)
at Brasilia, Brasil, 2009.
PC member -
20th Int'l Conference on Rewriting Techniques and Applications (RTA 2009)
at Brasilia, Brasil, 2009.
2008
Co-chair -
4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)
at Siena, Italy, July 4, 2008
Co-chair -
3rd Int'l Workshop on Security and Rewriting Techniques (SecReT'08) at CMU, Pittsburgh (USA), (co-located with LICS'08 and CSF'08), June 22, 2008
2007
Co-chair -
3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
at San Servolo island, Venice, (Italy), December 14, 2007
PC Member - 16th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'07)
at Paris (France),
25 June, 2007
2006
PC Member - 2nd Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06)
at Paphos (Cyprus),
15-19 November, 2006
PC Member - 15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06)
at Madrid (Spain),
16-17 November, 2006
PC Member -
2nd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'06)
at Cyprus
15-19 November, 2006
PC Member -
6th Int'l Workshop on
Reduction Strategies in Rewriting and Programming (WRS'06) at Seattle (USA),
August 11, 2006
2005
PC Member -
1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)
at Valencia (Spain),
March 2005
Organization
-
Workshop Chair of
5th Int'l Workshop on Security and Rewriting Techniques (SecReT'10) at Valencia, Spain, June 2010
-
Workshop Chair of
2nd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'06) at Cyprus,
November 2006
-
Workshop Chair of
2nd Annual Conference of the ICT for EU-India Cross Cultural Dissemination Project (EU-INDIA'05) at Valencia (Spain),
November 2005
-
Workshop Chair of
1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) at Valencia (Spain),
March 2005
-
Organizing Committee Member of the
12th Int'l Workshop on Functional and (Constraint) Logic Programming, WFLP'03,
Valencia (Spain),
12-13 June 2003
-
Organizing Committee Member of the
Federated Conference on Rewriting, Deduction and Programming, RDP'03,
Valencia (Spain),
8-14 June 2003
-
Organizing Committee Member of the 10th
Int'l Workshop on Functional Logic Programming, WFLP'00
July 2000
Research Visits
-
June-August 2012.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
June-August 2011.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
July-September 2010.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
October 2009.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
April-August 2009.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
August-September 2008.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
June 2008.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
September 2007.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
April-September 2007.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
April-August 2006.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
August 2006.
Mark Oliver-Stehr,
Stanford Research Institute.
-
March 2006.
David Basin,
Department of Computer Science
of
ETH Zurich,
Zurich, Switzerland.
-
March 2006.
Hubert Comon,
Laboratoire Spécification et Vérification
of
École Normale Supérieure de Cachan,
Cachan, France.
-
November 2005.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
October 2005.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
July 2005.
Catherine Meadows,
Naval Research Laboratory,
Washington DC, USA.
-
April-August 2005.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
February 2005.
B.G. Sidharth,
Birla Science Center ,
Hyderabad, India.
-
March-August 2004.
José Meseguer,
Department of Computer Science
of
University of Illinois at Urbana-Champaign,
Urbana, USA.
-
February 2004.
Bernhard Gramlich,
Institut für Computersprachen
of
Technische Universität Wien,
Viena, Austria.
-
October 2003.
Francisco Durán,
Dpto. Lenguajes y Ciencias de la Computación
of
Universidad de Málaga,
Málaga, Spain.
-
July 2003.
Michael Hanus,
Institute of Computer Science and Applied Mathematics
of
Christian-Albrechts-Universität zu Kiel,
Germany.
-
July 2002.
Moreno Falaschi,
Dipartimento di Matematica e Informatica
of
Università di Udine,
Udine, Italy.
-
June 2002
Bernhard Gramlich,
Institut für Computersprachen
of
Technische Universität Wien,
Wien, Austria.
-
October 2001 - January 2002.
Rachid Echahed,
Laboratoire Leibniz
of
Institut IMAG,
Grenoble, France.
-
April-August 2000.
Michael Hanus,
Institute of Computer Science and Applied Mathematics
of
Christian-Albrechts-Universität zu Kiel,
Kiel, Germany.
-
September 1999.
Michael Hanus,
Lehrstuhl für Informatik II
of
RWTH,
Aachen, Germany.
Invited talks
-
February 2013.
Advances in Narrowing in Rewriting Logic and Applications,
Department of Computer Science, University of Illinois at
Urbana-Champaign,
USA.
-
January 2013.
Advances in Narrowing in Rewriting Logic and Applications,
Facultad de Informática, Universidad Complutense de Madrid,
Spain.
-
July 2012.
Certification of Non-interference and Erasure in Rewriting Logic,
University of Trier, Germany.
-
July 2012.
A Rewriting-Based Specification and Programming Language: Maude,
6th International School on Rewriting
July 16th - 20th, 2012. Valencia, Spain.
-
July 2012.
Natural Narrowing for General Term Rewriting Systems,
Department of Computer Science, University of Illinois at
Urbana-Champaign,
USA.
-
March 2012.
Narrowing in Rewriting Logic and Applications,
In proceedings of
9th International Workshop on Rewriting Logic and its Applications, WRLA'2012,
March 24th-25th, 2012, Tallinn, Estonia.
-
February 2012.
Narrowing in Rewriting Logic and Applications,
Albany ACM Student Chapter,
Department of Computer Science, University
at Albany,
USA.
-
August 2011.
The Maude-NRL Protocol Analyzer,
Dagstuhl Seminar: Security and
Rewriting, 15 - 18 August 2011.
-
August 2011.
Certification of Non-interference and Erasure in Rewriting Logic,
Dagstuhl Seminar: Security and
Rewriting, 15 - 18 August 2011.
-
July 2011.
Specifying, programming, and verifying in Maude: Practical Aspects,
International School on Formal Methods in Language Design,
July 11th - 15th, 2011. Wuxi, Shanghai, China.
-
June 2011.
Certification of Non-interference and Erasure in Rewriting Logic,
Facultad de Informática, Universidad Complutense de Madrid,
Spain.
-
June 2011.
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis,
Protocol eXchange Seminar.
-
May 2011.
Narrowing in Rewriting Logic and Applications,
Formal Mthods Seminar,
National Institute of Aerospace,
Hampton, VA,
USA.
-
March 2011.
Narrowing in Rewriting Logic and Applications,
Departamento de Lenguajes y Ciencias de la Computación,
Universidad de Málaga,
Spain.
-
January 2010.
Progress Report on the Maude-NPA ,
Protocol eXchange Seminar.
-
November 2009.
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties,
Departamento de Lenguajes y Ciencias de la Computación,
Universidad de Málaga, Spain
-
November 2009.
Unification and Narrowing in Maude,
Department of Computer Science,
University of Leicester, UK
-
November 2009.
Verification and Certification using rewriting logic,
Formal Methods for Components and Objects
(FMCO'09), Eindhoven, Netherlands
-
October 2009.
Homomorphic Encryption in Maude-NPA,
Protocol eXchange Seminar.
-
February 2009.
Verification and Certification using rewriting logic,
ifm Workshop on Formal Methods and SOA (FMSOA'09), Düsseldorf, Alemania.
-
January 2009.
Variant Narrowing and Equational Unification,
Protocol eXchange Seminar.
-
October 2007.
Applications of Narrowing and Rewriting Logic,
Facultad de Informática, Universidad Complutense de Madrid.
-
September 2007.
Applications of Narrowing and Rewriting Logic,
Department of Computer Science, University of Illinois at Urbana-Champaign.
-
September 2007.
Symbolic Model Checking of Infinite-State Systems Using Narrowing,
Department of Computer Science, University of Illinois at Urbana-Champaign.
-
May 2007.
Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer,
Protocol eXchange Seminar.
-
August 2006.
A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties,
Stanford Research Institute, Menlo Park, CA,
-
May 2006.
A Rewriting-Based Inference System for the NRL Protocol Analyzer,
22th
Conference on the Mathematical Foundations of Programming Semantics (MFPS XXII),
Genova, Italy, May 24-27, 2006
-
March 2006.
A Rewriting-Based Inference System for the NRL Protocol Analyzer,
ETH Zurich,
-
March 2006.
A Rewriting-Based Inference System for the NRL Protocol Analyzer,
Laboratoire Spécification et Vérification.
-
October 2005.
A Rewriting-Based Inference System for the NRL Protocol Analyzer,
University of Illinois at Urbana-Champaign.
-
June 2005.
Current Work on the NRL Protocol Tool,
Protocol eXchange Seminar.
-
May 2005.
Abstract Diagnosis of Functional Programs,
University of Illinois at Urbana-Champaign.
-
April 2005.
Natural Narrowing for General Term Rewriting Systems,
University of Illinois at Urbana-Champaign.
-
September 2004.
Natural rewriting and narrowing for general term rewriting systems,
2nd Workshop on Coq and Rewriting.
-
July 2003.
Abstract Diagnosis of Functional Programs,
Institute of Computer Science and Applied Mathematics.
-
June 2002.
Redundancy of Arguments Reduced to Induction,
Institut für Computersprachen.
-
October 2001.
Redundant Analyses in Term Rewriting,
Laboratoire Leibniz.
PhD students
Former PhD students
PhD Committees
-
Serdar Erbatur.
May 2012.
Title: Unification modulo theories of bling signatures.
Supervisor:
Paliath Narendran.
College of Computing and Information,
Department of Computer Science, University at Albany Albany, New
York, USA.
-
Michele Baggi.
November 2010.
Title: Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems.
Supervisors:
María Alpuente
and
Moreno Falaschi.
Università degli Studi di Siena,
Dipartimento di Scienze Matematiche e Informatiche,
Dottorato di Ricerca in Informatica, Logica Matematica e Scienze
Cognitive,
Italy.
Universitat Politècnica de València,
Departamento de Sistemas Informáticos y Computación,
Spain.
-
Enrique Martín Martín.
April 2012.
Title: Sistemas de tipos en lenguajes lógico-funcionales.
Supervisors:
Francisco J. López Fraguas
and
Juan Rodríguez Hortalá
Departamento de Sistemas Informáticos y Computación,
Facultad de Informática,
Universidad Complutense de Madrid,
Spain.
-
Adrián Riesco Rodríguez.
April 2011.
Title: Depuración Declarativa y Verificación Heterogénea en Maude.
Supervisors:
José Alberto Verdejo López
and
Narciso Martí Oliet.
Departamento de Sistemas Informáticos y Computación,
Facultad de Informática,
Universidad Complutense de Madrid,
Spain.
-
Manuel Roldán.
September 2011.
Title: Estrategias para el guiado y la monitorización de la ejecución de
sistemas en Maude.
Supervisor:
Francisco Durán.
Departamento de Lenguajes y Ciencias de la Computación,
Universidad de Málaga,
Spain.
-
Javier de Dios Castro.
January 2012.
Title: Certificación formal de programas en un lenguaje funcional impaciente.
Supervisor:
Ricardo Peña Marí.
Departamento de Sistemas Informáticos y Computación,
Facultad de Informática,
Universidad Complutense de Madrid,
Spain.
Last modified: Thu Mar 21 19:42:50 CET 2013