Search

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in honor of Susanne Graf (Director of Research at VERIMAG Grenoble, France) on the occasion of her 60th birthday. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

This volume constitutes the refereed proceedings of the 18th International Conference on Software Process Improvement and Capability Determination, SPICE 2018, held in Tessaloniki, Greece, in October 2018. The 26 full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in the following topical sections: SPI systematic literature reviews; SPI and assessment; SPI methods and reference models; SPI education and management issues; SPI knowledge and change processes; SPI compliance and configuration; SPI and agile; industry short papers.

This book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. The book also includes one invited talk in full-paper length. The papers were organized in topical sections named: software security; symmetric ciphers and cryptanalysis; data privacy and anonymization; outsourcing and assisted computing; advanced encryption; privacy-preserving applications; advanced signatures; and network security.

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

This book is open access under a CC BY license.This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), including: licensing, strategies, and practices; case studies; projects, communication, and participation; tools; and project management, development and evaluation.

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.

This book constitutes the proceedings of the 23rd International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2017, held in Essen, Germany, in February/March 2017. The 16 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers were organized in topical sections named: use case models; ecosystems and innovation; human factors in requirements engineering; goal-orientation in requirements engineering; communication and collaboration; process and tool integration; visualization and representation of requirements; agile requirements engineering; natural language processing, information retrieval and machine learning traceability; quality of natural language requirements; research methodology in requirements engineering.

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

This book constitutes the refereed proceedings of the 8th Mexican Conference on Pattern Recognition, MCPR 2016, held in Guanajuato, Mexico, in June 2016. The 34 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on computer vision and image analysis; pattern recognition and artificial intelligent techniques; signal processing and analysis; and applications of pattern recognition.

This book constitutes the proceedings of the 6th International Workshop on Computational Topology in Image Context, CTIC 2016, held in Marseille, France, in June 2016. The 24 papers presented in this volume were carefully reviewed and selected from 35 submissions. Additionally, this volume contains 2 invited papers. CTIC covers a wide range of topics such as: topological invariants and their computation, homology, cohomology, linking number, fundamental groups; algorithm optimization in discrete geometry, transfer of mathematical tools, parallel computation in multi-dimensional volume context, hierarchical approaches; experimental evaluation of algorithms and heuristics; combinatorial or multi-resolution models; discrete or computational topology; geometric modeling guided by topological constraints; computational topological dynamics; and use of topological information in discrete geometry applications.

This book constitutes the refereed conference proceedings of the 8th International Conference on Image and Graphics, ICIG 2015 held in Tianjin, China, in August 2015. The 164 revised full papers and 6 special issue papers were carefully reviewed and selected from 339 submissions. The papers focus on various advances of theory, techniques and algorithms in the fields of images and graphics.

This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.

This book constitutes the refereed proceedings of the 16th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2014 held in Munich, Germany, September 2014, in conjunction with DEXA 2014. The 34 revised full papers and 8 short papers presented were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on modeling and ETL; ontology-based data warehouses; advanced data warehouses and OLAP; uncertainty; preferences and recommendation; query performance and HPC; cube & OLAP; optimization; classification; social networks and recommendation systems; knowledge data discovery; industrial applications; mining and processing data stream; mining and similarity.

These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.

This book constitutes the refereed proceedings of the 12th International Conference on Formal Concept Analysis, ICFCA 2014, held in Cluj-Napoca, Romania, in June 2014. The 16 regular papers presented together with 3 invited talks were carefully reviewed and selected from 39 submissions. The papers in this volume cover a rich range of FCA aspects, such as theory, enhanced FCA. Knowledge discovery and knowledge spaces, as well as methods and applications. In addition the book contains a reprint of the first publication'Sub direct decomposition of concept lattices'by Rudolf Wille.

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014. The total of 1476 papers and 220 posters presented at the HCII 2014 conferences was carefully reviewed and selected from 4766 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014. The total of 1476 papers and 220 posters presented at the HCII 2014 conferences was carefully reviewed and selected from 4766 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014. The total of 1476 papers and 220 posters presented at the HCII 2014 conferences was carefully reviewed and selected from 4766 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2014, held in Miami, FL, USA in May 2014. The 19 full papers, 7 research-in-progress papers and 18 short papers describing prototype demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on design science; emerging themes; meta issues; methods; supporting business processes; team support; work-in-progress papers and prototypes.

