[Colloquium] TODAY: Michael O’Donnell at the Formal Philosophy Workshop

[nir at uchicago.edu]

Dear All, 

This is a reminder that Michael O’Donnell (Department of Computer Science) will be giving a talk at The Formal Philosophy Workshop TODAY. Prof. O'Donnell's talk will take place from 4:30-6:20pm in Cobb 119. 

Prof. O'Donnell will be presenting a paper entitled: 
“The Sources of Certainty in Computation and Formal Systems” 

The paper, slides and optional background reading may be downloaded from the workshop website: 
http://cas.uchicago.edu/workshops/formalphilosophy/ 

Hope to see you all there, 
Nir.