[Nottingham] Next Navigation Talk (21st Aug) Cancelled

[Martin]

Jason Cozens wrote:
[---]
> I want to give a talk sometime about the work I've been doing on
> reliable computing see:
> 
> https://launchpad.net/eqp
> 
> and
> 
> https://launchpad.net/~greatc
> 
> I've written a first simulation of a scheduling protocol and
> I'm currently working on proving that the protocol "Does
> exactly what it says on the tin".
> 
> It's early days so I don't know what I can produce by next
> week but I'm up for the annihilation of me ideas...

Now that is interesting. I'm game for that.

We can promise to be very gentle... Honest... :-)

Schedule for a talk date that I can make also?


Cheers,
Martin

-- 
----------------
Martin Lomas
martin at ml1.co.uk
----------------