[TYPES] PADL 2005: Call for participation (early reg. deadline near)

Daniel Cabeza Gras bardo at clip.dia.fi.upm.es
Fri Dec 10 10:35:01 EST 2004


----------------------------------------------------------------------
       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 at 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/)



More information about the Types-list mailing list