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

ICFP: International Conference on Functional Programming
PPDP: Principles and Practice of Declarative Programming

ACM-Sponsored Workshops

BABEL: Multilanguage Infrastructure and Interoperability
HASKELL Workshop
QAPL: Quantitative Aspects of Programming Languages
RULE: Rule-Based Programming
SAIG: Semantics, Applications, and Implementation of Program Generation
SCHEME: Scheme and Functional Programming
VCL: Verification and Computational Logic

Other co-located Workshops

ERLANG Workshop
FICS: Fixed Points in Computer Science

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