This year marks the 380th anniversary of the University of Amsterdam (UvA). In honour of this 76th 'lustrum' (anniversary occurring every five years), the UvA will be celebrating the opening of the academic year on a grand scale with the arrival of the 'Glass House of Science and Scholarship' ('het Glazen Huis van de Wetenschap'). On Monday, 3 September from 09:30 to 18:15, the Spui in Amsterdam will be transformed into a public lecture hall.

For more information, seehttp://www.english.uva.nl/news/news.cfm/8CB86D70-94B8-45C8-97F7404A3ADC3E3D. Video's of the lectures may be found at http://webcolleges.uva.nl/Mediasite/Catalog/Full/ (requires SilverLight).

Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past twenty-five years, research in this area has led to dramatic improvements in the performance of model checking tools. This has enabled its application to real-life problems, and has induced major corporations such as Microsoft and Intel to invest in the development and application of model checking technology.

The Dutch Model Checking Day (DMCD) is a forum for practitioners and researchers interested in model-based techniques for the validation and analysis of software and hardware. DMCD covers a broad spectrum of topics, ranging from fundamental algorithms to industrial applications and tools. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering.

Registration required, but it is free of charge. For more information, see http://www.cs.vu.nl/~ekr/dmcd2012/

On the 7th of September 2012, there will be a workshop "Intuitionism in 2012", preceeding the Heyting lecture by Yiannis Moschovakis. Invited speakers: Benno van den Berg, Rosalie Iemhoff, Joan Rand Moschovakis.

For more information, see https://www.illc.uva.nl/KNAW/Heyting/nl/Events/Intuitionism-in-2012/

For abstracts and more information, see http://sites.google.com/site/illcdip/.

The Arend Heyting Stichting was founded in 1981. It's goal is to further knowledge of the foundations of mathematics, in particular Intuitionism. On 7 September 2012 Yiannis Moschovakis will deliver the Arend Heyting Lecture to support this goal.

For more information, contact illc at uva.nl. The Heyting Lecture is part of the celebration of the Alan Turing Year 2012.

[In Dutch only]
Na meer dan 40 jaar verbonden te zijn geweest aan de Universiteit van Nijmegen neemt Wim Veldman dit najaar afscheid. Ter gelegenheid hiervan is er voor 10 september een middagprogramma georgani seerd in het Huygensgebouw van de Radboud Universiteit Nijmegen (zaal HG 00.304):

12.00-13.00 Aankomst gasten van buiten (met broodjes en koffie)
13.00-15.00 Voordrachten van Yiannis Moschovakis,
Joan Rand Moschovakis en Tonny Hurkens
15.00-15.30 Pauze
15.30-16.30 Voordracht Wim Veldman
gevolgd door Receptie.
Belangstellenden zijn van harte welkom.

For more information, concact Sebastiaan Terwijn <terwijn at math.ru.nl>

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).

For an abstract, see here.

Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.

The workshop aims to bring together researchers from various countries who are active in different facets of this area. Invited speakers include Zoltan Esik Szeged and Marcel Jackson La Trobe.

For more information, see https://www.illc.uva.nl/Workshops/LR2012/

Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.

The workshop aims to bring together researchers from various countries who are active in different facets of this area. Invited speakers include Zoltan Esik Szeged and Marcel Jackson La Trobe.

For more information, see https://www.illc.uva.nl/Workshops/LR2012/

Everyone is cordially invited to the first LIRa talk this fall. Note that the regular time slot for LIRa this semester will be Thursdays, 15:30-17:30. Also note that room G0.05 is a short walk from Science Park 904.

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

Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.

The workshop aims to bring together researchers from various countries who are active in different facets of this area. Invited speakers include Zoltan Esik Szeged and Marcel Jackson La Trobe.

For more information, see https://www.illc.uva.nl/Workshops/LR2012/

For abstracts and more information, see http://sites.google.com/site/illcdip/.

The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.

For more information, see the SemDial page at https://www.illc.uva.nl/semdial/ or contact raquel.fernandez at uva.nl

The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.

For more information, see the SemDial page at https://www.illc.uva.nl/semdial/ or contact raquel.fernandez at uva.nl

For more information, see here.

The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.

For more information, see the SemDial page at https://www.illc.uva.nl/semdial/ or contact raquel.fernandez at uva.nl

For more information, contact coollogic.uva at gmail.com

Dependence Logic is an extension of First Order Logic that adds to it atomic formulas for expressing functional dependence relations between terms.

This workshop, held in connection to the PhD defense of Pietro Galliani, will discuss the properties of this logic and of its variants, and, more in general, the role of strategic and game-theoretic reasoning in mathematical logic.

For more information, see http://dependencelogic.org/galliani/workshop.html

The abstract of G. Aucher's lecture is available at : https://www.illc.uva.nl/LoLa/LOGICiC-Seminar/

We have the pleasure to invite you to participate in our monthly LogiCIC seminar series which is being organized within the ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science.

Collective decision-making problems arise when a set of individual agents need to make a choice over a set of common alternatives. A central problem in the study of these situations is that of aggregating individual expressions, such as preferences, judgments and beliefs, into a collective view, to obtain a summary of the individual views provided. Several frameworks have been developed to study this problem, by both the community of Social Choice Theory and the community of Artificial Intelligence. This workshop aims at bringing together scholars from diverse research areas to obtain a state-of-the-art survey of current research on frameworks for multi-agent aggregation. The workshop is co-located with the PhD defense of Umberto Grandi which will take place in the Agnietenkapel of the University of Amsterdam on September 25th at 10:00 am.

For more information, see http://staff.science.uva.nl/~grandi/FMA/

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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).

For an abstract, see here.

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

For abstracts and more information, see http://sites.google.com/site/illcdip/.