[FOM] deadline extension: a special session on categorical logic at UNILOG'201

Andre.Rodin@ens.fr Andre.Rodin at ens.fr
Mon Oct 19 03:19:02 EDT 2009


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

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 at gmail.com )and Andrei Rodin (rodin at 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".

More information about the FOM mailing list