On this page a number of organisations and groups are listed which are relevant to the field of formal methods.
|
Groups
|
Location |
BCS FACS
BCS-FACS is the specialist group on formal aspects of computing within
the UK's British Computer Society (www.bcs.org.uk). BCS-FACS arranges
informal seminars to encourage technology transfer, sponsors related
events throughout the year, either by direct subsidy, or else through
the provision of prizes for outstanding research or technical
presentation. The group is international and open to new members. There
is an annual membership fee and a discount subscription scheme to the
journal Formal Aspects of Computing, which is also supported by FME. | London, UK
|
European Association for Theoretical Computer Science (EATCS)
EATCS is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.
| None ("virtual" organisation)
|
European Joint Conferences on Theory And Practice of Software (ETAPS)
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of conferences and other events that has become the primary European forum for academic and industrial researchers working on topics relating to software science. | None ("virtual" organisation)
|
Formal Methods Europe: Portugal hub
Formal Methods Italy is an inititative aimed to gather the researchers and the practitioners working in Italy on the application of formal methods to the development of computer systems in Portugal. | Portugal
|
Formal Methods Italy (FMI)
Formal Methods Italy is an inititative aimed to gather the researchers and the practitioners working in Italy on the application of formal methods to the development of computer systems in Italy. | Italy
|
Formal Methods in India
This initiative is dedicated to activities in the area of formal methods in program design being undertaken in India. | India
|
Z User Group (ZUG)
The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. | London, UK
|
Is your company not listed here? Please send the
appropriate information to webmaster@fmeurope.org.
