Discover more about the secrets of the universe or the surprising properties of smart materials during the Amsterdam Science Park open day. Or take a look behind the scenes, for example in the greenhouses of the University of Amsterdam during a guided tour.

After a year in which the Open Day could not take place due to coronavirus, this year a hybrid form has been chosen, partly in-person and partly online. On October 2nd, there will be live lectures at the Science Park at various locations, and tours for small groups.

Tellen kunnen we bijna allemaal. Toen ik jong was leerde ik vleermuizen tellen met Graaf Tel. Nu ik wat ouder ben tel ik examens die ik moet nakijken. Maar wat is tellen eigenlijk? En is tellen wel zo kinderlijk eenvoudig als het lijkt? In dit praatje denken we na over de dingen die we tellen en hoe tellen zich verhoudt tot de concepten die we gebruiken. We zullen zien dat tellen met verschillende filosofische puzzels samenhangt en dat het zelfs een verschil van drie-en-een-half miljard dollar kan maken.

The buurtbudget, known as participatory budgeting in English, is a democratic process aiming at involving citizens in public spending decisions. In several neighborhoods of Amsterdam, residents already can vote for community-driven projects to be paid for from public funds. However, organizing this process is not straightforward, especially when it comes to making a decision based on the ballots that have been submitted. During this talk, we will see why some natural procedures to determine the winning projects suffer major drawbacks and how to circumvent those drawbacks.

Students and staff with disabilities and/or chronic diseases have experienced some positive sides of the pandemic: traveling to campus was unnecessary and some developed more focused working habits. The FNWI Diversity Sounding Board and Diversity Office is convinced that we all can learn from their experience, also as we are now returning to pre-lockdown conditions. You are invited to join the discussion round on Diversity Day 2021, where some working experiences will be presented, and you are welcome to share your own lessons.

On Thursday October 7th at 12:00 a new online edition of the IoP (Institute of Physics) Career Lunch will take place.

Your career after a PhD or postdoc might not be a topic you often think about, but it is important! Most PhD students and postdocs will not end up working as a scientist at a university, but what are your options outside academia? These career lunches are organized to help orient yourself on possible career paths. During the event, two invited guests will share their career story and in moderated sessions they will answer your questions about what it is like to work as a PhD graduate in a non-academic environment.

Abstract: Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion of proof systems for combining logics, called Ecumenical systems by Prawitz and others.

In Prawitz’ system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant for the absurd, but they would each have their own existential quantifier, disjunction, and implication, with different meanings.

We extended this discussion to alethic K-modalities: using Simpson’s meta-logical characterization, necessity is shown to be independent of the viewer, while possibility can be either intuitionistic or classical.

We furthermore proposed an internal and pure calculus for ecumenical modalities, where every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic.

(joint work with Elaine Pimentel, Luiz Carlos Pereira, and Emerson Sales, partially published in the proceedings of Dali’20 and WoLLiC’21)

In October this year Cambridge University Press will publish The Compositional Nature of Tense, Mood and Aspect, written by Henk Verkuyl (UiLOTS, Utrecht). The title of this book clearly alludes to the PhD defended in Utrecht on Friday 15 October 1971, called On the Compositional Nature of the Aspects. It was published in 1972 without substantial corrections. The fact that October 15 this year will fall on a Friday was such a nice coincidence that it was impossible to escape from the idea that the book could be presented on that very day in a celebratory setting of some sort, exactly fifty years later. This has been developed into the more concrete idea of a workshop with distinguished speakers working in the domain of tense, aspect and mood who could connect their contribution to topics broached in the new book. The book addresses both linguists and logicians, so we are happy that UiLOTS (Utrecht) and ILLC (Amsterdam) have joined forces in organizing this workshop.

MoL students graduating in the current semester will present their ongoing thesis projects to the ILLC community.

This workshop is organized by the MECORE project, a collaboration between the ILLC, the University of Edinbugh and the University of Konstanz on the semantics of clause-embedding.

This workshop is organized by the MECORE project, a collaboration between the ILLC, the University of Edinbugh and the University of Konstanz on the semantics of clause-embedding.

This workshop is organized by the MECORE project, a collaboration between the ILLC, the University of Edinbugh and the University of Konstanz on the semantics of clause-embedding.

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 .

This lecture will be an introduction to the theory of judgment aggregation (JA). JA deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions, expressed in the language of logic, into a single such view that appropriately reflects the stance of the group as a whole. Applications of JA range from aggregating the opinions of several judges in a court of law into a single legal opinion, all the way to aggregating information received from several autonomous software agents in the context of distributed computing systems.

Please contact the organizer to join this online meeting.