Saturday, March 14, 2009

WWW Forum - WebSci'09: Society On-Line

The WWW Forum is the opening event of the Web Science Conference 2009, the 1st conference about the scientific study of the socio-technical aspects of the Web as a standalone artifact and it will be held on March 18, 2009, 19:00 at Theatron at the Hellenic Cosmos of the Foundation of the Hellenic World, in Athens, Greece.

Tim Berners-LeeDuring the WWW Forum, Tim Berners-Lee, inventor of the Web and top agenda setter will discuss with the public and famous scientists and politicians the following themes:

How can we learn from people in socially or economically deprived communities how the Web can better serve them? In which ways can we leverage the Web to empower people, especially in under-served populations, by lowering barriers to life-critical services? Can we ensure the Web is accessible and useful to people, including people with disabilities, from different cultures, and language and literacy skills that span the range of the Earth's population?

Which methods do we need to implement in order to study and understand how the Web works in order to anticipate and ensure its future? Can we understand how to make the Web stable and secure, and to mitigate threats and weaknesses? Is it possible to promote the development of technology and standards that foster creativity, collaboration, communication, and commerce?

Joseph Sifakis, Turing Award for 2007

Joseph SifakisJoseph Sifakis is recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to emergence of the area of model-checking, currently the most widely-used method for the verification of industrial applications. His current research activities include component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques. See here for more information.

Joseph Sifakis has broad experience with industry, notably though joint projects with partners such as Astrium, the European Space Agency, France Telecom, ST Microelectronics and he has also been active for many years in consulting.

Joseph Sifakis has received with Ed Clarke and Allen Emerson for their contribution to Model Checking, the Turing Award for 2007. He is also the recipient of the CNRS Silver Medal in 2001.

No comments:

Post a Comment