The Cool Logic seminar is a series of informal meetings organised by and for students of the ILLC.
Cool Logic aims to provide a relaxed atmosphere where students can expand each other's horizons on the landscape of logic. Each meeting consists of a talk given by a Master’s or PhD student, followed by the opportunity to enjoy drinks and (sometimes even homemade!) snacks in the company of your fellow students. The talks aim at being accessible to all PhD and Master students of the ILLC regardless of their specialisation. The only restriction is that the talk should be cool, and related to logic, where "logic" is meant to include all research areas represented in the ILLC. For inspiration, here is the spectrum of talks we envision to see at the Cool Logic meetings.