SECOND CALL FOR PAPERS In the UNILOG'2010 (Lisbon, April 18-25, 2010) there'll be a Special Session on categorical logic (April 22-25). Topics that fit this Special Session include, but are not limited to, the following: Relationships between logic and geometry in a topos-theoretic setting Categorical logic and Categorical foundations of mathematics Sketch theory; diagrammatic syntax Functorial semantics and Categorical Model theory Quantum logic categorically Extensions of categorical semantics to different kinds of logics, such as modal and substructural logics Comparison of different categorical frameworks The deadline for sending (abstracts of) contributed papers to UNILOG'2010 is now extended to November 15, 2009. Please send your contributions to Valeria de Paiva ( valeria.depaiva@gmail.com )and Andrei Rodin (rodin@ens.fr) . More information about the Special Session on categorical logic can be found on the UNILOG'2010 website http://www.uni-log.org in the rubric "Sessions". [For admin and other information see: http://www.mta.ca/~cat-dist/ ]