ISoLA 2006

Title 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Paper Deadline 15-Jun-06 [double check conference site in case of deadline extension]
Date From:15-Nov-06 To 19-Nov-06
Address n/a, n/a, n/a, Cyprus
URL http://sttt.cs.uni-dortmund.de/isola2006
Description Paradigms of Computing are emerging based on modeling and developing computer-based systems exploiting ideas that are observed in nature. This includes building self-management and self-governance mechanisms that are inspired by the human body’s autonomic nervous system into computer systems, modeling evolutionary systems analogous to colonies of ants or other insects, and developing highly-efficient and highly-complex distributed systems from large numbers of (often quite simple) largely homogeneous components to reflect the behaviour of flocks of birds, swarms of bees, herds of animals, or schools of fish. This field of “Biologically-Inspired Computing”, often known in other incarnations by other names, such as: Autonomic Computing, Pervasive Computing, Biomimetics, and Artificial Life, amongst others, reports many successes in the fields of drug discovery, data communications, computer animation, control and command, exploration systems for space, undersea, and harsh environments, to name but a few, and augur much promise for future progress. This thematic section is concerned with validating and verifying such systems and ensuring safe and correct behavior while exploiting inspiration from biology.

Back to events list