Spring is near, the sun has appeared! Join your fellow MoL students for a spring cleaning party: eat snacks, have drinks, and jam out to music while cleaning up our shared spaces.
March 14 is NL Doet, a national day of volunteering and service. Everybody does something special to make our world a little better. So with all the hours we spend studying and hanging out in the ILLC, we might as well make it a nicer place to be!
And in return for our good efforts, perhaps the common room dishes will come back from vacation…
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.
For this session, our dear classmate Edoardo will tell us all about Martin-Löf’s impact on the philosophy of math and logic. There is no specific text of focus; but those wanting to come extra-prepared can read Per Martin-Löf’s On the Meanings of the Logical Constants and the Justifications of the Logical Laws for some background on the central topics he will touch on.
Logic?? What do you DO with THAT!?
ILLC alumni are at the cutting-edge not only in academia, but also across tech, government, finance, nonprofit, and other sectors. Join us for a panel discussion with five ILLC alumni who are leading and innovating in their fields. Hear how their academic background informs their work in industry, and how they've navigated career changes and opportunities.
Panel discussion and audience Q&A session followed by reception.
Nominations are invited of excellent dissertations on topics in the broad remit of ESSLLI, including current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language, and cognition.
To be considered, the Ph.D. degree must have been awarded between January 1st and December 31st, 2025.
We are looking for an excellent PhD Researchers to strengthen Bart Bogaerts' research group on Knowledge Representation and Combinatorial Optimization, which is part of the Declarative Languages and Artificial Intelligence (DTAI) section of the department of Computer Science of KU Leuven.
There are two (related) possible research directions for a PhD. The successful candidate will focus either on *proof logging* or on *explanations* for combinatorial solving; some details can be found below.
The Department of Computer and Information Sciences at the University of Strathclyde seeks to appoint a Lecturer in Mathematically Structured Programming. We welcome applications from candidates with expertise in a range of topics in the mathematical foundations of computer sciences and applications.
You will join the vibrant Mathematically Structured Programming group which is internationally renowned for its research in the mathematical foundations of programming languages. They see the mathematical foundations of computation and programming as inextricably linked, and study one so as to develop the other. This reflects the symbiotic relationship between mathematics, logic, and programming - any attempt to sever this connection will diminish each component. They have a strong partnership with the Scottish Programming Languages Institute and their work finds impact through our productive links with industry.
The Center for Mind & Cognition at Ruhr University Bochum currently offers 7 fellowship options multiple across disciplines.