Seguindo o exemplo do Walter... valeria ---------- Forwarded message ---------- From: andrei rodin <[email protected]> Date: Sun, Oct 18, 2009 at 11:56 PM Subject: deadline extension: a special session on categorical logic at UNILOG'2010 To: [email protected] Cc: [email protected]
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 ( [email protected] )and Andrei Rodin ([email protected]) . 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". -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
