8:00 - 9:00: BREAKFAST AND REGISTRATION
9:00 - 9:10: WELCOME AND OPENING REMARKS
9:10 - 10:10:
Invited Talk - Paul Hudak, Yale University
"An Algebraic Theory of Polymorphic Temporal Media"
10:15 - 10:30: COFFEE BREAK
10:30 - 12:30: Type Systems and Functional Programming - Session I
"A Typeful Approach to Object-Oriented Programming with Multiple Inheritance"
Chiyan Chen, Rui Shi, and Hongwei Xi, Boston University, USA
"Compositional Model-Views with Generic Graphical User Interfaces"
Peter Achten, Marko van Eekelen, Rinus Plasmeijer,
University of Nijmegen, The Netherlands
"An Implementation of Session Types"
Matthias Neubauer and Peter Thiemann,
Universitat Freiburg, Germany
"UUXML: A Type-Preserving XML Schema-Haskell Data Binding"
Frank Atanassow, Dave Clarke, and Johan Jeuring,
Utrecht University, The Netherlands
12:30 - 2:00: LUNCH BREAK
2:00 - 3:30: Implementation of Logic and Constraint Programs
"Improved Compilation of Prolog to C Using Moded Types and
Determinism Information"
J. Morales, Manuel Carro, and Manuel Hermenegildo (*),
Technical University of Madrid and (*) University of New Mexico
"A Generic Persistence Model for (C)LP Systems
(and two useful implementations)"
J. Correas, J.M. Gomez, M. Carro, D. Cabeza, and M. Hermenegildo (*),
Technical University of Madrid and (*) University of New Mexico
"Pruning in the Extended Andorra Model"
Ricardo Lopes, Vitor Santos Costa (*), and Fernando Silva,
University of Porto, Portugal, and
(*) Universidade Federale do Rio de Janeiro, Brazil
3:30 - 4:00: COFFEE BREAK
4:00 - 5:00: Answer Set Programming
"USA-Smart: Improving the Quality of Plans in Answer Set Planning"
Marcello Balduccini, Texas Tech University, USA
"ASP-Prolog: A System for Reasoning about Answer Set Programs in Prolog"
Omar Elkhatib, Enrico Pontelli, and Tran Cao Son,
New Mexico State University, USA
7:00: Visit to Mesquite Championship Rodeo Show and Texas Barbeque Dinner
8:00 - 9:00: BREAKFAST
9:00 - 10:00: Invited Talk - Andrew Fall, Gowlland Technologies and Simon Fraser University
"Supporting Decisions in Complex, Uncertain Domains with
Declarative Languages"
10:00 - 10:30 COFFEE BREAK
10:30 - 12:00: Declarative Programming
"Simplifying Dynamic Programming via Tabling"
Hai-Feng Guo, University of Nebraska at Omaha
Gopal Gupta, University of Texas at Dallas
(Selected by the Program Committee for the 'Most Practical Paper' Award)
"Symbolic Execution of Behavioral Requirements"
Tao Wang, Abhik Roychoudhury, Roland H.C. Yap, and S.C. Choudhary,
National University of Singapore, Singapore
"Observing Functional Logic Computations"
Bernd Brassel, Olaf Chitil (*), Michael Hanus, and Frank Huch,
Institut for Informatik, Kiel, Germany, and
(*) University of Kent, Canterbury, U.K.
12:00 - 1:30: LUNCH BREAK
1:30 - 3:00: Type Systems and Functional Programming - Session II
"Parametric Fortran - A Program Generator for Customized Generic
Fortran Extensions"
Martin Erwig and Zhe Fu, Oregon State University, USA
"Typing XHTML Web Applications in ML"
Martin Elsman and Ken Friis Larsen,
IT University of Copenhagen, Denmark
"Implementing Cut Elimination: A Case Study of Simulating Dependent
Types in Haskell"
Chiyan Chen, Dengping Shu, and Hongwei Xi,
Boston University, USA
3:00: END OF SYMPOSIUM