Algorithms against traffic jams

What if the cure for Geneva's traffic jams lay in mathematics? The canton has just launched a study with the EPFL to implement intelligent, global computerized regulation of traffic light junctions.