The UCMaude Group

Presentation

Members

• Narciso Martí-Oliet
• Manuel Clavel
• Isabel Pita
• Alberto Verdejo
• Miguel Palomino
• Juan Santa-Cruz
• Marina Egea
• Adrián Riesco

Collaborators

• María Manzano: University of Salamanca, Spain.
• Gustavo Santos: University of Salamanca, Spain.
• Raquel Sánchez: University of Salamanca, Spain.

Visitors

• Peter Mosses: June 20-23, 2006.
• Deepak Kapur: June 4-8, 2005.
• Christiano Braga: January 24-February 25, 2005.
• Joe Hendrix: November 2-19, 2004.

Projects

• ITP
  Description. The ITP is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics.
  Sponsors. Partially supported by Spanish MCYT Projects TIC2002-01167 and TIC2003-01000.
• Mobile Maude
  Description. Mobile Maude is a Mobile Agent language extending the rewriting logic language Maude and supporting mobile computation.
  Sponsors. Partially supported by Spanish Project TIC2003-01000.
• Skeletons
  Description. We use Maude to implement distributed applications by means of parameterized skeletons.
  Sponsors. Supported by Spanish Project TIC2003-01000.

Talks

• Can Algebraic Geometry Rescue Program Verification?, by Dr. Deepak Kapur, Chair & Professor, Department of Computer Science University of New Mexico, USA.
  Time. 13:00-14:00 pm, June 6, 2005.
  Place. Salon de Grados, Facultad de Informatica, Universidad Complutense de Madrid.
  Sponsors. Spanish MCYT Projects TIC 2002-01167 and TIC 2003-0100, and Departamento de Sistemas Informáticos y Programación, Facultad de Informática, UCM.

Seminars

• Programming Language Design
  Description. Based on G. Rosu's course Programming Language Design (University of Illinois at Urbana-Champaign, Fall 2003).
  Meetings: Tuesday 2:00-3:30, from November 30, 2004, to May 31, 2005. Aula 6, Facultad de Informática.