Service Oriented Computing: 17th International Conference, Icsoc 2019, Toulouse, France, October 28–31, 2019, Proceedings (lecture Notes in Computer Science)

The 121 revised full papers and 52 short papers presented together with the abstracts of 3 invited papers and those of the keynote speeches were carefully reviewed and selected from a total of 467 submissions. The papers cover a wide range of topics, including e-learning platforms and tools, learning resource management, practice and experience sharing, e-learning standards, mobile learning, education and remote classrooms, effectiveness of VR for education, life long learning, collaborative environments, remote group simulations, collaborative learning, virtual reality in education, game design and development, game engine development, game AI and artificial life, game physics, game rendering, virtual characters/agents, online/mobile game/video game, storytelling and game narrative, affective interaction in games, digital museum, digital heritage, animation techniques, augmented reality, and mixed reality.

This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.

The International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent developments in the area of compiler construction. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements of languages and target architectures.

This book constitutes the proceedings of the 4th International Conference on Geometric Science of Information, GSI 2019, held in Toulouse, France, in August 2019.

The 63 revised full papers and 61 poster papers presented together with abstracts of 5 keynote talks were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on emotion and affect, tutor evaluation, student modeling, machine learning, authoring tools , tutor feedback and intervention, data mining, e-learning and Web-based ITS, natural language techniques and dialogue, narrative tutors and games, semantic Web and ontology, cognitive models, and collaboration.

This book constitutes the proceedings of the First International Conference on Smart Computing and Communication, SmartCom 2016, held in Shenzhen, China, in December 2016.

This book constitutes the refereed proceedings of the 27th International Conference on Algorithmic Learning Theory, ALT 2016, held in Bari, Italy, in October 2016, co-located with the 19th International Conference on Discovery Science,

This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory , ADT 2017, held in Luxembourg, in October 2017.

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.