[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>
To: FMNET at JISCMAIL.AC.UK,
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 ---
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 : liliasfaxi at gmail.com
---------------------------------------------------------------------
More information about the FMIndia
mailing list