Informatics In Schools. Curricula, Competences, And Competitions

The 27 revised full papers presented were carefully reviewed and selected from 82 submissions.The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.

The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. Formal Methods and Software Engineering.

This book constitutes the refereed proceedings of the 10th Chinese Conference on Biometric Recognition, CCBR 2015, held in Tianjin, China, in November 2015.

. They highlight not only the richness of existing work in the field, but also point out the challenges and exciting research that remains to be done in the area.Coordination, Organizations, Institutions, and Norms in Agent Systems X The papers cover a wide range of topics from work on formal aspects of normative and team based systems, to software engineering with organisational concepts, to applications of COIN based systems, and to philosophical issues surrounding socio-technical systems. The 16 full papers were carefully reviewed and selected for inclusion in this volume.

The 85 revised full papers presented were carefully reviewed and selected from among 120 submissions.The papers focus on face, fingerprint and palmprint, vein biometrics, iris and ocular biometrics, behavioral biometrics, application and system of biometrics, multi-biometrics and information fusion, other biometric recognition and processing. This book constitutes the refereed proceedings of the 10th Chinese Conference on Biometric Recognition, CCBR 2015, held in Tianjin, China, in November 2015. Biometric Recognition.

They highlight not only the richness of existing work in the field, but also point out the challenges and exciting research that remains to be done in the area.Coordination, Organizations, Institutions, and Norms in Agent Systems X The papers cover a wide range of topics from work on formal aspects of normative and team based systems, to software engineering with organisational concepts, to applications of COIN based systems, and to philosophical issues surrounding socio-technical systems.

This book constitutes the refereed proceedings of the 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, held in Ljubljana, Slovenia, in September/October 2015.

.

. The 14 full papers presented together with 3 invited talks were carefully reviewed and selected from 36 submissions. This book constitutes the refereed proceedings of the 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, held in Ljubljana, Slovenia, in September/October 2015.The focus of the conference was on following topics: sustainable education in informatics for pupils of all ages; connecting informatics lessons to the students’ everyday lives; teacher education in informatics; and research on informatics in schools (empirical/qualitative/quantitative/theory building/research methods/comparative studies/transferability of methods and results from other disciplines).

. The 14 full papers presented together with 3 invited talks were carefully reviewed and selected from 36 submissions.