Home » 2011 » January

Monthly Archives: January 2011

Call for papers: Formal methods for Pervasive Systems

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.)

(more…)

The (new) idea of a (21st century) university

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?

(more…)

Why I don’t sign NDAs

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.

(more…)

Modern postcodes

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…

(more…)

How to publish an unpopular book?

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.

(more…)

Call for papers: Programming methods for mobile and pervasive systems

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.

(more…)

Wikileaks as reality television

There’s something very 21st century about the Wikileaks/Julian Assange affair.  And not in a good way.

(more…)