From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:10:07 +0100
Subject: PEM: Robbert de Haan | A verification mechanism for Java | 27.02.03

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

   Dear colleagues,

   This  week Robbert de Haan will bring us up-to-date with his work done
   for his masters thesis.

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

                     A verification mechanism for Java

   Date:    27.02.03
   Time:    10:00
   Venue:   F013 (UvA)
   Speaker: Robbert de Haan
   Title:   A verification mechanism for Java

   Nowadays,  many paths have been taken to the automatic verification of
   programs.  I  want  to  present  another one, using a simple assertion
   mechanism, that currently supports a modest subset of Java.

   Because  I had my birthday last Friday and it's a good way to motivate
   people  to  actually  show  up,  cake will be provided at this PEM for
   those who attend it.
     _________________________________________________________________

   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
     _________________________________________________________________