الصفحة 1
الصفحة 1
Perspectives on Digital Humanism
Aims to set an agenda for research and action in the field of Digital Humanism through short essays written by selected thinkers from a variety of disciplines, including computer science, philosophy, education, law, economics, history, anthropology, political science, and sociology. This initiative emerged from the Vienna Manifesto on Digital Humanism and the associated lecture series. Digital Humanism deals with the complex relationships between people and machines in digital times. It acknowledges the potential of information technology. At the same time, it points to societal threats such as privacy violations and ethical concerns around artificial intelligence, automation and loss of jobs, ongoing monopolization on the Web, and sovereignty.
Formal methods applications and technology ; 11th International workshop on formal methods for industrial critical systems, FMICS 2006, and 5th International Workshop on parallel and distributed methods in verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in an Industrial Setting” and by Edward A. Lee from the University of California at Berkeley on “Making C- currency Mainstream.” The former full paper can be found in this volume.
