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 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
|
31
|
1 October 2015, Logic and Interactive Rationality (LIRa) guest presentations by Joan Casas-Roma, Maximilian Huber and He Shunnan
This Thursday we will have a session with three presentations from our current visitors.
Titles and Speakers:
Joan Casas-Roma: Games and bluffs: reasoning about strategies with imperfect information and wrong beliefs.
Maximilian Huber: Biological modalities: logical models of hemoglobin variants.
He Shunnan: Knowing an action: a new approach in PDL.
For more information, see http://www.illc.uva.nl/lgc/seminar
2 October 2015, Cool Logic, Stella Moon
In the early 1900s, some paradoxes were discovered regarding the notion of truth. This led some philosophers to suggest abandoning truth entirely. However, Tarski's ground breaking paper “The concept of truth in formalized languages” (1935) reintroduced the concept of truth as a respectable notion. He introduced the notion of metalanguage and object language to avoid the paradoxes. This also led to a view called deflationism. Deflationism is a view that the assertion of truth should not assert more than the statement itself.
Since then, there have been attempts to formalise the concept of truth. There are two ways of formalising the concept: semantic and axiomatic theories of truth. Semantic theories use models of formal theories to state whether a sentence is true or false. This is generally accepted and used in model theory. Axiomatic theories introduce truth into the language of the theory.
We will use Peano Arithmetic (PA) as our base theory, the theory of the object language. We can show Goedel's theorems in PA and discuss truth in arithmetic. To respect deflationists' view on truth, I will introduce proof theoretic and model theoretic conservativities, and discuss the compositional axioms of truth.
For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com
5 October 2015, Faculty Colloquium, Raquel Fernández
Raquel Fernández will contribute the "Academic Highlight" at the next Faculty Colloquium.
For more information, see https://staff.uva.nl/science/news-events/events/events/events/content/folder/
8 October 2015, Colloquium on Mathematical Logic, Marta Bilkova
For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html
8 October 2015, Logic and Interactive Rationality (LIRa), Yibin Dai
For more information, see http://www.illc.uva.nl/lgc/seminar
13 October 2015, Logic Tea, Malvin Gattinger
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.
16 October 2015, DIP Colloquium, Liz Coppock
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.
16 October 2015, Cool Logic, Esteban Landerreche Cardillo
For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com
21 October 2015, Algebra|Coalgebra Seminar, Cancelled
For more information, see http://www.illc.uva.nl/alg-coalg, or contact Frederik Lauridsen (F.M.Lauridsen at uva.nl).
23 October 2015, Alumni Event bachelor/master programmes Informatics UvA: Amsterdam Computer Science: from the lab to the real world
Presentations:
15:30 uur - Theo Gevers on "3D Vision"
16:15 uur - Frank van Harmelen on "The Biggest Knowledge-Base in History"
There will also be a business market where information on developments and open positions in industry is available.
For registration and more information, see http://backtobasic-event.nl/
23 October 2015, DIP Colloquium, Andreas Kapsner and Peter Verdee
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.
26 October 2015, Guest lecture, Zsofia Zvolensky
27 October 2015, Logic Tea, Julian Schloeder
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.
28 October 2015, ILLC visiting lectures, Dirk Hovy
On October 28th, Dirk Hovy, a well-known researcher in the field of
computational linguistics, will visit the ILLC.
Dirk will give two lectures, one aimed especially on students and one research
lecture on a topic to be announced.
The programme for his visit will be as follows.
10.00-10.40 Lecture
10:40-11:00 coffee break
11:00-11:20 research talk
From 12:15 to 13:15 Dirk will be available for meetings with PhD students.
29 October 2015, Logic and Interactive Rationality (LIRa), Tomas Veloz
For more information, see http://www.illc.uva.nl/lgc/seminar
30 October 2015, DIP Colloquium, Michael Franke
For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.
30 October 2015, Cool Logic, Maximilian Huber
Abstract:
An answer to this question depends on what kind of modality (logical,
physical or biological) is in play: Flying pigs do not violate any logical
or physical laws; therefore, it is logically and physically possible that
pigs fly (think of very tiny pigs with large wingspans). However, there are
no biological laws; it is hence either trivial that flying pigs are
biologically possible, or an answer is more complicated. In this talk, we
will explore the second option. We will first get acquainted with one of
the very few explicit definitions of biological possibility which is due to
Daniel Dennett and based on the Library of Mendel thought experiment.
Second, we will see how the Library of Mendel can be used as stepping stone
for logical models of pig mutants. Time permitting, we will have a more
detailed look at one such model constructed in the framework of graded
modal logic.
For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com