---------------------------------------------------------------------- Apologies for multiple copies or if you are not interested ---------------------------------------------------------------------- CALL FOR PARTICIPATION
* NEW: Provisional Program included *
Seventh International Symposium on Practical Aspects of Declarative Languages 2005 (PADL 05)
http://www.unm.edu/~herme/padl05/
Long Beach, California, USA January 10-11, 2005
Co-located with ACM POPL, January 12-14, 2005
Early registration deadline: ** December 15th **
Declarative languages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of different real-world situations, including database management, active networks, software engineering, decision support systems, or music composition.
New developments in theory and implementation have opened up new application areas. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications often drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well.
PADL is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include:
* Innovative applications of declarative languages. * Declarative domain-specific languages and applications. * Practical applications of theoretical results. * New language developments and their impact on applications. * Evaluation of implementation techniques on practical applications. * Novel implementation techniques relevant to applications. * Novel uses of declarative languages in the classroom. * Practical experiences.
PADL 05 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the first six PADL symposia (past proceedings can be found in Springer Verlag LNCS, numbers 1551, 1753, 1990, 2257, 2562, and 3057).
In this occasion PADL is co-located, as traditionally, with ACM POPL, which will be held immediately following PADL, January 12-14.
PROGRAM CHAIRS
Manuel Hermenegildo The University of New Mexico AND Universidad Politecnica de Madrid Daniel Cabeza Universidad Politecnica de Madrid
PROGRAM COMMITTEE
Kenichi Asai Ochanomizu University, Japan Manuel Carro T.U. Madrid, Spain Bart Demoen K.U. Leuven, Belgium Robert Findler The University of Chicago, US John Gallagher Roskilde University, Denmark Hai-Feng Guo University of Nebraska at Omaha, US Gopal Gupta University at Texas at Dallas, US (General Chair) Chris Hankin Imperial College London, UK Joxan Jaffar National U. of Singapore, Singapore Alan Mycroft Cambridge University, UK Gopalan Nadathur U. of Minnesota, US Lee Naish U. of Melbourne, Australia Simon Peyton-Jones Microsoft Research, US John Reppy University of Chicago, US Morten Rhiger Roskilde University, Denmark Francesca Rossi University of Padova, Italy Vitor Santos-Costa U, Federal do Rio de Janeiro, Brazil Terrance Swift S.U. of New York at Stony Brook, US David S. Warren S.U. of New York at Stony Brook, US
INVITED SPEAKERS
Norman Ramsey Harvard University Saumya Debray The University of Arizona
PROVISIONAL PROGRAM
Day 1: Monday, Jan 10th, 2005
12:00 - 1:00 : REGISTRATION
1:00 - 1:10 : WELCOME AND OPENING REMARKS
1:10 - 2:10 : Invited talk - Norman Ramsey, Harvard University
"Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction"
2:10 - 2:30 : COFFEE BREAK
2:30 - 4:00 : Practical Applications
"Character-Based Cladistics and Answer Set Programming" Daniel Brooks, Esra Erdem, James Minett, Donald Ringe
"Specializing Narrowing for Timetable Generation: A Case Study" Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frederic Prost
"Functional Framework for Sound Synthesis" Jerzy Karczmarczuk
4:00 - 4:30 : COFFEE BREAK
4:30 - 6:30 : Functional Programming
"A Full Pattern-based Paradigm for XML Query Processing" Benzaken Véronique, Castagna Giuseppe, Miachon Cédric
"Type Class Directives" Bastiaan Heeren, Jurriaan Hage
"Improved Fusion for Optimizing Generics" Sjaak Smetsers, Artem Alimarine
"The Program Inverter LRinv and its Structure" Masahiko Kawabe, Robert Glueck
8:00 pm : PADL Dinner
Day 2: Tuesday, Jan 11th, 2005
8:00 - 9:00 : BREAKFAST
9:00 - 10:00 : Invited talk - Saumya Debray, University of Arizona
"Code Compression"
10:00 - 10:30 : COFFEE BREAK
10:30 - 12:00 : Constraint Programming
"Solving Constraints on Sets of Spatial Objects" Jesus M. Almendros-Jimenez, Antonio Corral
"Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization" James Bailey, Peter Stuckey
"Solving Collaborative Fuzzy Agents Problems with CLP(FD)" Susana Munoz-Hernandez, Jose Manuel Gomez-Perez
12:00 - 1:30 : LUNCH BREAK
1:30 - 3:00 : Implementation of Logic Programming Extensions
"A Provably Correct Compiler for Efficient Model Checking of Mobile Processes" Ping Yang, Yifei Dong, C.R. Ramakrishnan, Scott A. Smolka
"An Ordered Logic Program Solver" Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
"Improving Memory usage in the BEAM" Ricardo Lopes, Vitor Santos-Costa
3:00 - 3:30 : COFFEE BREAK
3:30 - 5:30 : New Language Developments
"Role-based Declarative Synchronization for Reconfigurable Systems" Vlad Tanasescu, Pawel Wojciechowski
"Towards a More Practical Hybrid Probabilistic Logic Programming Framework" Emad Saad, Enrico Pontelli
"Safe Programming with Pointers through Stateful Views" Dengping Zhu, Hongwei Xi
"Towards Provably Correct Code Generation via Horn Logical Continuation Semantics" Qian Wang, Gopal Gupta, Michael Leuschel
5:30 : END OF SYMPOSIUM
CONTACTS
Please visit the conference web site:
http://www.unm.edu/~herme/padl05/
for further information.
For additional information about the conference please contact the General Chair:
Gopal Gupta Department of Computer Science University at Texas at Dallas, Dallas, TX, U.S.A. gupta(a)utdallas.edu
SPONSORED BY: ACM SIGPLAN (applied for), COMPULOG Americas (http://www.cs.nmsu.edu/~complog), The Association for Logic Programming (http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/)
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------