These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
<< October 2021 | ||||||
---|---|---|---|---|---|---|
Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
1
|
2
|
|||||
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
30
|
31
|
1 October 2021, Meaning, Logic, and Cognition (MLC) Seminar, Fausto Carcassi
2 October 2021, Open day Amsterdam Science Park
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.
2 October 2021, Open day Amsterdam Science Park, Jeroen Smid
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.
2 October 2021, Open day Amsterdam Science Park, Simon Rey
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.
5 October 2021, Discussion Round "The Positive Side of the Pandemic"
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.
5 October 2021, EXPRESS Seminar, Richard Pettigrew
6 October 2021, Proof Theory Virtual Seminar, Jeremy Avigad
7 October 2021, IoP Career Lunch
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.
7 October 2021, Logic and Interactive Rationality (LIRa), Dingmar van Eck
8 October 2021, DIP Colloquium, Simon Kirby
12 October 2021, The Utrecht Logic in Progress Series (TULIPS), Sonia Marin
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)
14 October 2021, Logic and Interactive Rationality (LIRa), Jürgen Landes
15 October 2021, Compositionality in the domain of tense, mood and aspect, Amsterdam (the Netherlands)
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.
20 October 2021, Proof Theory Virtual Seminar, Fedor Pakhomov
20 October 2021, MoL thesis presentations, MoL students
MoL students graduating in the current semester will present their ongoing thesis projects to the ILLC community.
21 - 23 October 2021, MECORE kickoff workshop: Approaches to the semantics of clause-embedding predicates: theories, cross-linguistic data, and experimentation
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.
21 October 2021, Logic and Interactive Rationality (LIRa), Francesca Poggiolesi
21 - 23 October 2021, MECORE kickoff workshop: Approaches to the semantics of clause-embedding predicates: theories, cross-linguistic data, and experimentation
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.
21 - 23 October 2021, MECORE kickoff workshop: Approaches to the semantics of clause-embedding predicates: theories, cross-linguistic data, and experimentation
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.
25 October 2021, Nordic Online Logic Seminar, Erich Grädel
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 .
25 October 2021, AUC Logic Lectures Series, Ulle Endriss
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.
26 October 2021, The Utrecht Logic in Progress Series (TULIPS), Thomas Ferguson
Please contact the organizer to join this online meeting.