2014 NSS | 15 Apr 10:46 2014
Picon

NSS 2014, Xi'an, China, SCI, EI 期刊推荐

Due to many requests, we have decided to extend the submission deadline and update our time schedule as follows:

Submissions: 21 April 2014

Author Notification: 15 June 2014

Camera-Ready: 1 July 2014

Author Registration: 1 August 2014

Conference Date: 15 - 17 Oct 2014

******************************************************************************

1.Concurrency and Computation: Practice and Experience(SCI Indexed)

    Special Issue on: "Security and Privacy in Big Data"

2.Security and Communication Networks(SCI Indexed) 


3.International Journal of Computational Science and Engineering(EI Indexed)

     Special Issue on: "New Cryptographic Techniques for Large-Scale Network Security"

4.International Journal of Embedded Systems(EI Indexed)

     Special Issue on: "Advances in Cloud Computing Security"

[Apologies if you receive multiple copies of this message]

CALL FOR PAPERS

******************************************************************************
NSS 2014 - The 8th International Conference on Network and System Security
Xi'an, China on October 15-17, 2014

http://anss.org.au/nss2014/
******************************************************************************

NSS is an annual international conference covering research in network
and system security. The   conference will cover research on all
theoretical and practical aspects related to network and system
security, such as authentication,   access control, availability,
integrity, privacy, confidentiality, dependability and sustainability
of computer networks and systems. The aim of NSS is to provide a
leading edge forum to foster interaction between researchers and
developers with the network and system security communities, and to
give attendees an opportunity to interact with experts in academia,
industry, and governments.

The conference seeks submissions from academia, industry, and
government presenting novel research on all theoretical and practical
aspects of network security, privacy, applications security, and
system security. The   conference will cover research on all
theoretical and practical aspects related to network and system
security, such as authentication,   access control, availability,
integrity, privacy, confidentiality, dependability and sustainability
of computer networks and systems.

******************************************************************************

GENERAL CHAIRS
Xiaofeng Chen, Xidian University, China

Dieter Gollmann, Hamburg University of Technology, Germany

Xinyi Huang, Fujian Normal University, China

TPC CHAIRS
Man Ho Au, University of Wollongong, Australia

Barbara Carminati, University of Insubria, Italy

C.-C. Jay Kuo,University of Southern California, USA
Attachment (NSS14_CFP.pdf): application/pdf, 756 KiB
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Samia Bouzefrane | 15 Apr 23:22 2014
Picon
Picon

The School on Secured Smart Object & the Internet of Things

Call for participation
---------------------------------------------------------------------------
The School on Secured Smart Object & the Internet of Things
From Sept. 23rd to 25 September, 2014, CNAM, Paris
http://cedric.cnam.fr/events/sso14/index.html
------------------------------------------------------------------------------------------------------------------------------------------------------
The school on Secured Smart Object & the Internet of Things, organised by
the CNRS-SSO action of ASR, will take place in Paris (CNAM) on September
23th to September-25th.
The school will feature series of lectures provided by renowned
researchers and practitioners within the fields of embedded systems and
mobile objects. The objective of the school is to bring together the
concepts and practices by encompassing basic and advanced courses as well
as labs, considering industrial use cases and research challenges. The
topics covered by the school include:
- The design of trustworthy hardware and software platforms, including
smart cards
- Industrial and research challenges,
- NFC and RFID from a security perspective,
- Dependability of connected objects, e.g., WSN, and
- Trusted platforms to secure Cloud computing
This intensive learning school is addressed to professionals (engineers
and managers) and academics (PhD students and researchers) with a
background on secured smart objects. Early registrations are recommended.

-------------------------------------------------------------------------

Registration fees:

Students: 200 euros (before June 15th), 300 euros (late reg.)
Academics (non-students): 400 euros (before June 15th), 500 euros (late reg.)
Industrials: 700 euros (before June 15th), 800 euros (late reg.)
September 24th afternoon: 150 euros (before June 15th), 200 euros (late reg.)

-------------------------------------------------------------------------

Program:

-------------------------------------------------------------------------

Sept. 23th
09:15 – 10:30  « Connected objects » by Julien Bourgeois (Université de
Franche Comté)
10:30 – 11:00  Coffee Break
11:00 – 12:30  « Easily Fighting Murphy: High-level Application
Development in the IoT with Fault Tolerance” by Animesh Pathak (INRIA)

12:30-13:30   Lunch

Lab Session
13:30 – 15:30: Lab on Srijan macroprogramming by Animesh Pathak (INRIA)
13:30 – 15:30: Lab on Embedded NFC by Emmanuel Conchon, Fabrice Peyrard
(IRIT/ENSEEIHT)
15:30 – 17:30: Poster & Demo Session
From 16 :30 visit of « Arts et Métiers » Museum

Sept. 24th:
9:15 – 10:15 “RFID tutorial” by Christophe Loussert (TAGSYS)
10:15 – 10:45 Coffee Break
10:45 - 11:45 « RFID and security » by Claude Tételin (CNRFID)
11:45 - 12:45 « RFID applications » by François Leblanc (Fréquentiel)

12:45-13:45   Lunch

Lab session
14:00 – 16:00 Lab on connected objects by Julien Bourgeois (Université de
Franche Comté)

Industrial exhibit, products & Solution
14:00 -16:30 (for exhibition contact samia.bouzefrane@... or
maryline.laurent@...)

Sept. 25th:
9:15 - 10:30 “Challenges for trusted element in the mobile Market” by
Virginie Galindo (Gemalto)
10:30 – 11:00  Coffee Break
11:00 - 12:30 “Trusted Platforms for Mobile Cloud Computing - a Review”,
Samia Bouzefrane (CNAM)

12:30-13:30   Lunch

Lab Session
13:30 – 15:30 Lab on Android Platforms and Cloud computing by Fabrice

	Mourlin (Univ. UPEC, Paris-Est Créteil) & Jean-Marc Farinone (CNAM).
13:30 – 15:30 RFID Lab by Gildas Avoine (IRISA)

-------------------------------------------------------------------------

Organization committee

Samia Bouzefrane (CNAM, CEDRIC Lab),
Maryline Laurent (Telecom SudParis, SAMOVAR Lab),
Fabrice Mourlin (Univ. UPEC, PRES Paris-Est, LACL Lab),
Fabrice Peyrard (IRIT/ENSEEIHT),
Francoise Sailhan (CNAM, CEDRIC Lab)
-------------------------------------------------------------------------
Franck Cassez | 16 Apr 11:18 2014
Picon

