* deadline extension: a special session on categorical logic at UNILOG'2010
@ 2009-10-20 7:27 Andre.Rodin
0 siblings, 0 replies; only message in thread
From: Andre.Rodin @ 2009-10-20 7:27 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2009-10-20 7:27 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-10-20 7:27 deadline extension: a special session on categorical logic at UNILOG'2010 Andre.Rodin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).