Seminar "Aktuelle Schwerpunkte der deutschen Informatik-Forschung"

4.1.32 S2 c Inf CV InfMSc CVMSc - KLIPS

Seminar im Sommersemester 2008

Prof. Dr. Bernhard Beckert (BB)
Prof. Dr. Ulrich Furbach (UF)
Mitarbeiter der Arbeitsgruppe Künstliche Intelligenz

Aktuelles

03.07.08: Der letzte Seminartermin am 08.07. ist ein Doppeltermin mit vier Vorträgen. Wir beginnen schon um 10:00 s.t.
25.05.08: Der Beginn der Vorträge ist um zwei Wochen auf den 10.06.08 verschoben.
25.04.08: Die Reihenfolge der Vorträge und die Betreuer stehen fest. Alle Vorträge finden nach den Pfingsterien statt. Die genauen Termine der einzelnen Vorträge werden noch festgelegt.
19.04.08:
Die Reihenfolge der Vorträge wird bei der Einführungsveranstaltung am Dienstag, dem 22.04. festgelegt.
23.03.08: Die Anmeldung zu diesem Seminar erfolgt über KLIPS. Allerdings endet die Anmeldung nicht mit der KLIPS-Belegphase am 25.03.08. Wenn diese zu Ende ist, kann man sich per Email an beckert@uni-koblenz.de anmelden. Die Anmeldung ist zunächst unverbindlich. Die endgültige Anmeldung erfolgt zusammen mit der Themenvergabe bei der Vorbesprechung am 15.04.08. Eine frühe Anmeldung zahlt sich jedoch aus, da die Vortragsthemen in der Reihenfolge der Anmeldung vergeben werden. Da erfahrungsgemäß nicht alle, die sich unverbindlich anmelden, auch teilnehmen, besteht durchaus auch für diejenigen die Chance noch teilzunehmen, die sich nicht angemeldet haben. Wer Interesse hat teilzunehmen ohne sich angemeldet zu haben, sollte zur Vorbesprechung kommen. Wer sich angemeldet hat aber an der Vorbesprechung nicht teilnimmt, läuft Gefahr seinen Platz zu verlieren.
23.03.08:
Die Vorbesprechung findet in der 2. Vorlesungswoche, am 15.04.08 statt.

Die nächsten Termine


Inhalt und Thema

Das Seminar soll einen Überblick über aktuelle Schwerpunkte der (Grundlagen-)Forschung in Deutschland im Bereich der Informatik geben. Dazu werden in den einzelnen Vorträgen Koordinierte Programme der Deutschen Forschungsgemeinschaft (DFG) vorgestellt, zu denen u.a. Schwerpunktprogramme, (Internationale) Graduiertengollegs und Sonderfoschungsbereiche gehören. Zwar ist es schwierig, objektiv zu sagen, was die Schwerpunkte der Forschung in einem Gebiet sind. Die massive finanzielle Förderung durch den wichtigsten Mittelgeber für Grundlagenforschung in Deutschland ist aber sicher ein sinnvolles Kriterium.

Die Vorträge sollen
vorstellen. Bei neuen Programmen wird sich der Vortrag naturgemäß eher auf die Ziele des Programms konzentrieren, während bei schon länger laufenden Programmen die Ergebnisse im Fokus stehen.

Wichtigste Quelle sind die Anträge, mit denen die Förderung bei der DFG beantragt wurde, sowie die Veröffentlichungen der beteiligten Wissenschaftler.


Vortragsthemen

