Mitglied der SCNAT

Die SGLPW fördert sowohl die Entwicklung wie auch das Studium von Logik und Philosophie der Wissenschaften und hat das Ziel, die sich für das Gebiet interessierenden Personen zusammen zu bringen.

Bild: OscarLoRo, stock.adobe.com

SSLPS Annual Meeting 2024: Proof Systems for Mathematics and Verification

The SSLPS annual meeting 2024 will take place June 14-15, in Lausanne. The aim of the meeting is to promote and compare proof systems in formal verification, logic, and mathematics, motivated by the potential for collaboration between formal methods in computer science, collaborative formal mathematics, and AI. For further information and programme visit the website: https://proofs.swiss/ps/2024/



Paul Bernays Award 2023

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.

Kontakt

Schweizerische Gesellschaft für Logik und Philosophie der Wissenschaften (SGLPW)
c/o Prof. Dr. George Metcalfe
Universität Bern
MAI
Sidlerstrasse 5
3012 Bern


The current board of SSLPS:

  • Prof. Dr. George Metcalfe (President)
  • Prof. Dr. Thomas Studer (Vice-President)
  • Prof. Dr. Fabrice Correia (Secretary)
  • Prof. Dr. Jacques Duparc (Treasurer)
  • Prof. Dr. Marcel Weber
  • Tit. Prof. (Université de Fribourg) Dr. Giovanni Sommaruga

  • Simon Santschi (SGSLPS Delegate)