Schweizerische Gesellschaft für Logik und Philosophie der Wissenschaften (SGLPW)

SSLPS Annual Meeting 2026: Proof Theory and Algebra

The 2026 annual meeting will take place 2–4 June 2026 in Schwarzsee, organized by George Metcalfe and Simon Santschi of the University of Bern, and will be on the topic of “Proof Theory and Algebra”.

The interaction between proof theory and algebra has long played an important role in the development of modern logic. Algebraic perspectives provide powerful tools for understanding formal proofs, while proof-theoretic methods offer new insights into algebraic structures. The workshop "Proof Theory and Algebra" aims to bring together distinguished experts from both fields in order to foster new connections and stimulate further research at their interface.

For details see the annual meeting page.

SSLPS Annual Meeting

Upcoming and previous annual meetings of the SSLPS.

Paul Bernays Award

Starting in 2011, the Swiss Society for Logic and Philosophy of Science (SSLPS) awards each year the Paul Bernays Award to a young researcher for an outstanding contribution in the area of logic and philosophy of science.

Swiss Graduate Society for Logic and Philosophy of Science

The Swiss Graduate Society for Logic and Philosophy of Science SGSLPS consists of young graduate students and researchers in Switzerland, whose research interests are centered around logic and philosophy of science. The members of the SGSLPS are automatically members of the SSLPS.