WFLP'2000
Preliminary program
Thursday, September 28
######################
8:00 to 9.00 Registration
9:00 to 10.00 Invited lecture L1
10:15 to 11:15 Session A.1
11:15 to 11:45 Coffee break
11:45 to 13:15 Session A.2
13:15 to 15:30 Lunch
15:30 to 17:00 Sessions B.1 and C.1
17:00 to 17:30 Coffee break
17:30 to 19:00 Sessions B.2 and C.2
19:30 to 21:00 Welcome Reception
21:00 TREND coordination meeting
Friday, September 29
####################
9:00 to 10.00 Invited lecture L2
10:15 to 11:15 Session A.3
11:15 to 11:45 Coffee break
11:45 to 13:15 Sessions B.3 and C.3
13:15 to 15:15 Lunch
15:15 to 20:30 Excursion
21:30 Conference Dinner
Saturday, September 30
######################
9:00 to 10.00 Invited lecture L3
10:15 to 11:15 Session A.4
11:15 to 11:45 Coffee break
11:45 to 13:15 Sessions B.4 and C.4
13:15 to 15:30 Lunch
15:30 to 17:00 Sessions B.5 and C.5
17:00 to 17:30 Coffee
Thursday, September 28
######################
INVITED LECTURE L1:
Chair: Maria Alpuente
9:00 LOGIC PROGRAMMING AND FUNCTIONAL NETS
Alan Mycroft
University of Cambridge
SESSION A.1: DIAGNOSIS, VERIFICATION, AND MODEL CHECKING
Session Chair: Ernesto Pimentel
10:15 A Logical Framework for the Algorithmic Debugging of Lazy
Functional-Logic Programs
R. Caballero, F.J. Lopez-Fraguas, and M. Rodriguez-Artalejo
U.C. Madrid
10:45 On the Role of Functional-logic Languages for the Debugging of
Imperative Programs
A. Herranz-Nieva, J.J. Moreno-Navarro
U.P. Madrid
SESSION A.2: DIAGNOSIS, VERIFICATION, AND MODEL CHECKING
Session Chair: Thomas Arts
11:45 Symbolic program execution using the Erlang verification tool
C. Benac-Earle
Ericsson
12:15 Theorem Proving and Programming with Dynamic First Order Logic
J. van Eijck, J. Heguiabehere, B.O. Nuallain
University of Amsterdam - CWI
12:45 Functional Notation for Indexed Concepts (Extended Abstract)
V. Wolfengagen
"JurInforR-MSU", Moscow
SESSION B.1: PROGRAM TRANSFORMATION
Session Chair: Ricardo Pe~na
15:30 Optimizing Eden by Program Transformation
C. Pareja, R. Pe~na, F. Rubio, and C. Segura
U.C. Madrid
16:00 Realistic Program Specialization in a Multi-Paradigm Language
E. Albert, M. Hanus, and G. Vidal
U.P. Valencia - CAU Kiel
16:30 A Formal Approach to Reasoning about the Effectiveness of Partial
Evaluation
E. Albert, S. Antoy, and G. Vidal
U.P. Valencia - Portland State University
SESSION C.1: SEMANTICS
Session Chair: Elvira Pino
15:30 The Reflective Design of Maude's Module Algebra (Extended Abstract)
F. Duran
U. Malaga
16:00 Equationally Expressed Evaluation (Extended Abstract)
L. Ismailova, S. Kosikov, K. Zinchenko, A. Mikhaylov,
L. Bourmistrova, and A. Berezovskaya
"JurInforR-MSU", Moscow
16:30 Functional features of a calculus for logic and concurrency
C. Priami and U. Solitro
U. di Verona
SESSION B.2: PROGRAM TRANSFORMATION
Session Chair: Taro Suzuki
17:30 Functional Transformation Systems
J. Kort, R. Laemmel, and J. Visser
University of Amsterdam - CWI
18:00 Using PE to Automate Program Composition
M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal
U.P. Valencia - U. Udine - U. Castilla-La Mancha
18:30 List-Processing Optimizations in Curry
E. Albert, C. Ferri, F. Steiner, and G. Vidal
U.P. Valencia - CAU Kiel
SESSION C.2: SEMANTICS
Session Chair: Javier Leach Albert
17:30 Constructive negation without subsidiary trees
E. Pasarella, E. Pino, and F. Orejas
U. Simon Bolivar - U.P. Cataluya
18:00 The Expansion Postponement Problem for Pure Type Systems with
Universes (Extended Abstract)
B.C. Ruiz Gimenez
U. Malaga
Friday, September 29, 2000
##########################
INVITED LECTURE L2:
Chair: Mario Rodriguez Artalejo
9:00 USE OF FUNCTIONAL AND LOGIC LANGUAGES IN MACHINE LEARNING
Peter A. Flach
University of Bristol
SESSION A.3: TERM REWRITING AND NARROWING
Session Chair: Tesuo Ida
10:15 Higher-order Lazy Narrowing Calculi in Perspective
M. Marin, T. Ida, and T. Suzuki
U. Tsukuba - U. Tohoku
10:45 Strong and NV-sequentiality of constructor systems (extended
abstract)
S. Lucas
U.P. Valencia
SESSION B.3: INDUCTIVE PROGRAMMING
Session Chair: Peter Flach
11:45 Proof-Theoretic Foundation of Hypothetical Reasoning
P. Lopez and E. Pimentel
U. Malaga
12:15 The role of induction in (semi-)automated software life-cycles
J. Hernandez and M.J. Ramirez
U.P. Valencia
12:45 Learning functional logic classification concepts from databases
C. Ferri, J. Hernandez, and M.J. Ramirez
U.P. Valencia
SESSION C.3: PROGRAM ANALYSIS
Session Chair: Alan Mycroft
11:45 Redundancy Analyses in Term Rewriting (extended abstract)
M. Alpuente, S. Escobar, and S. Lucas
U.P. Valencia
12:15 Partial Predicates for Demand Analysis (extended abstract)
J. Mari~no, A. Herranz-Nieva, J.J. Moreno-Navarro
U.P. Madrid
12:45 Redundant arguments in infinitary rewriting (extended abstract)
S. Lucas
U.P. Valencia
Saturday, September 30, 2000
############################
INVITED LECTURE L3:
Chair: Michael Hanus
9:00 PARAMETRIC MODEL CHECKING AND DECLARATIVE LANGUAGES
Laurent Fribourg
ENS Cachan
SESSION A.4: SOFTWARE ENGINEERING AND DECLARATIVE PROGRAMMING
Session Chair: Juan Jose Moreno Navarro
10:15 Server Side Web Scripting in Curry
M. Hanus
CAU Kiel
10:45 Cooperative Constraint Functional Logic Programming
M. Marin and T. Ida
U. Tsukuba
SESSION B.4: SOFTWARE ENGINEERING AND DECLARATIVE PROGRAMMING
Session Chair: Herbert Kuchen
11:45 Markup Languages for Functional-Logic Programming
H. Boley
DFKI
12:15 A Graphical Development Environment for Functional Logic Languages
J.D. Castro and J.C. Gonzalez-Moreno
U.C. Madrid
12:45 Advantages of using Functional Languages in specifying GIS operations
G. Gerding, C. Ruether, and W. Kuhn
Institute for Geoinformatics, Muenster
SESSION C.4: CONSTRAINTS
Session Chair: Laurent Fribourg
11:45 Adding Linear Constrains over Real Numbers to Curry
W. Lux
U. Muenster
12:15 A Higher-Order Logic Programming Language with Constraints
J. Leach and S. Nieva
U.C. Madrid
12:45 Constraint Propagation on Multiple Domains
A.J. Fernandez and P. Hill
U. Malaga - U. Leeds
SESSION B.5: INFORMATION SYSTEMS
Session Chair: Harold Boley
15:30 Functional Beans
A. Rauber Du Bois and A.C. da Rocha Costa
U. Porto Alegre - U. Pelotas
16:00 Functional Specifications of Multilevel Highway Navigation
(Extended Abstract)
S. Timpf and W. Kuhn
U. Vienna - U. Muenster
16:30 A Functional Approach to Complex Retrieval Tasks
A. Cox and C. Clarke
U. Waterloo
SESSION C.5: IMPLEMENTATION
Session Chair: Juan Carlos Gonzalez Moreno
15:30 Implementing an Object Oriented Design in Curry (Extended Abstract)
H. Kuchen
U. Muenster
16:00 Compiler Construction in a Functional Setting
R. Pe~na
U.C. Madrid
16:30 An abstract machine based experimental system for a lazy narrowing
calculus
T. Hortala and E. Ullan
U.C. Madrid