COURSE EXPERIENCE.- Teaching Formal Methods: An Experience Report.- A review of the structure of a course on Advanced Statistics for Data Scientists.- Reflection on Teaching Formal Approaches for Software Development in Higher Education.- Experience of mixed learning strategies in teaching Lean Software Development to third year undergraduate students.- Teaching Theoretical Computer Science at Innopolis University.- LESSONS LEARNT.- Teaching Software Testing to Industrial Practitioners using Distance and Web-Based Learning.- Towards code review guideline in a Classroom.- IT education in St. Petersburg State University.- Ten Unsafe Assumptions When Teaching Topics in Software Engineering.- CURRICULUM AND COURSE DESIGN.-Analysing the SWECOM standard for designing a DevOps education programme.- Teaching Logic, from a Conceptual Viewpoint.- On the Design of a New Software Engineering Curriculum in Computer Engineering.- Collaborative Modelling and Co-simulation in Engineering and ComputingCurricula.- COMPETITIONS AND WORKSHOPS.- Designing Interactive Workshops for Software Engineering Educators.- Hackathons as a Part of Software Engineering Education: CASE in Tools Example.- Teaching E cient Recursive Programming and Recursion Elimination using Olympiads and Contests Problems.- EMPIRICAL STUDIES.- Experience in monitoring EEG signals during summer student internships.- A Study of Cooperative Thinking.- TOOLS AND AUTOMATION.- Analysis of Development Tool Usage in Software Engineering Classes.- Applying test-driven development for improved feedback and automation of grading in academic courses on software development.- GLOBALIZATION OF EDUCATION.- Internationalization Strategy of Innopolis University.- Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization.- TOOLS Workshop: ARTIFICIAL AND NATURAL TOOLS (ANT).- Automated Cross-Language Integration Based on Formal Model of Components.- Scalable Thread-Modular Approach for Data Race Detection.- On the development of the compiler from C to the processor with FPGA accelerator.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com