* Call for Papers: Fifth Workshop on Formal Topology (5WFTop) in JLA
@ 2016-11-05 16:25 Maria Emilia Maietti
0 siblings, 0 replies; only message in thread
From: Maria Emilia Maietti @ 2016-11-05 16:25 UTC (permalink / raw)
To: categories
-------------------------------------------------------------------------
Call for Papers: Fifth Workshop on Formal Topology (5WFTop)
-------------------------------------------------------------------------
Special Collection in the Journal of Logic and Analysis
-------------------------------------------------------------------------
The Fifth Workshop on Formal Topology was held at Mittag-Leffler
Institute in Stockholm in June 2015
http://www.mittag-leffler.se/workshop/fifth-workshop-formal-topology-spreads-and-choice-sequences
The proceedings of this workshop will be published as a special
collection in
the Journal of Logic and Analysis, with the following guest editors:
Thierry Coquand, Maria Emilia Maietti, Erik Palmgren
These proceedings are open for all 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: 5wftop.apal@math.unipd.it
-------------------------------------------------------------------------
Please let us know if you plan to submit a paper as soon as possible
Deadline for submissions: 28th February 2017
-------------------------------------------------------------------------
[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:[~2016-11-05 16:25 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-11-05 16:25 Call for Papers: Fifth Workshop on Formal Topology (5WFTop) in JLA 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).