HiBi workshop seeks answers to model questions Fifty-five researchers met in Trento, Italy, in October to look for collaborative solutions to the limitations that are emerging in the way that... Read more >>

How creativity toolkits and virtual collaborative environments accelerate each other Computing pervades everyday life: whether used in business or leisure, by individuals or communities, it offers opportunities for new ways of living... Read more >>

Verifying 50,000 lines of C code Read more >>

When computers come to the aid of mathematics “Mathematics must make a great leap forward”: this is the challenge that Georges Gonthier has set himself. Read more >>

Europe’s place on the IT map In the global village, goes the standard economic theory, every region should have its own set of specialised skills to trade with the rest of the... Read more >>

Pushing the boundaries in graphics hardware The folks at RARE, one of the iconic pioneers in computer gaming, like to joke that the quiet surrounds of their headquarters, deep in the UK... Read more >>

“What if …?” - Breaking new ground in enterprise resource planning visualisation What if you could get assistance for your complicated business decisions by simply going through various What-If scenarios and having them visualised... Read more >>

Sophisticated graphic website and advert-tracking software set for 2008 launch The phenomenal growth of online advertising is driving demand for smarter tools to track results: enabling advertisers to see clearly how many people... Read more >>