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.
<< December 2020 | ||||||
---|---|---|---|---|---|---|
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
|
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
2 December 2020, Algebra|Coalgebra Seminar, Paige Randall North
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
3 December 2020, QuSoft’s first lustrum: Opening day
QuSoft’s lustrum covers the first three weeks of December, with Opening day on December 3, Science Week from December 7 to 11, and Business and Society Day on December 17. Opening Day will be presented by Jim Jansen, editor in chief of the popular science magazine New Scientist. And among the keynote speakers are renowned scientists such as Ignacio Cirac, Dorit Aharonov and Gilles Brassard. Also Freeke Heijman from Quantum Delta NL will speak and Christian Schaffner is invited to talk about the new quantum innovation hub Quantum.Amsterdam.
3 December 2020, LIRa/GroLog Logic Afternoon
Speakers: Zoé Christoff (University of Groningen) and Aybüke Özgün (University of Amsterdam).
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
7 - 11 December 2020, QuSoft’s first lustrum: Science week
QuSoft’s lustrum covers the first three weeks of December, with Opening day on December 3, Science Week from December 7 to 11, and Business and Society Day on December 17. Opening Day will be presented by Jim Jansen, editor in chief of the popular science magazine New Scientist. And among the keynote speakers are renowned scientists such as Ignacio Cirac, Dorit Aharonov and Gilles Brassard. Also Freeke Heijman from Quantum Delta NL will speak and Christian Schaffner is invited to talk about the new quantum innovation hub Quantum.Amsterdam.
14 April - 8 December 2020, Training SURF-systems for research
Do you want to work with our systems, but do you lack the required knowledge? We regularly organize hands-on system trainings at our SURF office in Amsterdam.
Trainings will take place online until further notice due to the COVID-19 regulations.
7 - 11 December 2020, QuSoft’s first lustrum: Science week
QuSoft’s lustrum covers the first three weeks of December, with Opening day on December 3, Science Week from December 7 to 11, and Business and Society Day on December 17. Opening Day will be presented by Jim Jansen, editor in chief of the popular science magazine New Scientist. And among the keynote speakers are renowned scientists such as Ignacio Cirac, Dorit Aharonov and Gilles Brassard. Also Freeke Heijman from Quantum Delta NL will speak and Christian Schaffner is invited to talk about the new quantum innovation hub Quantum.Amsterdam.
8 December 2020, The Utrecht Logic in Progress Series (TULIPS), Bogdan Dicher
Abstract:
Proof-theoretic semantics aims to explain the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. One of its central concepts is that of harmony: roughly, the match between the rules stipulating the conditions for introducing a logical constant in a proof and those for eliminating it from a proof. There are many accounts of harmony, most of them are developed against a background that assumes the rules of Identity and Cut, taken to codify the reflexivity and transitivity of logical consequence. We have argued elsewhere that the proof-theoretic project should be approached relative to a logic, i.e., relative to a consequence relation, and that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. This relation is always reflexive, monotonic, and transitive, but it being so does not depend on the availability of sequent rules codifying these properties. In this talk we investigate the prospects for an account of harmony adequate for logics that lack the structural rules of Identity and Cut.
The talk will take place on MS Teams. Please contact the organizers for information about how to join the online meeting.
7 - 11 December 2020, QuSoft’s first lustrum: Science week
QuSoft’s lustrum covers the first three weeks of December, with Opening day on December 3, Science Week from December 7 to 11, and Business and Society Day on December 17. Opening Day will be presented by Jim Jansen, editor in chief of the popular science magazine New Scientist. And among the keynote speakers are renowned scientists such as Ignacio Cirac, Dorit Aharonov and Gilles Brassard. Also Freeke Heijman from Quantum Delta NL will speak and Christian Schaffner is invited to talk about the new quantum innovation hub Quantum.Amsterdam.
7 - 11 December 2020, QuSoft’s first lustrum: Science week
QuSoft’s lustrum covers the first three weeks of December, with Opening day on December 3, Science Week from December 7 to 11, and Business and Society Day on December 17. Opening Day will be presented by Jim Jansen, editor in chief of the popular science magazine New Scientist. And among the keynote speakers are renowned scientists such as Ignacio Cirac, Dorit Aharonov and Gilles Brassard. Also Freeke Heijman from Quantum Delta NL will speak and Christian Schaffner is invited to talk about the new quantum innovation hub Quantum.Amsterdam.
10 December 2020, Logic and Interactive Rationality (LIRa), Konstantin Genin
7 - 11 December 2020, QuSoft’s first lustrum: Science week
QuSoft’s lustrum covers the first three weeks of December, with Opening day on December 3, Science Week from December 7 to 11, and Business and Society Day on December 17. Opening Day will be presented by Jim Jansen, editor in chief of the popular science magazine New Scientist. And among the keynote speakers are renowned scientists such as Ignacio Cirac, Dorit Aharonov and Gilles Brassard. Also Freeke Heijman from Quantum Delta NL will speak and Christian Schaffner is invited to talk about the new quantum innovation hub Quantum.Amsterdam.
11 December 2020, Meaning, Logic, and Cognition (MLC) Seminar, Saskia Leymann
14 December 2020, Workshop on Logics of Agency, Counterfactuals and Norms
The workshop will take place on Monday, December 14th 2020 from 09:50 to 12:50 and from 15:00 to 18:00. The workshop is associated to the PhD defense of Ilaria Canavotto.
16 December 2020, Algebra|Coalgebra Seminar, Cancelled
The talk by Philip Kremer that was scheduled for Wednesday 16 December has been cancelled due to personal circumstances. The talk will be rescheduled at a later date.
17 December 2020, QuSoft’s first lustrum: Business and society day
QuSoft’s lustrum covers the first three weeks of December, with Opening day on December 3, Science Week from December 7 to 11, and Business and Society Day on December 17. Opening Day will be presented by Jim Jansen, editor in chief of the popular science magazine New Scientist. And among the keynote speakers are renowned scientists such as Ignacio Cirac, Dorit Aharonov and Gilles Brassard. Also Freeke Heijman from Quantum Delta NL will speak and Christian Schaffner is invited to talk about the new quantum innovation hub Quantum.Amsterdam.
18 December 2020, DIP Colloquium, Wataru Uegaki
Abstract:
In this talk, I argue that the model of semantic universals and variation in terms of complexity/informativeness trade-off (Kemp & Regier, 2012; Regier et al., 2015; Kemp et al., 2018) is applicable to the domain of Boolean connectives. In particular, I propose that the model explains the cross-linguistic absence of the connective NAND, once we incorporate the theoretical insights from Horn (1972) (cf. also Katzir and Singh, 2013). The lack of NAND follows if languages optimise the trade-off between (a) simplicity of the lexicon mea- sured by the number of propositional logic symbols necessary to express the meaning of the connectives and (b) informativeness of the lexicon measured by how much it facilitates accurate transfer of information, given scalar implicature. This model is essentially a reformulation of the explanations proposed by Horn (1972) and Katzir and Singh (2013), but has advantages over them in two respects: it rules out several unattested inventories that are not ruled out by Horn/K&S and it can be generalised to possible languages consisting of connectives among all 16 boolean connectives, not just the four ‘corners’ of the square of opposition, i.e., AND, OR, NOR, and NAND.
22 December 2020, The Utrecht Logic in Progress Series (TULIPS), Edi Pavlovic
This talk takes place on MS Teams, please contact the organiser for more information about how to join the meeting.