This book constitutes the proceedings of the 13th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2014, held in Gold Cost, Qld, Australia, in December 2014. The 18 full papers and 4 short papers included in this volume were carefully reviewed and selected from 69 initial submissions. They deal with knowledge acquisition, expert systems, intelligent agents, ontology engineering, foundations of artificial intelligence, machine learning, data mining, Web mining, information systems, Web and other applications.

This book is a collection of refereed invited papers on the history of computing in education from the 1970s to the mid-1990s presenting a social history of the introduction and early use of computers in schools. The 30 papers deal with the introduction of computer in schools in many countries around the world: Norway, South Africa, UK, Canada, Australia, USA, Finland, Chile, The Netherlands, New Zealand, Spain, Ireland, Israel and Poland. The authors are not professional historians but rather people who as teachers, students or researchers were involved in this history and they narrate their experiences from a personal perspective offering fascinating stories.

The 2002 IFIP Workshop on Internet Technologies, Applications, and Societal Impact (WITASI 2002), held in Wroclaw, Poland, October 10-11, 2002, presents different research aspects of the Internet, both technical and societal. The workshop aims at getting together scientists and practitioners from different research areas to work together on Internet development and reflect on Internet consequences to the economy and society. The papers presented in these proceedings describe state-of-the-art research in such areas of Internet applications as languages, mobility, multimedia, quality of service, voice over IP, and wireless access. A total of 40 papers were submitted to WITASI 2002 out of which 18 papers were selected for presentation at the workshop and inclusion in the proceedings. The workshop also includes 4 invited papers. WIT ASI 2002 was sponsored by IFIP -the International Federation for Information Processing. It was organized by Working Group WG 6.4 on Internet Applications Engineering of the Technical Committee TC 6 on Communication Systems. Locally, WITASI 2002 was organized by the Institute of Control and Systems Engineering, Wroclaw University of Technology.

This volume constitutes the thoroughly refereed conference proceedings of the 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2013, held in Amsterdam, The Netherlands, in June 2013. The total of 71 papers selected for the proceedings were carefully reviewed and selected from 185 submissions. The papers focus on the following topics: auctions and negotiation, cognitive modeling, crowd behavior modeling, distributed systems and networks, evolutionary algorithms, knowledge representation and reasoning, pattern recognition, planning, problem solving, robotics, text mining, advances in recommender systems, business process intelligence, decision support for safety-related systems, innovations in intelligent computation and applications, intelligent image and signal processing, and machine learning methods applied to manufacturing processes and production systems.

This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems.

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd Annual International Cryptology Conference, CRYPTO 2013, held in Santa Barbara, CA, USA, in August 2013. The 61 revised full papers presented in LNCS 8042 and LNCS 8043 were carefully reviewed and selected from numerous submissions. Two abstracts of the invited talks are also included in the proceedings. The papers are organized in topical sections on lattices and FHE; foundations of hardness; cryptanalysis; MPC - new directions; leakage resilience; symmetric encryption and PRFs; key exchange; multi linear maps; ideal ciphers; implementation-oriented protocols; number-theoretic hardness; MPC - foundations; codes and secret sharing; signatures and authentication; quantum security; new primitives; and functional encryption.

The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd Annual International Cryptology Conference, CRYPTO 2013, held in Santa Barbara, CA, USA, in August 2013. The 61 revised full papers presented in LNCS 8042 and LNCS 8043 were carefully reviewed and selected from numerous submissions. Two abstracts of the invited talks are also included in the proceedings. The papers are organized in topical sections on lattices and FHE; foundations of hardness; cryptanalysis; MPC - new directions; leakage resilience; symmetric encryption and PRFs; key exchange; multi linear maps; ideal ciphers; implementation-oriented protocols; number-theoretic hardness; MPC - foundations; codes and secret sharing; signatures and authentication; quantum security; new primitives; and functional encryption.

This book constitutes the proceedings of the First International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2013, held in Tamil Nadu, India on December 2013. The 82 papers presented were carefully reviewed and selected from 334 submissions. The papers cover the topics such as feature selection, classification, clustering, image processing, network security, speech processing, machine learning, information retrieval, recommender systems, natural language processing, language, cognition and computation and other certain problems in dynamical systems.

This book constitutes the proceedings of the 6th International Conference on Nonlinear Speech Processing, NOLISP 2013, held in Mons, Belgium, in June 2013. The 27 refereed papers included in this volume were carefully reviewed and selected from 34 submissions. The paper are organized in topical sections on speech and audio analysis; speech synthesis; speech-based biomedical applications; automatic speech recognition; and speech enhancement.

