This is an archived page and is no longer updated.
Current content of Prof. Ladkin's research group is available at https://rvs-bi.de/

Special Course Offerings in Summer Semester 2014 / Sonderveranstaltungen im Sommersemester 2014

In keeping with the "internationalisation" of our Courses of Study, to make them attractive for students from other countries, the course offerings of the RVS group are conducted in English if the participants wish it. We have found also that many students of informatics whose native language is German also wish to improve their English and request that courses be conducted in English. The course desciptions here are in both German and English.

Lehrveranstaltungen/Courses Offered

392252 Human factors in sociotechnical systems (BS) (SS 2014)
392258 Security & Privacy in E/E/PE Systems II (S) (SS 2014)
392161 Formale Methoden in Software-Engineering II: Avoiding Software Disasters (S) (SS 2014)
392162 Themes in Applied Logic II (S) (SS 2014)


392258 Human factors in sociotechnical systems (Blockseminar) (SS 2014)

Beleg-Nr.: 392252
Zeit und Raum/Time and Place: First Meeting / Erstes Treffen: 01.04.2014, 10:00h, C0-259

Further dates will be agreed during the first meeting / Weitere Treffen werden auf dem ersten Treffen besprochen.

Kursinhalte / Contents

Hier findet sich eine ausführlichere Beschreibung der geplanten Inhalte.

392258 Security & Privacy in E/E/PE Systems II (S) (SS 2014)

Beleg-Nr.: 392258
Zeit und Raum/Time and Place: Wednesday / Mittwoch, 12-14h, C0-259

Kursinhalte / Contents

This seminar will discuss the problems and issues that arise from the deployment and operation of electronic infrastructure, such as computer networks, the so-called "Smart Grid" and others. Themes will include implications for privacy and ways to secure such systems so that they can be trusted with confidential and personal information.

In diesem Seminar werden Probleme diskutiert, die sich aus der Nutzung von elektronischer Infrastruktur ergeben, wie beispielsweise Computernetze aber auch das sogenannte "Smart Grid". Themen werden den Einfluss auf die Privatsphäre beinhalten sowie die MMöglichkeiten, solche Systeme abzusichern, so dass ihnen vertrauliche und persönliche Daten anvertraut werden k&uoml;nnen.


392161 Formale Methoden in Software-Engineering II: Avoiding Software Disasters (S) (SS 2014)

Beleg-Nr.: 392161
Zeit und Raum/Time and Place: Wednesday / Mittwoch, 12-14h, C0-288

Kursinhalte / Contents

One of us came upon this seminar and thought it was a good idea to do something similar. Thanks a lot to our colleague Tobias Nipkow.

Wir sind auf dieses Seminar gestoßen und halten eine ähnliche Veranstaltung hier für eine gute Idee. Vielen Dank an den Kollegen Tobias Nipkow.


392162 Themes in Applied Logic II (S) (SS 2014)

Beleg-Nr.: 392162
Zeit und Raum/Time and Place: Wednesday / Mittwoch, 12-14h, C0-288

Kursinhalte / Contents

Wir können unterschiedliche angewandte formale Sonderlogiken studieren, z.B., Paraconsistent Logic, Free Logic, Counterfactual Logic, BDI Logic, BAN Logic. Wir haben in der Gruppe auch SW zur Verfügung, die erlaubte, textuale Argumente auseinander zu nehmen und in ein Argumenten-Datenbank zu speichern. Die SW werden wir gerne anwenden und weiter entwickeln und die Möglichkeit besteht, dies innerhalb dieses Seminars zu tun. Entschieden wird bei einer Diskussion am ersten Treffen.

We can study various specialist applied formal logics, such as Paraconsistent Logic, Free Logic, Counterfactual Logic, BDI Logic, BAN Logic. We have also written some software with which textual Arguments can be analysed and stored in an Argument Database. We would like to develop this SW further, and there is the possibility to do it in this seminar. The decision as to seminar content will be taken through discussion at the first meeting.