Logic of Programs

Workshop on Logic of Programs

  1. 1985

    Logic of Programs 1985

    • 17-19 June
    • Brooklyn, NY, USA
  2. 1983

    Logic of Programs 1983

    • 6-8 June
    • Pittsburgh, PA, USA
  3. 1981

    Logic of Programs 1981

    • 4-6 May
    • Yorktown Heights, NY, USA
  4. 1980

    Logic of Programs 1980

    • 23-29 August
    • Poznan, Poland
  5. 1979

    Logic of Programs 1979

    • 1 May - 31 July
    • Zurich, Switzerland