[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION!!! Tenth International Symposium on Practical Aspects of Declarative Languages 2008 (PADL '08) http://www.ist.unomaha.edu/padl2008/ San Francisco, USA January 7-8, 2008 Co-located with ACM POPL'08 You are cordially invited to the Tenth International Symposium on Practical Aspects of Declarative Languages that will be held on Jan 7-8, 2008 right before ACM POPL. The program includes invited talks by two eminent practitioners of declarative techniques/languages: John Launchbury and Walter Wilson. If you are attending ACM POPL, we encourage you to stay for a whole week in San Francisco and attend PADL as well. Please note that the deadline for early registration is fast approaching. Invited Talks: o Industrial Functional Programming John Launchbury o Large Scale Logic Servers in Business and Government Walter Wilson LIST OF ACCEPTED PAPERS o Efficient Reasoning for Nogoods in Constraint Solvers with BDDs Sathiamoorthy Subbarayan. o High-Level Database Programming in Curry Bernd Brassel, Michael Hanus and Marion Mueller. o Parser Combinators for Ambiguous Left-Recursive Grammars Richard Frost, Rahmatullah Hafiz and Paul Callaghan. o Switched-on Yampa. Declarative Programming of Modular Synthesizers George Giorgidze and Henrik Nilsson. o The Role of Abduction in Declarative Authorization Policies Moritz Y. Becker and Sebastian Nanz. o Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism Amadeo Casas, Manuel Carro and Manuel Hermenegildo. o Certified development tools implementation in Objective Caml B. Pagano, O. Andrieu, B. Canou, E. Chailloux, J-L Colaco, T. Moniot and P. Wang. o DCGs + Memoing = Packrat Parsing: But is it worth it? Ralph Becket and Zoltan Somogyi. o Model-Based Testing of Thin-Client Web Applications and Navigation Input P. Koopman, P. Achten and R. Plasmeijer. o Unification of Arrays in Spreadsheets with Logic Programming Phil Cox and Patrick Nicholson. o A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers M. Fernandez, K. Fisher, J. Nathan Foster, M. Greenberg and Y. Mandelbaum. o Automatic Coding Rule Conformance Checking Using Logic Programming G. Marpons, J. Mario, A. Herranz, L. Fredlund, M. Carro and J. J. Moreno-Navarro. o Multi-threading programming in Logtalk Paulo Moura, Paul Crocker and Paulo Jorge Nunes. o Scheduling light-weight parallelism in ARTCOP Jost Berthold, Abyd Al Zain and Hans-Wolfgang Loidl. o Specialising Simulator Generators for High-Performance Monte-Carlo Methods G. Keller, H. Chaffey-Millar, M. Chakravarty, D. Stewart and C. Barner-Kowollik. o Hierarchical Master-Worker Skeletons Jost Berthold, Mischa Dieterle, Rita Loogen and Steffen Priebe. o Comprehension and dependency analysis of aspect-oriented programs through declarative reasoning Laleh Mousavi Eshkevari, Venera Arnaoudova and Constantinos Constantinides. o An Improved Continuation Call-Based Implementation of Tabling Pablo Chico de Guzm?n, Manuel Carro, Manuel Hermenegildo, Cl?udio Silva and Ricardo Rocha. o Matchete: Paths through the Pattern Matching Jungle Martin Hirzel, Nathaniel Nystrom, Bard Bloom and Jan Vitek. o Flexible, Rule-based Constraint Model Linearisation Sebastian Brand, Gregory Duck, Jakob Puchinger and Peter Stuckey. Conference Organization: General Chair: Hai-Feng Guo Program Chair: Paul Hudak & David Warren