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.
| << September 2015 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||
1 September 2015, Workshop on Subjectivity, Evaluativity and Meaning, Belle van Zuylenzaal, room C1.13 at the University Library (UBA), Singel 425, Amsterdam
This workshop aims at bringing together philosophers and semanticists, and host a discussion on pressing issues related to how subjectivity and evaluativity appear in natural language, and how these features can best be modeled.
The workshop is co-located with the PhD defence of Inés Crespo.
For more information, see http://inescrespo.altervista.org/workshop.html
4 September 2015, Logic and Interactive Rationality (LIRa), Yanjing Wang
For more information, see http://www.illc.uva.nl/lgc/seminar
4 September 2015, DIP Colloquium, Wang Lu
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.
8 September 2015, Workshop on Correspondence and Canonicity in Non-Classical Logic, Belle van Zuylenzaal, room C1.13 at the University Library (UBA), Singel 425, Amsterdam
The aim of the workshop is to contribute to developing a unified perspective towards the theory and applications of non-classical logics. The workshop will focus on the recent developments of methodologies for correspondence and canonicity in non-classical logics.
For more information, see http://events.illc.uva.nl/Workshops/CCNCL2015/ or contact Sumit Sourabh (s.sourabh at uva.nl).
9 September 2015, Logic Tea, Paul Van Eecke
For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Johannes Marti (johannes.marti at gmail.com), or Julian Schloder (julian.schloeder at gmail.com).
Or see here.
10 September 2015, From Modal and Non-Classical Logics to the Mathematics of Quantum Information Flow, Room F1.15, ILLC, Science Park 107, Amsterdam
The aim of this workshop is to create a forum to present new developments, exchange ideas, explore and establish new connections between logic, mathematics, computer science and physics.
Topics include the following list but are not restricted to: modal logic, non-classical logic, spatial logic, mathematical structures in logic, quantum computation and quantum information, the foundations of quantum theory.
This workshop is associated with the PhD defense of Shengyang Zhong.
For more information, see https://workshop20150910.wordpress.com/.
14 September 2015, AUC Logic Lectures, Johan van Benthem
Abstract:
A major reason why logic courses 'work' is that audiences worldwide feel an intuitive resonance with examples of correct and incorrect reasoning. Moreover, many people derive pleasure from exercising their logical skills: I will give a recent internet example that went viral, Cheryl's Birthday. But what is this logical talent, how far does it reach, and how did its academic study originate?
I will discuss a few issues by means of examples:
* Where logic occurs in human cognitive behavior (it is really a family of skills),
* How (or to what extent) reasoning is entangled with language,
* How logical theory arose, and what role it plays in the above.
This lecture is a light introduction to these topics.
For more information, see http://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures/.
Reference: "Fanning the Flames of Reason", Valedictory Lecture, https://staff.fnwi.uva.nl/j.vanbenthem/FanningFlames.pdf.
14 September 2015, De vluchtelingencrisis - geesteswetenschappelijke perspectieven
De vluchtelingencrisis is uitgegroeid tot een van de grootste rampen in de recente geschiedenis. Hoe kan het dat Europa en de rest van de wereld geen antwoord hebben op deze humanitaire crisis?
Sprekers: Frank van Vree, Rens Bod, Mariwan Kanie, Michiel Leezenberg, Robbert Woltering, Luiza Bialasiewicz, Geert Janssen en Beate Roessler
Voor meer informatie, ziehttp://www.spui25.nl/programma/item/ en https://www.uva.nl/nieuws-agenda/agenda/alle-evenementen/content2/lezingen/2015/
16 September 2015, Theoretical Computer Science Seminar, Jop Briet
For more information see here or contact Ronald de Wolf (rdewolf at cwi.nl)
18 September 2015, DIP Colloquium, Julien Murzi
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.
18 September 2015, Cool Logic, Suzanne van Wijk (ILLC)
Epistemic planning is an adaptation of a field in artificial intelligence, called automated planning, which develops algorithms that find plans that an agent can follow to reach his goal. Epistemic planning has the same intentions, but uses dynamic epistemic logic to define the planning problems and the plans, using the knowledge of the agent in the definition of a solution. I will present (part of) my thesis, where I extended epistemic planning to be able to deal with multiple acting agents, rather than just one. I will present the framework I developed, consisting of action control models and static control models, which are a combination of the standard models of DEL (Dynamic Epistemic Logic) and a semantic interpretation of STIT (seeing to it that), and I introduce a logic that talks about the knowledge of (coalitions of) agents and their power, and I show how this framework can be used to define a solution to multi-agent planning problems. Time permitting, I will also introduce a way for the agents to commit to certain actions, thereby enabling a group of agents to coordinate on which joint action to take.
For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com
21-26 September 2015, 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Tbilisi, Georgia
The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.
The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
21-26 September 2015, 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Tbilisi, Georgia
The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.
The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
21-26 September 2015, 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Tbilisi, Georgia
The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.
The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
21-26 September 2015, 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Tbilisi, Georgia
The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.
The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
21-26 September 2015, 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Tbilisi, Georgia
The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.
The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
25 September 2015, DIP Colloquium, Fred Kroon
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.
21-26 September 2015, 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Tbilisi, Georgia
The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.
The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
29 September 2015, Lecture and discussion with Nobel Prize Winner 2014 William Moerner
Prof. William E. Moerner (1953) was, together with Eric Betzig and Stefan Hell, awarded the 2014 Nobel Prize in Chemistry 'for the development of super-resolved fluorescence microscopy'. Moerner heads The Home of Single-Molecule Spectroscopy at Stanford University (USA). He applies this techniques to explore chemical, physical and biological phenomena.
For more information, see http://www.uva.nl/en/about-the-uva/organisation/faculties/content/