coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CSF'16: Call for Workshop Proposals

From: Matteo Maffei <maffei AT cs.uni-saarland.de>
To: security AT fosad.org, csf-attendees AT mail-infsec.cs.uni-saarland.de, types-announce AT lists.seas.upenn.edu, concurrency AT listserver.tue.nl, cipher-cfp AT ieee-security.org, cfp AT dice.ucl.ac.be, krypto AT gi-fb-sicherheit.de, gdr-im AT gdr-im.fr, policy-sig AT doc.ic.ac.uk, coq-club AT inria.fr, isabelle-users AT cl.cam.ac.uk
Subject: [Coq-Club] CSF'16: Call for Workshop Proposals
Date: Fri, 27 Nov 2015 09:56:32 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=maffei AT cs.uni-saarland.de; spf=None smtp.mailfrom=maffei AT cs.uni-saarland.de; spf=None smtp.helo=postmaster AT theia.rz.uni-saarland.de
Ironport-phdr: 9a23:nTZqaRM1xuQ5FX2OU5sl6mtUPXoX/o7sNwtQ0KIMzox0L/7zrarrMEGX3/hxlliBBdydsKIZzbqP+Pm6CCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkbDrsMSJMk1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvZKkzUKZZECUOPWcu7cGtsgPMCUOE/XVZW3kKnxxEDgXexBTzX5O0sy30red2niKBe9DwTPUvUD24665tRFnkhWNPKy8h/XqSg8p2i79dqx+Jox1k35WSe4ycL7xjZq7be5UXSXcFFs1WUSdcGJmxaYAeJ+4AJvpDopPjqkFIsQazQw+oQKvkyydIi2Wz1qMi++UsHAyDxwErAsgPrGWSq8/6cO8ZX/idwKjDwHPeZPcQ0Dy74oWMOhM7sOmQWpp/cI/fwww0FgjFg0+QpI35eT+YkqwCv3Le7u9IWu61zm8i7Q9r5nC3wcMtgZiMnYMa4lzD/mN4y8A8LpulSwozatm9VZBUqiuyNo1sQ8pkTXss8Cchw7cLvZq2OTURxY487xXbLfeOds6B6VT+V7W/OzB90VdsZK6ygF6X+Eaux+y0Asy93lhHrwJOiZ/RsHFIzBXa8MyOTPc78kr3imXH7Bza9uwReRN8rqHcMZN0mrM=

The 29th IEEE Computer Security Foundation Symposium (CSF’16) will be hosted in Lisbon (Portugal), June 28-July 1, 2016. The organizers have made arrangements to facilitate the running of workshops. Each workshop will have its own registration, with uniform workshop fees. It is not necessary to register for CSF in order to attend the workshops.

Workshops date: June 27, 2016.

Researchers and practitioners are invited to submit proposals for workshops on topics related to computer security. Proposals should consist of two parts:

(1) a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the CSF community. If relevant, a list of previous or related workshops may be added;

(2) organizational part should include:

* contact information of the workshop organizers/chairs;

* expected number of attendees;

* proposed format and agenda (presentations, demo sessions, tutorials, full-day, half-day, joint sessions, etc.);

* potential invited speakers;

* procedures for selecting papers and participants;

* plans for dissemination, if any (special issues of journals, etc);

* special technical or AV needs.

Proposals are due by December 18, 2015, and should be submitted electronically to Pedro Adão (pedro.adao at tecnico.ulisboa.pt <mailto:pedro.adao AT tecnico.ulisboa.pt>). Organizers will be notified by January 8, 2016.

For further enquiries or information, please contact Pedro Adão.

[Coq-Club] CSF'16: Call for Workshop Proposals, Matteo Maffei, 11/27/2015