coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Submit to FCS 2020: Workshop on Foundations of Computer Security

From: Joshua Gancher <jrg358 AT cornell.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Submit to FCS 2020: Workshop on Foundations of Computer Security
Date: Fri, 17 Apr 2020 14:26:37 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jrg358 AT cornell.edu; spf=Pass smtp.mailfrom=jrg358 AT cornell.edu; spf=None smtp.helo=postmaster AT mail-ed1-f41.google.com
Ironport-phdr: 9a23:3vF/5xFJ8gtZFrk51G49Q51GYnF86YWxBRYc798ds5kLTJ7zpsuwAkXT6L1XgUPTWs2DsrQY0reQ6P+rADZcqdbZ6TZeKcAKD0dEwewt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrsxxxfTrHZFeetayX52KV+cgh3w4tu88IN5/ylfpv4s+NRMXbnmc6g9ULdVECkoP2cp6cLkshXOURGB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw7Viis4KltSB/zlScILCU5/33Nisxxl61UvhSsrAFizoHOYYGVMP1+fr7Bfd4fWGFMUNpdWzBHD4ihaIQBEvcBPf1Ar4bju1QOsRWwBQ6pBOz1yz9IgGL90ak13uklFA3L2hErEdATv3TOtNj6O6ccX+62wqfV0zvMc+hb1i3h5IXSaB0tve2AULB2fMHMyUcvDQTFjlCIpILhODOVzeQNs3WB4OF9VOygkWgnpB1xojex3Mcnl47EhoAPylDL+yh0wIU4KMakR058e96kFoVftyWeN4dsXMwtXnxotT88x7Ybt5C7ey0Kx44mxx7Zc/GHfImI4g7jVOaMOjh0nnNleLW5ih2v8kag0vXxWteo3FtOtCZIkdnBumoT2xDP6cWLUPRw8lqn1D2SzQ7c8PtELloxlafDK54u3Lowlp0LvETGBCD2mUH2gLaIeUo55+Sk8urnb7r7qpOGOI90jQb+MqsqmsOhG+g3Lg8OX22D9eS90r3s41H5Ta1UgvEqlqTVqpPXKMQBqqKnHwNY0Zwv5hmiAzu+1dQXh3gHLFZLeBKdiIjpPknDIPLiDfewjVmhkDRmyuvaMb3mGJXNKGbMkLPlfbpn9UFT1RczwchF551IErEBPO7zWkjpudPECR85KhW4zPrjCNVgzYwTQnmPA6+cMKPKq1CE/OMvI++WZI8UojnxMfYl5+S9xUM+zFQaZOyi2YYdQHG+BPVvZUuDMlT2hdJUM2ARvhc3BMPjjlaCXCQbM3SoUPlhthkwD5igAIPHAI2hnerSj2+AApRKazUeWRi3GnDyetDYCq5dOhLXGddol3k/bZbkToYg0R+0swqjkOhsKfDS9ykc85/vyYosvrCBpVQJ7TVxSv+l/SSNQmVzxD5aQjY32OVyrRU4xAval6d/hPNcGJpY4PYbCl5mZ66Z9PRzDpXJYiyEZs2AEQ30SdK8Bzw1SpQ8z8JcO0s=

The submission deadlines for the 2020 Workshop on Foundations of Computer Security, virtually co-located with CSF 2020, is fast approaching:

Full paper submissions (12pp + bib and appendices) are due April 24th, 2020 (AoE)

Short paper submissions (1 page abstract) are due May 17th 2020 (AoE)

New this year: we will employ a light form of double-blind reviewing! All presentations will be given online -- we plan to follow a similar process to CSF's virtual conference.

We look forward to seeing what you've been working on! See https://owenarden.github.io/fcs2020/ for submission instructions and other details.

Best,
Owen and Elaine

[Coq-Club] Submit to FCS 2020: Workshop on Foundations of Computer Security, Joshua Gancher, 04/17/2020