Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
John Boyland, Dave Clarke, Gary T. Leavens, France...
Europe has often followed in the footsteps of US research, but here we are trying to lead in Clean Slate networking research, rather than Cleans late networking. This is a report ...
For the first time, the IWIPS conference will take place outside Europe, the US or Canada. Taking place this year in Southern Mexico, in the beautiful city of Mérida and its surr...
From 28 May to 1 June 2007, a seminar on 'Information Visualization–HumanCentered Issues in Visual Representation, Interaction, and Evaluation' took place at the Inter...
Andreas Kerren, John T. Stasko, Jean-Daniel Fekete...