Room change for next meeting

[Joseph Peters <peters@cs.sfu.ca>]

As previously announced, Uwe Glasser will give a talk this Friday.  It turns
out that the Computational Logic group has their meetings at the same time
as the Network Modelling group this semester and they proposed a joint seminar.
Our lab is not big enough, so we will use the room that the Computational Logic
group has booked.  Please note the room change (for this week only).

____________________________________________________________________________


NETWORK MODELLING GROUP

Friday, October 4, 13:30, ASB 9705
                          ^^^^^^^^

Speaker:  Uwe Glaesser
	  School of Computing Science

Title:    On an Abstract Operational Semantics for Asynchronous Communication
	  Architectures

Abstract: see previous e-mail

Coffee and cookies will be provided.