The community of Formal Methods (FM) has aimed for decades at constructing mathematically founded methods for analyzing the correctness of systems. These methods include model checking, formal testing techniques, verification, formal specification, etc. Though formal methods have been successfully applied to many industrial problems, these methods typically find the practical problem that the number of states to be systematically analyzed grows exponentially with the size of the system to be analyzed. Thus, exhaustive techniques to find system faults are typically substituted by heuristic strategies allowing to focalize the search for potential faults in some suspicious or critical configurations. Recently, some FM research groups have acknowledged the potential of Evolutionary Computation (EC) methods to provide the heuristics they require. In fact, EC methods provide efficient generic strategies to search for good solutions in big solution spaces, which fits into the kind of problems appearing in FM. The IWANN 2011 special session on "Applying Evolutionary Computation and Nature-inspired Algorithms to Formal Methods" aims at providing a suitable meeting point for researchers working on applying EC to FM, giving them an opportunity to discuss their work from both the EC and the FM perspectives (not just one of them) in a cross-fertilization atmosphere.
The session welcomes works on the application of evolutionary computation and nature-inspired algorithms (genetic algorithms, ant colony optimization, particle swarm optimization, simulated annealing, neural networks, river formation dynamics, neural networks, etc) to formal methods (model checking, formal testing techniques, verification, formal specification, etc) and viceversa.
IWANN 2011 will be held in Torremolinos (Spain) in June 8-10th, 2011. Proceedings will be published by Springer-Verlag in the LNCS series. IWANN is included in the list of best conferences by the "Computer Science Conference Ranking" based on the "Estimated Impact of Conference (EIC,2009)" (position 55 among 701 in the IA field).
The paper submission deadline is January 30, 2011. Submissions should not exceed 8 pages and should follow the LNCS Springer-Verlag format. Papers sent to the special session are submitted by using the general web submission system of IWANN, where authors will indicate that the paper is submitted to the "Applying Evolutionary Computation and Nature-inspired Algorithms to Formal Methods" special session. The notification of acceptance is due to February 25, and the final version of accepted papers is due to March 11.
Special session organizer: Ismael Rodriguez (email@example.com).
César Andrés, Universidad Complutense de Madrid
Ana Cavalli, INT SudParis
Raymond Chiong, Swinburne University
Gregorio Díaz, Universidad de Castilla-La Mancha
Rob Hierons, Brunel University
Fernando L. Pelayo, Universidad de Castilla-La Mancha
Ismael Rodríguez, Universidad Complutense de Madrid
Fernando Rubio, Universidad Complutense de Madrid