Presents the introductory welcome message from the conference proceedings. May include the conference officers´ congratulations to all involved with the conference event and publication of the proceedings record.
Publisher :
ieee
Conference_Titel :
Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on
