Algebraic methods, soft computing, and program verification
Several clearly separated communities use mathematical methods for the construction or verification of computer programs. Une of them is related to soft computing (methods based in fuzzy logic, genetic algorithms, neuronal networks, membrane computing, cellular algorithms, etc) and another is devoted to algebraic computing and the application of computacional logic to the formal verification of programs. This meeting intends to bring these two communities together.
Among other interrelation possibilitéis, there are the following:
- Application of hard verification methods to soft programs.
- Application of soft methods to the analysis and development of hard programs.
- Adapting hard methods to the soft case, in order to evaluate soft programs.
This is a three day Workshop, with five half-day sessions on the following topics, finishing with a round table. The six moderators of each session will deliver an introductory talk:
- Fuzzy methods and deduction. Enric Trillas
- First order methods and verification. José Luis Ruiz Reina
- Higher Order Logic and verification. Stefan Berghofer
- Biologically inspired computing. Mario Pérez
- Model and Property checking. Thomas Arts
- Round table: Hard methods and Soft computing. Gilles Barthe
