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.
| << May 2013 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|
3 May 2013, Cool Logic, Philip Schulz
For more information, see https://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.
7 May 2013, Logic Tea, Elliott Wagner
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).
Or see here.
13 May 2013, Logic Tea, Oliver Kutz
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).
Or see here.
14 May 2013, Logic and Interactive Rationality (LIRa), Sebastian Sequoiah-Grayson
For more information, see https://www.illc.uva.nl/lgc/seminar
15 May 2013, Computational Linguistics Seminar, Gideon MdB Wenniger
For more information and abstracts, see https://www.illc.uva.nl/LaCo/CLS/
17 May 2013, DIP Colloquium, Paula Quinon
For abstracts and more information, see https://www.illc.uva.nl/LoLa/DIP-Colloquium/.
17 May 2013, Cool Logic, Sam van Gool
For more information, see https://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.
21 May 2013, Stone Duality for Markov Processes, Prakash Panangaden
We define Aumann algebras, an algebraic analog of probabilistic modal logic. An Aumann algebra consists of a Boolean algebra with operators modeling probabilistic transitions. We prove a Stone-type duality theorem between countable Aumann algebras and countably-generated continuous-space Markov processes. Our results subsume existing results on completeness of probabilistic modal logics for Markov processes.
(This is joint work with: Dexter Kozen, Kim Larsen and Radu Mardare)
21 May 2013, LogiCIC/LIRa Seminar, Fenrong Liu
For more information, see https://www.illc.uva.nl/lgc/seminar and https://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.
24 May 2013, DIP Colloquium, Hans Kamp
For abstracts and more information, see https://www.illc.uva.nl/LoLa/DIP-Colloquium/.
27-31 May 2013, Nordic Spring School in Logic 2013, Nordfjordeid, Norway
The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.
The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.
Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school
27-31 May 2013, Nordic Spring School in Logic 2013, Nordfjordeid, Norway
The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.
The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.
Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school
27-31 May 2013, Nordic Spring School in Logic 2013, Nordfjordeid, Norway
The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.
The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.
Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school
29 May 2013, General Mathematics Colloquium, Tobias Mueller
Abstract.
Random graphs have been studied for over half a century as
useful mathematical models for networks and as an attractive
bit of mathematics for its own sake. Almost from the very
beginning of random graph theory there has been interest in
studying the behaviour of graph properties that can be
expressed as sentences in some logic, on random graphs. We say
that a graph property is first order expressible if it can be
written as a logic sentence using the universal and
existential quantifiers with variables ranging over the nodes
of the graph, the usual connectives AND, OR, NOT, parentheses
and the relations = and ~, where x ~ y means that x and y
share an edge. For example, the property that G contains a
triangle can be written as Exists x,y,z : (x ~ y) AND (x ~ z)
AND (y ~ z). First order expressible properties have been
studied extensively on the oldest and most commonly studied
model of random graphs, the Erdos-Renyi model, and by now we
have a fairly full description of the behaviour of first order
expressible properties on this model. I will describe a number
of striking results that have been obtained for the
Erdos-Renyi model with surprising links to number theory,
before describing some of my own work on different models of
random graphs, including random planar graphs and the Gilbert
model. (based on joint works with: P. Heinig, S. Haber,
M. Noy, A. Taraz)
27-31 May 2013, Nordic Spring School in Logic 2013, Nordfjordeid, Norway
The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.
The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.
Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school
27-31 May 2013, Nordic Spring School in Logic 2013, Nordfjordeid, Norway
The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.
The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.
Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school
Entangled?, Matthias Christandl
Abstract:
A quantum state is entangled if it cannot be described by classical correlations
alone. Entangled states are responsible for the security of quantum
cryptography, the speed-up in quantum computation and properties of many
physical systems. But if an experimenter has determined the quantum state of his
system, how can he find out whether or not the state is in fact entangled?
Answering this question has kept the field of quantum information theory busy
since its beginning. After an introduction to the subject, I will explain the
fastest way of determining when a state is entangled.
31 May 2013, Cool Logic, Alexander Block
For more information, see https://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.