Navigation:

Choose other language
Zum Inhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Zur Zielgruppennavigation springen
Zur Brotkrumennavigation springen

Universität
Studium
Forschung
International

Sprache wechseln

Change Language

deDeutsch
enEnglish

Hell-/Dunkelmodus

Light mode / Dark mode

SystemstandardSystem standard HellLight DunkelDark

Info und Anleitung Info and instruction

Suche Search

Embed -Suche einbinden search (Mit der Aktivierung der Google-Suche bestätigen Sie, dass Sie mit der Einbindung und der dazu erforderlichen Datenübermittlung an Google einverstanden sind.) (By activating Google Search, you confirm that you agree to the integration and the necessary data transfer to Google.)

Alumni
Auszubildende
Berufsausbildungs-Interessierte
Beschäftigte
Ehemalige Beschäftigte
Erstsemester
Gasthörende
Geflüchtete
Gründungsinteressierte
Internationale
Journalistinnen und Journalisten
Lehrende und Lernende
Studieninteressierte
Studierende
Unternehmen
Weiterbildungsinteressierte
Wissenschaftl. Nachwuchs

Login

CampusPortal
PersonalweiterbildungStaff training
Portal der VerwaltungPortal of the Administration
Bewerbungsportal für Studienplätze

Department für Informatik

Formale Methoden

Navigation:

UOL
Universität
Fakultäten
Fk. II
Informatik
Abteilungen
Formale Methoden
Forschung
- Projekte
- Workshops
Workshops
- D-CON 2024
- 7th International Workshop on CPAchecker (CPA '22)
D-CON 2024
Registration

Registration

D-CON 2024
Workshop-Program
Call for Contribution
Registration
Venue

Registration

Registration Deadline: 06.02.2024

(Stand: 03.07.2024) | Kurz-URL:Shortlink: https://uol.de/p100071

Anschrift

Carl von Ossietzky Universität Oldenburg
Ammerländer Heerstraße 114-118
26129 Oldenburg
Tel. +49-(0)441-798-0

Kontakt / Anfahrt / Lageplan

Informationen

Datenschutz
Barrierefreiheit
Sponsoringleistungen
Drittmittelforschung
Impressum

Besuchen Sie uns auch hier

LinkedIn
Facebook
Youtube
Instagram
Mastodon
Unishop