--- My apologies if you receive multiple copies of this email --- Hi, 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 http://fms-14.appspot.com 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. INVITED SPEAKER --------------- Mark Ryan, University of Birmingham KEY DATES --------- - Paper Submission : March 10th, 2014 - Acceptance Notification : April 14th, 2014 - Camera-Ready Version : May 5th, 2014 - Workshop Date : June 23rd, 2014 (one day) SCOPE ----- 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. TOPICS ------ 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 SUBMISSION ---------- 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 reviewing. Papers should be submitted using the following URL:https://www.easychair.org/conferences/?conf=fms2014 GENERAL CHAIRS -------------- Véronique Cortier (CNRS-LORIA, France) Riadh Robbana (INSAT, Tunisia) PROGRAM COMMITTEE ----------------- 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 : [email protected]--------------------------------------------------------------------- |
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
