[PRL] [TYPES/announce] SOS 2006 - Final Call for Papers (fwd)
Paul A. Steckler
steck at stecksoft.com
Tue May 23 19:58:43 EDT 2006
I suggest any further questions re SOS be addressed here. :-)
-- Paul
Forwarded message:
> [ The Types Forum (announcements only),
> http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> Final Call for Papers:
>
> Structural Operational Semantics 2006
>
> A Satellite Workshop of CONCUR 2006
>
> August 26, 2006, Bonn, Germany
>
> http://www.cse.unsw.edu.au/~rvg/SOS2006
More information about the PRL
mailing list