ATVA 2014: Last Call for Papers -- Sydney November 3-7

[We apologise for duplicates.]
========================================================================
                   ATVA 2014 Call for Papers

          12th International Symposium on Automated
           Technology for Verification and Analysis

                   Sydney, November 3-7, 2014

========================================================================

Abstract submission:  NEW 19 April 2014
Paper submission:     NEW 27 April 2014

http://atva-conferences.org

The purpose of ATVA is to promote research on theoretical and practical
aspects of automated analysis, verification and synthesis by providing
an international forum for interaction among the researchers in academia
and industry.

================
IMPORTANT DATES:
================
Abstract submission:  NEW 19 April 2014
Paper submission:     NEW 27 April 2014

Notification of acceptance:       30 June 2014
Final copy for proceedings:       30 July 2014
Conference:                       3-7 November 2014

==================
SCOPE OF INTEREST:
==================
ATVA 2014 solicits high quality submissions in areas related to the theory and
practice of automated analysis and verification of hardware and software systems.
Topics of interest include, but are not limited to:
Formalisms for modeling hardware, software and embedded systems
. Specification and verification of finite-state, infinite-state
and parameterized system
. Program analysis and software verification
. Analysis and verification of hardware circuits, systems-on-chip
and embedded systems
. Analysis of real-time, hybrid, timed, priced/weighted and probabilistic systems
. Deductive, algorithmic, compositional, and abstraction/refinement techniques
for analysis and verification
. Analytical techniques for safety, security, and dependability
. Testing and runtime analysis based on verification technology
. Synthesis and Games
. Analysis and verification of parallel and concurrent hardware/software systems
. Verification in industrial practice
. Applications and case studies
Theory papers should preferably be motivated by practical problems, and
applications should be based on sound theory and should solve problems of
practical interest.

==================
PAPER SUBMISSIONS:
==================
ATVA invites research contributions in two categories: Regular research
papers (with 15 pages page limit) and tool papers (with 4 pages page limit).
Contributions must be written in English and in LNCS format, and must
present original research which is unpublished and not submitted elsewhere
(conferences or journals). The proceedings of ATVA 2014 will be
be published by Springer as a volume in the series of Lecture Notes in
Computer Science (LNCS). A special journal issue is also being planned
for selected papers.

==================
INVITED SPEAKERS:
==================
  Pr. Krishnendu Chatterjee, IST Austria, Austria
  Pr. Ahmed Bouajjani, Univ. Paris Diderot, France

=============
ORGANIZATION:
=============
General Chair:
   Dr. Ralf Huuck (NICTA and UNSW)

Program co-chairs:
   Dr. Franck Cassez (NICTA and UNSW)
   Pr. Jean-François Raskin (ULB)

Workshop Chair:
   Dr. Peter Höefner (NICTA and UNSW)

Program committee:
   Ahmed Bouajjani (LIAFA, University Paris Diderot, France)
   Supratik Chakraborty (IIT Bombay, India)
   Alessandro Cimatti (FBK-irst, Italy)
   Deepak D'Souza (Indian Institute of Science, Bangalore, India)
   Hung Dang Van (UET, Vietnam National University, Hanoi)
   Giorgio Delzanno (DIBRIS, Università di Genova)
   E. Allen Emerson (The University of Texas at Austin, USA)
   Pierre Ganty (IMDEA Software Institute, Spain)
   Patrice Godefroid (Microsoft Research, USA)
   Kim Guldstrand Larsen (Aalborg University, Denmark)
   Teruo Higashino (Osaka University, Japan)
   Alan Hu (University of British Columbia, Canada)
   Joost-Pieter Katoen (RWTH Aachen University, Germany)
   Moonzoo Kim (KAIST, Korea)
   Gerwin Klein (NICTA and UNSW, Australia)
   Orna Kupferman (Hebrew University, Israel)
   Marta Kwiatkowska (University of Oxford, UK)
   Insup Lee (University of Pennsylvania, USA)
   Oded Maler (CNRS-VERIMAG, France)
   Annabelle McIver (Macquarie University, Australia)
   Madhavan Mukund (Chennai Mathematical Institute, India)
   Mizuhito Ogawa (Japan Advanced Institute of Science and Technology, Japan)
   Sungwoo Park Pohang (University of Science and Technology, Korea)
   Doron Peled (Bar Ilan University, Israel)
   Andreas Podelski (University of Freiburg, Germany)
   Pierre-Alain Reynier (Aix-Marseille University, France)
   Jie-Hong Rolland-Jiang (National Taiwan University Taipei, Taiwan)
   Jing Sun (The University of Auckland, New Zealand)
   P.S. Thiagarajan (National University of Singapore, Singapore)
   Ron Van Der Meyden (UNSW, Australia)
   Rob Van Glabbeek (NICTA and UNSW, Australia)
   Farn Wang (National Taiwan University Taipei, Taiwan)
   Chao Wang (Virginia Tech., USA)
   Bow-Yaw Wang (Academia Sinica, Taipei, Taiwan)
   Karsten Wolf (Rostock University, Germany)
   Hsu-Chun (Yen National Taiwan University, Taiwan)
   Wang Yi (Uppsala University, Sweden)
   Wenhui Zhang (Institute of Software, Chinese Academy of Sciences, China)

Steering Committee:
    Professor E. Allen Emerson (University of Texas at Austin)
    Professor Teruo Higashino (Osaka University)
    Professor Insup Lee (University of Pennsylvania)
    Professor Doron A. Peled (Bar Ilan Universioty)
    Professor Farn Wang (National Taiwan University)
    Professor Hsu-Chun Yen (National Taiwan University)

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or
copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
jun sun | 16 Apr 09:06 2014
Picon

One Postdoc Research Fellow Position on Verification of Cyber-Physical Systems

Hi,

A Postdoctoral Research Fellow position is available on security and cyber-physical systems, funded by a research project led by Dr. Sun Jun from Singapore University of Technology and Design. The goal of this project is to develop novel automated techniques for analyzing security properties of cyber-physical systems.


To apply you must hold a degree in the areas of Computer Science, or a related discipline, and a PhD in a relevant research area (which includes program analysis, security, cyber-physical system analysis, formal verification, model checking, formal methods, testing, etc.). Candidates are expected to have high-quality publications in peer-reviewed conferences and journals. The postdoc will be supervised by Dr. Sun Jun and will be working closely with his existing research fellows/assistants as well as PhD students.


