Scientific events, partially of fully organised by the members of the Program
| Phil Trinder |
Univ. Heriot-Watt de Edimburgo |
Reasonable Mobility Skeletons |
UCM |
22-02-2006 |
| Adrian Riesco |
Univ. Complutense de Madrid |
Mobile Maude |
UCM |
24-02-2006 |
| Egon Börger |
Univ. de Pisa |
Abstract State Machines -A Method for High-Level System Design and Analysis |
UCM |
02-03-2006 |
| Phil Trinder |
Univ. Heriot-Watt de Edimburgo |
Managing heterogeneity in a Grid Parallel Haskell |
UCM |
02-03-2006 |
| Pablo Giambiagi |
Univ. Politécnica de Madrid |
Automata-Based Policies for Information Declassification |
UPM |
09-03-2006 |
| Michael J. O'Donnell |
Univ. of Chicago |
Pitfalls in Logic or What does "meaning" mean? |
UPM |
20-03-2006 |
| Murdoch J. Gabbay |
Heriot-Watt University |
Nominal: an Overview |
UPM |
31-03-2006 |
| Christiano Braga |
Univ. Complutense de Madrid |
A Formal Semantics for a QoS Contract Language |
UCM |
28-04-2006 |
| Viviane Torres da Silva |
Univ. Complutense de Madrid |
MDA Based Approach for Developing MAS |
UCM |
05-05-2006 |
| Viviane Torres da Silva |
Univ. Complutense de Madrid |
A Reputation Mechanism for MAS based on Testimonies |
UCM |
26-05-2006 |
| Herbert Kuchen |
Univ. Muenster |
Automatic Generation of Test Cases |
UCM |
29-05-2006 |
| Fausto Spoto |
Univ. de Verona |
Information flow: from practice to theory and back |
UCM |
08-06-2006 |
| Michael J. O'Donnell |
Univ. of Chicago |
Why deductive databases probably should be based on relevant logics |
UCM |
12-06-2006 |
| Peter Mosses |
University of Wales at Swansea |
Programming language description languages: from Scott and Strachey to semantics online |
UCM |
20-06-2006 |
| Peter Mosses |
University of Wales at Swansea |
Modular semantic descriptions |
UCM |
22-06-2006 |
| Christiano Braga |
Univ. Complutense de Madrid |
Implementing Constructive MSOS |
UCM |
04-07-2007 |
| Michael J. O'Donnel |
Univ. of Chicago |
End-To-End Public Key Infrastructure |
UPM |
05-07-2007 |
| Michael Codish |
Univ. Ben-Gurion del Negev |
Solving partial order constraints for LPO termination |
UPM |
14-09-2006 |
| Clara María Segura |
Univ. Complutense de Madrid |
Una herramienta para el estudio de estructuras de datos y algoritmos |
UCM |
25-09-2006 |
| Jacques Robin |
Univ. Federal de Pernambuco, Brasil |
Issues in Customizing UML2.0 to Model Rule-Based Agents |
UCM |
02-10-2006 |
| Ricardo Peña |
Univ. Complutense de Madrid |
Impresión amigable: de una especificación algebraica a una librería Haskell |
UCM |
25-10-2006 |
| Alberto Pardo |
Univ. de la República de Montevideo, Uruguay |
HFusion: A Fusion Tool for Haskell Programs |
UPM |
30-10-2006 |
| José Meseguer |
University of Illinois at Urbana Champaign |
Narrowing and Rewriting Logic: from Foundations to Applications |
UCM |
16-11-2006 |
| Peter Padawitz |
Univ. Dortmund |
Expander2: Program verification between interaction and automation |
UCM |
17-11-2006 |
| Adrian Riesco |
Univ. Complutense de Madrid |
Distributed applications implemented with parameterized skeletons |
UCM |
22-11-2006 |
| Samir Genaim |
Univ. Politécnica de Madrid |
Termin-Web: A Semantic Based Termination Analyzer fo Logic Programs |
UCM |
13-12-2006 |
| Pablo Nogueira Iglesias |
Univ. of Nottingham |
Abstract data types and functors |
UPM |
15-12-2006 |
| Jose Meseguer |
Univ. Illinois at Urbana-Champaign |
The Temporal Logic of Rewriting |
UCM |
16-03-2007 |
| Michael Hanus |
Institut für Informatik, Christians-Allbrechts-Universität zu Kiel |
Declarative Construction of Web User Interfaces |
UCM |
22-03-2007 |
| Leonor Prensa Nieto |
LORIA, Francia |
Demostración de teoremas con Isabelle/HOL |
UCM |
10..13-04-2007 |
| Título |
Organizador |
Lugar |
Trabajos |
Participantes |
Fecha |
| ICCI 6th IEEE International Conference on Cognitive Informatics |
Juan José Moreno Navarro |
Los Angeles, EEUU |
6 |
|
Julio 2007 |
| Segundo Congreso Español de Informática CEDI |
Juan José Moreno Navarro (pdt. comité científico) |
Zaragoza |
|
|
Septiembre 2007 |
| Logical and Semantic Frameworks, with Applications --- LSFA'06 |
Christiano Braga |
Natal, Brasil |
9 |
20 |
17 de septiembre, 2006 |
| Logical and Semantic Frameworks, with Applications --- LSFA'06 |
Christiano Braga |
Natal, Brasil |
9 |
20 |
17 de septiembre, 2006 |
| Second Workshop on Software Engineering for Agent-oriented Systems (SEAS
2006 |
Carlos Lucena, Marcelo Blois, Ricardo Choren, Viviane Torres da Silva |
Florianópolis, SC, Brasil |
11 |
30 |
16 de octubre, 2006 |
| WFLP'06: 15th Workshop on Funcional and Logic Programming |
Francisco López Fraguas |
Facultad de Informática, UCM |
14 |
36 |
16-17 noviembre, 2006 |
| CALCO Tools Day -- 2nd Conference on Algebra and
Coalgebra in Computer Science |
Narciso Martí Oliet |
Bergen, Noruega |
|
|
20 de agosto, 2007 |
| ICLP -- International Conference on Logic Programming |
Manuel Hermenegildo |
Seattle, WA, EEUU |
25 (+17 posters) |
120 |
17-20 agosto, 2006 |
