Logics of Programs

Logics of Programs 1985: Brooklyn College, New York, NY, USA

Logics of Programs 1983: Pittsburgh, PA, USA

Logics of Programs 1981: Yorktown Heights, NY, USA

Logics of Programs 1980: Poznan, Poland

Logics of Programs 1979: Zürich, Switzerland

maintained by Schloss Dagstuhl LZI at University of Trier