August 1–12, 1977
Wrocław — Poland
Logic Colloquium '77
European Meeting of the Association for Symbolic Logic
Thirty years before LC 2007, LICS 2007, ICALP 2007, and PPDP 2007

Conference overview

Logic Colloquium '77 was held in Wrocław, Poland from August 1 to August 12, 1977 and was dedicated to the memory of Andrzej Mostowski. The conference was organized and financed by the Mathematical Institute of the Polish Academy of Sciences in collaboration with the Technical University of Wrocław and the University of Wrocław. An additional financial support was received from the Logic, Methodology and Philosophy of Science division of the International Union of History nad Philosophy of Science and from the Association for Symbolic Logic. The conference was recognized as the 1977 European Summer Meeting of the Association for Symbolic Logic.

During the opening session on Monday, August 1, two short addresses to pay tribute to the memory of Andrzej Mostowski were given by A. Hajnal and R. L. Vaught. On Wednesday, August 10, The elementary theory of well-ordering by J. E. Doner, A. Mostowski, and A. Tarski was read by J. E. Doner. A part of the results of this paper was announced by A. Mostowski and A. Tarski in 1949. The decision to publish those results was made by the authors during Professor Mostowski's last visit to Berkeley in summer 1975, shortly before his death.

Logic Colloquium '77 was mainly devoted to 29 full-hour and 20 half-hour invited lectures, divided into six symposia, on:

  • foundations of set theory,
  • infinite combinatorics,
  • applications of non-standard methods to probability theory,
  • model theory,
  • applications of model theory to algebra, and
  • an ASL symposium.

Most invited lectures were focused on set theory and model theory. There were also 5 invited lectures on interconnections between probability theory and logic, and a 5 hour course on Silver's machines taught by J. H. Silver (UC Berkeley).

In addition 65 contributed papers were accepted, 12 of which were read by title, and others were presented in 15 minutes talks scheduled in two parallel tracks.

The conference was attended by 258 participants from 24 countries (in particular 71 from Poland, 41 from other socialist countries, 88 from Western Europe, and 42 from United States).

Program committee

  • Kazimierz Kuratowski, Warsaw (honorary co-chairman)
  • Alfred Tarski, Berkeley (honorary co-chairman)
  • Jens Erik Fenstad, Oslo
  • Angus J. Macintyre, Yale
  • Leszek Pacholski, Wrocław (executive chairman)
  • Jeff B. Paris, Manchester

Local organizing committee

  • Leszek Pacholski (chairman)
  • Jerzy Tomasik
  • Jan Brzuchowski
  • Anna Jakubowicz
  • Antoni Kościelski
  • Lidia Węglorz

Social events

Sunday, August 7, 1977

  • Excursion to the Palace in Rogalin, exhibition of Zamoyski's Library and arboretum.
  • Tourist excursion to Kłodzko and Stołowe Mountains. Bonfire in A. Salwicki's backyard.
  • Excursion to Auschwitz concentration camp. Originally not planned, but organized on request from numerous participants.

Thursday, August 11, 1977

A cameral concert in Aula Leopoldina performed by musicians from Wrocław and one of the conference participants, French mathematician Jean-Luc Paillet.


A. Macintyre, L. Pacholski, J. Paris, eds., Logic Colloquium 77, Studies in Logic and the Foundations of Mathematics 96, North-Holland 1978. A collection of invited papers.

L. Pacholski, ed., European Meeting of the Association for Symbolic Logic — Wrocław 1977, J. Symbolic Logic 44 (3), Sept. 1979, 441–468. Abstracts of contributed papers.

A. Kościelski, L. Pacholski, Logic Colloquium '77, Wiadomości matematyczne, XXII, 1979, 79–84 (in Polish).