This book constitutes the refereed proceedings of the 18th International Conference on Applications of Natural Language to Information Systems, held in Salford, UK, in June 2013. The 21 long papers, 15 short papers and 17 poster papers presented in this volume were carefully reviewed and selected from 80 submissions. The papers cover the following topics: requirements engineering, question answering systems, named entity recognition, sentiment analysis and mining, forensic computing, semantic web, and information search.

This is the first part of the two-volume set (LNCS 8023-8024) that constitutes the refereed proceedings of the 5th International Conference on Cross-Cultural Design, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This two-volume set contains 113 papers. The papers in this volume focus on the following topics: cross-cultural product design, cross-cultural design methods and techniques, international usability evaluation, and case studies in cross-cultural design.

This two volume set (LNCS 8025-8026) constitutes the refereed proceedings of the Fourth International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, formerly International Conference on Digital Human Modeling, DHM 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This two-volume set contains 91 papers. The papers inthis volume focus on the following topics: digital human modeling and ergonomics in working environments; ergonomics of work with computers; anthropometry, posture and motion modeling.

This is the second part of the two-volume set (LNCS 8023-8024) that constitutes the refereed proceedings of the 5th International Conference on Cross-Cultural Design, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This two-volume set contains 113 papers. The papers in this volume focus on the following topics: cultural issues in business and industry; culture, health and quality of life; cross-cultural and intercultural collaboration; culture and the smart city; cultural differences on the Web.

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and fault detection, fault injection and benchmarking and dependable and secure computing.

This book contains the papers presented at the International Workshop on Visual Fonn, held in Capri (Italy) on May 27-30, 1991. The workshop, sponsored by the International Association for Pattern Recognition (!APR), has been jointly organized by the Dipartimento di Infonnatica e Sisternistica of the University of Naples and the Istituto di Cibemetica of the National Research Council of Italy, and has focussed on Shape. Shape is a distinctive feature of most patterns, so that recognition can often be attained through shape discrimination. The organizers of the workshop shared the general feeling manifested by researchers, that it was time for holding a meeting exclusively devoted to a feature so crucial for both human and machine perception. During this meeting, problems and prospects in the field of 2D and 3D shape analysis could be discussed extensively, so as to provide an effective, updated picture of the current research activity in which shape plays a central role. Indeed, many highly qualified researchers in the field positively reacted to the Call for Papers.

This book constitutes the refereed proceedings of the 7th International Conference on Provable Security, ProvSec 2013, held in Melaka, Malaysia, in October 2013. The 18 full papers presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover the following topics: key exchange protocols, security models, signature and signcryption schemes, authenticated encryption, theory, and public key encryption.

This book constitutes the refereed proceedings of the 10th Extended Semantic Web Conference, ESWC 2013, held in Montpellier, France, in May 2013. The 42 revised full papers presented together with three invited talks were carefully reviewed and selected from 162 submissions. They are organized in tracks on ontologies; linked open data; semantic data management; mobile Web, sensors and semantic streams; reasoning; natural language processing and information retrieval; machine learning; social Web and Web science; cognition and semantic Web; and in-use and industrial tracks. The book also includes 17 PhD papers presented at the PhD Symposium.

Advanced Computer Systems is a collection of forty selected papers presented to the Eighth International Conference on Computer Systems, October 2001 in Mielno, Poland. These papers provide a comprehensive summary of practice and research progress in information technologies: Recognition, Security and Safety concentrates on the widely-known problems of information systems security. Methods of Artificial Intelligence presents methods and algorithms which are the basics for the applications of artificial intelligence environments. Intelligent Agents and Distributed Activities includes laboratory research on multiagent intelligent systems as well as upon their applications in searching information, negotiating and supporting decision. Distributed Productions Networks and Modeling Complex Systems present production processes in distributed shared virtual environment, virtual solution of integer optimization problems, and a queuing approach to performance optimization in the distributed production network.

This book is a collection of refereed invited papers on the history of computing from the 1940s to the 1990s with one paper going back to look at Italian calculating/computing machines from the first century to the 20th century. The 22 papers cover a wide range of computing related topics such as specific early computer systems, their construction, their use and their users; software programming and operating systems; people involved in the theory, design and use of these computers; computer education; and conservation of computing technology. Many of the authors were actually involved in the events they describe and share their specific reflections on the history of computing.

