[mercury-users] WFLP'2000 (Preliminary program)
Salvador Lucas Alba
slucas at dsic.upv.es
Fri Jul 28 17:38:49 AEST 2000
======================================================================
PRELIMINARY PROGRAM
9th International Workshop on Functional and Logic Programming
WFLP'2000
Benicassim, Spain
September 28-30, 2000
======================================================================
Sponsored by: Universidad Politecnica de Valencia
Ayuntamiento de Benicassim
La Caixa
======================================================================
Welcome to the 9th International Workshop on Functional and Logic
Programming WFLP'2000, a meeting aimed at bringing researchers and
students together to communicate and discuss recent developments, work
in progress, preliminary results, and new research directions in
functional and logic programming, as well as their integration.
The workshop will take place on September 28-30, 2000 in Villa Elisa,
a nice seaside villa located in Benicassim, Castellon, on the
eastern coast of Spain. More details about the accomodation, traveling
information, etc., can be found at the WFLP'2000 WWW page:
http://www.dsic.upv.es/users/elp/WFLP2000
----------------------------------------------------------------------
WORKSHOP OVERVIEW
Tuesday, 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 Welcome Reception
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:30 Lunch
15:30 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 Closing WFLP'2000
----------------------------------------------------------------------
PRELIMINARY PROGRAM
Tuesday, September 28, 2000
###########################
INVITED LECTURE L1:
9:00 LOGIC PROGRAMMING AND FUNCTIONAL NETS
Alan Mycroft
University of Cambridge
SESSION A.1: MODEL CHECKING
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: MODEL CHECKING
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
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
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. Mikhailov,
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
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 a Multi-Paradigm Declarative
Language
E. Albert, C. Ferri, F. Steiner, and G. Vidal
U.P. Valencia - CAU Kiel
SESSION C.2: SEMANTICS
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:
9:00 USE OF FUNCTIONAL AND LOGIC LANGUAGES IN MACHINE LEARNING
Peter A. Flach
University of Bristol
SESSION A.3: TERM REWRITING AND NARROWING
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
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
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:
9:00 PARAMETRIC MODEL CHECKING AND DECLARATIVE LANGUAGES
Laurent Fribourg
ENS Cachan
SESSION A.4: SOFTWARE ENGINEERING
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
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
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
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
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
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the users
mailing list