The workshop Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics will take place on November 1, 2022, in Utrecht. This workshop is organized on the occasion of Iris van der Giessen’s PhD defense, which takes place November 2, 2022, Utrecht. The topics of the talks are related to the subject of her PhD thesis: Uniform Interpolation and Admissible Rules.

Please send an email to i.vandergiessen at bham.ac.uk if you would like to come. Participation is free and includes the nice talks and coffee breaks.

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

We would like to announce an upcoming talk in the ILLC Diversity Talks Series. On Wednesday 9 November 16:30 – 18:00, Moshe Vardi will give a talk on “Artificial Intelligence: Ethics Versus Public Policy”. Due to family reasons, Moshe will give the talk remotely, but we encourage everyone to attend on-location at SP 904 Room D1.111!  Alternatively, you are welcome to join us on Zoom.

In a recent survey, many ILLC members expressed their interest in a talk on Ethical AI. Moshe Vardi acted as advisor for the ILLC for many years, and we hope that this event will bring together everyone interested in this topic.

The talk will be followed by a reception in the ILLC Common Area at LAB42 (SP 900, LAB42, 6th floor).

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

This seminar is hybrid. If you would like to join the online meeting, please contact the organizer.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.

The Platform for the Ethics and Politics of Technology organises a live event PEPTalkPlus: The Power of Big Tech. An interactive panel featuring Tamar Sharon and Natali Helberger, moderated by Eva Groen-Reijman.