6th Logic Mentoring Workshop

Popular stories often represent researchers as focused on a single activity. In fact, being a researcher involves many activities including research and teaching, but also the organisation of a team, the management of research at a global scale, the cooperation with industry, the outreach of science, the dialogue with society, etc. that make it one of the most diverse professional activities.

Propositional proof complexity studies the complexity of finding efficiently verifiable proofs, that is, polynomial-time checkable certificates that propositional formulas are unsatisfiable. This talk is meant as a very general introduction to this research area. I will introduce some well-studied proof systems, discuss the main complexity measures for proofs, and connections between proof complexity and other areas of computer science.

I'll talk about my approach at preparing and giving talks.

TBA

Mental illness is a taboo topic in far too many circles, and academia is certainly not an exception. I believe we need to talk frankly and openly about mental health in our field, especially because—though they are largely unspoken-about in our community—anxiety, depression, and other mental illnesses are the norm rather than the exception in graduate school, as well as in academic careers beyond it. Speaking from my own lived experience and drawing from a body of scientific literature, I'll disentangle the stigma and fear around mental illness in the academy, and offer both conceptual frameworks and concrete thoughts about how we can bring more compassion to both our own lives and to the lives of everyone in our community.

TBA