KNAW organises a symposium exploring the relation between mathematics and AI at the Trippenhuis in Amsterdam. The symposium consists of two parts.
14.00-17.00 - Expert Meeting
19.00-21.00 - General Audience Symposium
The full schedule and list of speakers can be found on the website, as well as the registration link.
An expert meeting (afternoon) and a symposium (evening) for a broader public. You are welcome to attend both meetings.
We are thrilled to announce that the University of Amsterdam is part of the International Dual Career Network (IDCN)! This network offers a unique opportunity for partners of our international staff to integrate more quickly and easily into life in the Netherlands. The University of Amsterdam is also hosting the first face-to-face event for the Amsterdam-Utrecht-chapter of the network on the 3rd of June from 09:30 AM until 12:00 AM at de Brug, Roeterseilandcampus!!
The Boad of Inclusive AI Community is excited to host the second edition of our panel on Diversity, Inclusion, and AI. This panel brings together experts from government, academia, and civil society to explore how we can create AI technologies that reflect the richness of our societies and work for everyone. How can we ensure that AI systems are designed with inclusivity and diversity at their core—not as afterthoughts, but as guiding principles?
Topics include:
- Is AI currently fostering a more inclusive society—or not?
- What can policymakers, educators, and industry do to drive change?
- How can we design datasets and systems that reflect diverse perspectives?
- What technical and policy actions are needed to tackle bias in AI?
We invite applications for six fully-funded PhD positions (4 years) in the project "Cyclic Structures in Programs and Proofs – New Harmonies in Software Correctness by Construction", funded by the Dutch Research Council (NWO).
This €3 million project aims to advance software verification through fundamental research in the following areas:
- Modal logic, proof theory, and coalgebras
- Programming languages, concurrency, and type systems
- Proof assistants (Agda, Rocq)
We seek strong, highly motivated applicants who:
- Have (or are close to completing) an MSc in Computer Science, Logic, Mathematics, or a related field.
- Have background or research experience in any of the areas above (preferred but not required).
- Have strong communication skills (oral and written) in English.
The University of Urbino is pleased to announce that applications are now open for the Ph.D. program in “Research Methods in Science and Technology.” We offer 9 fully funded positions (including 2 reserved for candidates with foreign qualifications) and 1 position without scholarship. We particularly welcome research proposals in Logic, Philosophy of Science, and History of Science.
In partnership with Sony CSL Barcelona, we invite applications for a fully funded 3 year PhD Position, starting in November 2025, on the topic of "Predicting the evolution of scientific knowledge: exploiting knowledge graphs and ontology embeddings". The PhD project is coordinated by Prof. Oliver Kutz and Prof. Diego Calvanese at the Free University of Bozen-Bolzano (Italy), and by Dr. Tarek Besold at Sony CSL (Barcelona, Spain). The successful applicant is expected to spend two extended 6 months periods in the Sony Lab Barcelona, with main PhD studies pursued in Bolzano within the world-renowned KRDB Research Centre for Knowledge Based Artificial Intelligence.
We’re putting out a call for abstracts for our upcoming brand new MoL magazine, The Illogician! Whether you’ve got a thought-provoking essay, a compelling opinion piece, a review of something interesting, or a summary of a paper that caught your eye, we want to hear about it. Any logic-related topic is welcome, from deep and serious pieces to comical stories. Just keep your abstract to a maximum of 300 words and submit the following form by May 16th. All Master of Logic, Logic Year, and ILLC PhD students are welcome to submit an abstract. Looking forward to seeing your ideas!
Are you a (PhD) student with a passion for drawing, sketching, or digital illustration? We're looking for talented illustrators to collaborate with our editorial team and bring The Illogician to life!