Two New ERCIM Working Groups Formed
To new ERCIM Working Groups have been established recently: The Working Group "Social Network Analysis" focusing on algorithmic aspects of network data analysis and the Working Group "Models and Logics for Quantitative Analysis" exploring and developping methods for formal verification of modern advanced software systems.