FAABS-IV | |
| Title | 4th IEEE Workshop on Formal Approaches to Autonomic & Agent-Based Systems |
| Paper Deadline | 01-Dec-06 [double check conference site in case of deadline extension] |
| Date | From:06-Mar-07 To 08-Mar-07 |
| Address | Loyola College; Part of Systems and Software Week, co-located with: SEW-31: 31st IEEE Software Engineering Workshop and EASe 2007: Special Session on Autonomic and Autonomous Space Exploration (AA-SES-3) , MD, n/a, USA |
| URL | http://www.systemsandsoftwareweek.org/faabs.html |
| Description | The workshop aims to bring together practitioners and academics with an interest in formal specification techniques, autonomic and agent-based systems, and the intersection of these areas. The organizers welcome participation by those working in either area, and welcome contributions from those working on formal approaches that are particularly relevant to agent-based systems and self-managing systems, those finding that they require more formal approaches in order to develop reliable autonomic and agent-based systems, and those with experience in this area. |