The Singapore University of Technology and Design’s (SUTD) is set up in collaboration with Massachusetts Institute of Technology (MIT) and represents MIT’s most significant collaboration on education to date. SUTD takes pride in creating a unique system of education that includes cohort based instruction, novel pedagogy, and emphasis on design throughout its multidisciplinary curriculum. This research project is supported by a research center on cyber-physical systems in SUTD. Also of the research center are multiple mock up systems of real-world cyber-physical systems. Researchers supported by the center are encouraged to apply their research approaches/results on these real systems.


This postdoc position is available for up to 4 years. The salary ranges from SGD 60K to 80K per year with attractive package. 


Informal inquiries are encouraged and should be directed to:

Dr Sun Jun (sunjun-GdxzC7QHv30umtBd50HNKg@public.gmane.org)

http://people.sutd.edu.sg/~sunjun/

 

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
GRLMC | 15 Apr 22:27 2014

SLSP 2014: 3rd call for papers

*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*

****************************************************************************
******

2nd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING

SLSP 2014

Grenoble, France

October 14-16, 2014

Organised by:

Équipe GETALP
Laboratoire d’Informatique de Grenoble

Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/slsp2014/

****************************************************************************
******

AIMS:

SLSP is a yearly conference series aimed at promoting and displaying
excellent research on the wide spectrum of statistical methods that are
currently in use in computational language or speech processing. It aims at
attracting contributions from both fields. Though there exist large,
well-known conferences and workshops hosting contributions to any of these
areas, SLSP is a more focused meeting where synergies between subdomains and
people will hopefully happen. In SLSP 2014, significant room will be
reserved to young scholars at the beginning of their career and particular
focus will be put on methodology.

VENUE:

SLSP 2014 will take place in Grenoble, at the foot of the French Alps.

SCOPE:

The conference invites submissions discussing the employment of statistical
methods (including machine learning) within language and speech processing.
The list below is indicative and not exhaustive:

phonology, phonetics, prosody, morphology
syntax, semantics
discourse, dialogue, pragmatics
statistical models for natural language processing
supervised, unsupervised and semi-supervised machine learning methods
applied to natural language, including speech
statistical methods, including biologically-inspired methods
similarity
alignment
language resources
part-of-speech tagging
parsing
semantic role labelling
natural language generation
anaphora and coreference resolution
speech recognition 
speaker identification/verification
speech transcription
speech synthesis
machine translation
translation technology
text summarisation
information retrieval
text categorisation
information extraction
term extraction
spelling correction
text and web mining
opinion mining and sentiment analysis
spoken dialogue systems
author identification, plagiarism and spam filtering

STRUCTURE:

SLSP 2014 will consist of:

invited talks
invited tutorials
peer-reviewed contributions

INVITED SPEAKERS:

Claire Gardent (LORIA, Nancy, FR), Grammar Based Sentence Generation and
Statistical Error Mining
Roger K. Moore (Sheffield, UK), Spoken Language Processing: Time to Look
Outside?
Martti Vainio (Helsinki, FI), Phonetics and Machine Learning: Hierarchical
Modelling of Prosody in Statistical Speech Synthesis

PROGRAMME COMMITTEE:

Sophia Ananiadou (Manchester, UK)
Srinivas Bangalore (Florham Park, US)
Patrick Blackburn (Roskilde, DK)
Hervé Bourlard (Martigny, CH)
Bill Byrne (Cambridge, UK)
Nick Campbell (Dublin, IE)
David Chiang (Marina del Rey, US)
Kenneth W. Church (Yorktown Heights, US)
Walter Daelemans (Antwerpen, BE)
Thierry Dutoit (Mons, BE)
Alexander Gelbukh (Mexico City, MX)
James Glass (Cambridge, US)
Ralph Grishman (New York, US)
Sanda Harabagiu (Dallas, US)
Xiaodong He (Redmond, US)
Hynek Hermansky (Baltimore, US)
Hitoshi Isahara (Toyohashi, JP)
Lori Lamel (Orsay, FR)
Gary Geunbae Lee (Pohang, KR)
Haizhou Li (Singapore, SG)
Daniel Marcu (Los Angeles, US)
Carlos Martín-Vide (Tarragona, ES, chair)
Manuel Montes-y-Gómez (Puebla, MX)
Satoshi Nakamura (Nara, JP)
Shrikanth S. Narayanan (Los Angeles, US)
Vincent Ng (Dallas, US)
Joakim Nivre (Uppsala, SE)
Elmar Nöth (Erlangen, DE)
Maurizio Omologo (Trento, IT)
Mari Ostendorf (Seattle, US)
Barbara H. Partee (Amherst, US)
Gerald Penn (Toronto, CA)
Massimo Poesio (Colchester, UK)
James Pustejovsky (Waltham, US)
Gaël Richard (Paris, FR)
German Rigau (San Sebastián, ES)
Paolo Rosso (Valencia, ES)
Yoshinori Sagisaka (Tokyo, JP)
Björn W. Schuller (London, UK)
Satoshi Sekine (New York, US)
Richard Sproat (New York, US)
Mark Steedman (Edinburgh, UK)
Jian Su (Singapore, SG)
Marc Swerts (Tilburg, NL)
Jun'ichi Tsujii (Beijing, CN)
Gertjan van Noord (Groningen, NL)
Renata Vieira (Porto Alegre, BR)
Dekai Wu (Hong Kong, HK)
Feiyu Xu (Berlin, DE)
Roman Yangarber (Helsinki, FI)
Geoffrey Zweig (Redmond, US)

ORGANISING COMMITTEE:

Laurent Besacier (Grenoble, co-chair)
Adrian Horia Dediu (Tarragona)
Benjamin Lecouteux (Grenoble)
Carlos Martín-Vide (Tarragona, co-chair)
Florentina Lilica Voicu (Tarragona)

SUBMISSIONS:

Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research. Papers should not exceed 12 single-spaced
pages (including eventual appendices) and should be prepared according to
the standard format for Springer Verlag's LNAI/LNCS series (see
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

Submissions have to be uploaded to:

https://www.easychair.org/conferences/?conf=slsp2014

PUBLICATIONS:

A volume of proceedings published by Springer in the LNAI/LNCS series will
be available by the time of the conference.

A special issue of a major journal will be later published containing
peer-reviewed extended versions of some of the papers contributed to the
conference. Submissions to it will be by invitation.

