Cool Logic

Spectrum of talks

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. In accordance with the interdisciplinary nature of the ILLC, the talks are thus expected to cover a wide range of topics. For inspiration, here are some kinds of talks we envision to see at the Cool Logic meetings.

talks about work in progress
You could give a talk in the intermediate stages of your thesis, presenting ideas that are not fully worked out yet. Giving a thorough explanation of your ideas/troubles might give rise to new insights, and furthermore the audience might be able to provide valuable feedback!
talks about your results
This is the more traditional kind of a talk, offering the audience some new result or insight conquered on your own (or together with your supervisor). It is expected that such a talk involves enough background to enable everyone in the intended audience to learn something new.
talks about interesting results in logic
Suppose you stumble upon a theorem that fills you with enthusiasm—this can be either because the result seems particularly relevant, or because it seems very surprising, or just very elegant, or you just find it cool. You are then very welcome to share the source of your enthusiasm with others, especially if the subject is not covered in any of the classes taught at the ILLC. For example, you could give a talk on the Banach-Tarski paradox, or on Tennenbaum's Theorem.
talks about interesting areas of logic
As the previous kind of talks, these will convey some already established knowledge in the logic world. The main aim of such talks is to create coherence between students working on different areas. For example, a computational linguist could give a talk introducing her/his field to the others by outlining the main research methods, the most important accomplishments, and burning open questions.
talks providing necessary background
For these kinds of talks, the initiative should come from the audience. It can happen that you discover that several courses presuppose some area of logic that you do not have enough background in, for example topology or category theory. We could then try to find someone adequate and willing to give a talk introducing the basics of this area.

Submitting a talk

If you have an idea for a talk, please contact the organisers. We are looking forward to seeing you at Cool Logic!