The programme of the research evaluation, and the selfstudy written for this occasion, can be downloaded from https://www.illc.uva.nl/ResearchEvaluation/.

The outcome of the review will have a major impact on the research and on the status of ILLC in the coming six years.

On Wednesday afternoon, November 1st, at 2 pm the review committee will give a preliminary report of their findings. All of the ILLC members are invited to attend this meeting and the "borrel" given afterwards. The session takes place in the Bungehuis, Spuistraat 210, room 1.01.

Details of place and time can be found in the programme at https://www.illc.uva.nl/ResearchEvaluation/.

The MSc Logic Programme is being evaluated by an international visitation committee in order to be officially accredited as a Master's programme. This procedure has been started last fall, and in the meantime we have produced a so-called "self-evaluation", an 80-page document with details about the MSc Logic.

The international visitation committee will come to Amsterdam on November 1 and 2, 2006 in order to inspect the facilities of the MSc and compare the actual running programme with the description of the self-evaluation. The committee will consist of two international experts (Prof Dr Ramon Jansana from Barcelona and Prof Dr Peter Koepke from Bonn), two members of the accreditation agency CERTIKED and a student member; during these two days, the committee will talk to teachers, alumni, students and administrators of the MSc Logic.

Thursday afternoon this committee will give a public first feedback on their findings. You are all invited to join this meeting at:
Thursday, November 2, 2006 at 17.00 hrs.
In room P-0.16, Plantage Muidergracht 24, Amsterdam

For more information, please contact tkassena at science.uva.nl

The MSc Logic Programme is being evaluated by an international visitation committee in order to be officially accredited as a Master's programme. This procedure has been started last fall, and in the meantime we have produced a so-called "self-evaluation", an 80-page document with details about the MSc Logic.

The international visitation committee will come to Amsterdam on November 1 and 2, 2006 in order to inspect the facilities of the MSc and compare the actual running programme with the description of the self-evaluation. The committee will consist of two international experts (Prof Dr Ramon Jansana from Barcelona and Prof Dr Peter Koepke from Bonn), two members of the accreditation agency CERTIKED and a student member; during these two days, the committee will talk to teachers, alumni, students and administrators of the MSc Logic.

Thursday afternoon this committee will give a public first feedback on their findings. You are all invited to join this meeting at:
Thursday, November 2, 2006 at 17.00 hrs.
In room P-0.16, Plantage Muidergracht 24, Amsterdam

For more information, please contact tkassena at science.uva.nl

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov3.

Abstract.
We study many important properties of negations using neighborhood semantics, including antitony, De Morgan laws, classical double negation, constructive double negation and so on. We generalize the correspondence between such properties of negations and the conditions on the frames. Finally we discuss the duality between the category of distributive modal algebras with antitone negations and the category of descriptive generated neighborhood frames.

For more information, contact Yde Venema (yde at science.uva.nl)

For abstracts and more information, see https://www.illc.uva.nl/dip/.

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

A visual lecture (Dutch only) by Tine Wilde on the use of text and image in an installation. The lecture will be introduced by the poet Arie van den Berg and will end with the presentation of a publication, entitled Remodel[l]ing Reality. This publication connects Tine Wilde's previous projects, dating from 1990 to 2004, with `Do not Erase ... wait for Meaning' the project she is currently working on at the Universiteit van Amsterdam. For those who attend the lecture there will be a free copy. After that, the booklet can be obtained from International Booksellers Nijhof & Lee, Staalstraat 13a, Amsterdam.

For more information, see here, http://www.arti.nl/ or http://www.tinewilde.com/.

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4

The Medvedev lattice is a structure from computability theory with ties to constructive logic. We will briefly describe this connection and the relation to structures such as the Turing degrees. We will then discuss structural properties of the Medvedev lattice, in particular, the size of its intervals. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size 22^\aleph_0, the size of the lattice itself. We also prove that it is consistent that the lattice has chains of this size, and in fact that these big chains occur in every interval that has a big antichain. We also study embeddings of lattices and algebras. We show that large Boolean algebras can be embedded into the Medvedev lattice as upper semilattices, but that a Boolean algebra can be embedded as a lattice only if it is countable. Finally we discuss which of these results hold for the closely related Muchnik lattice. The talk was given previously in the Mathematical Logic Seminar but many people missed it.

For more information, please contact marjanv at science.uva.nl

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4

For more information, see http://www.win.tue.nl/prose/

For more information, see https://www.illc.uva.nl/GLoRiClass/?page=4

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov17.

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

For abstracts and more information, see https://www.illc.uva.nl/dip/.

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (jonathan at illc.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov24.

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov27.

The document confirming my appointment by Queen Juliana of the Netherlands to become "Lector Mathematische Informatica aan de Gemeentelijke Universiteit van Amsterdam" is signed 30 November 1976, now 30 years ago. I accepted the position three months later on Feb 01 1977.

I like to use this sixth lustrum of my appointment to look back into what was happening in Theoretical Computer Science in Amsterdam 30 years ago, how it was embedded into the University and exhibit some of the roots of the ILLC as we know it today.

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (jonathan at illc.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4