[TYPES] Sixth Int'l Conf. on Practical Aspects of Declarative Languages: CFP

[Logic Programming Rsrch Association]

	[- apologies for multiple messages. 
         - please note PADL04 is colocated with the
		2nd summer school on computational logic, Jun 14-18
		(http://www.utdallas.edu/~rsv031000/summerschool/]
	   

_________________________________________________________________________

		     CALL FOR PARTICIPATION

		        FINAL PROGRAM

	PADL 2004: Sixth International Symposium on
	Practical Aspects of Declarative Languages

		       JUNE 18-19, 2004

		      Dallas, Texas, USA

	(Co-Located with the ALP/COMPULOG-Americas Summer School
	    on Computational Logic, June 14-17)

			Conference Website:

     		http://www.cse.buffalo.edu/PADL04

	     (includes registration and hotel information)

______________________________________________________________________

PADL is an excellent forum for researchers and practioners to present
and discuss original work on novel applications and implementation techniques
for all forms of declarative concepts emerging from functional, logic,
and constraint programming paradigms.

PADL 2004 features 15 contributed papers and two invited talks - by
Paul Hudak (Yale) and Andrew Fall (Dowlland Technologies and Simon Fraser).

The symposium proceedings are published by Springer Verlag as part of its
Lecture Notes in Computer Science series.

The conference is preceeded by a four-day Summer School (June 14-17).


______________________________________________________________________
			DAY 1: FRIDAY, JUNE 18
______________________________________________________________________


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: 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


2:00 - 3:30: IMPLEMENTATION OF LOGIC 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
(*) Universidade Federale do Rio de Janeiro, Brazil

______________________________________________________________________

3:30 - 4:00: 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: CONFERENCE DINNER



______________________________________________________________________
			DAY 2: SATURDAY, JUNE 19
______________________________________________________________________

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 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

"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
(*) University of Kent, Canterbury, U.K.

______________________________________________________________________

12:00 - 1:30: LUNCH

1:30 - 3:00: TYPE SYSTEMS - 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

______________________________________________________________________
PROGRAM COMMITTEE

Maurice Bruynooghe, KU Leuven, Belgium
Veronica Dahl, Simon Fraser University, Canada
Stefan Decker, USC Information Sciences Institute, USA
Olivier Danvy, University of Aarhus, Denmark
Matthew Flatt, University of Utah, USA
Gopal Gupta, University of Texas at Dallas, USA
Michael Hanus, University of Kiel, Germany
John Hughes Chalmers University, Sweden
Joxan Jaffar, National University of Singapore
Bharat Jayaraman, University at Buffalo, USA
Julia Lawall, DIKU, Denmark
Michael Leuschel, University of Southampton, U.K.
Gopalan Nadathur, University of Minnesota, USA
Enrico Pontelli, New Mexico State University, USA
C.R. Ramakrishnan, University at Stony Brook, USA
Tim Sheard Oregon, Graduate Institute, USA
Vitor Santos Costa, University of Rio de Janiero, Brazil
Paul Tarau, University of North Texas, USA

______________________________________________________________________
CONTACT INFORMATION

For more information about the Conference Program, please contact:

Dr. Bharat Jayaraman
Program Committee Chair - PADL 2004
Department of Computer Science and Engineering
University at Buffalo
Buffalo, NY, U.S.A.
Email: bharat at cse.buffalo.edu

For more information about Conference Arrangements, please contact:

Dr. Gopal Gupta
General Chair - PADL 2004
Department of Computer Science
University at Texas at Dallas
Dallas, TX, U.S.A.
Email: gupta at utdallas.edu

______________________________________________________________________

CONFERENCE WEBSITE:

     		http://www.cse.buffalo.edu/PADL04

	     (includes registration and hotel information)