[Apologies for any duplicates. -- P]
CALL FOR PARTICIPATION
First International Workshop
on
Practical Aspects of Declarative Languages
(PADL'99)
Menger Hotel
San Antonio, Texas
January 18-19, 1999
(Co-located with POPL'99)
http://www.cs.nmsu.edu/~complog/padl99
JANUARY 18th
08:30 - 08:35
Welcome and Opening Remarks
08:35 - 10:15 Software Engineering
Automated Benchmarking of Functional Data Structures
G. Moss and C. Runciman
(University of York, UK)
NP-SPEC: an Executable Specification Language for Solving all Problems in NP
M. Cadoli, L. Palopoli, A. Schaerf, D. Vasile
(Universita di Roma & Universita della Calabria, Italy)
Prototyping a requirements specification through an
automatically generated concurrent logic program
P. Letelier, P. Sanchez, I. Ramos
(Valencia University of Technology, Spain)
Multi-agent Systems Development as a Software Engineering Enterprise
M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, F. Zini
(Universita di Genoa, Italy, and MPI Saarbr�cken)
10:15 - 10:45 Coffee Break
10:45 - 12:00 Innovative Applications I
From Functional Animation to Sprite-based Display
C. Elliott (Microsoft Research, USA)
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
W. Kahl (Universit�t der Bundeswehr M�nchen, Germany)
Lambda in Motion: Controlling Robots with Haskell
J. Peterson, P. Hudak and C. Elliott (Yale University, USA)
12:00 - 01:30 Lunch (on your own)
01:30 - 02:30 Invited Talk
Experiences Building Distributed Systems in ML
Mark Hayden (Digital/Compaq Systems Research Center)
02:30 - 03:00 Coffee Break
03:00 - 04:15 Implementation
CHAT: The Copy-Hybrid Approach to Tabling
B. Demoen and K. Sagonas (Kotholieke Universiteit Leuven, Belgium)
The Influence of Parallel Computer Architectural Parameters
on Parallel Logic Programming Systems
M.G. Silva, I. Dutra, R. Bianchini, V.Santos Costa
(Federal University of Rio de Janeiro, Brazil)
Or Parallelism within Tabling
R. Rocha, F. Silva, V. Santos Costa
(University of Porto, Portugal)
04:15 - 04:30 Coffee Break
04:30 - 05:45 Declarative Query Processing
Mnesia: A Distributed Robust DBMS for Telecommunications Applications
H. Mattsson, H. Nilsson, C. Wikstrom (Ericsson Telecom AB, Sweden)
An AQUA-based Intermediate Language for Evaluating an
Active Deductive O-O Language
B. Siddabathuni, S.W. Dietrich, S.D. Urban
(Arizona State University, USA)
Implementing a Declarative String Query Language with String Restructuring
R. Hakli, M. Nykanen, H. Tamm, E. Ukkonen
(University of Helsinki, Finland)
JANUARY 19th
08:30 - 09:20 Systems Applications
Client-side Web Scripting with HaskellScript
E. Meijer, D. Leijen, J. Hook
(University of Utrecht, Holland, and OGI, USA)
MCORBA: A CORBA Binding for Mercury
D. Jeffery, T. Dowd, Z. Somogyi
(Univ. of Melbourne, Australia)
09:20 - 10:20 Invited Talk
ECLiPSe: Declarative Specification and Scaleable Implementation
Mark Wallace (IC-PARC, UK)
10:20 - 10:45 Coffee Break
10:45 - 12:00 Analysis
Dead Code Elimination through Dependent Types
H. Xi (OGI, USA)
Multiple Specialization of WAM Code
M. Ferriera and L. Damas (University of Porto, Portugal)
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
W.W. Vasconcelos (State University of Cesara, Brazil)
12:00 - 01:30 Lunch
01:30 - 02:45 Innovative Applications II
Applying Logic Programming to Derive Novel Functional Information of Genomes
A.K. Bansal and P. Bork (Kent State University, USA)
A Practical Application of Action Theory to the Space Shuttle
R. Watson (University of Texas at El Paso, USA)
Developing a Declarative Rule Language for Product Configuration
T. Soininen and I. Niemela
(Helsinki Univ. of Tech., Finland)
02:45 - 03:05 Coffee Break
03:05 - 04:20 Constraint Programming
University Timetabling Using Constraint Logic Programming
H-J. Goltz and D. Matzke (GMD-FIRST, Germany)
Constraint-based Resource Allocation and Scheduling in Steel Manifacturing
M. Carlsson, P. Kreuger, E. Astrom (SICS, Sweden)
Assertions with Constraints for CLP Debugging
C. Lai and J-F. Pique (PrologIA, France)
04:20 - 04:40 Coffee Break
04:40 - 06:00 Panel Discussion
What can declarative paradigms contribute to meet
the challenges of software engineering?
Panelists:
F. Anger, NSF
D. Schmidt, Kansas State
P. Wadler, Lucent
D. S. Warren, SUNY Stonybrook
Others TBD
Moderator: G. Gupta
-------------------------------------------------------------------
Conference Registration
Registation Rates:
Before Dec. 17th, 1998:
$ 150 Members of ACM or Association for Logic Programming
$ 175 Others
After Dec. 17th, 1998
$ 175 Members of ACM or Association for Logic Programming
$ 200 Others
Payments:
You can pay by credit card or by check. Please make checks
payable to New Mexico State University, in US$ drawn on a US bank.
Your check payment should be sent to
Gopal Gupta
Attn: PADL'99
Dept. of Computer Science
New Mexico State University
Box 30001, Dept. CS
Stewart Street, Science Hall #123
Las Cruces, NM 88003 USA
Registration includes proceedings and refreshments during coffee breaks
Please register via the web at http://www.cs.nmsu.edu/~complog/conferences/padl99
-------------------------------------------------------------------
Hotel Reservation Form
Fill out and fax directly to the Menger Hotel at: +1-210-228-0022 (Fax)
Single or Double Occupancy: $99.00 per night (+15% tax)
[special conference rate: Group name: Complog]
Name(s):__________________________________________
Affiliation:_________________________________________
Address:___________________________________________
___________________________________________
City: _________________________ State: _______________
Zip: _____________ Country:__________________________
Phones:
Voice_______________________________________
Fax _________________________________________
Arrival date: __________ # of nights: __________
# rooms: ________ # people: ____________
Special Needs:______________________________________
Guarantee room by credit card?
? American Express
? Visa
? MasterCard
? Carte Blanche
? Diners Club
? Discover
Credit card:________________________________________
Expiration date: ____________________________________
Signature:_________________________________________
