categories - Category Theory list
 help / color / mirror / Atom feed
* Call for Papers- special issue APAL
@ 2013-05-18  8:35 Maria Emilia Maietti
  0 siblings, 0 replies; only message in thread
From: Maria Emilia Maietti @ 2013-05-18  8:35 UTC (permalink / raw)
  To: categories



-------------------------------------------------------------------------
Call for Papers: Fourth Workshop on Formal Topology (4WFTop)
-------------------------------------------------------------------------
Special Issue of Annals of Pure and Applied Logic
-------------------------------------------------------------------------

The Fourth Workshop on Formal Topology was held in Ljubljana in June 2012:

http://4wft.fmf.uni-lj.si/

The proceedings of this workshop will be published as a special issue of
the Annals of Pure and Applied Logic, with the following guest editors:

Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster.

These proceedings are open for high-level research papers on topics from
or closely related to formal topology, that is, constructive and/or
point-free topology including its applications and its foundations.

-------------------------------------------------------------------------
Submissions by email to: 4WFTop.apal@math.unipd.it
-------------------------------------------------------------------------
Please let us know if you plan to submit a paper as soon as possible
Deadline for submissions: Thursday, 31 October 2013
-------------------------------------------------------------------------





[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:[~2013-05-18  8:35 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-05-18  8:35 Call for Papers- special issue APAL Maria Emilia Maietti

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).