Blockseminar Engineering Intelligent Distributed Systems
Aktuelles
- 26.04.2013: Bitte nehmen Sie Ihren Studentenausweis mit zum Seminar (für die Unterkunft nötig!)
- 26.04.2013: Seminarablauf und Anreisehinweise online
- 27.03.2013: Bewertungskriterien online
- 19.03.2013: Themenvergabe abgeschlossen: Die Themenvergabe ist abgeschlossen. Über UniWorX wurde die Zuteilung verschickt.
- 13.03.2013: Themenvergabe: Ab sofort ist die Themenvergabe gestartet. Die Themen und eine kurze Beschreibung sind hier zu finden (bitte Bachelor- und Masterthemen beachten). Alle Teilnehmer haben einen Link zu einem Doodle-Poll per UniWorX erhalten. Bitte wählen Sie bis Montag, den 18.03.2013 12 Uhr, ein Thema aus und tragen sich in den Doodle-Poll ein. Bei eventueller Mehrfachbelegung werden wir am Montag Rücksprache mit den betroffenen Teilnehmern halten.
- 28.02.2013: vorzeitiger Anmeldungsschluss: Die Anmeldung wurde vorzeitig geschlossen, da bereits heute alle 12 Plätze des Seminars besetzt waren und weitere 10 Personen auf der Warteliste stehen. Sollte jemand einen Platz bekommen haben, ihn aber nicht wahrnehmen wollen/können, bitten wir um Absage bis Montag, den 04.03.2013, an Annabelle Klarl. Alle weiteren Informationen zur Themenvergabe werden im Laufe der nächsten Woche per UniWorX verschickt.
- 14.02.2013: Seminaranmeldung: Die Seminaranmeldung erfolgt per UniWorX auf einer "first come-first serve"-Basis. Die Anmeldung ist ab 25.02.2013 12 Uhr für 2 Wochen frei geschalten.
- 14.02.2013: Seminarablauf: Das Seminar findet als Blockseminar vom 10.-12.05.2013 auf Frauenchiemsee statt. Die Kosten werden für die Teilnehmer aus den Studiengebühren finanziert.
- 14.02.2013: Themen: Die Themen der Seminarvorträge werden im Lauf der nächsten Woche online gestellt. Konkrete Themenvorschläge werden nach der Anmeldung zur Verfügung gestellt.
- 14.02.2013: Informationen über den Ablauf des Seminars und Seminaranforderungen (Bachelor und Master) online.
Inhalte
The development of new software-intensive systems has had a large influence on the gains in productivity and prosperity that society has seen in recent years, and software is now in control of more and more systems whose failure may impact our quality of life or even have critical consequences for infrastructure, economy or human lives. These systems are becoming increasingly distributed and decentralized, assembled as dynamically changing orchestrations of services provided by different stakeholders; they are expected to adapt to continuously changing requirements and environments without being permanently monitored, reconfigured and reprogrammed by their operators.
The challenges posed by these systems are beyond the current state of the art of software engineering. To build these kinds of systems - which are often called ensembles - we need to integrate techniques from artificial intelligence, multi-agent systems and formal methods into the existing software and systems engineering approaches. In this seminar we will discuss the foundations for engineering intelligent distributed systems, as well as the formalisms, techniques and languages that are currently being developed by the ASCENS research project for this purpose. Topics are search, knowledge representation and logic programming, planning and reasoning under uncertainty, machine learning, and multi-agent systems.
Termine
Dieses Seminar findet als Blockseminar am 10. - 12.05.2013 auf Frauenchiemsee statt. Anreise ist bis Freitag mittag, Abreise Sonntag nachmittag (genauere Angaben folgen). Alle Teilnehmer werden im
Kloster Frauenchiemsee untergebracht. Die Kosten des Seminars werden für Studenten aus den Studiengebühren finanziert, lediglich die Anreisekosten müssen von den Teilnehmern selbst getragen werden.
- 25.02.2013, 12:00 Uhr: Bewerbungsbeginn per UniWorX (first come, first serve)
- 11.03.2013, 12:00 Uhr: Bewerbungsschluss, anschließend Themenvergabe per Doodle (Themen)
- 18.03.2013, 12:00 Uhr: Ende der Themenvergabe
- bis 19.04.2013: Treffen mit dem Betreuer des Themas (die Teilnehmer melden sich bitte selbstständig zur Terminabsprache beim Betreuer)
- 29.04.2013: Abgabe der Folien für den Vortrag
- 06.05.2013: Abgabe der Ausarbeitung
- 10.-12.05.2013: Blockseminar auf Frauenchiemsee
Ablauf des Seminars:
Bitte planen Sie Ihre Anreise so, dass Sie spätestens um 13:30 Uhr auf Frauenchiemsee ankommen. Sie sollten Ihr Zimmer im
Kloster Frauenchiemsee beziehen, bevor wir um 14:00 Uhr mit dem offiziellen Teil des Seminars ebenfalls im Kloster Frauenchiemsee beginnen. Für alle Teilnehmer sind die Unterkünfte inklusive Vollpension bereits reserviert und bezahlt. Die An- und Abreisekosten sind von den Teilnehmern selbst zu tragen. Bitte nehmen Sie Ihren
Studentenausweis mit!
Freitag 10.05.
ab 13:00 Anreise
14:00 - 18:00 Einführung und Themenblock Search (Themen 1-3)
18:00 - 19:00 Abendessen
Samstag 11.05.
08:00 - 09:00 Frühstück
09:00 - 12:00 Themenblock Logic and Planning (Themen 4-6)
12:00 - 14:30 Mittagessen und Pause
14:30 - 18:00 Themenblock Learning (Themen 7-9)
18:00 - 19:00 Abendessen
Sonntag 12.05.
08:00 - 09:00 Frühstück
09:00 - 12:00 Themenblock Multi-Agent Systems (Themen 10-12) und Abschluss
12:00 - 13:00 Mittagessen
ab 13:00 Abreise
Hinweise zur An- und Abreise:
Frauenchiemsee ist nur per Schiff zu erreichen! Die
Chiemsee Schifffahrt bietet zwei Fähren, die Frauenchiemsee anfahren: Von Gstadt startend ist die Fahrtzeit nur 5 Minuten, allerdings ist Gstadt selbst nur mit dem Auto zu erreichen. Von Prien startend beträgt die Fahrzeit eine knappe halbe Stunde; hier ist eine Anreise per Auto oder Bahn möglich. Bitte organisieren Sie Ihre An- und Abreise mit Auto/Bahn und Schiff selbst und bilden Sie gegebenenfalls Fahrgemeinschaften. Wir erwarten alle Teilnehmer pünktlich zum Seminarbeginn um 14:00 Uhr im
Kloster Frauenchiemsee.
Personen
Dozent
Übungsleitung
Materialien
Die folgenden Materialien unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.
- Vorlagen für den Vortrag: PowerPoint-Vorlage, OpenOffice-Vorlage
- Vorlagen für die Ausarbeitung: Latex-Vorlage, PDF der Vorlage, Beispielausarbeitung
Bewertungskriterien
Vortrag
- Inhalt: Motivation und Einführung, Gliederung, Argumentationskette, Abstraktionsniveau, Vollständigkeit
- Form: Form der Folien (Schriftgröße, Diagramme, Folien nicht überladen), freie Rede, sprachliche Verständlichkeit (deutliche Sprechweise, Wortwahl), Einhalten der Zeit
- Beantwortung von Fragen
Ausarbeitung
- Darstellung: Klarheit des Textes, sprachliche Gewandtheit, äußere Form, Rechtschreibung, Quellenangaben, sinnvolle Darstellung von Abbildungen
- Hinführung: Abstract, Einleitung und Motivation
- Hauptteil: Argumentationskette, Darstellung der Hauptresultate
- Abschluss: Schlussbewertung und Zusammenfassung, Ausblick
Hörerkreis
Bachelor und Master Informatik oder Medieninformatik
- Das Seminar kann als Bachelorseminar besucht werden. Dieses gibt 3 ECTS-Punkte. Gefordert ist dafür ein Vortrag von 45 Minuten mit anschließender 15 minütiger Diskussion und eine Ausarbeitung mit 5-10 Seiten.
- Das Seminar kann als Masterseminar angerechnet werden. Dieses gibt 6 ECTS-Punkte. Gefordert ist dafür ein Vortrag von 45 Minuten mit anschließender 15 minütiger Diskussion und eine Ausarbeitung mit 10-15 Seiten.
Benötigte Vorkenntnisse
Literatur
Tools
