24. Mai 2018 ... Protokoll 24. Mai 2018 pdf 175.7 KB ...
24. Mai 2018 ... Protokoll 24. Mai 2018 pdf 175.7 KB ...
SECPPS Workshop at SE 24 in Linz ...
Talks ... Numerous talks in the seminar Logik und Informatik (Berne-Zurich), the colloquium Deduktive Aspekte von Beweistheorie und Informatik (Berne-Munich), and the Münchenwiler seminar Logic and Information (Berne-Fribourg-Neuchâtel). ... A list of publications and talks in pdf-format can be downloaded here .
24. November 2016 ... Protokoll 24. November 2017 pdf 226.3 KB ... 24. Interpellation: Angabe zur Raumbelegung HG Ü pdf 32.7 KB ...
24. November 2016 ... Protokoll 24. November 2017 pdf 226.3 KB ... 24. Interpellation: Angabe zur Raumbelegung HG Ü pdf 32.7 KB ...
24. September 2015 ... Protokoll 24. September 2015 pdf 496.2 KB ...
24. September 2020 ... Protokoll 24. September 2020 pdf 744 KB ...
24. September 2020 ... Protokoll 24. September 2020 pdf 744 KB ...
24. September 2015 ... Protokoll 24. September 2015 pdf 496.2 KB ...