The UCMaude Group
Presentation
Members
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.
Manuel
Clavel,
Alberto
Verdejo
Updated on June 29, 2005