REGISTRATION:

The period for registration is open from January 16, 2014 to October 14,
2014. The registration form can be found at:

http://grammars.grlmc.com/slsp2014/Registration.php

DEADLINES:

Paper submission: May 7, 2014 (23:59h, CET)
Notification of paper acceptance or rejection: June 18, 2014
Final version of the paper for the LNAI/LNCS proceedings: June 25, 2014
Early registration: July 2, 2014
Late registration: September 30, 2014
Submission to the post-conference journal special issue: January 16, 2015

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@...

POSTAL ADDRESS:

SLSP 2014
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386

ACKNOWLEDGEMENTS:

Departament d’Economia i Coneixement, Generalitat de Catalunya
Laboratoire d’Informatique de Grenoble
Universitat Rovira i Virgili
SYNASC 2014 | 15 Apr 20:41 2014
Picon

[Extended deadline] Call for Papers Synasc 2014, Timisoara, Romania

[Please post - apologies for multiple copies.]

Call for Papers
---------------

                       SYNASC 2014

              16th International Symposium on
   Symbolic and Numeric Algorithms for Scientific Computing
         September 22-25, 2014, Timisoara, Romania
           	  http://synasc.ro/2014/
	      http://synasc14.info.uvt.ro/

Aim
---

SYNASC aims to stimulate the interaction between the two 
scientific communities of symbolic and numeric computing 
and to exhibit interesting applications of the areas both 
in theory and in practice. The choice of the topic is motivated 
by the belief of the organizers that the dialogue between 
the two communities is very necessary for accelerating the 
progress in making the computer a truly intelligent aid for 
mathematicians and engineers.

Important Dates
---------------

08 June 2014           :  Abstract submission  
15 June 2014           :  Paper submission 
27 July 2014           :  Notification of acceptance
01 September 2014      :  Registration
05 September 2014      :  Revised papers according to the reviews
22-25 September 2014   :  Symposium
30 November 2014       :  Final papers for post-proceedings

Tracks
------

    * Symbolic Computation
        + computer algebra
        + symbolic techniques applied to numerics
        + hybrid symbolic and numeric algorithms
        + numerics and symbolics for geometry
        + programming with constraints, narrowing

    * Numerical Computing
        + iterative approximation of fixed points
        + solving systems of nonlinear equations
        + numerical and symbolic algorithms for differential equations
        + numerical and symbolic algorithms for optimization
        + parallel algorithms for numerical computing
        + scientific visualization and image processing

    * Logic and Programming
        + automatic reasoning
        + formal system verification
        + formal verification and synthesis
        + software quality assessment
        + static analysis
        + timing analysis

    * Artificial Intelligence
        + methods for hard computational problems
        + intelligent systems for scientific computing
        + agent-based complex systems modeling and development
        + scientific knowledge management
        + computational intelligence 
        + machine learning 
        + recommender and expert systems for scientific computing
        + data mining and web mining
        + natural language processing  
        + uncertain reasoning in scientific computing       
        + intelligent hybrid systems

    * Distributed Computing
        + parallel and distributed algorithms for clouds, GPUs, 
	  HPC, P2P systems, autonomous systems. Work should focus 
          on scheduling, scaling, load balancing, networks, fault-tolerance, 
          gossip algorithms, energy saving
	+ applications for parallel and distributed systems, including work 
          on cross disciplinary (scientific) applications for grids/clouds, 
          web applications, workflow platforms, network measurement tools, 
          programming environments
	+ architectures for parallel and distributed systems, including 
          self-managing and autonomous systems, negotiation protocols, HPC on 
          clouds, GPU processing, PaaS for (inter)cloud, brokering platforms, 
          mobile computing
	+ modelling of parallel and distributed systems including models on 
          resources and networks, semantic representation, negotiation, social 
          networks, trace management, simulators
	+ any other topic deemed relevant to the field

    * Advances in the Theory of Computing
       + data Structures and algorithms
       + combinatorial Optimization
       + formal languages and Combinatorics on Words
       + graph-theoretic and Combinatorial methods in Computer Science
       + algorithmic paradigms, including distributed, online, 
         approximation, probabilistic, game-theoretic algorithms
       + computational Complexity Theory, including structural complexity, 
         boolean complexity, communication complexity, average-case complexity, 
         derandomization and property testing
       + logical approaches to complexity, including finite model theory
       + algorithmic and computational learning theory
       + aspects of computability theory, including computability in 
         analysis and algorithmic information theory
       + proof complexity
       + computational social choice and game theory
       + new computational paradigms: CNN computing, quantum, 
         holographic and other non-standard approaches to Computability
       + randomized methods, random graphs, threshold phenomena and 
         typical-case complexity
       + automata theory and other formal models, particularly in 
         relation to formal verification methods such as model 
         checking and runtime verification
       + applications of theory, including wireless and sensor networks, 
         computational biology and computational economics
       + experimental algorithmics

This list is not intended to be exhaustive.   

Workshops
---------

    * Workshop on Agents for Complex Systems (ACSys)
           http://synasc.ro/2014/workshops/acsys-2014 
    * Workshop on Computational Topology in Image Context (CTIC)
           http://ctic2014.synasc.ro/index.html
    * Workshop on HPC research services (HPCReS)
           http://host.hpc.uvt.ro/events/hpcres-2014-international-workshop-on-hpc-research-services/ 
    * Workshop on GIC and Hydrologic Modeling (HydroGIS)    
           http://synasc.ro/2014/workshops/hydrogis-2014
    * Workshop on Iterative Approximation of Fixed Points (IAFP)
           http://synasc.ro/2014/workshops/iafp-2014
    * Workshop on Management of Resources and Services in Cloud and Sky Computing (MICAS)
           http://amicas.hpc.uvt.ro/micas-2014
    * Workshop on Natural Computing and Applications (NCA)
           http://synasc.ro/2014/workshops/nca-2014

Publication
-----------
Research papers that are accepted and presented at the 
symposium will be collected as post-proceedings published 
by Conference Publishing Service (CPS) (included in IEEE Xplore) and 
will be submitted for indexing in ISI Web of Science, DBLP, SCOPUS.

Extended versions of the selected papers published in post-proceedings 
will be considering to be published as special issues in international journals.

