Atlas home || Conferences | Abstracts | about Atlas
Host: Maison de la Chimie
Sponsor: INRIA in collaboration with the ACM SIGPLAN
Homepage: http://pauillac.inria.fr/pli/
Description:
The colloquium on Principles, Logics, and Implementations of high-level programming languages is a collection of conferences and workshops aimed at the advancement of high-level programming languages. The first edition of PLI will be held in September 1999 in Paris and will bring together two popular conferences ICFP and PPDP focused on functional and declarative programming languages, and a collection of related satellite events.
The events composing PLI will cover a spectrum of topics important to language development and use, including issues such as semantics, design, analysis, implementation, and application. Theoretical issues relevant to language design and programming, such as the use of type theory, logic, and logical methods in understanding and efficiently carrying out computations, will be represented. Implementation questions will provide an emphasis on compilation methods, distributed computation and static debugging techniques. There will also be a focus on industrial and educational applications. The programming languages and paradigms that are of interest have a special significance in the practice of software and at least one objective is to enhance the state-of-the-art in this realm.
PLI 99 comprises the following conferences and workshops :
ICFP : International Conference on Functional Programming PPDP : Principles and Practice of Declarative Programming
Two-day workshops :
HOOTS : Higher-Order Operational Techniques in Semantics IDL : Implementation of Declarative Languages
One-day workshops :
COCL : Component-based Software Development in Computational Logic DPS : Declarative Programming with Sets FDPE: Functional and Declarative Programming in Education HASKELL workshop LFM : Logical Frameworks and Meta-languages OOSDS : Object-oriented Specification Techniques for Distributed Systems and Behaviours WAAAPL : Workshop on Algorithmic Aspects of Advanced Programming Languages
Related event:
ERCIM Working Group on Programming Language Technologies
Date received: June 11, 1999
© 2008 Atlas Conferences Inc.