PLI 2001

Principles, Logics, and Implementations
of high-level programming languages

Firenze, Italy,
September 2 - September 8, 2001

Contact Information    Info for Participants    Registration and Accommodation     Final Program

Presentation

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 was held in September 1999 in Paris and brought together two popular conferences ICFP and PPDP focused on functional and declarative programming languages, and a collection of related satellite events. The second edition was held in September 2000 in Montreal (Canada).

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.

ACM-Sponsored Conferences 

ACM-Sponsored Workshops

Other co-located Workshops

Schedule of events

Sep 2
Sunday
Sep 3
Monday
Sep 4
Tuesday
Sep 5
Wednesday
Sep 6
Thursday
Sep 7
Friday
Sep 8
Saturday
  I C F P P P D P  
ERLANG   RULE   SAIG QAPL BABEL
HASKELL   VCL       FICS
SCHEME            

Organization

Co-chairs: Rocco De Nicola (Univ. Firenze), Benjamin Pierce (Univ. Pennsylvania)

Workshops chair: Betti Venneri (Univ. Firenze)

Publicity chair: Rosario Pugliese (Univ. Firenze)

Organizing Committee: Gianni Aguzzi (Univ. Firenze, co-chair), Giorgio Ghelli (Univ. Pisa, co-chair), Lorenzo Bettini (Univ. Firenze), Dario Colazzo (Univ. Pisa), Michele Loreti (Univ. Firenze)

Next Edition

PLI 2002

Past Editions

PLI 1999

PLI 2000

Sponsors

PLI 2001 is organized in collaboration with the ACM SIGPLAN

SIGPLAN

 

and with the sponsorship of