ACM CCS 2016 - Call for Participation
23rd ACM Conference on Computer and Communication Security
October 24 – 28, 2016,
Hofburg Palace, Vienna, Austria
https://www.sigsac.org/ccs/CCS2016/
*** Early-Bird fee ends on September 20, 2016 ***
The Organizing Committee is delighted to invite you
(with apologies for multiple postings)
CALL FOR WORKSHOPS AND TUTORIALS
Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and
ITP - will be held in Brasilia, Brazil, between 25 and 29 September 2017.
Following the long tradition of those events, we invite researchers