Invited Speakers 
----------------
    * Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
    * Gheorghe Paun, Institute of Mathematics of the Romanian Academy, Bucharest, Romania
    * William Langdon, University College London, UK
    * Stefan Takacs, TU Chemnitz, Germany
    * Stephen Watt, University of Western Ontario, Canada
    * Tetsuo Ida, University of Tsukuba, Japan

Honorary Chairs
---------------
    * Bruno Buchberger, Johannes Kepler University, Austria
    * Stefan Maruster, West University of Timisoara, Romania

Steering Committee
------------------
    * Tetsuo Ida, University of Tsukuba, Japan
    * Tudor Jebelean, Johannes Kepler University, Austria
    * Viorel Negru, West University of Timisoara, Romania
    * Dana Petcu, West University of Timisoara, Romania
    * Stephen Watt, University of Western Ontario, Canada
    * Daniela Zaharie, West University of Timisoara, Romania

General Chair
-------------
    * Viorel Negru, West University of Timisoara, Romania

Program Chair
-------------
    * Franz Winkler, Johannes Kepler University, Austria

Track Chairs
------------
    * Symbolic Computation
        + Tetsuo Ida, University of Tsukuba, Japan
        + Stephen Watt, University of Western Ontario, Canada

    * Numerical Computing
        + Richard Liska, Technical University of Prague, Czech Republic
        + Dana Petcu, West University of Timisoara, Romania

    * Logic and Programming
        + Tudor Jebelean, Johannes Kepler University Linz, Austria
        + Laura Kovacs, Chalmers University of Technology, Sweden

    * Artificial Intelligence
        + Andrei Petrovski, Robert Gordon University, UK	
        + Daniela Zaharie, West University of Timisoara, Romania

    * Distributed Computing
        + Marc Frincu, University of Southern California, US and West University of Timisoara, Romania
        + Karoly Bosa, Johannes Kepler University Linz, Austria

    * Advances in the Theory of Computing
        + Mircea Marin, West University of Timisoara, Romania
        + Gabriel Istrate, Research Institute e-Austria Timisoara, Romania

Special sessions and workshops chair
------------------------------------
    * Daniel Pop, West University of Timisoara, Romania

Tutorial chair
--------------
    * Dana Petcu, West University of Timisoara, Romania

Proceedings Chairs
------------------
    * Franz Winkler, Johannes Kepler University Linz, Austria 
    * Daniela Zaharie, West University of Timisoara, Romania

Local Committee Chairs
----------------------
    * Isabela Dramnesc, West University of Timisoara, Romania
    * Silviu Panica, Institute e-Austria Timisoara, Romania

Submission
-----------

Submissions of research papers are invited. The papers must contain 
original research results not submitted and not published elsewhere. 

The submission process consists of two steps.  

    * In the first step the authors are invited to express their 
      intention to participate at the conference by submitting a 
      short abstract (1/2 page, at maximum) where it is clearly 
      stated the main contribution(s) of the paper.

    * In the second step the authors should submit the full paper 
      (up to 8 pages in the two-columns IEEE conference style).

Both the abstract and the full paper should be submitted electronically 
through http://www.easychair.org/conferences/?conf=synasc2014.

-----------
SYNASC 2014
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592195, +(40) 256 592389
fax: + (40) 256 592316, +(40) 256 592380
e-mail: synasc14@...
sara.foresti | 15 Apr 22:11 2014
Picon

1st ACM Workshop on Moving Target Defense - Call for Papers

[Apologies if you receive multiple copies of this message]

CALL FOR PAPERS

*********************************************************************
1st ACM Workshop on Moving Target Defense (MTD 2014)
Scottsdale, Arizona, USA -- November 3, 2014
in conjunction with the 21st ACM Conference on Computer
and Communications Security (CCS)
http://csis.gmu.edu/MTD2014
*********************************************************************

The static nature of current computing systems has made them easy to
attack and harder to defend. Adversaries have an asymmetric advantage
in that they have the time to study a system, identify its
vulnerabilities, and choose the time and place of attack to gain the
maximum benefit. The idea of moving-target defense (MTD) is to impose
the same asymmetric disadvantage on the attacker by making systems
dynamic and harder to predict. With a constantly changing system and
its ever adapting attack surface, the attacker will have to deal with
a great deal of uncertainty just like defenders do today. The
ultimate goal is to level the cybersecurity playing field for
defenders versus attackers.

This workshop seeks to bring together researchers from academia,
government, and industry to report on the latest research efforts
on moving-target defense, and to have productive discussion and
constructive debate on this topic. We solicit submissions on original
research in the broad area of MTD, with possible topics such as those
listed below. Since this is still a research area in a nascent stage,
the list should only be used as a reference. We welcome all works
that fall under the broad scope of moving target defense, including
research that shows negative results.
- System randomization
- Artificial diversity
- Cyber maneuver
- Bio-inspired defenses
- Dynamic network configuration
- Moving target in the cloud
- System diversification techniques
- Dynamic compilation techniques
- Adaptive defenses
- Analytical models for MTD
- Large-scale MTD (using multiple techniques)
- ...

PAPER SUBMISSIONS
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings. Submissions should be at most 10 pages
in the ACM double-column format, excluding well-marked appendices,
and at most 12 pages in total.
Submissions are not required to be anonymized. 

Submissions are to be made to the submission web site at
http://www.easychair.org. Only PDF files will be accepted. 
Submissions not meeting these guidelines risk rejection without
consideration of their merits. Papers must be received by the
deadline of July 1, 2014 to be considered. Notification of acceptance
or rejection will be sent to authors by August 10, 2014. Authors of
accepted papers must guarantee that one of the authors will register
and present the paper at the workshop. Proceedings of the workshop
will be available on a CD to the workshop attendees and will become
part of the ACM Digital Library. 

IMPORTANT DATES
Paper submission due: July 1, 2014 (midnight anywhere in the world)
Notification to authors: August 10, 2014
Camera ready due: August 24, 2014

WORKSHOP CHAIRS
Cliff Wang, ARO
Dijiang Huang, Arizona State University

PC CHAIRS
Sushil Jajodia, George Mason University
Kun Sun, George Mason University

PUBLICITY CHAIR
Sara Foresti, University of Milan

