Talks on Sebastian Krings https://www.krin.gs/talks/ Recent content in Talks on Sebastian Krings Hugo -- 0.166.0 en Mon, 11 Jul 2022 00:00:00 +0000 Experience Report on a Student-Organized AI Course https://www.krin.gs/talks/iticse2022/ Mon, 11 Jul 2022 00:00:00 +0000 https://www.krin.gs/talks/iticse2022/ ITiCSE 2022, Dublin, Ireland and virtual Analyzing Security Aspects of Software Architectures https://www.krin.gs/talks/embeddedworld2022/ Wed, 22 Jun 2022 00:00:00 +0000 https://www.krin.gs/talks/embeddedworld2022/ Embedded World Conference 2022, Nuremberg, Germany A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System https://www.krin.gs/talks/abz2021/ Thu, 10 Jun 2021 00:00:00 +0000 https://www.krin.gs/talks/abz2021/ ABZ 2021 – 8th International Conference on Rigorous State Based Methods, virtual Testing, Model Checking and Static Analysis – Dream Team or Rivals? https://www.krin.gs/talks/embeddedworld2021/ Thu, 04 Mar 2021 00:00:00 +0000 https://www.krin.gs/talks/embeddedworld2021/ Embedded World Conference 2020, virtual Embedding SMT-LIB into B for Interactive Proof and Constraint Solving https://www.krin.gs/talks/ifm2019/ Fri, 06 Dec 2019 00:00:00 +0000 https://www.krin.gs/talks/ifm2019/ iFM 2019, Bergen, Norway Inquiry- and Research-based Teaching in a Course on Model Checking https://www.krin.gs/talks/fmfun2019-1/ Mon, 02 Dec 2019 00:00:00 +0000 https://www.krin.gs/talks/fmfun2019-1/ FMFun 2019, Bergen, Norway Prototyping Games using Formal Methods https://www.krin.gs/talks/fmfun2019-2/ Mon, 02 Dec 2019 00:00:00 +0000 https://www.krin.gs/talks/fmfun2019-2/ FMFun 2019, Bergen, Norway Prolog Coding Guidelines: Status and Tool Support https://www.krin.gs/talks/iclp19/ Sun, 22 Sep 2019 00:00:00 +0000 https://www.krin.gs/talks/iclp19/ ICLP 2019, Las Cruces, NM, USA Towards Constraint Logic Programming over Strings for Test Data Generation https://www.krin.gs/talks/declare2019/ Wed, 11 Sep 2019 00:00:00 +0000 https://www.krin.gs/talks/declare2019/ DECLARE 2019, Cottbus, Germany IT-Sicherheit - ist das wirklich so wichtig? https://www.krin.gs/talks/dinner2019/ Wed, 26 Jun 2019 00:00:00 +0000 https://www.krin.gs/talks/dinner2019/ Table Talk and more ..., Monforts Quartier, Mönchengladbach, GER Datenschutz und IT-Sicherheit - geht es nicht auch ohne? https://www.krin.gs/talks/vafa2019/ Sat, 06 Apr 2019 00:00:00 +0000 https://www.krin.gs/talks/vafa2019/ JHV 2019 - VAFA - Verband Automaten-Fachaufsteller e. V., Boppard, GER Informationssicherheits-Management in Kliniken https://www.krin.gs/talks/isms2018/ Wed, 07 Nov 2018 00:00:00 +0000 https://www.krin.gs/talks/isms2018/ European Cyber Security Month, Hochschule Niederrhein, Mönchengladbach, GER Ethical Hacking Workshop https://www.krin.gs/talks/ethicalhacking2018/ Mon, 05 Nov 2018 00:00:00 +0000 https://www.krin.gs/talks/ethicalhacking2018/ European Cyber Security Month, Hochschule Niederrhein, Mönchengladbach, GER Three is a crowd: SAT, SMT and CLP on a chessboard https://www.krin.gs/talks/padl2018/ Mon, 08 Jan 2018 00:00:00 +0000 https://www.krin.gs/talks/padl2018/ 20th International Symposium on Practical Aspects of Declarative Languages, Los Angeles, USA