CALL FOR PARTICIPATION

WMF'99

2nd Workshop on Formal Methods

Florianópolis, Santa Catarina, Brazil

October 12th and 13th 1999

To be held together with the SBES'99 (Brazilian Symposium on Software Engineering 99)

THE PROGRAM (DRAFT) IS NOW AVAILABLE !

Inscription Information here

Presentation

The Formal Methods area has been developing significantly throughout the world in the last years. It has long been considered a strictly academic domain, but as maturity arises, it is also gaining its place in industry. Formal Methods are now being developed for and used in a wide range of applications and domains (hardware, software, development processes, etc.).

Following the WMF'98 held in Porto Alegre (RS - Brazil), WMF'99 will provide an opportunity for researchers with a broad range of interests in formal methods to discuss the recent developments on this field.

Scope

Topics include (but are not limited to):

• • Logics

  • Computational models and formal semantics

  • Formal specification, verification and analysis techniques

  • Combining formal and informal methods

  • Algebraic and model-oriented formal methods

  • Formal techniques in object-oriented programming

  • Formal techniques applied to testing, maintenance and performance modelling

  • Systems Applications: Hardware, concurrent and reactive systems, distributed and mobile computing, fault-tolerant and reliable systems, etc

  • Tools for formal development of software and hardware

Program (draft)

Oct 12 1999

Oct 13 1999