* [3WFTop]: Third Workshop on Formal Topology, Second Announcement
@ 2007-02-16 18:49 Peter Schuster
0 siblings, 0 replies; only message in thread
From: Peter Schuster @ 2007-02-16 18:49 UTC (permalink / raw)
To: Categories
3WFTop Second Announcement
THIRD WORKSHOP ON FORMAL TOPOLOGY (3WFTop)
Padua (Italy)
7-8 May 2007 tutorials (Dept. of Math.)
9-12 May 2007 workshop (Accademia Galileiana)
13 May 2007 social excursion (for those who stay)
See the web site http://www.3wftop.math.unipd.it/ for news on:
- submission of papers (deadline March 15)
- registration (early registration before March 31; note that there are some
grants for students and young researchers)
- program (preliminary version)
- accommodation
- social program (see also a photographic tour of Padua)
A copy of the the first announcement follows:
This is the third of a series of successful meetings on the
development of Formal Topology and its connections with
related approaches. The first two have been held in Padua,
1997, and Venice, 2002.
For more information on 3WFTop see
http://www.3wftop.math.unipd.it/
What is formal topology
When topology is developed in a strictly constructive way,
for instance over Martin-Loef's type theory, points cannot be
given primitively and the pointfree approach is fundamental.
This is the reason why it is called formal. Formal topology
has now become an important tool in constructive mathematics.
More on formal topology:
http://www.3wftop.math.unipd.it/formal-topology.html
Invited speakers
Invited speakers include Andre' Joyal, Per Martin-Loef and
many other prominent scholars:
http://www.3wftop.math.unipd.it/invited-speakers.html
Tutorials
Before the workshop, two days of extensive and coordinated
tutorials are planned, given by Bernhard Banaschewski and
other pioneers: http://www.3wftop.math.unipd.it/tutorials.html
Contacts
If you wish to be kept updated with information about 3WFTop,
please send an e-mail to: fortop@math.lmu.de with
KEEP ME UPDATED in the subject.
The Scientific Committee
Thierry Coquand Giovanni Sambin Peter Schuster
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-02-16 18:49 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-02-16 18:49 [3WFTop]: Third Workshop on Formal Topology, Second Announcement Peter Schuster
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).