2010 - ERCIS

gent negotiation protocol in erlang. In
Ninth ACM SIGPLAN Erlang Workshop,
Erlang’10, Baltimore, Maryland, USA,
September 2010.
Víctor Pablos, Álvaro Fernández and Susana
Muñoz. Developing user-sensitive
search engines from fuzzy concepts. In
JISBD’2010, September 2010.
Álvaro García, Pablo Nogueira, and
Emilio J. Gallego. The beta cube (extended
abstract). In César Muñoz and Hélène
Kirchner, editors, Proceedings of the 1st
International Workshop on Strategies
in Rewriting, Proving, and Programming
(IWS’10), pages 3-7, Edinburgh, UK, July
9 2010.
Ángel Herranz and Julio Mariño. Executable
specifications in an object oriented
formal notation. In 20th International
Symposium on Logic-Based Program
Synthesis and Transformation, LOPSTR
2010, Hagenberg, Austria, July 2010.
Research Institute for Symbolic Computation
(RISC) of the Johannes Kepler University
Linz.
Álvaro Fernández, Susana Muñoz, and
Víctor Pablos. Developing user-sensitive
e-commerce applications from fuzzy
concepts. In Algebraic methods, soft
computing, and program verification,
International Center for Mathematical
Meetings (CIEM), Castro Urdiales, Cantabria,
Spain, April 2010. Julio Rubio (Univ.
de La Rioja) and Manuel Ojeda (Univ. de
Málaga).
Óscar Corcho, Catherine Roussey, Luis
M. Vilches, and Iván Pérez. Patternbased
OWL Ontology Debugging Guide-
lines. In Eva Blomqvist, Kurt Sandkuhl,
Francois Scharffe, and Vojtech Svatek.,
editors, Workshop on Ontology Patterns
(WOP 2009), collocated with the 8th International
Semantic Web Conference
(ISWC-2009)., CEUR Workshop proceedings,
pages 68-82, October 2009.
Iván Pérez and Óscar Corcho. Pattern
Definitions and Semantically Annotated
Instances. In Eva Blomqvist, Kurt Sandkuhl,
Francois Scharffe, and Vojtech
Svatek, editors, Workshop on Ontology
Patterns (WOP 2009), collocated with the
8th International Semantic Web Conference
(ISWC-2009), CEUR Workshop proceedings,
pages 131-138, October 2009.
Dissertations
Ángel Herranz: An Object-oriented Formal
Notation: Executable Specifications
in Clay, defense scheduled for January
2011. PhD thesis.
Ana M. Fernández: A Proposal for Integrating
Numeric Constraints in Spreadsheets.
Master thesis, 2010.
Rubén Monjaraz: From the π-calculus
to Flat GHC. European Master in Computational
Logic. 2010.
Álvaro García: Exploring the Beta-Hypercube.
Master thesis associated to the
PhD Programme in Complex Software
Systems Development, 2009.
Iván Pérez: Gadget Composition and
Automatic Discovery in EzWeb. European
Master in Computational Logic, 2009.
Víctor Pablos: Negative non-ground
queries in well founded semantics. Master’s
thesis, Faculdade de Ciências e Tecnologia
da Universidade Nova de Lisboa,
October 2009.
University of Madrid –
Facultad de Informátic –
Babel research group
Contact Details
Julio Mariño
Facultad de Informática
Campus de Montegancedo s/n
28660, Boadilla del Monte, Spain
web: www.fi.upm.es
mail: jmarino@fi.upm.es
phone: +34 91 336 3749
Key Facts
Institution
• Founded in 1971
• Located in one of the 10 Spanish
“International Excellence” campuses
• 15 researchers (Babel group)
Research Topics
• Declarative programming
• Formal methods and
specification languages
• Component-based software
• Validated, highly reliable
SW development
Events
• 37th ACM Symposium POPL2010.
Madrid, January 20-22.
47