We are looking for papers on the application of formal methods to pervasive computing, for a workshop at FM’11. (Full disclosure: I’m the keynote speaker.)
What should the university of the 21st century look like? What are we preparing our students for, and how? And how should we decide what is the appropriate vision for modern universities?
Non-disclosure agreements (NDAs) are something I try not to sign, for various reasons. For one thing, they give a false sense of security; for another, they interfere with me doing my job.
Ireland doesn’t have a postcode system — a state of affairs that causes endless problems with badly-designed web sites that expect them, as well as with courier deliveries. But of course in the internet age there’s no reason to wait for the State to act…
I’ve been thinking about writing a book. It won’t be a popular success — trust me — but that raises the question of how I should publish it.
We are looking for papers on programming models, methods and tools for pervasive and mobile systems, for a workshop at the PERVASIVE conference in San Francisco.