Past Events

Scientific, Distinguished Lecture
Descriptive Complexity
February 8, 2007
Neil Immerman is one of the key developers of 'descriptive complexity', which he is currently applying to research in model checking, database theory, and computational complexity theory. Immerman is the winner, jointly with Róbert Szelepcsényi, of...
Scientific, Seminar
Strong normality and modular normality
February 2, 2007
The notion of normality was intended to capture random behaviour in the digits of numbers, but some clearly patterned numbers pass the normality test; we propose a stronger test of normality that is passed by almost all numbers but failed by...