Zum Hauptinhalt springen

Willkommen bei der Fachgruppe Logik in der Informatik

Die Fachgruppe gehört dem Fachbereich Grundlagen der Informatik (GInf) an und dabei insbesondere dem Fachausschuss Theoretische Informatik an.

Viele Fragestellungen in der Informatik sind logischer Natur und können mit Methoden der Logik beschrieben und gelöst werden. In der Tat war die Logik (z.B. mit den Arbeiten von Hilbert, Gödel, Church und Turing) an der Entstehung der Informatik wesentlich beteiligt. An vielen Orten hat daher die Logik ihren Platz in der Informatikgrundausbildung. Trotzdem hat sich die "Logik in der Informatik" als eigenes Gebiet erst vor relativ kurzer Zeit etabliert. Neben einer Vielzahl von speziellen Konferenzen zu Teilbereichen (wie der "Conference on Automated Deduction (CADE)" und der "Computer-Aided Verification (CAV)") gibt es seit Mitte der 1980er jährliche Tagungen, die sich explizit der ganzen Breite dieses Gebietes widmen (die europäische Tagung "Computer Science Logic (CSL)" seit 1987 und die internationale Tagung "Logic in Computer Science (LICS)" seit 1986).

Beispiele für Anwendungsgebiete der Logik in der Informatik sind

  • Computer-Mathematik
  • Datenbanksysteme
  • Hardware-Entwurf
  • Komplexitätstheorie
  • Künstliche Intelligenz
  • Programmiersprachen
  • Software Engineering
  • Spezifikation und Verifikation
  • Verteilte Systeme

Durch diese Anwendungen entstanden teilweise ganz neue Teilgebiete der Logik, aber auch klassische Gebiete (wie Modelltheorie und Beweistheorie) erhielten dadurch neue Impulse und Ausrichtungen. Es wird auch in Zukunft eine wichtige Rolle der Logik in der Informatik bleiben, bei neuen, teilweise sehr schwierigen praktischen Problemstellungen die nötige Formalisierung sowie Lösungsansätze zu liefern.

Ziel der Fachgruppe ist es, den Informatikern mit Interesse an logischen Methoden und den Logikern mit Interesse an Informatikanwendungen eine organisatorische Heimat zu geben. Hierzu sollen Kontakte zu anderen GI Fachgruppen, in denen Logik eine Rolle spielt, gepflegt und intensiviert werden, z.B. durch gemeinsame Veranstaltungen. Es ist außerdem Aufgabe der Fachgruppe, für einen festen Platz der Logik in der Informatikgrundausbildung einzutreten und an der Fortschreibung und Neuentwicklung von Curricula in diesem Gebiet aktiv mitzuwirken. Eine weitere wichtige Funktion der Fachgruppe ist es, die Sichtbarkeit der Logik in der Informatik zu erhöhen, ihre praktische Relevanz herauszustellen und die Logik im Kontext ihrer Anwendungen in der Informatik weiterzuentwickeln.

Geschrieben von Franz Baader unter Mithilfe von Manfred Droste, Harald Ganzinger, Peter H. Schmitt, Wolfgang Schönfeld und Wolfgang Thomas.

Aktuelle Mitteilungen

The 86. Theorietag will take place as a combined workshop of the GI groups Algorithms, Complexity, and Logic at Heinrich-Heine-Universität Düsseldorf…
weiterlesen
Am 19. und 20. September 2023 fand in Bochum ein sehr gelungener Theorietag statt. Herzlichen Dank an Thomas Zeume für die Organisation. Im Rahmen…
weiterlesen
The annual Workshop on Logic in Computer Science (Jahrestagung) will take place in Bochum on September 19-20…
weiterlesen
26. Jahrestagung FG LogInf und Workshop der FG DedSys
weiterlesen
Die nächste Jahrestagung der Fachgruppe Logik in der Informatik findet am 26. März 2021 statt: https://kwarc.info/events/GI2020/index.html Call for…
weiterlesen
Die Jahrestagung für 2020 war für September an der Universität Erlangen geplant (Organisatoren Florian Rabe und Sergey Goncharov). Die Jahrestagung…
weiterlesen
Im März 2020 wurde das neue Leitungsgremium der GI-Fachgruppe "Logik in der Informatik" gewählt: - Olaf Beyersdorff, Uni Jena (Sprecher) - Manuel…
weiterlesen

Nächste Veranstaltungen

Keine Veranstaltungen geplant.

Vergangene Veranstaltungen