From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7262 Path: news.gmane.org!not-for-mail From: Andrej Bauer Newsgroups: gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories Subject: Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012 Date: Mon, 23 Apr 2012 14:30:15 +0200 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Trace: dough.gmane.org 1335184231 25673 80.91.229.3 (23 Apr 2012 12:30:31 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 23 Apr 2012 12:30:31 +0000 (UTC) To: Coq Club , categories list , Foundations of Mathematics , cca-l@lists.uct.ac.za, constructivenews@googlegroups.com, types@lists.chalmers.se Original-X-From: coq-club-owner@inria.fr Mon Apr 23 14:30:28 2012 Return-path: Envelope-to: gsmlcc-coq-club@gmane.org Original-Received: from mail1-relais-roc.national.inria.fr ([192.134.164.82]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SMIPS-0003Cs-Gw for gsmlcc-coq-club@gmane.org; Mon, 23 Apr 2012 14:30:26 +0200 X-IronPort-AV: E=Sophos;i="4.75,465,1330902000"; d="scan'208";a="155162058" Original-Received: from walapai.inria.fr ([128.93.30.24]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Apr 2012 14:30:26 +0200 Original-Received: from walapai.inria.fr (localhost [127.0.0.1]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3NCUP4s018808; Mon, 23 Apr 2012 14:30:25 +0200 Original-Received: (from sympa@localhost) by walapai.inria.fr (8.13.6/8.12.10/Submit) id q3NCUPnK018805; Mon, 23 Apr 2012 14:30:25 +0200 X-Authentication-Warning: walapai.inria.fr: sympa set sender to coq-club-owner@inria.fr using -f Original-Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3NCULl7018792 for ; Mon, 23 Apr 2012 14:30:21 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEBAEJKlU9KfVIqimdsb2JhbABEDoVamjCRJAgiAQEBCAsNBxIGI4ILAQUBAQ8CCQZFNw8CJgICIhIBBQEhAQEbGYdtC5tSCotTkl+BL45sgRgElXqBEY1NPYNTOw X-IronPort-AV: E=Sophos;i="4.75,465,1330902000"; d="scan'208";a="141188427" Original-Received: from mail-wg0-f42.google.com ([74.125.82.42]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Apr 2012 14:30:15 +0200 Original-Received: by wgbds11 with SMTP id ds11so2615284wgb.3 for ; Mon, 23 Apr 2012 05:30:15 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding:x-gm-message-state; bh=kCSGoVK9zHfGlu2sSmny/5aQjPSwlnKBCAkiE1Z4Enw=; b=oBsd7VNyIwrspwatpQHQN6Zyz0c8BDwhaTqHMxBtoT86K12AVJ7Svd1ruuu2UolN2H 72uu6+0UE5aCc6Ruzph++FijCMesH8HFu2fsuBF+WpN4MLslBdYSzlLwk6HhqH/B51wp fyX9ahz6nYMCOrhF8+j6/snDM72K3pUv/GUk31AbY4qV+2QC4hagLzs4UI+gUtHQPzXN F3KZlTzwyTgYZ08yjoZsgFbhoNOG9Ui0Qu2t+KP5tuyyuaZ7irV3y9bLagTYBKEWSGjL TYeGoCsjJ3qAJYgMCe4oieYmJav20tvoh9VQmAc1yiMQlzYPn9vFByDZshtY3y4qJmHF nllw== Original-Received: by 10.180.102.100 with SMTP id fn4mr21031598wib.1.1335184215289; Mon, 23 Apr 2012 05:30:15 -0700 (PDT) Original-Received: by 10.216.226.202 with HTTP; Mon, 23 Apr 2012 05:30:15 -0700 (PDT) X-Gm-Message-State: ALoCoQkR3/a1j/mkXnAuRX6fndQo567uCiCHvJAIEA/9NFoiZEmVzqHVq/TlxkFgsfSvf9jvv3Ga X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3NCULl7018792 X-Loop: coq-club@inria.fr X-Sequence: 3840 Errors-to: coq-club-owner@inria.fr Precedence: list List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Xref: news.gmane.org gmane.science.mathematics.logic.coq.club:8202 gmane.science.mathematics.categories:7262 Archived-At: ***** CALL FOR ABSTRACTS ***** FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop) June 15-19 2012 Ljubljana (Slovenia) http://4wft.fmf.uni-lj.si/ SUBMISSION OF EXTENDED ABSTRACTS ================================ Short abstracts should be submitted via http://4wft.fmf.uni-lj.si/submissions/ The deadline for submissions is May 2nd. We may be able to accept late submissions, but please note that are only able to hold free hotel rooms until May 5th. If you are planning to attend, make a hotel reservation early, as described on the workshop web site. You can cancel it without incurring any costs, as long as you do it well before the reservation date. FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop) =========================================== The workshop on formal topology is an international meeting dedicated to formal topology and related topics, including constructive and computable topology, point-free topology, and other generalizations of topology. This is the fourth of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first three have been held in Padua (1997), Venice (2002), and Padua (2007). The workshop is colocated with the Workshop on Higher Dimensional Algebra, Categories and Types which will take place on June 20, 20012. See the workshop website for details. IMPORTANT DATES May 2 - deadline for abstract submissions May 4 - notification of accepted contributions May 5 - deadline for guaranteed hotel availability June 15 - 4WFTop tutorial day June 16-19 - 4WFTop workshop June 20 - HDACT workshop KEYNOTE SPEAKERS * Per Martin-Löf (Stockholm University) * Ieke Moerdijk (Radboud University Nijmegen) * Vladimir Voevodsky (Institute of Advanced Studies) INVITED SPEAKERS * Olivia Caramello (University of Cambridge) * Francesco Ciraulo (University of Padua) * Hajime Ishihara (Japan Advanced Institute of Science and Technology) * Davorin Lešnik (TU Darmstadt) * Claudio Sacerdoti Coen (University of Bologna) * Alex Simpson (University of Edinburgh) * Bas Spitters (Radboud University Nijmegen) * Paul Taylor (United Kingdom) PROGRAM COMMITTEE * Andrej Bauer (chair, University of Ljubljana) * Thierry Coquand (Chalmers University) * Maria Emilia Maietti (University of Padua) * Giovanni Sambin (University of Padua) * Peter Schuster (co-chair, University of Leeds) SUBMISSIONS Submissions of short abstracts are accepted through easychair.org, see http://www.easychair.org/conferences/?conf=4wftop TUTORIAL DAY June 15th 2012 will be dedicated to tutorials on topics in and around formal topology, suitable for researchers and graduate students without in-depth knowledge of the area. They will be given by: * Thierry Coquand (Chalmers University) * Erik Palmgren (Stockholm University) * Giovanni Sambin (University of Padua) * Steven Vickers (University of Birmingham) For further information on the workshop visit http://4wft.fmf.uni-lj.si/ The workshop is supported by: * Faculty of Mathematics and Physics at the University of Ljubljana * Institute of mathematics, physics and mechanics, Ljubljana * Department of Mathematics, University of Padua, Italy