coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012

From: Andrej Bauer <(e29315a54f%hidden_head%e29315a54f)andrej.bauer(e29315a54f%hidden_at%e29315a54f)andrej.com(e29315a54f%hidden_end%e29315a54f)>
To: Foundations of Mathematics <(e29315a54f%hidden_head%e29315a54f)fom(e29315a54f%hidden_at%e29315a54f)cs.nyu.edu(e29315a54f%hidden_end%e29315a54f)>, Coq Club <(e29315a54f%hidden_head%e29315a54f)coq-club(e29315a54f%hidden_at%e29315a54f)inria.fr(e29315a54f%hidden_end%e29315a54f)>, categories list <(e29315a54f%hidden_head%e29315a54f)categories(e29315a54f%hidden_at%e29315a54f)mta.ca(e29315a54f%hidden_end%e29315a54f)>, (e29315a54f%hidden_head%e29315a54f)cca-l(e29315a54f%hidden_at%e29315a54f)lists.uct.ac.za(e29315a54f%hidden_end%e29315a54f), (e29315a54f%hidden_head%e29315a54f)types(e29315a54f%hidden_at%e29315a54f)lists.chalmers.se(e29315a54f%hidden_end%e29315a54f), (e29315a54f%hidden_head%e29315a54f)constructivenews(e29315a54f%hidden_at%e29315a54f)googlegroups.com(e29315a54f%hidden_end%e29315a54f)
Subject: [Coq-Club] Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012
Date: Sun, 6 May 2012 15:47:40 +0200

                   ***** CALL FOR PARTICIPATION *****

             FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop)

                           June 15-19 2012

                                 and

        HIGHER DIMENSIONAL ALGEBRA, CATEGORIES AND TYPES (HDACT)

                             June 20 2012

                         Ljubljana (Slovenia)

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

PARTICIPATION AND REGISTRATION
==============================

The 4WFTop and HDACT registration is now open at

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

BOOK YOUR HOTEL EARLY
=====================

We advise you to book your hotel early, as we are quickly running out of
rooms available at a special rate, see

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

It is cost-free to cancel or modify a hotel reservation in Slovenia, as
long as you do it well before your arrival.

LATE SUBMISSIONS OF EXTENDED ABSTRACTS
======================================

The 4WFTop workshop is still accepting short abstract submissions on a
first-come first-serve basis, see

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

ABOUT THE WORKSHOPS
===================

For more information about the workshops, see

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

[Coq-Club] Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012, Andrej Bauer, 05/06/2012