PROGRAM COMMITTEE
Massimiliano Albanese, George Mason University
Ehab Al-Shaer, UNC-Charlotte
George Cybenko, Dartmouth College
Alessandra De Benedictis, University of Naples
Scott DeLoach, Kansas State University
Yuval Elovici, Ben-Gurion University
Rob Erbacher, ARL
Michael Franz, UC-Irvine
Dijiang Huang, Arizona State University 
Angelos Keromytis, Columbia University
Jason Li, Intelligent Automation, Inc
Peng Liu, Penn State University
Tom Longstaff, NSA
Patrick McDaniel, Penn State University
Prasant Mohapatra, University of California at Davis 
Sanjai Narain, Applied Communication Sciences
Xinming Ou, Kansas State University
Radha Poovendran, Washington University
Kui Ren, University of Buffalo
Vipin Swarup, The MITRE Corporation
Cliff Wang, ARO
Zhan Wang, Chinese Academy of Sciences

This call for papers and additional information about the workshop
can be found at http://csis.gmu.edu/MTD2014

****************
Il 5 x mille alla nostra Università è un investimento sui giovani,
sui loro migliori progetti.

Sostiene la libera ricerca.
Alimenta le loro speranze nel futuro.

Investi il tuo 5 x mille sui giovani.

Università degli Studi di Milano
codice fiscale 80012650158

http://www.unimi.it/13084.htm?utm_source=firmaMail&utm_medium=email&utm_content=linkFirmaEmail&utm_campaign=5xmille
Claudio A. Ardagna | 15 Apr 15:16 2014
Picon

[SPE 2014] Submission deadline today (April 15, 2014)

***Submission Deadline April 15, 2014 (11:59 PM American Samoa time)***

[Apologies if you receive multiple copies of this message]

==========================================================================
CALL FOR PAPERS

