[S7] ================================================ AMAST Links 02 01

                        FoReST seminar WWW page

  This time we have double good news for the those interested in the
FoReST seminar, the colloquium on

    Formal Representation and Specification Techniques

  First of all, we are happy to invite you to our first meeting in 
the FoReST Spring '95 program. This time, again we have two speakers:
date    : February 15
time    : 15.00 - 17.00
place   : Room C009, Centrum Gebouw Noord, Utrecht University
speaker : Wil Janssen (Nijmegen University)
title   : Layers as Knowledge Transitions in the Design of Distributed
          Systems
speaker : Nico Roos (Limburg University)
title   : Reasoning with defeasible rules: combining extensional,
          conditional and argumentation interpretations.
  The other good news is that we have succeeded in developing a www
page for the FoReST seminar. The page is available at
URL: http://www.cs.ruu.nl/~wiebe/FoReST/main.html
  On or via this page, you can find information about how to reach 
Utrecht University, there are abstracts of the talks just announced,
and you can even find a complete FoReST Spring '95 program.
  If you have problems with reaching this page, please send an email to
    wiebe@cs.ruu.nl
then you will be put on a separate mailing list, and you will keep
receiving abstracts of our presentations by electronic mail.
  For further information about the seminar, please contact any member
of the board of FoReST. This board consists of the following people:
 o  Wiebe van der Hoek,  Comp Sc, Utrecht     (wiebe@cs.ruu.nl)
 o  Wim Koole,           Comp Sc, Nijmegen    (wimk@cs.kun.nl)
 o  John-Jules Meyer,    Comp Sc, Utrecht     (jj@cs.ruu.nl)
 o  Yao-Hua Tan,         EURIDIS, Rotterdam   (ytan@euridis.fbk.eur.nl)
 o  Jan Treur,           AI, VU Amsterdam     (treur@cs.vu.nl)
 o  Cees Witteveen,      Comp Sc, Delft       (witt@cs.tudelft.nl)