Deductive specification, design and verification systems

(Dedukcyjne systemy specyfikowania, konstruowania i weryfikowania)

KBN grant 8 T11C 037 16

Scientific trips (partially) supported by the grant:

  • M. Bednarczyk
    Category Theory in Computer Science. Edinburgh, Scotland, September 1999.
    Presentations:
    • Concurrent Realizations of Reactive Systems
  • M. Bednarczyk, A. Borzyszkowski, R. Somla
    Concurrency, Specification and Programming. Warsaw, Poland, September 28-30, 1999.
    Presentations:
    • Equalizing Morphisms of Petri Nets (R. Somla)

Planned:

Comments to webmaster@ipipan.gda.pl.
Last modified: 16 September 1999
Powered by APACHE Valid HTML 3.2!