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!