The final (half) day of UCNC in Manchester.
Then on to the final technical session. First was a talk on "Model-Based Computation"; an attempt to extend the definition of analogue computation (which implements a model analgous to the problem) in a way that can cover more of unconventional computation. Then a couple of mathematical talks about chemical reaction system formalisms. The first, "Towards Quantitative Verification of Reaction Systems" encoded the system in a formal solver to prove properties. The next, "Reachability Problems for Continuous Chemical Reaction Networks" looked at proving safety properties in systems with continuous values of reactant concentrations. The final talk was on "Global Network Cooperation Catalysed by a Small Prosocial Migrant Clique", looking at evolutionary game theory in networks with no global knowledge, and how a small clique of cooperators migrating into a network of defectors could change it to a network of cooperators.
So, another conference ends. Next year, in Arkansas.
After two solid weeks of travel and listening, my brain is full of exciting science, and I need a lot of sleep! I'm looking forward to getting home for a bit of a rest.