Themen für Studienarbeiten/en: Difference between revisions
From International Center for Computational Logic
Markus Krötzsch (talk | contribs) (Die Seite wurde neu angelegt: „{{Überschrift|{{MediaWiki:Portal_label_thesis_Offen/en}}}} {{todo|Write an introduction here. Maybe link to a non-Javascript version of the page}} {{#ask: […“) |
Lukas Gerlach (talk | contribs) No edit summary |
||
(6 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Überschrift|{{MediaWiki:Portal_label_thesis_Offen/en}}}} | {{Page about Studienarbeiten | ||
|{{Überschrift|{{MediaWiki:Portal_label_thesis_Offen/en}}}} | |||
This page contains an ''incomplete'' list of possible topics for student projects. '''In general, interested students should directly contact the supervisor they want to work with to enquire about possible topics.''' It can be helpful to mention which relevant courses one has already taken (especially courses given by the supervisor). Some research groups also list possible topics on separate course pages: | |||
* [[Projekte und Studienarbeiten Computational Logic/en|Projects and Theses in Computational Logic]] | |||
* [[Projekte und Studienarbeiten Wissensbasierte Systeme/en|Projects and Theses in Knowledge-Based Systems]] | |||
{{#ask: [[Category:Abschlussarbeit]] [[Abschlussarbeitsstatus::Offen]] | {{#ask: [[Category:Abschlussarbeit]] [[Abschlussarbeitsstatus::Offen]] | ||
| ?Titel | | ?Titel EN | ||
| ?Betreuer | | ?Betreuer | ||
| ?Partner | | ?Partner | ||
Line 16: | Line 19: | ||
|list view template=Abschlussarbeit anzeigen/en | |list view template=Abschlussarbeit anzeigen/en | ||
}} | }} | ||
}}<!-- Page on Studienarbeiten --> |
Latest revision as of 09:19, 26 April 2023
Suggested Thesis Topics
This page contains an incomplete list of possible topics for student projects. In general, interested students should directly contact the supervisor they want to work with to enquire about possible topics. It can be helpful to mention which relevant courses one has already taken (especially courses given by the supervisor). Some research groups also list possible topics on separate course pages:
Type of thesis
Forschungsgruppe
- A Simplified Tableau Calculus for Standpoint LTL
- Supervisor: Tim Lyon
- Available as topic for a Master's thesis
- Ill-Founded Linear Nested Sequents for LTL
- Supervisor: Tim Lyon
- Available as topic for a Master's thesis