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.
| << June 2011 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||
10 June 2011, Computational Social Choice Seminar, Erik Parmann
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).
10 June 2011, DIP Colloquium, Fabrizio Cariani
For abstracts and more information, see http://sites.google.com/site/illcdip/
13 June 2011, Logic Tea, Johannes Marti
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Bruno Jacinto (jacinto.bruno at gmail.com), Umberto Grandi (u.grandi at uva.nl), or Yurii Khomskii (Y.D.Khomskii at uva.nl).
16 June 2011, The PlusCal Algorithm Language, Leslie Lamport
Algorithms are different from programs and should not be described with programming languages. For example, algorithms are usually best described in terms of mathematical objects like sets and graphs instead of the primitive objects like bytes and integers provided by programming languages. Until now, the only simple alternative to programming languages has been pseudo-code.
PlusCal is an algorithm language based on TLA+. A PlusCal algorithm is automatically translated to a TLA+ specification that can be checked with the TLC model checker or reasoned about formally. (No knowledge of TLA+ is assumed.) PlusCal makes pseudo-code obsolete.
For more information, see k.r.apt at cwi.nl
17 June 2011, Tilburg University Seminars on Game Theory
For more information, see http://www.tilburguniversity.edu/research/institutes-and-research-groups/center/ or contact Ruud Hendrickx AT ruud.hendrickx at gmail.com.
20 June 2011, Logic Tea, Johannes Marti
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/.
For more information, please contact Matthijs Westera (M.Westera at uva.nl), Tong Wang (tongwang01 at gmail.com) or Umberto Grandi (u.grandi at uva.nl).
23 June 2011, Colloquium on Mathematical Logic, Andreas Weiermann
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html.
24 June 2011, Computational Social Choice Seminar, Ulle Endriss
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).
27-28 June 2011, Extended Cognition Workshop, OMHP building, Oudemanhuispoort 4-6, Amsterdam
To mark the end of Catarina Dutilh Novaes' VENI-project on formal languages and the new appointment of Julian Kiverstein at the philosophy department of the University of Amsterdam, a workshop on extended cognition will take place in Amsterdam on June 27th--28th. The focus will be on conceptions of extended cognition in the spirit of 'second-wave EM' (Sutton) or 'cognitive integration' (Menary).
The workshop is open to all, but please register no later than June 13th. For more information and list of speakers, see http://www.newappsblog.com/2011/03/.
27-28 June 2011, Extended Cognition Workshop, OMHP building, Oudemanhuispoort 4-6, Amsterdam
To mark the end of Catarina Dutilh Novaes' VENI-project on formal languages and the new appointment of Julian Kiverstein at the philosophy department of the University of Amsterdam, a workshop on extended cognition will take place in Amsterdam on June 27th--28th. The focus will be on conceptions of extended cognition in the spirit of 'second-wave EM' (Sutton) or 'cognitive integration' (Menary).
The workshop is open to all, but please register no later than June 13th. For more information and list of speakers, see http://www.newappsblog.com/2011/03/.
28 June 2011, Computational Social Choice Seminar, Umberto Grandi
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).