Navigation:

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

University
Studies
Research
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 Relations
Information for employees
Guest Students
Refugees
Entrepreneurs
International people
Instructors and Students
Students
Early Career Researchers

Login

CampusPortal
PersonalweiterbildungStaff training
Portal der VerwaltungPortal of the Administration
Application portal for study places
- Uni-assist: for international applicants

Department of Computing Science

Navigation:

Home
About the University
Schools
School II
Dept. Comp. Science
Groups
Formal Methods
Research
- Projects
- 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

(Changed: 03 Jul 2024) | Kurz-URL:Shortlink: https://uol.de/p100071en

Postal address

Carl von Ossietzky Universität Oldenburg
Ammerländer Heerstraße 114-118
26129 Oldenburg

+49-(0)441-798-0

Contact, maps and directions

Information

Privacy policy
Accessibility
Sponsoring contributions (DE)
Externally funded research (DE)
Legal notice

Please visit us at

LinkedIn
Facebook
Mastodon
Youtube
Instagram
Unishop