School of Computing

Artificial immune systems and the grand challenge for non-classical computation

Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, and Robert E. Smith

In Jon Timmis, Peter Bentley, and Emma Hart, editors, Proceedings of the 2003 International Conference on Artificial Immune Systems, LNCS 2787, pages 182-196. Springer, September 2003.

Abstract

The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10 15 years. One of the identified Grand Challenges is Non-Classical Computation, which examines many of the fundamental assumptions of Computer Science, and asks what would result if they were systematically broken. In this discussion paper, we explain how the sub-discipline of Artificial Immune Systems sits squarely in the province of this particular Grand Challenge, and we identify certain key questions.



Bibtex Record

@inproceedings{1704,
author = {Susan Stepney and John A. Clark and Colin G. Johnson and Derek Partridge and Robert E. Smith },
title = {Artificial Immune Systems and the Grand Challenge for Non-Classical Computation},
month = {September},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1704},
    publication_type = {inproceedings},
    submission_id = {19858_1063817545},
    ISBN = {3-540-40766-9},
    booktitle = {Proceedings of the 2003 International Conference on Artificial Immune Systems},
    editor = {Jon Timmis and Peter Bentley and Emma Hart},
    series = {LNCS 2787},
    publisher = {Springer},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014