Informationen zu den einzelnen Projekten finden sich auf der Webseiten der DFG und den Projekt-Websites.
  1. Jürgen Starek (Betreuer: Pelzer):
    Internationales Graduiertenkolleg 715: Sprachtechnologie und kognitive Systeme (Saarbrücken, Edinburgh) - DFG, Projekt-Website
  2. Stefan Ameling (Betreuer: Beckert):
    Schwerpunkt 1183: Organic Computing (Karlsruhe) - DFG, Projekt-Website
  3. Lean Kastler (Betreuer: Bormer):
    Schwerpunkt 1307: Algorithm Engineering (Karlsruhe) - DFG, Projekt-Website
  4. Alexander Wollert (Betreuer: Furbach u. Amar):
    Sonderforschungsbereich 588: Humanoide Roboter: Lernende und kooperierende multimodale Roboter (Karlsruhe) - DFG, Projekt-Website
  5. Martin Fuchs (Betreuer: Gladisch):
    Graduiertenkolleg 623: Leistungsgarantien für Rechnersysteme (Saarbrücken) - DFG, Projekt-Website
  6. Sebastian Bzdak (Betreuer: Klebanov):
    Graduiertenkolleg 1076: Vertrauenswürdige Software Systeme - Konstruktion, Zertifizierung, Einsatz (Oldenburg) - DFG, Projekt-Website
  7. Eduard Wirz (Betreuer: Furbach):
    Transregio 8: Raumkognition - Schließen, Handeln, Interagieren (Bremen, Freiburg) - DFG, Projekt-Website
  8. Simone Bauschke (Betreuer: Maron):
    Graduiertenkolleg 1424: MUSAMA - Multimodal Smart Appliance Ensembles for Mobile Applications (Rostock) - DFG, Projekt-Website
  9. Mark Schneider (Betreuer: Obermaier):
    Graduiertenkolleg 806: Mathematische Logik und Anwendungen (Freiburg) - DFG, Projekt-Website
  10. Sven Christoph (Betreuer: Beckert):
    Graduiertenkolleg: PUMA - Programm- und Modell-Analyse (LMU München) - Projekt-Website
  11. Asif Tanveer (Betreuer: Maron):
    Schwerpunkt 1140: Basissoftware für selbstorganisierende Infrastrukturen für vernetzte mobile Systeme (Karlsruhe) - DFG, Projekt-Website
  12. NN:
    Schwerpunkt 1126: Algorithmik großer und komplexer Netzwerke (Karlsruhe) - DFG, Projekt-Website
  13. NN:
    Transregio 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme (Oldenburg, Freiburg, Saarbrücken) - DFG, Projekt-Website

Materialien

Folien zur Einführungsveranstaltung: metavortrag.pdf


Lernziele

Lernziele sind bei diesem, wie bei jedem anderen Seminar:


Organisatorisches

Teilnehmer

Bis zu 12 Teilnehmer.

Anmeldung

Die Anmeldung zu diesem Seminar erfolgt über KLIPS. Allerdings endet die Anmeldung nicht mit der KLIPS-Belegphase am 25.03.08. Wenn diese zu Ende ist, kann man sich per Email an beckert@uni-koblenz.de anmelden. Die Anmeldung ist zunächst unverbindlich. Die endgültige Anmeldung erfolgt zusammen mit der Themenvergabe bei der Vorbesprechung am 15.04.08. Eine frühe Anmeldung zahlt sich jedoch aus, da die Vortragsthemen in der Reihenfolge der Anmeldung vergeben werden.

Da erfahrungsgemäß nicht alle, die sich unverbindlich anmelden, auch teilnehmen, besteht durchaus auch für diejenigen die Chance noch teilzunehmen, die sich nicht angemeldet haben. Wer Interesse hat teilzunehmen ohne sich angemeldet zu haben, sollte zur Vorbesprechung kommen.

Wer sich angemeldet hat aber an der Vorbesprechung nicht teilnimmt, läuft Gefahr seinen Platz zu verlieren.

Zeitplan

Voraussetzungen zur Erlangung des Scheins

Ort und Zeit

Das Seminar findet Dienstags, 10 Uhr c.t. in K107 statt.

Wenn sich dieser Termin für Teilnehmer als ungünstig erweist, kann aber ggf. bei der Vorbesprechung ein anderer Termin festgelegt werden.

LaTeX

Für die Erstellung der Folien sei das beamer-Package empfohlen.


Bernhard Beckert