Workshop announcement

Workshop announcement

[categories]

Date: Mon, 01 Dec 1997 18:09:04 +0100
From: Bart Jacobs <bart@sci.kun.nl>


CALL FOR SUBMISSION:

   WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE
   ======== == =========== ======= == ======== =======

              (Lisbon, 28-29 March 1998
               Satelite workshop to ETAPS'98) 

Organized by: Bart Jacobs,
              Larry Moss,
              Horst Reichel,
              Jan Rutten.

Submissions: 
      7 January 1998: deadline for submissions 
      15 February 1998: notification 
      7 March 1998: final version 
      Proceedings: ENTCS (Electronic Lecture Notes 
      in Computer Science), and a special issue of TCS. 

For more information and instructions for submission see: 

        http://www.cs.kun.nl/~bart/coalg_worksh.html.

(We apologize for multiple copies.) 

Workshop announcement

[Pieter HOFSTRA]

Fields Institute Workshop Announcement:

Smooth Structures in Logic, Category Theory and Physics

University of Ottawa
May 1-3, 2009


Abstract categorical approaches and analogies with the differential
calculus and the theory of smooth manifolds arise in a number of diverse
areas of mathematics.  For example, the well-known fact that the category
of manifolds and smooth maps fails to be cartesian closed motivated both
the theory of convenient vector spaces due to Froelicher, Kriegl, and
Michor, and work on categories of smooth spaces initiated by Chen and
Souriau.  In topos theory, synthetic differential geometry, developed by
Lawvere, Kock, Moerdijk, Reyes, and others, provides an appealing abstract
setting for differential geometry using the theory of nilpotent
infinitesimals.  In logic, the differential lambda-calculus, due to
Ehrhard and Regnier, was inspired by considerations from linear logic,
differential calculus, and work on locally convex topological models of
linear logic.  This theory subsequently gave rise to the recent
development of differential categories by Blute, Cockett, and Seely.  In
topology, the Goodwillie calculus, which also has connections with the
study of smooth manifolds, is an example of a ``calculus of functors''
drawing inspiration from differential calculus.  And in theoretical
physics, recent work by Baez and Schreiber on higher gauge theory exploits
some of these more abstract versions of differential geometry in order to
avoid technical difficulties implicit in the theory of
infinite-dimensional manifolds.

The Logic and Foundations of Computing group at the University of Ottawa
is happy to announces a workshop, supported by the Fields Institute, which
aims to bring together researchers from these different areas in order to
encourage further interaction in the study of smooth structures in logic,
category theory and physics.  In addition to the main invited lectures,
several of the invited speakers will give tutorials on their areas of
expertise in order to make the subject accessible to students and other
new researchers in the area.  The (confirmed) invited speakers are:

* John Baez (UC Riverside)
* Kristine Bauer (Calgary)
* Thomas Ehrhard (PPS Paris)
* Anders Kock (Aarhus)
* Andrew Stacey (NTNU Norway)


Some student support from the Fields Institute will be available.  There
will also be some time reserved in the schedule for a selection of
contributed talks.  Further details regarding student support and
contributed talks can be found on the workshop webpage:

http://www.fields.utoronto.ca/programs/scientific/08-09/smoothstructures/


With best regards,

Richard Blute (rblute@uottawa.ca)
Pieter Hofstra (phofstra@uottawa.ca)
Philip Scott (phil@site.uottawa.ca)
Michael A. Warren (mwarren@uottawa.ca)

Workshop announcement

[categories]

Date: Mon, 3 Nov 1997 12:01:30 +0000 (GMT)
From: Ronnie Brown <r.brown@bangor.ac.uk>

Open House for a Workshop on

Global actions, groups and homotopy. 

Professor A Bak and two colleagues will be visiting Bangor under an ARC 
Scheme Dec 15-20, 1997, and a workshop will be held on the interactions 
of the above themes.
 
Global actions: The algebraic counterpart of a topological space. 

Bak's theory introduces an algebraic concept of space with motion, which 
arose from K-theory considerations.  A global action consists of a set X 
and a collection of groups acting on subsets of X. It yields a homotopy 
theory for algebraic structures which includes a natural, intuitive as 
well as rigorous concept of algebraic deformation of morphism.  
The aim of the workshop is to introduce these ideas and to relate them to 
methods of special interest at Bangor, for example algebraic models of 
homotopy types, homotopy coherence, higher dimensional algebra, 
computational aspects. 

All those interested are welcome, but no financial support is available.  
Information on accommodation in Bangor is available from the web site and 
participants are asked to make their own arrangements, although we will 
help if we can. 

Further information will be posted on 

http://www.bangor.ac.uk/ma/research/gagah/globact.htm

Ronnie Brown

Tony Bak

Prof R. Brown, School of Mathematics, 
University of Wales, Bangor      
Dean St., Bangor, Gwynedd LL57 1UT, United Kingdom                               
Tel. direct:+44 1248 382474|office:     382475
fax: +44 1248 383663    
World Wide Web:
home page: http://www.bangor.ac.uk/~mas010/
New article: Higher dimensional group theory


Symbolic Sculpture and Mathematics:
http://www.bangor.ac.uk/SculMath/
Mathematics and Knots:
http://www.bangor.ac.uk/ma/CPM/exhibit/welcome.htm

Workshop announcement

[categories]

Date: Mon, 13 Jan 1997 16:51:57 +0000 (GMT)
From: Matthew Hennessy <matthewh@cogs.susx.ac.uk>



   	 EU KIT / INSTITUTE OF SOFTWARE, CAS
	International Scientific Cooperation
             ------------------------------------------------

                SUMMER SCHOOL AND WORKSHOP
                --------------------------

        Formal Models of Programming and their Applications

        September 17 - 20, 1997

        Beijing
        China

        !!!!  CALL FOR PARTICIPATION  !!!!

The aim of the Summer School and Workshop, organised by the EU KIT
project SymSem, is to bring together in an informal atmosphere
researchers, working in the general area of the Semantic Foundations
of Computation.  Participation by Chinese researchers and students is
particularly encouraged.  Roughly half of the meeting will be devoted
to expositary seminars given by invited speakers. The remainder will
consist of workshop presentations chosen on the basis of submitted
abstracts.


LIST OF INVITED SPEAKERS:

Gerard Boudol, INRIA-Sophia Antipolis, France
Zhou CaoChen, IIST, Macau
Pierre-Louis Curien, Ecole Normale Superieure, Paris, France
Matthew Hennessy, University of Sussex, UK
Gerard Huet, INRIA-Rocquencourt, France
Colin Stirling, University of Edinburgh


SUBMISSIONS:

We solicit submissions on original research not published or submitted
for publication elsewhere in the form of Extended Abstracts, not to
exceed 2500 words (approximately 5 pages). The abstracts must be
written in English.  The topic of the meeting is to be interpreted in
a broad sense, to include semantic and algorithmic aspects of


	* Programming languages
        * Verification methods and systems
	* Program logics
	* Concurrency: theory and applications
	* Type theory and applications
	* Program specification
	* Formal languages and automata
	* Rewriting systems



It is intended to publish a volume of papers based on the abstracts
presented at the meeting.

Three copies of abstracts should be sent to

              Huimin Lin - KIT
              PO Box 8718
              Institute of Software
              Chinese Academy of Sciences
              Beijing  100080
              China

or alternatively electronic submissions (in the form of a uuencoded
postscript file) may be sent to


                   kit-submissions@cogs.sussex.ac.uk



IMPORTANT DATES:

Deadline for submission of abstracts:	30/3/97
Notification of Acceptance:		30/4/97
Workshop dates:				17-20/9/97

Information on the workshop will be maintained at the website

http://www.cogs.susx.ac.uk/users/huimin/kit-workshop.html


Organising Committee:

P.L.Curien (France), M. Hennessy (UK), H.Lin (China).

Local Organiser:

H.Lin (China)


Note: TACS is on in Japan on the following week 24 (Wed) -26th Sept.

=================