Proseminar, Wintersemester 2014/15

News

• 30.06.2014: Wir sind online!

Termine

17.10.2014, 14:00	Einführungsveranstaltung Seminarraum Inf. 2 (Raum 4201b)
30.10.2014 13:30-15:30 04.11.2014 12:30-14:30 05.11.2014 11:00-13:00	Einführung in die Literaturrecherche
07.11.2014	Letzte Rücktrittsmöglichkeit
14.11.2014	Vorlage der Gliederung
08.12.2014	Erste vollständige Fassung der Ausarbeitung
05.01.2015	Endgültige Fassung der Ausarbeitung
19.01.2015	Erste vollständige Fassung der Folien
26.01.2015	Endgültige Fassung der Folien
03.02.2015 08:00-14:00/ 04.02.2015 14:00-20:00	Blockseminar Raum 9U09 (Informatik E3)/ Seminarraum Informatik 3 (E1)

Inhalt

Der Turing Award ist ein Preis, der seit 1966 jährlich von der US-amerikanischen Association for Computing Machinery (ACM) einem “individual selected for contributions of a technical nature made to the computing community” verliehen wird. Die Auswahl der Preisträger(innen) orientiert sich an der Bedeutung und der Nachhaltigkeit ihrer wissenschaftlichen Beiträge. Er gilt als höchste Auszeichnung in der Informatik und ist damit dem Nobelpreis oder der Fields-Medaille vergleichbar.

Das Ziel dieses Proseminars ist es, einige der herausragenden Beiträge vorzustellen, für die in den vergangenen Jahrzehnten Wissenschaftler(innen) ausgezeichnet wurden. Die entsprechende Auswahl orientiert sich an den Forschungsbereichen des Lehrstuhls für Informatik 2 und konzentriert sich somit auf das Gebiet der Softwaremodellierung und Verifikation. Daneben soll auch der Lebenslauf der Preisträger(innen) sowie die wichtigsten weiteren Forschungsergebnisse und deren Bedeutung für das Fach Informatik übersichtsartig dargestellt werden.

Themen

Nr.	Jahr	Thema	Referent(in)	Betreuer(in)
1	2013	Lamport: Bakery Algorithm	Daniel Neyburg	Christoph Matheja
2	2012	Goldwasser/Micali: Goldwasser-Micali-Kryptosystem	Lasse Mönch	Benjamin Kaminski
3	2010	Valiant: “Bulk Synchronous Parallel”-Rechnermodell	Abdulhamid Hasan Ayhan	Nils Jansen
4	2008	Liskov: Programmiersprache CLU	Hina Khan	Thomas Noll
5	2007	Clarke/Emerson/Sifakis: Model Checking	Daniel Bräuer	Christian Dehnert
6	2006	Allen: Datenflussanalyse	Patricia Wessel	Tim Lange
7	2005	Naur: Programmiersprache ALGOL 60	Tiago Antunes	Thomas Noll
8	2003	Kay: Programmiersprache Smalltalk	Sebastian Kießling	Thomas Noll
9	2002	Adleman/Rivest/Shamir: RSA-Kryptosystem	Louis Wachtmeister	Christian Dehnert
10	2000	Yao: Millionärsproblem	–	–
11	1998	Gray: Transaktionskonzept	Jose Minguez	Tim Lange
12	1996	Pnueli: Temporallogik	Kerstin Roßmaier	Christoph Matheja
13	1995	Blum: Berechnung des Medians in Linearzeit	Lukas von Brachel	Benjamin Kaminski
14	1989	Kahan: Genaue Addition von Gleitpunktzahlen	–	–
15	1986	Hopcroft/Tarjan: Starke Zusammenhangskomponenten in Graphen	–	–
16	1985	Karp: Rabin-Karp-Algorithmus zur Stringsuche	Julian Büning	Nils Jansen
17	1984	Wirth: Programmiersprache Pascal	Elena Casatchina	Thomas Noll
18	1982	Cook: Toom-Cook-Algorithmus	Selin Aydin	Christian Dehnert
19	1981	Codd: Normalformen für Relationale Datenbanken	Lukas Schönegge	Christoph Matheja
20	1980	Hoare: Hoare-Logik	–	–
21	1978	Floyd: Floyd-Warshall-Algorithmus	–	–
22	1977	Backus: Backus-Naur-Form	Dominik Baumgart	Benjamin Kaminski
23	1976	Rabin/Scott: Endliche Automaten	Sonja Zimmermann	Christian Dehnert
24	1974	Knuth: Knuth-Morris-Pratt-Algorithmus	Robert Kamuda	Tim Lange
25	1972	Dijkstra: Berechnung kürzester Pfade	Bural Aydemir	Tim Lange

Zeitplan

Zeit	Themen
Dienstag, 03.02.2015, Informatikzentrum, Gebäude E3, Raum 9U09
08:00-10:00	4, 7, 8, 17
10:15-11:45	1, 12,19
12:30-14:00	2, 13, 22
Mittwoch, 04.02.2015, Informatikzentrum, Gebäude E1, Raum 4312 (Inf. 3)
14:00-16:00	5, 9, 18, 23
16:15-17:45	6, 11, 24
18:00-19:30	25, 3, 16

Ausarbeitung und Vortrag

Hinweise zur Anfertigung der Ausarbeitung finden Sie hier. Weitere Informationen dazu sowie zum Vortrag gibt es bei der Einführungsveranstaltung.

Anmeldung

Die Anmeldung erfolgt zwischen dem 04. und dem 20.07.2014 über die zentrale Fachgruppenseite. Nachträgliche Anmeldungen sind nicht möglich.

Kontakt

Thomas Noll <noll at cs.rwth-aachen.de>