IEEE 4th International Workshop on Security and Privacy Engineering
One day between June 27-July 2, 2014, at Hilton Anchorage, Alaska, USA
Co-located with IEEE SERVICES 2014 (http://www.servicescongress.org/2014/)
Workshop Web page: http://sesar.dti.unimi.it/SPE2014/
==========================================================================

===========
Description
===========

Built upon the success of spectrum of conferences within the IEEE World 
Congress on Services, the Security and Privacy Engineering (SPE 2014) 
workshop is a unique place to exchange ideas of engineering secure 
systems in the context of service computing, cloud computing, and  big 
data analytics. The emphasis on engineering in security and privacy of 
services differentiates the workshop from other traditional prestigious 
security and privacy workshops, symposiums, and conferences. The 
practicality and value realization are examined by practitioners from 
leading industries as well as scientists from academia.

In line with the engineering spirit, we solicit original papers on 
building secure service systems that can be applied to government 
procurement, digital medical records, cloud environments, social 
networking for business purposes, multimedia application, mobile 
commerce, education, and the like. Potential contributions could cover, 
but are not limited to, methodologies, protocols, tools, or verification 
and validation techniques. We also welcome review papers that analyze 
critically the status of current Security and Privacy (S&P) in a 
specific area. Papers from practitioners who encounter security and 
privacy problems and seek understanding are also welcome.

Topics of interests of SPE 2014 include, but are not limited to:

- S&P Engineering of Service-Based Applications
- Security Engineering of Service Compositions
- Practical Approaches to Security Engineering of Services
- Privacy-Aware Service Engineering
- Industrial and Real Use Cases in S&P Engineering of (Cloud) Services
- S&P Engineering of Cloud Services
- Auditing and Assessment
- Assurance and Certification
- Security Management and Governance
- Privacy Enforcement in Clouds and Services
- Cybersecurity Issues of Clouds and Services
- Validation and Verification of S&P in Clouds and Services
- Applied Cryptography for S&P in Clouds and Services
- S&P Testing in Clouds and Services
- Security and Privacy Modeling
- Socio-Economics and Compliance
- Education and Awareness
- Big Data S&P Engineering

===============
Important Dates
===============

Paper Submission Due: April 15, 2014 *FIRM DEADLINE*
Decision Notification (Electronic): April 22, 2014
Camera-Ready Copy & Pre-registration Due: May 1, 2014

================
Paper Submission
================

Authors are invited to submit full papers (about 8 pages) or short 
papers (about 4 pages) as per IEEE 8.5 x 11 manuscript guidelines 
(download Word templates 
http://conferences.computer.org/icws/2014/IEEECS_CPS_8.5x11x2.zip or 
LaTeX templates 
http://conferences.computer.org/icws/2014/IEEECS_CPS_LaTeX_Letter_2Col.zip).
The submitted papers can only be in the format of PDF or WORD. Please 
follow the IEEE Computer Society Press Proceedings Author Guidelines to 
prepare your papers, respectively. At least one author of each accepted 
paper is required to attend the workshop and present the paper. All 
papers must be submitted via the confhub submission system for the SPE 
workshop (http://confhub.com/).

First time users need to register with the system first (see these 
instructions for details 
http://www.servicescongress.org/2014/submission.html). All the accepted 
papers by the workshops will be included in the Proceedings of the IEEE 
10th World Congress on Services (SERVICES 2014) which will be published 
by IEEE Computer Society.

===============
Workshop Chairs
===============

- Claudio Agostino Ardagna, Università degli Studi di Milano, Italy
- Meiko Jensen, Independent Centre for Privacy Protection 
Schleswig-Holstein, Germany
- Zhixiong Chen, Mercy College, NY, USA
- Ernesto Damiani, Università degli Studi di Milano, Italy

=================
Program Committee
=================

- Rafael Accorsi, University of Freiburg, Germany
- Rasool Asal, British Telecommunications, UK
- Jens-atthias Bohli, NEC Laboratories Europe, Germany
- Bud Brügger, Fraunhofer IAO, Germany
- Ali Chettih, Pivot Point Security, Mercy College NY, USA
- Frances Cleary, Waterford Institute of Technology, Ireland
- Quiang Duan, Penn State at Abington, USA
- Massimo Felici, Hewlett-Packard Laboratories, USA
- Christopher Frenz, CTO at See-Thru, USA
- Atsuhiro Goto, Institute of Information Security, Japan
- Nils Gruschka, University of Applied Sciences Kiel, Germany
- Marit Hansen, Independent Centre for Privacy Protection 
Schleswig-Holstein, Germany
- Patrick Hung, University of Ontario Institute of Technology, Canada
- Luigi Lo Iacono, University of Applied Sciences Cologne, Germany
- Florian Kerschbaum, SAP Research Karlsruhe, Germany
- Zhiqiang Lin, UT Dallas, USA
- Jörg Schwenk, Ruhr University Bochum, Germany
- Wei Tan, IBM, USA
- Jong Yoon, Mercy College, USA
- Yingzhou Zhang, Nanjing University of Posts and Telecommunications, China

===============
Publicity Chair
===============

- Fulvio Frati, Università degli studi di Milano, Italy

More information available at http://sesar.dti.unimi.it/SPE2014/

****************
Il 5 x mille alla nostra Università è un investimento sui giovani,
sui loro migliori progetti.

Sostiene la libera ricerca.
Alimenta le loro speranze nel futuro.

Investi il tuo 5 x mille sui giovani.

Università degli Studi di Milano
codice fiscale 80012650158

http://www.unimi.it/13084.htm?utm_source=firmaMail&utm_medium=email&utm_content=linkFirmaEmail&utm_campaign=5xmille
Markus Roggenbach | 14 Apr 12:46 2014
Picon
Picon

CFP: Model-based design and analysis of cyber-physical systems - SPES_XT Summer School at AVoCS'14

(Apologies if you receive this multiple times).

              CALL FOR PARTICIPATION

    Model-based design and analysis of cyber-physical systems
           SPES_XT Summer School at AVoCS'14
                 Twente, The Netherlands
                    Sept. 17-23, 2014

Today's challenges in the development of embedded and cyber-physical
systems are mainly caused by the ever-increasing complexity of the
software. Model-based design and analysis has a high potential to
overcome these challenges. SPES_XT (Software Platform Embedded
Systems) is a large German endeavour to build a consistent, coherent
model-based design methodology for complex embedded and cyber-physical
systems. The aim of AVoCS (International Workshop on Automated
Verification of Critical Systems) is to further research on tools and
techniques for the verification of critical systems. The SPES_XT
Summer School at AVoCS'14 will present results and experiences from
the SPES_XT project, as well as research approaches established at
AVoCS. It will provide a concise introduction to the state-of-the-art,
as well as new approaches and research questions. Attendants will gain
an intimate understanding of a consistent system development process
for complex embedded and cyber-physical systems over different
application domains (e.g. automation, automotive, avionic, rail).

The school addresses young researchers as well as young professionals
from industry. It will be held immediately prior to AVoCS 2014.

COURSES

  Holger Schlingloff: Cyber-Physical Systems Engineering
  Manfred Broy: Logics of Discrete System Design - From Formal Models to 
System Assertions
  Alexander Knapp: Modern modeling formalisms: UML, SysML, MARTE
  Alessio Lomuscio: Model Checking of Multi-Agent Systems
  Marieke Huisman: Verification of Concurrent Software
  Markus Roggenbach: Foundational Concepts and Techniques for Modeling 
and Verification
  Stephan Merz: Modeling and Verifying Systems in TLA+
  Joachim Wegener: Methods and Tools for Analytical Quality Assurance
  Joost Pieter Katoen: Quantitative Analysis of Safety-Critical Systems

REGISTRATION

  Participants at the SPES_XT Summer School 2014 have to register at
  the AVoCS'14 registration page:

http://fmt.cs.utwente.nl/conferences/avocs2014/register.php

  Deadline:

    27th of May 2014

  Fees:
    regular participants: 900 Euros
    students: 680 Euros

    The fees cover lectures, materials, refreshments, lunch, and the
    social event on Sunday September 21st.

    For a limited number of students, grants will be available
    covering the participation fees (but not the hotel costs). If you
    wish to apply for such a grant, please send a letter of
    application stating your background and motivation, as well as a
    letter of recommendation from your adviser, to the organizers of
    the summer school.

DIRECTORS

   H. Schlingloff (Berlin) and M. Roggenbach (Swansea)

FURTHER INFORMATION

http://spes2020.informatik.tu-muenchen.de/summerschool2014.html
Wendelin Serwe | 14 Apr 11:47 2014
Picon
Picon

FMICS 2014: submission still open

############################################################################
LAST CALL FOR PAPERS

FMICS 2014
19th International Workshop on
Formal Methods for Industrial Critical Systems
(http://fmics2014.unifi.it)

11-12 September 2014, Florence, Italy

In co-location with EPEW, FORMATS, QEST, and SAFECOMP
(http://florence2014.org/conferences.html)

############################################################################

The aim of the FMICS workshop series is to provide a forum for researchers who 
are interested in the development and application of formal methods in 
industry. In particular, FMICS brings together scientists and engineers that 
are active in the area of formal methods and interested in exchanging their 
experiences in the industrial usage of these methods. The FMICS workshop 
series also strives to promote research and development for the improvement of 
formal methods and tools for industrial applications.

Important Dates

     Paper submission: April 18th
     Notification: June 10th
     Final version due: June 27th
     Workshop: September 11th-12th

Topics of interest include (but are not limited to):

     Design, specification, code generation and testing based on formal methods.
     Methods, techniques and tools to support automated analysis, 
certification, debugging, learning, optimization and transformation of 
complex, distributed, real-time systems and embedded systems.
     Verification and validation methods that address shortcomings of existing 
methods with respect to their industrial applicability (e.g., scalability and 
usability issues).
     Tools for the development of formal design descriptions.
     Case studies and experience reports on industrial applications of formal 
methods, focusing on lessons learned or identification of new research directions.
     Impact of the adoption of formal methods on the development process and 
associated costs.
     Application of formal methods in standardization and industrial forums.

Paper Submission

Submissions must describe authors' original research work and results. 
Submitted papers must not have previously appeared in a journal or conference 
with published proceedings and must not be concurrently submitted to any other 
peer-reviewed workshop, symposium, conference or archival journal. Any partial 
overlap with any such published or concurrently submitted paper must be 
clearly indicated.

Submissions should clearly demonstrate relevance to industrial application. 
Case study papers should identify lessons learned, validate theoretical 
results (such as scalability of methods), or provide specific motivation for 
further research and development.

Submissions should not exceed 15 pages formatted according to the LNCS style 
(Springer), and should be submitted as Portable Document Format (PDF) files 
using the EasyChair submission site.

All submissions will be reviewed by the program committee who will make a 
selection among the submissions based on the novelty, soundness and 
applicability of the presented ideas and results. The proceedings of the 
workshop will be published in the Springer series Lecture Notes in Computer 
Science (LNCS). An USB stick with an electronic version of the proceedings 
will be distributed among participants during the workshop.

Participants will give a presentation of their papers in twenty minutes, 
followed by a ten-minute round of questions and discussion on participants' work.

Following the tradition of the past editions, a special issue of the journal 
Science of Computer Programming will be devoted to FMICS 2014.
Selected participants will be invited to submit an extended version of their 
papers after the workshop. These extended versions will again be reviewed by a 
program committee, which will decide on their final publication on the special 
issue.

Programme Committee

PC Chairs

     Francesco Flammini (Ansaldo STS, Italy)
     Frédéric Lang (Inria & LIG, France)

Publicity Chair

     Wendelin Serwe (Inria & LIG, France)

PC Members

     Maria Alpuente (Universitat Politècnica de València, Spain)
     Alvaro Arenas (IE University, Spain)
     Jiri Barnat (Masaryk University, Czech Republic)
     Cinzia Bernardeschi (University of Pisa, Italy)
     Simona Bernardi (Centro Universitario de la Defensa, AGM, Zaragoza, Spain)
     Jean Paul Blanquart (Astrium Satellites, France)
     Eckard Böde (Offis, Germany)
     Rocco De Nicola (IMT Lucca, Italy)
     Michael Dierkes (Rockwell Collins, France)
     Susanna Donatelli (University of Torino, Italy)
     Cindy Eisner (IBM Research - Haifa, Israel)
     Alessandro Fantechi (Università di Firenze, Italy)
     Jérôme Feret (CNRS & ENS & Inria, France)
     Wan Fokkink (Vrije Universiteit Amsterdam and CWI, Netherlands)
     Andrew Gacek (Rockwell Collins, USA)
     Stefania Gnesi (ISTI-CNR, Italy)
     Matthias Güdemann (Systerel, France)
     Keijo Heljanko (Aalto University, Finland)
     Jan Jürjens (TU Dortmund & Fraunhofer ISST, Germany)
     Tiziana Margaria (University of Potsdam, Germany)
     Pedro Merino (University of Málaga, Spain)
     Benjamin Monate (TrustInSoft, France)
     Gethin Norman (University of Glasgow, UK)
     Dave Parker (University of Birmingham, UK)
     Charles Pecheur (Université catholique de Louvain, Belgium)
     Ralf Pinger (Siemens AG, Germany)
     Wendelin Serwe (Inria & LIG, France)
     Hans Svensson (Quviq, Sweden)
     Jaco van de Pol (University of Twente, Netherlands)
     Valeria Vittorini (University of Naples Federico II, Italy)
     Angela Vozella (CIRA, Italy)
Lina Ye | 14 Apr 17:15 2014
Picon
Picon

Call for Papers: Workshops Colocated with SEFM 2014

Our apologies if you have received multiple copies.


####################################################################


CALL FOR PAPERS

Five Workshops Colocated with SEFM 2014


Grenoble, France
September 1-2, 2014

http://sefm2014.inria.fr/


####################################################################


WEB SITES AND IMPORTANT DATES


- 1st Workshop on Human-Oriented Formal Methods: From Readability to Automation

This workshop aims to bring together researchers, engineers and practitioners 
from academia and industry to baseline the state of the art in the increasingly 
important domain: applications of human factors to the analysis and to the 
optimization of formal methods area. It also aims to develop a future vision 
and roadmap of usability and automation, focusing especially on readability 
and ease of use. 

For more details please see http://hofm2014.wordpress.com/


Paper Submission: 10 June, 2014
Notification of Acceptance: 5 July, 2014
Post-proceedings Final version: 15 September 2014
Workshop Date: 1 September, 2014


--------------------------------------------------------------------------------


- 3rd International Symposium on Modelling and Knowledge Management 
applications: Systems and Domains

The aim of the Symposium is to bring together practitioners and
researchers from academia, industry, government and non-government
organisations to present research results and exchange experience,
ideas, and solutions for modelling and analysing complex systems
and using knowledge management strategies, technology and systems
in various domain areas (e.g., ecology, biology, medicine, climate, 
economy, governance, education and social software engineering) 
that address problems of sustainable development.


For more details please see http://www.di.unipi.it/mokmasd/symposium-2014/index.html


Paper Submission: 6 June 2014
Notification of Acceptance: 5 July 2014
Pre-proceedings Final version: 31 July 2014
Post-proceedings Final version: 15 September 2014
Symposium Date: 2 September 2014


-------------------------------------------------------------------------------


- 8th International Workshop on Foundations and Techniques for Open 
Source Software Certification


The aim of this workshop is to bring together researchers from Academia 
and Industry who are broadly interested in 1) the quality assessment of 
the open source software projects, and 2) metrics, procedures, and tools 
that could be useful in assessing and qualifying individual participation 
and collaboration patterns in the open source software communities.


For more details please see http://www.di.unipi.it/opencert/workshop-2014/


Paper Submission: 6 June 2014
Notification of Acceptance: 11 July 2014
Notification of Early Registration: 15 July 2014
Pre-proceedings Final version: 31 July 2014
Post-proceedings Final version: 15 September 2014
Workshop Date: 1 September 2014


-------------------------------------------------------------------------------


- 1st Workshop on Safety and Formal Methods


Formal methods have traditionally been advocated for improving the reliability 
of safety-relevant systems. The SaFoMe workshop aims to provide a forum for 
people from academia and industry to communicate their latest results on 
theoretical advances, industrial case studies, and lessons learned in the 
application of formal methods to safety certification, verification and/or 
validation in (but not limited to) component-based systems.


For more details please see http://babel.ls.fi.upm.es/safome2014/


Abstract Submission: 23 May, 2014
Paper Submission: 30 May, 2014
Notification of Acceptance: 30 June, 2014
Camera-ready Paper Due: 15 July, 2014
Registration deadline: 15 July, 2014
Workshop Date: 1 September, 2014


-----------------------------------------------------------------------------------


- 4th Workshop on Formal Methods in the Development of Software


The aim of WS-FMDS is to bring together scientists and practitioners who are 
active in the area of formal methods and interested in exchanging their 
experiences in the industrial usage of these methods. This workshop also 
strives to promote research and development for the improvement of theoretical 
aspects of formal methods and tools focused on practical usability for 
industrial applications.


For more details please see http://antares.sip.ucm.es/ws-fmds2014/


Paper Submission: 23 May, 2014
Notification of Acceptance: 9 June, 2014
Camera-ready Paper Due: 20 June, 2014
Workshop Date: 1-2 September, 2014


####################################################################


PUBLICATION


All accepted papers will be published by Springer in a volume of LNCS.
Condition for inclusion in the post-proceedings is that at least one
of the co-authors has presented the paper at the workshop.

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce

Gmane