Language Design meeting - final details

[bkb@informatik.uni-bremen.de]

Contents:
* List of registered participants
* Documents to be brought
* Meeting location
* Recommended hotel

[This is based partly on a fax that Bernd sent me. --PDM]


List of registered participants
_______________________________

Egidio Astesiano
Maura Cerioli
Hubert Baumeister
Michel Bidoit
Bernd Krieg-Brückner
Kolyang
Peter D. Mosses
Andrzej Tarlecki

Would anyone else who plans to attend please let me and
Michel.Bidoit@lsv.ens-cachan.fr know a.s.a.p. - likewise if 
anyone listed above is not in fact planning to attend.


Documents to be brought
_______________________

Participants should make sure to bring their copies of the following
documents to the Language Design meeting:

* Proposals for concrete syntax for CASL:

  The previously-announced proposal by BKB - already available at URL
  http://www.informatik.uni-bremen.de/~agbkb/CoFI/CASL/syntax/syntax.0.2.47.ps
  Please read Sections 1-5 (which are essentially the same as in version
  0.2.45) and the Notes.

  An imminent proposal by Michel Bidoit, Christine Choppy, and Frederic
  Voisin - unfortunately delayed, but to appear as a Postscript file by
  16h00 on Thursday at the latest, at a URL to be announced on this list.

* CoFI Note S-1

  The CASL Tentative Design Language Summary, with Annotations by the
  Semantics task group.

* Checklist for CASL Extensions

  Previously announced on this list, and still available at URL
  http://www.informatik.uni-bremen.de/~agbkb/CoFI/LanguageDesign/checklist.xl.html


Meeting location
________________

[Michel Bidoit wrote:]

The room reserved for us in DMI/LIENS/ENS Paris is:
Salle Jean-Louis Verdier
Passage Vert
Rez-de-chaussee (ground level)

HOW TO FIND IT:

==============================================================================
    Rue d'Ulm 45
==============o============~~~~~~~~~~~~~~=====================================
	+       +
	|	|  Entrance of ENS
	+-------+


		+----------------=====------------------+
		|					|
		|					| Main building
		|					| of ENS
		|	+----------------------+	|
		|	|		       |	|
		|	|		       |	|
		|	|		       |	|
		|	|		       |	|
		|	|		       |	|
		|	|		       |	|
		|	|		       |	|
		|	|		       |	|
		|	|		       |	|
		|	|		       |	|
		|	+----------------------+	|
		|					|
	+-------|					|
	|	<- Passage Vert				|
	|	|					|
	|	+---------------------------------------+
	|  Room  |
	|  J.L.  |
	|  Verdier 
        |        |
        +-^------+
    X     |				X = suggested meeting point
          +-- Passage Vert

====oo====================+
     LIENS		  |
   main entrance          |
*******************************************************************************

The meeting should start at 9h30 on Saturday.  [Those of us staying in
the recommended hotel (see below) could meet for breakfast at 8h30. --PDM]


Recommended hotel
_________________

Please make your reservation yourself, preferably at:

Hotel de Senlis
7 Rue Malebranche
75005 Paris
Phone: +33-(0)1 43 29 93 10
Fax:   +33-(0)1 43 29 00 24


[Please refer to the cofi-language archives on WWW for an earlier message
containing details of the agenda for the meeting.  Unfortunately we've
been having some trouble with our WWW server lately - kindly send me,
pdmosses@brics.dk, an e-mail straight away if it doesn't respond... --PDM] 

Best regards

Bernd

___________________________________________________________________
Prof. Dr. Bernd Krieg-Brueckner    courier mail only:
FB3 Mathematik und Informatik      MZH 8071, FB3
Universitaet Bremen                Universitaet Bremen
Postfach 330 440                   Bibliothekstr. 1
D-28334 Bremen                     D-28359 Bremen

Telefon: (+49) 421-218-3660        telefax: (+49) 421-218-3054
bkb@Informatik.Uni-Bremen.DE       privat:  (+49) 421-25-1024
NEW: http://www.informatik.uni-bremen.de/~bkb