[FM-India] Call For Papers - FMS Workshop (submission deadline: 10th March 2014)

Madhavan Mukund madhavan at cmi.ac.in
Wed Feb 5 13:56:31 IST 2014

 From: Lilia Sfaxi <liliasfaxi at gmail.com>
  fmcad at utlists.utexas.edu,
  verification at lists.cs.columbia.edu,
  fmindia at cmi.ac.in,
  petrinet at informatik.uni-hamburg.de,
  crypto470 at isi.jhu.edu
 Cc: FMS 2014 <fms2014 at easychair.org>
 Date: Mon, 3 Feb 2014 12:16:00 +0100
 Subject: Call For Papers - FMS Workshop (submission deadline: 10th March 2014)
 --- My apologies if you receive multiple copies of this email ---
 It's with great pleasure that I invite you to participate to the FMS
 (Formal Methods for Security) workshop, held as part of the 35th
 PetriNets conference, that takes place in Tunis, Tunisia, on the 23rd
 of July 2014.
 The submission deadline is set for 10th of March, 2014. Do not
 hesitate to participate. The Call For Papers is enclosed hereafter.
 Best Regards.
 FMS 2014 Call for Paper (submission deadline March 10th, 2014)
 5th Workshop on Formal Methods for Security 
 June 23rd, 2014, Tunis, Tunisia.
 The 5th Workshop on Formal Methods for Security is co-located with
 the 35th International Conference on Application and Theory of Petri
 Nets and Concurrency (Petri Nets 2014:
 http://petrinets2014.cnam.fr/). This 5th edition of FMS will take
 place in Tunis, Tunisia.
 Mark Ryan, University of Birmingham
 - Paper Submission : 		March 10th, 2014
 - Acceptance Notification : 	April 14th, 2014
 - Camera-Ready Version : 	May 5th, 2014
 - Workshop Date : 		June 23rd, 2014 (one day)
 Security systems and applications are notoriously difficult to
 design. Formal models and formal proofs have been shown successful
 for increasing the confidence that security systems comply with their
 specifications. The main scope of the workshop is to propose methods
 and techniques for constructing secure systems. We particularly
 welcome papers on techniques, tools and applications of formal
 methods (eg. timed automata, Petri nets, timed Petri nets, Process
 algebra, Logics, ...) for security.
 The workshop will bring together academic and industry R&D
 researchers, in order to exchange ideas, discuss their research
 findings, and explore potential collaborations to provide solutions
 based on formal methods for developing secure systems and protocols.
 We seek original research papers addressing issues in formal methods
 for security. We solicit contributions on the following (but not
 limited to) topics:
 - Specification and verification of security issues
 - Automata, Petri nets, Process algebra, Logics
 - Equivalence checking
 - Electronic voting
 - Security and privacy
 - Cryptographic protocols
 - Hardware and embedded systems,
 - Probabilistic and real-time systems
 - Tools for security protocols verification
 Authors are invited to submit original contributions that were not
 previously published work, nor currently under review by any other
 workshop or conference. All submissions should be written in English,
 and correspond to the standard LNCS format Submitted papers should be
 in PDF format and should not exceed 15 pages.
 Accepted papers will be published as informal/electronic workshop
 proceedings (CEUR). Some of the best papers of the workshop will be
 invited for publication in the new subseries of Lecture Notes in
 Computer Science (LNCS) entitled "Transactions on Petri Nets and
 Other Models of Concurrency" (ToPNoC). The papers are expected to be
 minutely revised and they will go through a totally new round of
 Papers should be submitted using the following
 Véronique Cortier (CNRS-LORIA, France)
 Riadh Robbana (INSAT, Tunisia)
 Myrto Arapinis (University of Edinburgh, UK)
 Kamel Barkaoui (Cedric-CNAM, France)
 Narjes Ben Rajeb (LIP2-INSAT-University of Carthage, Tunisia)
 Vincent Cheval (University of Birmingham, UK)
 Stephen Chong (Harvard University, USA)
 Véronique Cortier (CNRS-LORIA, France)
 Stéphanie Delaune (CNRS-LSV, France)
 Susanna Donatelli (University of Turin, Italy)
 Sibylle Froeschle (University Oldenburg, Germany)
 Pierre-Cyrille Héam (FEMTO-ST, INRIA-CNRS, France)
 Béchir Ktari (LAVAL University, Canada)
 Yassine Lakhnech (VERIMAG-University of Grenoble Alpes, France)
 Mahjoub Langar (LIP2-ENIT-El Manar University, Tunisia)
 Mohamed Mejri (LAVAL University, Canada)
 Riadh Robbana (LIP2-INSAT-University of Carthage, Tunisia)
 Hassen Saidi (SRI International, USA)
 Lilia Sfaxi (LIP2-INSAT-University of Carthage, Tunisia)
 Jacques Traore (ORANGE Labs, France)
 Dr. Lilia SFAXI ep. YOUSSEF
 Docteur/Ingénieur en Informatique                     
 Assistante en Informatique, INSAT, Tunisie
 "Le savoir qu'on n'augmente pas chaque jour diminue tous les jours" 
   Page Personnelle : http://lillitou.wix.com/liliasfaxi
   Adresse eMail : liliasfaxi at gmail.com

More information about the FMIndia mailing list