Computer Supported Cooperative Work (CSCW) is an interdisciplinary research area devoted to exploring the issues of designing computer-based systems that enhance the abilities to cooperate and integrate activities in an efficient and flexible manner for people in cooperative work situations. This volume is a rigorous selection of papers that represent both practical and theoretical approaches to CSCW from many leading researchers in the field. As an interdisciplinary area of research, CSCW brings together widely disparate research traditions and perspectives from computer, human, organisational and design sciences. The papers selected reflect a variety of approaches and cultures in the field. Audience: Of interest to a wide audience because of the huge practical impact of the issues and the interdisciplinary nature of the problems and solutions proposed. In particular: researchers and professionals in computing, sociology, cognitive science, human factors, and system design.

This two-volume set of CCIS 307 and CCIS 308 constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012. The 330 revised full papers presented in both volumes were carefully reviewed and selected from 1089 submissions. The papers are organized in topical sections on internet computing and applications; multimedia networking and computing; intelligent computing and applications; computational statistics and applications; knowledge management and applications; communication technology and applications; information management system; control engineering and applications; business intelligence and applications; cloud and evolutionary computing; computational genomics and proteomics; engineering management and applications.

The seven-volume set comprising LNCS volumes 7572-7578 constitutes the refereed proceedings of the 12th European Conference on Computer Vision, ECCV 2012, held in Florence, Italy, in October 2012. The 408 revised papers presented were carefully reviewed and selected from 1437 submissions. The papers are organized in topical sections on geometry, 2D and 3D shape, 3D reconstruction, visual recognition and classification, visual features and image matching, visual monitoring: action and activities, models, optimisation, learning, visual tracking and image registration, photometry: lighting and colour, and image segmentation.

This book constitutes the proceedings of the First Indo-Japanese conference on Perception and Machine Intelligence, PerMIn 2012, held in Kolkata, India, in January 2012. The 41 papers, presented together with 1 keynote paper and 3 plenary papers, were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections named perception; human-computer interaction; e-nose and e-tongue; machine intelligence and application; image and video processing; and speech and signal processing.

Joe Engelberger, the pioneer of the robotics industry, wrote in his 1989 book Robotics in Service that the inspiration to write his book came as a reaction to an industry-sponsored forecast study of robot applications, which predicted that in 1995 applications of robotics outside factories - the traditional domain of industrial robots - would amount to less than 1% of total sales. Engelberger believed that this forecast was very wrong, and instead predicted that the non-industrial class of robot applications would become the largest class. Engelbergers prediction has yet to come to pass. However, he did correctly foresee the growth in non-traditional applications of robots. Robots are now beginning to march from the factories and into field and service applications. This book presents a selection of papers from the first major international conference dedicated to field and service applications of robotics. This selection includes papers from the leading research laboratories in the world together with papers from companies that are building and selling new and innovative robotic technology. It describes interesting aspects of robots in the field ranging from mining, agriculture, construction, cargo handling, subsea operations, removal of landmines, to terrestrial exploration. It also covers a diverse range of service applications, such as cleaning, propagating plants and aiding the elderly and handicapped, and gives considerable attention to the technology required to realise robust, reliable and safe robots.

This reader contains contributions referring to one of the most urgent problems in systems design: the effects of computerization on human work and approaches to ameliorate systems design in order to create better conditions for living human work in a computerized world. Of course the choice of papers has been operated somewhat arbitrarily. It primarily reflects the work of IFIP's Working Group 9.1.'Compu­ ters and Work'and of some of its members. The papers were compiled aiming at focussing on very material pro­ blems in the field of'Computers and Work'. They substantively re­ flect in several points the discussions and the concern of the Wor­ king Group. Some conclusions from a series of workshops held from 1980 onward by the Working Group are likewise contained and directed to the IFIP community and to other parties concerned. The reader inserts itself into a rather extended line of activities of the Working Group: in addition to contributions to the two IFIP Working Conferences on Human Choice and Computers held in 1974 and in 1979 (proceedings published by North Holland) a recent IFIP Wor­ king Conference on Systems Design For, With and By the Users (held in September 82, proceedings published in March 83 by North Holland) and a joint TC3/TC9 Working Conference on Education for Systems De­ signer/User Co-operation (proceedings to be published by end 84).