Formal Description of Programming Concepts 1977: St. Andrews, NB, Canada

Session 1, Monday morning, August 1, Chairman: Manfred Paul

Session 2, Monday afternoon, August 1 Chairman: Robert D. Tennent

Session 3, Tuesday morning, August 2, Chairman: Edward K. Blum

Session 4, Tuesday afternoon, August 2, Chairman: Claude Pair

Session 5, Wednesday morning, August 3, Chairman: Raymond E. Miller

Session 6, Thursday morning, August 4, Chairman: Shigeru Igarashi

Session 7, Thursday afternoon, August 4, Chairman: Andrei P. Ershov

Session 8, Friday morning, August 5, Chairman: Jaco W. de Bakker

maintained by Schloss Dagstuhl LZI, founded at University of Trier