Account
Edit tools
Intern
SucheSearch
English

Profilprojekt “Research Project Formal Methods” (SS2025): Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Vorlesung |Title=Profilprojekt “Research Project Formal Methods” |Research group=Verifikation und formale quantitative Analyse |Lecturers=Christel Baier |Term=SS |Year=2025 |Lecture series=Profilprojekt „Forschungsprojekt Formale Methoden“ |SWSLecture=0 |SWSExercise=0 |SWSPractical=8 |Exam type=Hausarbeit, Referat |Description=The introductory project is intended for students enrolled in the Master or Diplom programs Informatik (computer science…“)
 
Johannes Lehmann (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
 
(12 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
{{Vorlesung
{{Vorlesung
|Title=Profilprojekt “Research Project Formal Methods”
|Title=Profilprojekt „Forschungsprojekt Formale Methoden“
|Research group=Verifikation und formale quantitative Analyse
|Research group=Algebraische und logische Grundlagen der Informatik
|Lecturers=Christel Baier
|Lecturers=Christel Baier
|Language=DE,EN
|Term=SS
|Term=SS
|Year=2025
|Year=2025
|Lecture series=Profilprojekt „Forschungsprojekt Formale Methoden“
|Module=INF-PM-FPG
|SWSLecture=0
|SWSLecture=0
|SWSExercise=0
|SWSExercise=0
|SWSPractical=8
|SWSPractical=8
|Exam type=Hausarbeit, Referat
|Description=The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialization and independent research work.
|Description=The introductory project is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialization and independent research work.


This course is in German and English.
This course is offered in German and English.


=== Registration ===
=== Registration ===


Registration via Opal is required until 14 April. (We're still setting up the Opal course, so please come back later!)
Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027279 via Opal] is required until April 14.


=== Exam and Creditability ===
=== Exam and Creditability ===


Exam according to module description (see sidebar).
'''Master Informatik'''
* {{ModuleLink|INF-PM-FPG}}: exam according to module description
 
'''Diplom Informatik'''
* {{ModuleLink|INF-PM-FPG}}: exam according to module description


=== Contact ===
=== Contact ===


Please contact [[Sascha Klüppelholz]] for organisational questions.
In case of organisational questions, please contact [[Sascha Klüppelholz]].
}}
}}

Aktuelle Version vom 17. März 2025, 16:51 Uhr

Profilprojekt „Forschungsprojekt Formale Methoden“

Lehrveranstaltung mit SWS 0/0/8 (Vorlesung/Übung/Praktikum) in SS 2025

Dozent

Umfang (SWS)

  • 0/0/8

Module



The introductory project (Profilprojekt) is intended for students enrolled in the Master or Diplom programs Informatik (computer science). Participants study selected topics from the fields of model checking, automata theory and logics. The purpose is to acquire skills for their research-oriented specialization and independent research work.

This course is offered in German and English.

Registration

Registration via Opal is required until April 14.

Exam and Creditability

Master Informatik

Diplom Informatik

Contact

In case of organisational questions, please contact Sascha Klüppelholz.




Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Profilprojekt_“Research_Project_Formal_Methods”_(SS2025)&oldid=42035“