At this year’s Dies Natalis of the University of Amsterdam, Professor dr. Vikram Patel (Harvard University) and Prof. dr. Chris Manning (Stanford University) will be awarded Honorary Doctorates. During this symposium, a panel of expert speakers will join our honorees to discuss pertinent topics within the fields of mental health and the use of artificial intelligence on a global scale.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early bird registration deadline: June 14th (extended).

UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.

The coordination of World Logic Day 2023 is -- for the third time -- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST. We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2023 to celebrate this day. Events will be listed on the CIPSH website.

The Covid pandemic still has an effect on international travel and the question whether in person meetings are appropriate; in addition, we have learned over the last years that online meetings are easier to finance, better for the environment, and considerably more inclusive. As a consequence, we should like to ask all organisers to weigh pros and cons of planning in person events, purely online events, or hybrid events before making an announcement. Note that online and hybrid events have the advantage of allowing easy access of people from around the world.

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.

CPP 2023 will be co-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers.

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.

CPP 2023 will be co-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers.

The British Postgraduate Model Theory Conference (BPGMTC) 2023 is a Model Theory conference organised entirely by PhD students running from 18 to 20 January 2023. The conference is open to PhD students and early career researchers, one of its main goals being to bring together young researchers interested in model theory from the UK and abroad. The BPGMTC has been a longstanding tradition in the UK, this year the University of Leeds is proud to be holding the thirteenth edition of BPGMTC!

We will also have approximately 12 contributed talks by PhD students and early career researchers. In addition, we have three invited talks and an invited mini-course given by established model theorists. Registration closes on the 1st of December, but we encourage people to register as soon as possible.

The British Postgraduate Model Theory Conference (BPGMTC) 2023 is a Model Theory conference organised entirely by PhD students running from 18 to 20 January 2023. The conference is open to PhD students and early career researchers, one of its main goals being to bring together young researchers interested in model theory from the UK and abroad. The BPGMTC has been a longstanding tradition in the UK, this year the University of Leeds is proud to be holding the thirteenth edition of BPGMTC!

We will also have approximately 12 contributed talks by PhD students and early career researchers. In addition, we have three invited talks and an invited mini-course given by established model theorists. Registration closes on the 1st of December, but we encourage people to register as soon as possible.

The European Society for Analytic Philosophy organizes a major congress every three years. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. The 11th European Congress of Analytic Philosophy (ECAP11) will take place from 21-25 Aug 2023 in Vienna and is being organized jointly by the Central European University and the University of Vienna.  The current president of the ESAP is Prof. Katalin Farkas (CEU).

The British Postgraduate Model Theory Conference (BPGMTC) 2023 is a Model Theory conference organised entirely by PhD students running from 18 to 20 January 2023. The conference is open to PhD students and early career researchers, one of its main goals being to bring together young researchers interested in model theory from the UK and abroad. The BPGMTC has been a longstanding tradition in the UK, this year the University of Leeds is proud to be holding the thirteenth edition of BPGMTC!

We will also have approximately 12 contributed talks by PhD students and early career researchers. In addition, we have three invited talks and an invited mini-course given by established model theorists. Registration closes on the 1st of December, but we encourage people to register as soon as possible.

This session of the DSCC is organised jointly with the ENCODE project. Speakers will include Richard Pettigrew (Bristol), Marcus Pivato (Cergy) and Peter Wakker (Rotterdam).

Reasoning about causal relationships is an important theme throughout science. The Nobel Prize in Economics was awarded last year to Guido Imbens and Joshua Angrist, for their role in the development of methods to investigate how researchers understand and analyze causal relationships. This webinar, which the Academy organizes together with the Association for Logic (VvL), brings together various experts in the field of reasoning about causality from different disciplines.

Speakers: Guido Imbens, Sara Magliacane, Thomas Icard and Katrin Schulz. The evening will be chaired by Rineke Verbrugge, professor of logic and cognition at the University of Groningen, and Balder ten Cate, associate professor of logic and theoretical computer science at the University of Amsterdam. The language will be English.