From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3397 Path: news.gmane.org!not-for-mail From: Peter Schuster Newsgroups: gmane.science.mathematics.categories Subject: [3WFTop] Third Workshop on Formal Topology. First Announcement. Date: Tue, 22 Aug 2006 14:05:16 +0200 (CEST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1241019279 8566 80.91.229.2 (29 Apr 2009 15:34:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:34:39 +0000 (UTC) To: Categories Original-X-From: rrosebru@mta.ca Wed Aug 23 12:12:00 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 23 Aug 2006 12:12:00 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1GFuGc-0004v6-BR for categories-list@mta.ca; Wed, 23 Aug 2006 12:03:42 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 30 Original-Lines: 46 Xref: news.gmane.org gmane.science.mathematics.categories:3397 Archived-At: 3WFTop First Announcement: THIRD WORKSHOP ON FORMAL TOPOLOGY Accademia Galileiana, Padua (Italy) 9-12 May 2007 workshop 7-8 May 2007 tutorials 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