Up Next
Go up to Top
Go forward to Tutorials

Workshops

This 5th Workshop on Synchronous Programming has been held in Gandia (Spain) on December 7-11, 1998 (see http://www.bell-labs.com/topic/seminars/wsp98/). It was co-organized by one of the Project partner, partially funded by the Project, and many of the talks were given by members of the Project and concerned results of the Project.

Let us mention also the high participation of SYRF partners (2 papers out of 8) to FTH'98, the Workshop on Formal Techniques for Hardware and Hardware-like Systems, (see http://www.md.chalmers.se/~ms/FTH98/ ), which was co-chaired by a one of the Project partner, and seems to bridge the gap between SYRF and the hardware verification community.


This page has been automatically generated using Hyperlatex.

Up Next