`Erfüllbarkeit und Verifikation Seminar im Wintersemester 2004/05`

Wir wollen uns mit SAT-Solving, Constraint Satisfaction Problems und unendlichen Systemen beschäftigen. Dabei interessiert uns der Parameteransatz und existierende Tools.

neue Vorbesprechung:

Freitag, 29.Okt.2004, 14:00 in Raum C118

Termin und Raum

Freitags, 14-16 Uhr, C118

Veranstalter

Themen

Termin	*******Referent/in*********	Thema		Betreuer
		The complexity of first-order and monadic second-order logic revisited		AK
		Fixed-parameter tractability, definability, and model checking		HF
		Deciding first-order properties of locally tree-decomposable structures		HF
		Bounded Model Checking Using Satisfiability Solving		K-JL
		Testing Finite State Machines		HF
		Pushdown systems		K-JL
		Parametrized complexity of constraint satisfaction problems		PT
		XRONOS		AK

Scheinkriterien

Ein mindestens 45, maximal 60 minütiger Vortrag.
Erstellen eines Handouts zum Vortrag mit den wesentlichen Punkten des Vortrags (etwa 4--8 Seiten).
Anwesenheit bei den Vorträgen der anderen Teilnehmer (max. 2 unentschuldigt versäumte Vorträge).
Kontaktieren des Betreuers spätestens 3 Wochen vor dem Vortragstermin, Fertigstellung der Vortragsfolien und des Handouts bis 1 Woche vor dem Vortrag.
Einmalige Diskussionsleitung bei einem anderen Vortrag.