SGLPW/SSLPS: Schweizerische Gesellschaft für Logik und Philosophie der Wissenschaften
Höhepunkt eines SSLPS Jahres ist jeweils die Jahrestagung der Gesellschaft, die 2024 zum Thema «Proof Systems for Mathematics and Verification» in Lausanne durchgeführt wurde. Unsere Nachwuchsorganisation, die «Swiss Graduate Society for Logic and Philosophy of Science» (SGSLPS), organisierte zwei Veranstaltungen zu den Themen «Algebraic Logic» in Bern und «Model Theory» in Lausanne. Schliesslich wurde zum vierzehnten Mal der Paul Bernays Award für NachwuchswissenschaftlerInnen verliehen. Der Preisträger von 2024 ist Dr. Lorenzo Cocco.
Die SSLPS Jahrestagung 2024 fand am 14. und 15. Juni an der EPFL in Lausanne statt. Das Thema der Tagung lautete «Proof Systems for Mathematics and Verification». Die folgenden Experten aus den Gebieten Formalisierung von Beweisen, Verifizierung, Beweistheorie und automatisiertes Theorem-Proving haben eingeladene Vorträge gehalten:
- Bruno Andreotti (UFMG, Brasilien)
- Jeremy Avigad (CMU, USA)
- Jasmin Blanchette (LMU, Deutschland)
- Chelsea Edmonds (Sheffield, UK)
- Mathias Fleury (Freiburg, Deutschland)
- Carsten Fuhs (Birbeck, UK)
- John Harrison (AWS, USA)
- Roussanka Loukanova (BAS, Bulgarien)
- Assia Mahboubi (INRIA, Frankreich)
- Julian Parsert (Innsbruck, Österreich)
- Philipp Rümmer (Regensburg, Deutschland)
- Natarajan Shankar (SRI, USA)
- Lutz Strassburger (Polytechnique, Frankreich)
- Geoff Sutcliffe (University of Miami, USA)
Weitere Informationen zur Tagung finden sich unter dem folgenden Link:
https://proofs.swiss/ps/2024/
Im Jahr 2024 organisierte die Swiss Graduate Society for Logic and Philosophy of Science (SGSLPS) zwei Workshops. Der erste Workshop fand am 28. Mai 2024 in Bern statt und bestand aus Tutorials von Tommaso Moraschini (University of Barcelona, Spanien) und Sara Ugolini (IIIA-CSIC, Spanien). Der zweite Workshop wurde am 4. Dezember 2024 in Lausanne durchgeführt und bestand aus Tutorials von Rosario Mennuni (University of Milan, Italien) und Elisabeth Bouscaren (CNRS - Université Paris-Saclay, Frankreich). Eine Zusammenfassung der Beiträge dieses Workshops kann unter den folgenden Links gefunden werden:
http://www.sgslps.ch/past/f24 und https://www.sgslps.ch/past/w24.php.
Die Veranstaltungen der Swiss Graduate Society for Logic and Philosophy of Science (SGSLPS) wurden schon in der Rubrik «Tagungen/Kurse» beschrieben. Die Gesellschaft hat im Berichtsjahr Beiträge an junge WissenschaftlerInnen zur Teilnahme an Tagungen ausgerichtet. Auch wurde 2024 zum vierzehnten Mal der Paul Bernays Preis vergeben. Preisträger des Paul Bernays Preises 2024 ist Dr. Lorenzo Cocco, dem der Preis für seine ausgezeichnete Dissertation «Field's Program» (Betreuer: Prof. Christian Wüthrich und Prof. Vincent Lam) zugesprochen wurde. Nähere Informationen zum Paul Bernays Preis sind hier einzusehen: https://sslps.ch/paul_bernays_award
Die Gesellschaft unterhält eine Website: https://sslps.ch/
Und die Graduate Society hat ihre eigene Website: http://www.sgslps.ch/
Siehe «Tagungen/Kurse»