Institut für Informatik
Staudingerweg 9
55128 Mainz

Sie finden uns im dritten Stock.

Johannes Gutenberg-Universität Mainz
Institut für Informatik
Saarstraße 21
55099 Mainz

Vom Mainzer Hauptbahnhof fahren verschiedende Busse und Straßenbahnen zum Campus.
Wir empfehlen, die Haltestelle Friedrich-von-Pfeiffer-Weg anzufahren, von hier aus kann man das Institut für Informatik fußläufig in wenigen Minuten erreichen. Hierzu empfehlen sich die Buslinien Nr. 54, 55, 56, 58 und 630 sowie die Straßenbahnlinien 51, 53 und 59.

Die Campus-Buslinie 9 fährt über das Gelände der Universität und hält u.a. an der Haltestelle
Duesbergweg (Hauptpforte, Institut für Molekulare Biologie, Mathematik, Informatik, Medizin), allerdings vPerkehrt diese Linie nur in kurzen Zeitfenstern morgens und am Nachmittag.

Ausführliche Informationen zu Fahrplänen und Tarifen finden sich auf Mainzer Mobilität. Es empfiehlt sich, tagesaktuelle Verbindungen über diese Website abzurufen.

Das Institut befindet sich im mittleren der drei Kreuzbauten. Vom Erdgeschoß führt ein Aufzug in den dritten bzw. fünften Stock.

Mit dem Flugzeug können Sie an zwei Flughäfen in der Nähe von Mainz landen:

Flughafen Frankfurt / Main (im Rhein-Main-Gebiet)

Weiterfahrt mit dem Zug oder der S-Bahn zum Hauptbahnhof Mainz:
Haltestelle: Frankfurt / Flughafen Fernbahnhof, Preis: ca. 8,– Euro, Fahrzeit: ca. 20 Minuten, Züge: Eurocity (EC), Intercity (IC), Intercity Express (ICE)
Haltestelle: Frankfurt / Flughafen Regionalbahnhof, Preis: ca. 4,– Euro, Fahrzeit: ca. 30 Minuten, Züge: S-Bahn S8, Regionalbahn (RB), Regionalexpress (RE)

Fahrplanverbindungen im Online-Angebot der Deutschen Bahn

Flughafen Frankfurt-Hahn (im Hunsrück)

Weiterfahrt mit dem Bus: ORN-Bus von Terminal 3, fährt alle ein bis zwei Stunden durchgehend zum Hauptbahnhof Mainz, Preis: ca. 14,– Euro, Fahrzeit: ca. 1,5 Stunden.

Fahrplanverbindungen vom Flughafen Frankfurt-Hahn nach Mainz

Weiterfahrt mit dem Auto: Bundesstraße B 50 bis zur Autobahn A 61, Auffahrt „Rheinböllen“, Richtung „Ludwigshafen“, bis Dreieck „Nahetal“, dort auf Autobahn A 60 Richtung „Mainz“ bis zur Ausfahrt „Saarstraße“, Fahrzeit: ca. 1,5 Stunden.

Auf dem hier verlinkten Plan sind die Parkplätze eingezeichnet, die dem Institut am Nächsten liegen. Der nächste Parkplatz außerhalb des Campus liegt am Ende des Dahlheimer Wegs.

Um auf dem Campus parken zu können, benötigen Sie eine Einfahrerlaubnis. Bitte geben Sie uns Bescheid, wenn Sie eine solche Erlaubnis benötigen - dann können wir Sie an der Hauptpforte (Ackermannweg) anmelden. Der Parkplatz am Ackermannweg liegt dem Institut für Informatik am nächsten.

Wenn Sie von Westen kommen

(d. h. aus Richtung Bonn/Köln) folgen Sie der Autobahn A60 über das "Autobahn-Dreieck Mainz" in Richtung Darmstadt, verlassen die Autobahn bei der Ausfahrt "Mainz-Finthen", folgen dem Schild "Saarstraße/Innenstadt" geradeaus durch den Kreisel "Europaplatz" hindurch bis zur Ausfahrt "Universität"

Wenn Sie von Osten kommen

(d. h. aus Richtung Würzburg/Darmstadt) folgen Sie der Autobahn A60 über das "Autobahn-Dreieck Rüsselsheim" oder von der A63 aus über das "Autobahnkreuz Mainz" auf die A60 nach Bingen, verlassen die Autobahn bei der Ausfahrt "Mainz-Finthen", folgen dem Schild "Saarstraße/Innenstadt" geradeaus durch den Kreisel "Europaplatz" hindurch bis zur Ausfahrt "Universität".

Wenn Sie von Norden kommen

(d. h. aus Richtung Kassel) folgen Sie der Autobahn A66 und wechseln am "Schiersteiner Kreuz" auf die A643 Richtung Mainz, folgen der Autobahn bis zum "Autobahn-Dreieck Mainz", wo Sie auf die A60 Richtung Darmstadt wechseln. Sie verlassen die Autobahn bei der Ausfahrt "Mainz-Finthen", folgen dem Schild "Saarstraße/Innenstadt" geradeaus durch den Kreisel "Europaplatz" hindurch bis zur Ausfahrt "Universität"Auf dem Campusplan oben sind die Parkmöglichkeiten auf dem Campus markiert. In Ausnahmefällen können Sie an der Hauptpforte der Universität eine Campus-Einfahrerlaubnis für einen Tag erhalten.

Liebe Ehemaligen,
wir laden Sie herzlich ein, Mitglied des Vereins der Freunde der Informatik in Mainz e.V. zu werden.
Der Ende 2013 gegründete Verein hat sich den Aufbau und die Pflege eines Alumni-Netzwerks zum Ziel gesetzt sowie die Förderung der Informatik in Wissenschaft, Forschung, Studium und Lehre.
Weitere Informationen zu dem Verein sowie Stellenangebote und natürlich zu den Modalitäten des Mitgliedsantrag finden Sie auf der Website

Zusätzlich können Sie sich hier über das Alumni-Netzwerk der Johannes Gutenberg-Universität Mainz informieren.

Formale Sprachen und Berechenbarkeit Seminar