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.
See the announcement for the next talk in the link below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.
This is an announement of a one-day workshop at Tilburg University organized in collaboration with the OZSW on the theme of learning and reasoning in humans, animals, and machines, broadly construed. The aim is to bring together junior researchers from across the Netherlands working in philosophy of cognitive science, philosophy of science, and related areas to share their research, exchange ideas with peers and build research connections across different areas and approaches to this theme.
Registration for participants consists in sending a short e-mail (e.g., “I would like to participate”), by 15 December, to M.Colombo at tilburguniversity.edu.
For those interested in presenting their work, please send Nina and Matteo a 200-word abstract and a title by 15 November 2026, to ninalaura.poth at ru.nl and M.Colombo at tilburguniversity.edu. Earlier submissions are very welcome.
Presenters will be notified by 22 November 2026 and the final programme of the workshop will be announced in early December 2026.
ILLC's Sandro Pezelle has been awarded the Vidi grant for his project "Do AI Systems Evaluate and Comment on Events as People Do?". Congratulations!
Career Transition Grants support people who are ready to spend a defined period working full-time on a transition into impactful AI safety or biosecurity work. This program is primarily for personal, full-time transitions. If your main request is to fund a new project or organization, a Seed Grant or Rapid Grant may be a better fit. You can still apply if you are unsure—BlueDot will help route the request.
Supports advanced research to develop the scientific basis to underpin breakthrough technologies. This call is open to coherent portfolios of projects within predefined thematic areas with the aim of achieving specific objectives for each challenge.
The goal of this project is to use formal methods to develop a systematic way to describe concurrent cryptographic protocols and to reason about their security.
You will carry out research towards developing formal reasoning principles for concurrent cryptographic protocols and participate in the dissemination of results (conferences, research visits, etc.). In addition, you will perform light supervision duties for bachelor and/or master students and support our courses as teaching assistants (maximum two periods a year).
Applications are now open for one fully-funded PhD position on type systems for concurrency, co-supervised by Jorge Pérez and Dan Frumin (Groningen) and Robbert Krebbers (Nijmegen). The successful candidate will explore the semantic foundations of type systems for message-passing concurrency (e.g., session types), employing techniques like logical relations and coalgebras, and establishing rigorous connections with frameworks like Iris and program logics like Actris.
The ideal candidate has proven research experience in one or more of the following: semantics of programming languages, concurrency theory, type systems, logics such as linear logic and separation logic, and proof assistants. Prior knowledge of session types and Rocq/Iris is not a prerequisite, but it would be an advantage.
The Logic and Set Theory Group at the School of Mathematics of the University of Bristol is seeking a mathematical logician, with preference given towards set theory. This will be on the full-time UK Lecturer/Senior Lecturer scale, on a standard open ended contract. 3 letters of reference should be sent to math-recruitment at bristol.ac.uk by the deadline (1 Nov).
The Centre for Logic, Epistemology and the History of Science (CLE) at UNICAMP in Brazil invites applications for a postdoctoral position, funded by FAPESP, under the supervision of Prof. Walter Carnielli. The position is linked to the FAPESP Thematic Project "Rationality, Logic and Probability RatioLog". Applications are to be sent directly to Prof. Carnielli.
CLE-UNICAMP is one of the first and highest-ranked academic institutions in Latin America fully dedicated to the areas of Logic, Epistemology, Philosophy, and the History of Science, promoting interdisciplinary research through seminars, scientific meetings, publications, and academic exchange with research groups and institutions worldwide.