Graphen, bestehend aus Knoten und Kanten, kommen in der Informatik in vielen Zusammenhängen vor. Beispielsweise können Rechner- und Straßennetze, das Internet, Nachbarschaftsbeziehungen, endliche Automaten, Transitionssysteme und semantische Beziehungen geeignet durch Graphen beschrieben werden. Es ist daher wichtig, Verfahren und Methoden zu besitzen, die die Struktur von Graphen untersuchen und auch Graphen transformieren können, wenn sich die Topologie des zu untersuchenden Systems ändern sollte. Ziel dieses Seminars ist es, einen ersten Einblick in solche Methoden und einen Überblick über die wichtigsten Themen der Graphentheorie im Kontext der Informatik zu bekommen