[Caml-list] PADL'13: Final Call for Participation (Early Reg. Deadline: Dec 31)

[Caml-list] PADL'13: Final Call for Participation (Early Reg. Deadline: Dec 31)

[Gopal Gupta]

                      FINAL CALL FOR PARTICIPATION!!!

                         Fifteenth Symposium on
              Practical Aspects of Declarative Languages 2013
                               (PADL '13)

                      http://www.it.uu.se/conf/padl2013/

                               Rome, Italy
                           January 21-22, 2013

                       Co-located with ACM POPL'13

You are cordially invited to the Fifteenth International Symposium on
Practical Aspects of Declarative Languages that will be held on Jan 21-22,
2013 right before ACM POPL. If you are attending ACM POPL, we encourage you
to stay for a whole week in Rome and attend PADL as well.

Please note that the deadline for early registration is fast approaching
(Dec 31).  You can register by visiting
  	https://regmaster4.com/2013conf/POPL13/register.php

INVITED TALK:

 	o Zipping Trees Across the Border - From Functional
 		Specification to Logic Programming Implementation
 			Tom Schrijvers

LIST OF ACCEPTED PAPERS:

  	o Implementing Equational Constraints in a Functional Language
  		B. Brassel, M. Hanus, B. Peem?ller and F. Reck.
 	o Dependently Typed Web Client Applications - FRP in Adga in HTML5
  		Alan Jeffrey.
  	o The Generalized Intensional Transformation for Implementing
 	  Lazy Functional Languages
 		G. Fourtounis, N. Papaspyrou and P. Rondogiannis.
  	o A Library for Declarative Resolution-Independent 2D Graphics
  		Paul Klint and Atze van der Ploeg.
  	o Analysing the Entire Wikipedia History with Database Supported 
Haskell
  	        G. Giorgidze, T. Grust, I. Halatchliyski and M. Kummer.
  	o Formalizing a Broader Recursion Coverage in SQL
  		G. Aranda, S. Nieva, F. Sa?enz-Perez and Jaime 
Sanchez-Hernandez.
  	o A Declarative Compositional Timing Analysis for Multicores Using the
  	  Latency-Rate Abstraction
  	        V. Rodrigues, B. Akesson, M. Florido and S. Melo de Sousa.
  	o LogicObjects: Enabling Logic Programming in Java Through Linguistic 
Symbiosis
  		Sergio Castro, Kim Mens and Paulo Moura.
  	o Supporting Pruning in Tabled LP
           	P. Chico De Guzm?n, M. Carro and M. Hermenegildo.
  	o A Portable and Efficient Implementation of Coinductive Logic 
Programming
  		Paulo Moura.
  	o A Declarative-friendly API for Web Document Manipulation
  		Benjamin Canou, Emmmanuel Chailloux and Vincent Balat.
  	o On the Efficient Implementation of Mode-Directed Tabling
 		Jo?o Santos and Ricardo Rocha.
  	o Terminyzer: An Automatic Non-Termination Analyzer for Large Logic 
Programs
 		Senlin Liang and Michael Kifer.
  	o Integrative functional statistics in logic programming
  		N. Angelopoulos, V. Santos Costa, J. Azevedo, J. Wielemaker
 		R. Camacho, and L. Wessels.
  	o Reversible Language Extensions and their Application in Debugging
  		Zo? Drey, Jose F. Morales, Manuel Hermenegildo and Manuel 
Carro.
  	o ProSQLite: Prolog file based databases via an SQLite interface
  		Sander Canisius, Nicos Angelopoulos, and Lodewyk Wessels.
  	o Parallel Performance of Declarative Programming using a PGAS Model
  		Rui Machado, Salvador Abreu and Daniel Diaz.