[TYPES/announce] WiL Online with Rosalie Iemhoff

[Elaine Pimentel]

Dear all!

We are excited to announce the next talk in the seminar series "Women in
Logic Online" by Rosalie Iemhoff!

Date:    Friday, March 6, 2026
Time:    17:00 CET
Venue:  Online via Zoom

You can register for free at
https://ucl.zoom.us/webinar/register/WN_9UkCeBvRR1SbDLl3ZjeRZQ 

TITLE: The Use and Misuse of Proof Systems

ABSTRACT:
Proof systems, systems of axioms and inference rules, have a long history,
going back to ancient times. Early on they mainly occurred in mathematics,
but nowadays they are being used also in other fields, such as computer
science, linguistics, and philosophy. The way in which proof systems are
used differs per area, which is why there exist a great variety of proof
systems, each tailored for the specific application it is meant for. In
this talk, I will discuss proof systems in general and address the topics
just mentioned (no knowledge of proof systems is assumed). We will see
settings for which the proof-theoretic view is well-suited, and others for
which the proof-theoretic approach may not be the best method of
investigation.

SHORT BIO:
Rosalie Iemhoff is a proof theorist with a special interest in constructive
theories and nonclassical logics. She studied mathematics and obtained her
PhD in mathematical logic in 2001. After several years as a postdoc in the
US and Austria, she obtained a position at the Department of Philosophy of
Utrecht University, the Netherlands. She has received two big grants from
the Dutch Science Foundation, which enabled her to carry out various
research projects with a group of postdocs and PhD students. She has been
editor-in-chief of the Journal of Philosophical Logic and currently serves
on the editorial boards of the ASL book series Perspectives in Mathematical
Logic and the Stanford Encyclopedia of Philosophy.
https://urldefense.com/v3/__https://www.uu.nl/staff/RIemhoff__;!!IBzWLUs!XvQPnn2SWs3EztrbkqetvkynuuquHBVf8UPXJ7DpPDoY46CYwb-Ke27U4st1qpcDPNZ6zieJKLknILnkHnaztJRuXzHsWUHZXbcf3tpV$ 

We hope to see you there!

Elaine Pimentel & Maria Osório & Katya Piotrovskaya

Women in Logic https://urldefense.com/v3/__https://womeninlogic.org/__;!!IBzWLUs!XvQPnn2SWs3EztrbkqetvkynuuquHBVf8UPXJ7DpPDoY46CYwb-Ke27U4st1qpcDPNZ6zieJKLknILnkHnaztJRuXzHsWUHZXfD8JosF$ 

-- 
Elaine.
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Professor of Logic and Computation
Deputy Director of the Computer Science and Philosophy programme
Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
URL: https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!XvQPnn2SWs3EztrbkqetvkynuuquHBVf8UPXJ7DpPDoY46CYwb-Ke27U4st1qpcDPNZ6zieJKLknILnkHnaztJRuXzHsWUHZXe3hIeY8$ 

UCL Computer Science is an *Athena Swan Gold award winner for gender
equality
<https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!XvQPnn2SWs3EztrbkqetvkynuuquHBVf8UPXJ7DpPDoY46CYwb-Ke27U4st1qpcDPNZ6zieJKLknILnkHnaztJRuXzHsWUHZXQ13hidj$ >*
UCL is ranked among the *top ten in the QS World University Rankings 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!XvQPnn2SWs3EztrbkqetvkynuuquHBVf8UPXJ7DpPDoY46CYwb-Ke27U4st1qpcDPNZ6zieJKLknILnkHnaztJRuXzHsWUHZXb6d121X$ >*
and
is winner of *The Times and Sunday Times University of the Year 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!XvQPnn2SWs3EztrbkqetvkynuuquHBVf8UPXJ7DpPDoY46CYwb-Ke27U4st1qpcDPNZ6zieJKLknILnkHnaztJRuXzHsWUHZXdlnp6UH$ >*
-----------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260222/33c22684/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: WiL-Online-Rosalie-Iemhoff.jpg
Type: image/jpeg
Size: 129070 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260222/33c22684/attachment-0001.jpg>