Dynamics and Security in Evolutionary Network Computation

duration	1st June 2007 to 31st August 2009
people	Samson Abramsky \| Dusko Pavlovic
themes	Theory and Automated Verification