Johann A. Makowsky

Date: 15:00, Thursday, October 9, 2014
Speaker: Johann A. Makowsky
Venue: TU Vienna
Notes:

 15:00 @ Seminarroom von Goedel (Favoritenstrasse 9-11, ground floor)

Many courses of Sets and/or Logic teach the old narrative
of paradoxes, compactness, (in)completeness of logical systems etc.
In this talk we examine what we think should be the topics of Sets and Logics
so as to form a basis and toolbox for other courses such as  automata
and formal languages, databases, verification, formal methods, AI,
etc.

Posted in RiSE Seminar