For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen (F.M.Lauridsen at uva.nl).

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Thomas Brochhagen (t.s.brochhagen at uva.nl), Bonan Zhao (bonan.zhao at student.uva.nl), or Julian Schloder (julian.schloeder at gmail.com).

Or see here.

On Thursday, May 12th Professor Dr. Martin Stokhof will retire as professor of Philosophy of language, a position he has held since 1998. His valedictory lecture will take place in the Aula of the University and will start at 15:00 am (exactly). The aula will be open from 14.30.

Professors are invited to take part in the procession dressed in toga. From 14:30 you can use the entrance at Handboogstraat 6.

For more information, see http://www.uva.nl/nieuws-agenda/agenda/alle-evenementen/content8/lezingen/2016/ or contact illc at uva.nl

This is a guest lecture given as part of the course "Studies of Mathematical and Logical Practice". For more information, see here or http://www.math.uni-hamburg.de/home/loewe/2015-16-II/SMLP.html.

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For abstracts and more information, see http://smartcs.humanities.uva.nl/upcoming-events/

In December 2015 Jouko Väänänen formally retired from the Institute for Logic, Language and Computation (ILLC). Despite the fact that Jouko will maintain his ties to the ILLC, we nevertheless take the opportunity to organise a small workshop in Jouko's honour.

For more information, see http://www.illc.uva.nl/Vaananen65/

A system is proposed which speeds up some computations by taking advantage of current large, fast memory in order to efficiently store and recall relevant computational histories. The system automatically exploits predicted patterns in a computation in order to accelerate computation when it can. Our goal is to quantify the specific speed-ups that can be achieved and to provide lower bounds indicating the limits of our approach.

For more information, see here or contact Ronald de Wolf (rdewolf at cwi.nl)

Abstract:
An action is something that takes place in the world, and that makes a
difference to what the world looks like. Thus, actions are maps from
states of the world to new states of the world. Actions can be of
various kinds. The action of spilling coffee changes the state of
your trousers. The action of telling a lie to your friend changes your
friend's state of mind (and maybe the state of your soul). The action
of multiplying two numbers changes the state of certain registers in
your computer. Despite the differences between these various kinds of
actions, we will see that they can all be covered under the same
logical umbrella.

For more information, contact t.achourioti at uva.nl

For more information, see http://www.illc.uva.nl/lgc/seminar

In this talk we would like to present the Lawvere's fixed point theorem, which is a generalisation of the Cantor-Russell-Turing-Gödel argument in a sufficiently nice category. We will show how it implies straightforwardly Cantor's theorem and Russell's paradox, various versions of the Liar paradox. With a bit of work we will deduce Tarski's result about the undefinability of truth and Gödel's incompleteness theorem, as well as results from computability theory, such as the undecidability of the halting problem and the existence of fixed point combinators in λ-calculus.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com

Around 70% of all PhD students will pursue a career outside academia after their defense. The UvA wishes to prepare PhD students for a successfull career. This English training is intended to help in this regard.

There will be 4 meetings in total, on May 24th, June 7th, June 28th and July 12th

Registration for this training is open until 17 May 2016. For more information, see https://medewerker.uva.nl/fnwi/actueel/agenda/agenda/agenda/content/folder-2/

Cool Logic has gone through some changes with a new name COOL.
COOL. is a biweekly student seminar organised by master's students, with talks given by master's students.

For more information, see http://www.illc.uva.nl/lgc/seminar

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.