Reminders: FLoC'99 call for workshops and LICS'98 early registration 
Author Message
 Reminders: FLoC'99 call for workshops and LICS'98 early registration

May 15 is the deadline for both:

    o LICS'98 early registration
      *-*-*-*-*-*-*-*-*-*-*-*-*-*
      (please visit http://www.*-*-*.com/ to register.
       For additional information about the IEEE Symposium on Logic
       in Computer Science, see
        http://www.*-*-*.com/ ), and

    o FLoC'99 workshop proposals
      *-*-*-*-*-*-*-*-*-*-*-*-*-*
      (For the submission procedure, please visit
        http://www.*-*-*.com/
       For additional information about the Federated Logic Conference,
       to be held in Trento, Italy, in July 1999, please visit
        http://www.*-*-*.com/ )

May 20 is the deadline for making your hotel reservation for LICS'98.
Please check www.lics98.cs.indiana.edu for hotel information.



Tue, 24 Oct 2000 03:00:00 GMT  
 Reminders: FLoC'99 call for workshops and LICS'98 early registration

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



Fri, 27 Oct 2000 03:00:00 GMT  
 Reminders: FLoC'99 call for workshops and LICS'98 early registration


: 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



Sun, 29 Oct 2000 03:00:00 GMT  
 
 [ 4 post ] 

 Relevant Pages 

1. Reminders: FLoC'99 call for workshops and LICS'98 early registration

2. Call for Participation - ICFP'98 - Early Registration Deadline

3. Call for Participation - ICFP'98 - Early Registration Deadline

4. Early Registration For EuroSNUG'98 (Paris) Ends In 7 Days

5. Early Registration For EuroSNUG'98 (Paris) Ends In 7 Days

6. LICS'99: 2nd Call for Papers

7. LICS'99 -- Final Call for Papers

8. LICS'99 -- Final Call for Papers

9. LICS'99: 2nd Call for Papers

10. LICS'95 Registration Reminder

11. LICS'95 Registration Reminder

 

 
Powered by phpBB® Forum Software