PD Dr. Heike Mildenberger, Wien: 16.00 h Lehrvortrag: Das Äquivalenzproblem nichtdeterministischer endlicher Automaten ist PSPACE-vollständig; 16.40 Forschungsvortrag: Semifilter, Filter und Ultrafilter - auf diese Vorträge wird besonders hingewiesen -

Thursday, 26.11.2009 16:00 im Raum M 6