[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 .

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: