From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:57 +0100
Subject: PEM: Jan Bergstra(UvA/UU) | Program Algebra & Empirical Semantics | 16.12.99

 
From: pem (PEM moderator)
To: pem-noreply
Subject: PEM meeting | 16.12.99 | M2.79, CWI 
Precedence: bulk
X-url: http://www.cwi.nl/~pem
Mime-Version: 1.0
Content-Type: text/plain;
        charset="iso-8859-1"

   The  last  PEM  of the year will be held by Jan Bergstra, who has some
   ideas  about  Java, program algebra and programming education he would
   like to share with us.

   This announcement can be found at <http://www.cwi.nl/~pem>

                   Program Algebra & Empirical Semantics

   Date:    16.12.99
   Time:    10:00
   Venue:   M2.79, CWI
   Speaker: Jan Bergstra(UvA/UU)
   Title:   Program Algebra & Empirical Semantics

   Een  overzicht over programma algebra en de daarmee in verband staande
   projectiesemantiek,  een  overzicht over recent werk aan de zogenaamde
   `empirische   semantiek'   van   Java,   en   wat   ideeën   over  het
   programmeeronderwijs.
     _________________________________________________________________

   The  programming environment meetings are a forum for the presentation
   and  discussion  of  new  ideas,  ongoing and finished work. A typical
   meeting  addresses  a subject in the area of programming environments,
   program  generation, algebraic specification, term rewriting, parsing,
   etc.  A presentation ideally takes between 45 and 90 minutes. Meetings
   taking  longer  than 45 minutes are interrupted by a coffeebreak. Most
   Thursdays,  a  meeting is held which starts at 10:00 am. in one of the
   rooms at CWI/WINS. Exceptionally, dates or times may change.

   The    program    of    the    meetings    is    available   on   WWW:
   http://www.cwi.nl/~pem
     _________________________________________________________________