[Haskell] Re: PADL'08: Call for Participation (Early Reg. Deadline:
paul.hudak at yale.edu
Thu Dec 6 22:31:50 EST 2007
> CALL FOR PARTICIPATION!!!
> Tenth International Symposium on
> Practical Aspects of Declarative Languages 2008
> (PADL '08)
> 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 Guzman, Manuel Carro, Manuel Hermenegildo,
> Claudio 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
More information about the Haskell