PLILP / ALP

PLILP : Programming Languages, Implementations, Logics and Programs

The PLILP symposia traditionally aim at stimulating research in declarative programming languages, and seek to disseminate insights in the relation between the logics of those languages, implementation techniques, and the use of these languages in constructing real programs.

ALP : Algebraic and Logic Programming

The ALP conferences traditionally promote the exchange of ideas and experiences among researchers from the declarative programming communities.

Events

  • SAS/PLILP/ALP '98
  • PLILP/ALP/DPLE/HOA '97
  • SAS/PLILP/ALP '96
  • PLILP/ALP'94

    • Steering Committee

    (PLILP)
    Pierre Deransart (INRIA, France)
    Jan Maluszynski  (Linchoeping Univ, Sweden)
    Maurice Bruynooghe (Leuven Univ, Belgium)
    Manuel Hermenegildo (Madrid Univ, Spain)
    Herbert Kuchen (Aachen Univ, Germany)
    Hugh Glaser (Southampton Univ, UK)
    Giorgio Levi (Pisa Univ, Italy)
    Jaan Penjam  (Tallinn Tech Univ, Estonia)

    (ALP)
    Pierre Lescanne (LORIA, France)
    Helene Kirchner (LORIA, France)
    Mario Rodriguez-Artalejo (Madrid Univ, Spain)
    Michael Hanus (Aachen Univ, Germany)
    Karl Meinke (Royal Inst of Tech, Sweden)

    (PLILP/ALP)
    Francois Fages (CNRS, ENS, France)
    Maurizio Gabbrielli (Pisa Univ, Italy)
    Gopalan Nadatur (Chicago University, USA)
    Catuscia Palamidessi (PSU, USA)