This book is part II of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Languages and
SECIII-Social, Ethical and Cognitive Issues of Informatics and ICT Welcome to the post-conference book of SECIII, the IFIP Open Conference on Social, Ethical an
LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science Jul 05, 2016-Jul 08, 2016 New York, USA. You can view more information about this proceedi