May 15 is the deadline for both:
o LICS’98 early registration
*-*-*-*-*-*-*-*-*-*-*-*-*-*
(please visit http://www.lics98.cs.indiana.edu to register.
For additional information about the IEEE Symposium on Logic
in Computer Science, see
http://www.bell-labs.com/topic/conferences/lics/), and
o FLoC’99 workshop proposals
*-*-*-*-*-*-*-*-*-*-*-*-*-*
(For the submission procedure, please visit
http://www.cs.bell-labs.com/cm/cs/what/floc99/cfw.html
For additional information about the Federated Logic Conference,
to be held in Trento, Italy, in July 1999, please visit
http://www.cs.bell-labs.com/cm/cs/what/floc99/index.html)
May 20 is the deadline for making your hotel reservation for LICS’98.
Please check www.lics98.cs.indiana.edu for hotel information.
Does anyone know how to use Cospan? I have some questions about Cospan.
First, what kind of data types it supports, does it support array? Also,
is Cospan a text-based or stateChart like enviroement?
Any help will be appreciated.
Thanks… Lewis
Ka Fai Lo (k…@cs.yorku.ca) wrote:
: Does anyone know how to use Cospan? I have some questions about Cospan.
: First, what kind of data types it supports, does it support array? Also,
It supports the usual stuff: bounded integer, enumerated
types, array, record, etc.
: is Cospan a text-based or stateChart like enviroement?
It’s text-based. The commerical front-end FormalCheck has a
graphic interface.
– william