Moses - CSL Blockseminar

Anzeigesprache

Zur Modulseite PDF generieren

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SS 2016 - WS 2019/20.

Modul / Version:
#40151 / #2

Gültigkeit:
SS 2016 - WS 2019/20

Standard-Anzeigesprache:
Deutsch/Englisch

Titel des Moduls:
CSL Blockseminar

Leistungspunkte:
3

Modulverantwortliche*r:
Kreutzer, Stephan

Benotung:
benotet

Prüfungsform:
Mündliche Prüfung

Zugehörigkeit

Fakultät:
Fakultät IV

Institut:
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet:
34352200 FG Logik und Semantik

Prüfungsausschuss:
Keine Angabe

Kontakt

Sekretariat:
TEL 7-3

Ansprechpartner*in:
Pilz, Jana

E-Mail-Adresse:
stephan.kreutzer@tu-berlin.de

Webseite:
Keine Angabe

Lernergebnisse

Students will gain an in-depth knowledge of a topic of logic in computer science at the frontier of research. They will also gain a good understanding of how research is conducted in theoretical computer science and how dissemination of scientific results works in this field. They will gain presentation and communication skills and will learn to extract the main research questions of a particular area from the literature.

Lehrinhalte

The chair for Logic and Semantics organises one of the major international logic conferences, the EACSL Conference on Computer Science Logic (CSL 2015). The conference will take place from 7 - 10 September 2015. During the conference, researchers from all over the world will present their most recent work in 30 minutes presentations. Participants of the seminar will attend the conference and the scientific presentations (at least a certain number of talks). They can then choose any subject they want among those presented at CSL and will prepare their own presentation focusing on the background and general setting of the subject. As some of the presentations at CSL are highly specialised, we do not expect students to go deeply into the paper itself. Rather we want them to understand what the general aim of the research presented at CSL is and to present this background and the most striking results in this are during the seminar. The seminar will be organised in a one-day block sometime during winter term. The exact date will be discussed with participants. It is, however, imperative that students attend CSL.

Modulbestandteile

Pflichtgruppe:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	VZ
CSL Seminar	SEM	0401 L 173	WiSe/SoSe	Keine Angabe	2

Arbeitsaufwand und Leistungspunkte

CSL Seminar (SEM):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Attending seminar presentations	10.0	1.0h	10.0h
Participating at CSL	1.0	20.0h	20.0h
preparation	1.0	60.0h	60.0h
			90.0h(~3 LP)

Der Aufwand des Moduls summiert sich zu 90.0 Stunden. Damit umfasst das Modul 3 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Keine Angabe

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Keine Angabe

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

benotet

Prüfungsform

Sprache

Deutsch/Englisch

Dauer/Umfang

30 Minuten

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Winter- und Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Keine Angabe

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: nicht verfügbar

Literatur

Empfohlene Literatur
Keine empfohlene Literatur angegeben

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Keine Angabe

Sonstiges

Keine Angabe