Entfesselte Automaten
Ein Summercamp für Junginformatiker/innen im 2.-5. Semester
finanziert aus Mitteln der Exzellenzinitiative des Bundes und der Länder
Vom 19.-24. September 2010
Ein Computerprogramm ist eine Funktion f, die aus einer gegebenen Eingabe x in endlich vielen Schritten y ein Ergebnis z=f(x) berechnet...
Von wegen! Moderne Computer sind reaktiv: Terminierung ist die Ausnahme, nicht die Regel. Denken Sie an Ihr Handy, Ihr WLAN, ein eigebettetes Steuersystem. Statt einmalig ein Ergebnis zu berechnen, wird fortlaufend auf Impulse der Umgebung reagiert. Dabei kommt es auf Timing und Zuverlässigkeit an. Ein Airbag muss innerhalb weniger Millisekunden zünden. WLAN muss auch dann noch funktionieren, wenn gelegentlich die Mikrowelle läuft. Wir reden hier von der Steuerung von Echtzeit-Systemen, der Regelung Biotechnischer Prozesse, der Koordination von Sensornetzwerken, und ganz allgemein von der korrekten Funktion von Hardware und Software.
Um reaktive Systeme modellieren und analysieren zu können, muss man so manche Fessel der klassischen Automatentheorie abstreifen. Was passiert, wenn Berechnungen aus unendlich vielen Schritten bestehen? Was, wenn der Raum der möglichen Zustände unbegrenzt groß wird? Wie berücksichtigt man reale Zeit, wie probabilistische Effekte? Dieses Summercamp beschäftigt damit, wie man Automaten verwendet, um große Systeme zu bauen und zu steuern. Diese modernen Anwendungen brauchen eine moderne Theorie der Automaten, und diese befindet sich etwas abseits der klassischen Automatentheorie.
Im September 2010 werden bis zu 30 talentierte Junginformatikerinnen und Junginformatiker auf einen gemeinsamen Streifzug durch die Theorie und Praxis dieser "entfesselten Automaten" gehen. Fünf erfahrene Forscher aus den Bereichen der reaktiven und verlässlichen Systeme, der Realzeitsteuerungen und der BioTec-Anwendungen führen euch jeweils in mehreren interaktiven Sitzungen in die verschiedenen Themen ein. Das Ganze wird eingebettet in eine Reihe von Puzzles und Knobeleien, die wir teils gemeinsam, teils einzeln zu lösen versuchen.
Das Summercamp findet auf dem Saarbrücker Waldcampus der Universität des Saarlandes statt. Die Teilnahme ist kostenlos, aber streng limitiert. Sie haben Interesse daran, die Dinge zu verstehen, die das Fundament unserer heutigen Gesellschaft bilden? Wir setzen nur elementare Theoriekenntnisse voraus, hoffen aber auf ausgeprägte Neugier und viel Spass an den Grundlagen der modernen Informatik. Wenn Sie ausgewählt werden, bekommen Sie von uns zum Einstieg ein wenig Hintergrund zu einer spezifischen Fragestellung, die Sie dann beim Summercamp dem Kreis der Teilnehmer/innen vorstellen werden.
Wenn Sie die/der Richtige für das Summercamp "Entfesselte Automaten" sind, jetzt bewerben. Wir freuen uns auf Sie!