George Boolos murió el pasado 27 de mayo. Trabajó en teoría de prueba y en filosofía de la lógica.  Fue autor, con Richard Jeffrey, del libro clásico Computability and Logic.

Richard Sylvan murió el pasado 26 de junio.  Trabajó en lógica relevante, Meinong y ética ambiental.

Hay copias gratis de The Bulletin of Symbolic Logic en ftp://math.ucla.edu/pub/asl/bsl y http://www.math.ucla.edu/~asl/bslcontents.html.

Premio a la mejor idea del año en el area de lógica pura y aplicada.  Lo entregan el Interest Group in Pure and Applied Logics (IGPL) y la European Foundation of Logic, Language and Information (FoLLI).

Estudios de posgrado en lógica.  En Holanda, participan las Universidades de Amsterdam, Utrecht, Groningen, Nijmegen y el el Centro para las Matemáticas y Ciencia de la Computación.

El Instituto de Lógica, Lenguaje y Computación de la Universidad de Amsterdam ofrece a los estudiantes extranjeros una Maestría en Lógica con especializaciones en Lógica Matemática, Lógica y Ciencia de la Computación, y en Lógica, Filosofía y Lingüística.  Además hay un Certificado internacional y programa doctoral en lógica.

La Facultad de Ciencia de la Computación de la Universidad Tecnológica de Dresden, Alemania, comenzará un posgrado ("Graduiertenkolleg") titulado "Especificación de procesos discretos y sistemas mediante lógicas y modelos operacionales".