XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain)

XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain)


Monday 16

10:00-11:00
Invited talk

Whatever Happened to Meta-Programming?
John Gallagher


11:00-11:30
Coffe break

11:30-13:00
Extensions I

A Functional Logic Language with Finite Domain Constraints
Antionio J. Fernández, Teresa Hortalá-González and
Fernando Sáenz-Pérez

A Logic Language for Database Integration
Gianluigi Greco, Sergio Greco and Ester Zumpano

Constructive Negation for Prolog: A Real Implementation
Susana Muñoz and Juan José Moreno


13:00-14:30
Lunch

14:30-15:30
Distributed Logic

Logic Based Languages to Model and Program Intelligent Agents
Maurizio Martelli, Viviana Mascardi and Leon Sterling

A Configuration Framework for Distributed Logic Applications
Jesus Correas Fernández and Francisco Bueno Carrillo


15:30-17:00
Applications

Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD)
F. Avanzini, A. Dal Palú, A. Dovier and D. Rocchesso

Using Constraint Logic Programming to Generate Drills in Mathematics
Ana Paula Tomás, José Paulo Leal and Pedro Vasconcelos

Solving Optimal Location of Traffic Count Posts in CLP(FD)
Ana Paula Tomás


17:00-17:30
Coffe break

17:30-18:30
Semantics and Analysis

Optimality in Goal-Dependent Analysis of Sharing
Gianluca Amato and Francesca Scozzari

A Deterministic Operational Semantics For Functional Logic Programs
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver and Germán
Vidal


20:00 – 21:00
City Hall reception

Tuesday 17

9:00-10:00
Invited talk

Secrets of Software Model Checking
Thomas Ball


10:00-11:00
Program Synthesis and Transformation

Compiling Explicit Specifications into Recursive Specifications in Linear Stratified Contexts
Francisco José Galán and José Miguel
Cañete

Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs
F. Fioravanti, A. Pettorossi and M. Proietti


11:00-11:30
Coffe break

11:30-13:00
Extensions II

Modelling the Future with Event Choice DATALOG
Antonella Guzzo and Domenico Saccá

Combining Crisp and Fuzzy Logic in a Prolog Compiler
Susana Muñoz, Claudio Vaucheret and Sergio Guadarrama

An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms
Pasquale Caianiello, Stefania Constantini and Eugenio Omodeo


13:00-14:30
Lunch

15:30-
Excursion

Wednesday 18

9:00-10:00
Invited talk

Static Program Analysis via 3-Valued Logic
Thomas Reps


10:00-11:00
Foundations

On the Relation between Rank 2 Intersection Types and Simple Types
Sandra Alves and Mario Florido

Automation of Aggregate Theories: The Cornerstones of Equational
Expressibility
Andrea Formisano, Eugenio G. Omodeo and Alberto Policriti


11:00-11:30
Coffe break

11:30-13:00
Knowledge Representation and Specification Languages

On Pattern-Matching as Query Facility
Manuel Vilares Ferro, Francisco José Ribadas Pena and Jorge Graña Gil

Towards Temporal Reasoning in ISCO
Vitor Nogueira, Salvador Abreu and Gabriel David

A Language for Updates with Multiple Dimensions
Joao Alexandre Leite, José Julio Alferes, Luis Moniz Pereira, Halina Przymusinska and Teodor C. Przymusinski


13:00-14:30
Lunch

14:30-15:30
National Meetings

15:30-16:00
Coffe break

16:00-17:00
National Meetings

17:30-
Social
Dinner