Kosaku Nagasaka | 22 Apr 13:01 2014
Picon

[ISSAC-ANNOUNCE] ISSAC 2014 First Call for Participation

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

                         ISSAC 2014

  International Symposium on Symbolic and Algebraic Computation
                 Kobe University, Japan,  July 23-25, 2014.
             with workshops and tutorials on July 21-22, 2014.

                   CALL FOR PARTICIPATION

           http://www.issac-conference.org/2014

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

The International Symposium on Symbolic and Algebraic Computation is
the premier conference for research in symbolic computation and
computer algebra. ISSAC 2014 is the 39th meeting in the series. The
conference traditionally presents a range of invited speakers,
tutorials, poster sessions and software demonstrations with a
centre-piece of contributed research papers.

ISSAC 2014 is affiliated with "Kobe Computing Week 2014", an event of
Academic Exchange Weeks, Graduate School of Human Development and
Environment, Kobe University.

Call for Participation:
-----------------------
You can register online to ISSAC 2014 shortly (maybe on the beginning
of May). We encourage you to register while early registration fees
apply. The current estimated registration fees are as follows:
(Continue reading)

2014 NSS | 21 Apr 05:07 2014
Picon

NSS 2014 Deadline Extension, 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
Picon

[fm-announcements] April 22, Extended SPIN 2014 deadline

The paper submission deadline for SPIN 2014 has been extended to April 22, 11:59PM AOE.

======================================================================
21st International Symposium on Model Checking of Software - SPIN 2014
             San Jose, CA, USA, July 21-23, 2014
                      http://spin2014.org/
             Joint Sessions with ISSTA on July 23rd
======================================================================


The SPIN Symposium is a leading forum for practitioners and
researchers interested in software verification and engineering. There
are two tracks for paper submissions.

              *** Software Verification Track  ***

We solicit submissions on theoretical techniques, novel algorithms and
empirical evaluation for state-space exploration based techniques. We
welcome submissions describing the development and application of
state space exploration techniques in testing and verifying embedded
software, mobile platforms, security-critical software, enterprise and
web applications, and other interesting software platforms.


         *** New this year: Software Engineering Track  ***

New this year we solicit submissions on techniques and approaches that
extend or leverage existing state-space exploration based techniques
such as model checking and symbolic execution to assist in automating
software engineering tasks such as design, implementation, analysis,
testing, and maintenance of software systems.


======================================================================
            Submission Guidelines
======================================================================

SPIN 2014 invites high quality contributions describing significant,
original, and unpublished results for submission in two categories:

   (a) Research papers describing fully developed work and complete
   results (10 pages)
    
   (b) Short papers describing tools, experience reports, descriptions
   of new ideas, or work in progress with preliminary results (4
   pages)

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

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

 Paper Submission: April 22, 2014 (11:59 PM AOE)
 Author Notification: May 23, 2014
 Camera-Ready Paper: June 16, 2014

======================================================================
            Invited Speakers
======================================================================

Karen Gundy-Burlet, NASA Ames Research Center, USA
Henny Sipma, Kestrel Technology, USA
Cormac Flanagan, UC Santa Cruz, USA (Joint speaker with ISSTA)

======================================================================
              Program Chairs
======================================================================

Neha Rungta, NASA Ames Research Center, USA
Oksana Tkachuk, NASA Ames Research Center, USA

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

Ezio Bartocci,TU Wien, Vienna University of Technology, Austria
Dirk Beyer, University of Passau, Germany
Alastair Donaldson, Imperial College London, UK
Alex Groce, Oregon State University, USA
Arie Gurfinkel, Software Engineering Institute, CMU, USA
Gerard Holzmann, NASA/JPL, USA
Franjo Ivancic, NEC Laboratories America, Inc., USA
Sarfraz Khurshid, The University of Texas at Austin, USA
Shuvendu Lahiri, Microsoft Research, USA
Stefan Leue, University of Konstanz, Germany
Eric Mercer, Brigham Young University, USA
David Parker, University of Birmingham, UK
Suzette Person, NASA Langley Research Center, USA
Zvonimir Rakamaric, University of Utah, USA
C. R. Ramakrishna, Stony Brook University, USA
Robby, Kansas State University, USA
Scott Stoller, Stony Brook University, USA
Murali Talupur, Intel, USA
Suresh Thummalapenta, IBM Research, India
Jaco Van De Pol, University of Twente, Netherlands
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA
---
To opt-out from this mailing list, send an email to

fm-announcements-request@...

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

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

[fm-announcements] SPIN 2014, Submission Deadline: April 19th (Saturday)

Apologies for multiple postings

======================================================================
21st International Symposium on Model Checking of Software - SPIN 2014
             San Jose, CA, USA, July 21-23, 2014
                      http://spin2014.org/
             Joint Sessions with ISSTA on July 23rd
======================================================================


The SPIN Symposium is a leading forum for practitioners and
researchers interested in software verification and engineering. There
are two tracks for paper submissions.

              *** Software Verification Track  ***

We solicit submissions on theoretical techniques, novel algorithms and
empirical evaluation for state-space exploration based techniques. We
welcome submissions describing the development and application of
state space exploration techniques in testing and verifying embedded
software, mobile platforms, security-critical software, enterprise and
web applications, and other interesting software platforms.


             *** New this year: Software Engineering Track  ***

New this year we solicit submissions on techniques and approaches that
extend or leverage existing state-space exploration based techniques
such as model checking and symbolic execution to assist in automating
software engineering tasks such as design, implementation, analysis,
testing, and maintenance of software systems.


======================================================================
                        Submission Guidelines
======================================================================

SPIN 2014 invites high quality contributions describing significant,
original, and unpublished results for submission in two categories:

   (a) Research papers describing fully developed work and complete
   results (10 pages)

   (b) Short papers describing tools, experience reports, descriptions
   of new ideas, or work in progress with preliminary results (4
   pages)

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

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

 Paper Submission: April 19, 2014 (firm)
 Author Notification: May 23, 2014
 Camera-Ready Paper: June 16, 2014

======================================================================
            Invited Speakers
======================================================================

Karen Gundy-Burlet, NASA Ames Research Center, USA
Henny Sipma, Kestrel Technology, USA
Cormac Flanagan, UC Santa Cruz, USA (Joint speaker with ISSTA)

======================================================================
                        Program Chairs
======================================================================

Neha Rungta, NASA Ames Research Center, USA
Oksana Tkachuk, NASA Ames Research Center, USA

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

Ezio Bartocci,TU Wien, Vienna University of Technology, Austria
Dirk Beyer, University of Passau, Germany
Alastair Donaldson, Imperial College London, UK
Alex Groce, Oregon State University, USA
Arie Gurfinkel, Software Engineering Institute, CMU, USA
Gerard Holzmann, NASA/JPL, USA
Franjo Ivancic, NEC Laboratories America, Inc., USA
Sarfraz Khurshid, The University of Texas at Austin, USA
Shuvendu Lahiri, Microsoft Research, USA
Stefan Leue, University of Konstanz, Germany
Eric Mercer, Brigham Young University, USA
David Parker, University of Birmingham, UK
Suzette Person, NASA Langley Research Center, USA
Zvonimir Rakamaric, University of Utah, USA
C. R. Ramakrishna, Stony Brook University, USA
Robby, Kansas State University, USA
Scott Stoller, Stony Brook University, USA
Murali Talupur, Intel, USA
Suresh Thummalapenta, IBM Research, India
Jaco Van De Pol, University of Twente, Netherlands
Willem Visser, Stellenbosch University, South Africa
Michael Whalen, University of Minnesota, USA
---
To opt-out from this mailing list, send an email to

fm-announcements-request@...

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner@... 
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Maurizio Proietti | 17 Apr 12:31 2014
Picon

LOPSTR 2014: Second Call for Papers

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

                24th International Symposium on
       Logic-Based Program Synthesis and Transformation
                         LOPSTR 2014

           http://www.iasi.cnr.it/events/lopstr14/
  University of Kent, Canterbury, UK, September 10-11, 2014

DEADLINES
Abstract submission:                     May 30, 2014
Paper/Extended abstract submission:      June 6, 2014

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

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.

The 24th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2014) will be held at the University of Kent,
Canterbury, United Kingdom; previous symposia were held in Madrid,
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London,
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN
Symposium on Principles and Practice of Declarative Programming).

Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:

    * synthesis
    * transformation
    * specialization
    * composition
    * optimization
    * inversion
    * specification
    * analysis and verification
    * testing and certification
    * program and model manipulation
    * transformational techniques in SE
    * applications and tools

Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC co-chairs in case of questions).

Important Dates

 Abstract submission:                            May 30, 2014
 Paper/Extended abstract submission:             June 6, 2014
 Notification:                                   July 18, 2014
 Camera-ready (for electronic pre-proceedings):  August 25, 2014
 Symposium:                                      September 10-11, 2014

Submission Guidelines

Authors should submit an electronic copy of the paper (written in English)
in PDF, formatted in the Lecture Notes in Computer Science style.
Each submission must include on its first page the paper title; authors
and their affiliations; contact author's email; abstract; and three to
four keywords which will be used to assist the PC in selecting appropriate
reviewers for the paper. Page numbers should appear on the manuscript to
help the reviewers in writing their report. Submissions cannot exceed 15
pages including references but excluding well-marked appendices not intended
for publication. Reviewers are not required to read the appendices, and thus
papers should be intelligible without them.
Paper should be submitted via the Easychair submission website for LOPSTR 2014.
If electronic submission is impossible, please contact the program co-chairs
for information on how to submit hard copies.

Proceedings

The formal post-conference proceedings will be published by Springer in the
Lecture Notes in Computer Science series. Full papers can be directly accepted
for publication in the formal proceedings, or accepted only for presentation at
the symposium and inclusion in informal proceedings. After the symposium, all
authors of extended abstracts and full papers accepted only for presentation
will be invited to revise and/or extend their submissions in the light of the
feedback solicited at the symposium. Then, after another round of reviewing,
these revised papers may also be published in the formal proceedings.

Program Committee

Slim Abdennadher        German University of Cairo, Egypt
Étienne André          Université Paris 13, France
Martin Brain            University of Oxford, UK
Wei-Ngan Chin        National University of Singapore, Singapore
Marco Comini            University of Udine, Italy
Wlodzimierz Drabent     IPIPAN, Poland and Linköping University, Sweden
Fabio Fioravanti        University of Chieti-Pescara, Italy
Jürgen Giesl        RWTH Aachen University, Germany
Miguel Gómez-Zamalloa Complutense University of Madrid, Spain
Arnaud Gotlieb        SIMULA Research Laboratory, Norway
Gopal Gupta             University of Texas at Dallas, USA
Jacob Howe              City University London, UK
Zhenjiang Hu        National Institute of Informatics, Japan
Alexei Lisitsa        University of Liverpool, UK
Yanhong Annie Liu       Stony Brook University, USA
Jorge Navas        NASA, USA
Naoki Nishida        Nagoya University, Japan
Corneliu Popeea         Technische Universität München, Germany
Maurizio Proietti       IASI-CNR, Italy (Program Co-Chair)
Tom Schrijvers        Ghent University, Belgium
Hirohisa Seki        Nagoya Institute of Technology, Japan (Program Co-Chair)
Jon Sneyers        K.U. Leuven, Belgium
Fausto Spoto        University of Verona, Italy
Wim Vanhoof             University of Namur, Belgium
German Vidal            Universitat Politecnica de Valencia, Spain

Program Co-Chairs:

Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti <at> iasi.cnr.it)
Hirohisa Seki, Nagoya Institute of Technology, Japan (seki <at> nitech.ac.jp)

Symposium Co-Chairs

Olaf Chitil and Andy King
School of Computing
University of Kent
CT2 7NF Kent, UK

Organizing Committee

Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy
Fabrizio Smith, IASI-CNR, Italy

============================================================
_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce
Serge Autexier | 22 Apr 09:25 2014
Picon

CfP: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems, extended deadline *May 5th, 2014*

[Apologies for cross posting, Deadline extended to *May 5th, 2014*]

                            CALL FOR PAPERS

         8th International Verification Workshop (VERIFY'14)
              in connection with IJCAR 2014 at FLoC 2014
                  July 23-24, 2014, Vienna, Austria

                       http://vsl2014.at/verify

The formal  verification of  critical information  systems has  a long
tradition  as one  of  the  main areas  of  application for  automated
theorem proving. Nevertheless, the area is of still growing importance
as the number of computers  affecting everyday life and the complexity
of  these systems  are  both  increasing. The  purpose  of the  VERIFY
workshop  series is  to  discuss problems  arising  during the  formal
modeling and  verification of  information systems and  to investigate
suitable solutions.  Possible perspectives include those  of automated
theorem proving, tool support, system engineering, and applications.

The VERIFY  workshop series aims  at bringing together people  who are
interested in the development of safety and security critical systems,
in formal  methods, in  the development  of automated  theorem proving
techniques,  and  in  the   development  of  tool  support.  Practical
experiences gained in  realistic verifications are of  interest to the
automated theorem proving community and new theorem proving techniques
should  be transferred  into practice.  The overall  objective of  the
VERIFY workshops is to identify  open problems and to discuss possible
solutions under the theme

What are the verification problems? What are the deduction techniques?

The 2014 edition of VERIFY aims for extending the verification methods
for processes implemented in hard-  and software to processes that may
well include computer-assistance, but have  a large part or a frequent
interaction  with non-computer-based  process  steps.  Hence the  2014
edition will run under the focus theme

                    Verification Beyond IT Systems

A  non-exclusive list of application areas  with these characteristics
are

       * Ambient assisted living
       * Intelligent home systems and processes
       * Business systems and processes
       * Production logistics systems and processes
       * Transportation logistics
       * Clinical processes
       * Social systems and processes (e.g., voting systems)

The scope of VERIFY includes topics such as

       * ATP techniques in verification
       * Case studies (specification & verification)
       * Combination of verification systems
       * Integration of ATPs and CASE-tools
       * Compositional & modular reasoning
       * Experience reports on using formal methods
       * Gaps between problems & techniques
       * Formal methods for fault tolerance
       * Information flow control security
       * Refinement & decomposition
       * Reliability of mobile computing
       * Reuse of specifications & proofs
       * Management of change
       * Safety-critical systems
       * Security models
       * Tool support for formal methods

Submissions are encouraged in one of the following two categories:

A. Regular  paper:  Submissions  in  this  category  should   describe
   previously unpublished  work (completed or in  progress), including
   descriptions of research, tools,  and applications.  Papers must be
   5-14  pages  long (in  EasyChair  style)  or  6-15 pages  long  (in
   Springer LNCS style).

B. Discussion  papers: Submissions  in this  category are  intended to
   initiate discussions and hence should address controversial issues,
   and may include  provocative statements. Papers must  be 3-14 pages
   long  (in EasyChair  style) or  3-15 pages  long (in  Springer LNCS
   style).

Important dates
   Abstract Submission Deadline:    May 5th, 2014 (extended)
   Paper Submission Deadline:       May 5th, 2014 (extended)
   Notification of acceptance:      May 20, 2014
   Final version due:               May 27, 2014
   Workshop date:                   July 23-24, 2014

Submission is via EasyChair:
   http://www.easychair.org/conferences/?conf=verify2014

Program Committee

 Serge Autexier (DFKI) - chair
 Bernhard Beckert (Karlsruhe Institute of Technology) - chair
 Wolfgang Ahrendt (Chalmers University of Technology)
 Juan Augusto (Middlesex University)
 Iliano Cervesato (Carnegie Mellon University)
 Jacques Fleuriot (University of Edinburgh)
 Marieke Huisman (University of Twente)
 Dieter Hutter (DFKI GmbH)
 Reiner Haehnle (Technical University of Darmstadt)
 Deepak Kapur (University of New Mexico)
 Gerwin Klein (NICTA and UNSW)
 Joe Leslie-Hurd (Intel Corporation)
 Fabio Martinelli (IIT-CNR)
 Catherine Meadows (NRL)
 Stephan Merz (INRIA Lorraine)
 Tobias Nipkow (TU Munich)
 Lawrence Paulson (University of Cambridge)
 Johann Schumann (SGT, Inc/NASA Ames)
 Kurt Stenzel (University of Augsburg)
Giovanni Livraga | 17 Apr 18:59 2014
Picon

Call for Papers - 3rd Joint Workshop on Security in Business Processes (SBP'14)

[Apologies if you receive multiple copies of this message]

   SBP'14: 3rd Joint Workshop on Security in Business Processes 
                  <3 giro li>

                  in conjunction with the

      12th Int'l Conference on Business Process Management
               <http://bpm2014.haifa.ac.il/>

Despite the growing demand for business processes that comply with
security policies, security and privacy incidents caused by erroneous
workflow specifications are regrettably common. This is, in part,
because business process management and security are seldom addressed
together, thereby hindering the development of trustworthy and
security-compliant business processes. The third edition of the Workshop
on Security in Business Processes (SBP'14) seeks to bring together
researchers and practitioners interested in the management and modelling
of secure business processes in process-aware information systems.

The goal of SBP'14 is to obtain a deeper understanding of a rapidly
maturing, yet still largely under-investigated field of business process
security, audit and control, including both thorough security
requirements formalization, secure process modelling, and mechanisms for
verification, monitoring and auditing. In particular, SBP'14 encourages
innovative methods for workflow security modelling, security audit and
control throughout the business process lifecycle: from design time
verification to online operational support and post-mortem analysis.

*Topic of interest*

 Alignment			Information flow control
 Authorization			Log formats
 Accountability			Meta-models for analysis
 Audit reduction		Operational decision support
 Business provenance		Privacy-aware process discovery
 Case studies			Requirements elicitation
 Conformance checking		Requirements formalization
 Compliance checking		Risk analysis and measurement
 Continuous audit		Runtime verification/monitoring
 Cost-benefit analysis		Security testing
 Data-aware process mining	Trace clustering
 Formal reasoning		Usage control
 Fraud detection		Workflow forensics
 Economics of audit		Workflow simulation
 Experience reports

*Submission instructions*

Submitted manuscripts must be written in English and be no longer than
12 pages. They must be formatted using the LNBIP format and submitted as
a PDF document to the EasyChair website: <https://www.easychair.org/
conferences/?conf=sbp14>.  Submissions will be reviewed on the basis of
their originality, significance, technical soundness and clarity of
exposition.  Each submission will be reviewed by at least three PC
members.  Submitted manuscripts should not substantially overlap
manuscripts that have been published or that are simultaneously
submitted to a conference with proceedings or a journal.

*Important dates*

Paper submission: June 1, 2014 
Paper notification: July 2, 2014 
Camera-ready version: July 23, 2012 
Workshop: September 8, 2012 

*Organizers*

PC Chairs 
Rafael Accorsi (Freiburg U, DE) 
Raimundas Matulevicius (Tartu U, EE)
Jason Crampton (Royal Holloway U, UK)

Honorary PC Chair
Wil van der Aalst (TU/E, NL)

Publicity Chair
Giovanni Livraga (Milan U, IT)

*Program committee*

Anne Baumgrass (HPI, DE)
Achim Brucker (SAP AG, DE)
Khaled Gaaloul (CRP Henri Tudor, LU)
Aditya Ghose (Wollongong U, AU)
Mati Golani (OBC, IS)
Anat Goldat (Duisburg-Essen U, DE)
Hejiao Huang (Shenzhen Graduate School, CN)
Michael Huth (Imperial College, UK)
Fuyuki Ishikawa (NII Tokyo, JP)
Jan J¸rjens (Dortmund TU, DE)
Dimka Karastoyanova (Stuttgart U, DE)
G¸nter Karjoth (Lucerne UT, CH)
Seok-Won Lee (Ajou U, KR)
Lin Liu (Tsinghua U, CN)
Heiko Ludwig (IBM Almaden, USA)
Nicolas Mayer (CRP Henri Tudor, LU)
Per H. Meland (SINTEF, NO)
Marko Montali (Bozen-Bolzano FU, IT)
Haralambos Mouratidis (East London U, UK)
Andreas Opdahl (Bergen U, NO)
G¸nther Pernul (Regensburg U, DE)
Silvio Ranise (FBK, IT)
Stefanie Rinderle-Ma (Vienna U, AT)
David G. Rosado (Castilla-La Mancha U, ES)
Shazia Sadiq (Queensland U, AU)
Guttorm Sindre (Norwegian Science and Technology U., NO)
Pnina Soffer (Haifa U, IS)
Mark Strembeck (Vienna WU, AT)
Arnon Sturm (Haifa U, IS)
Matthias Weidlich (Imperial College, UK)
Jan M. van der Werf (TU/E, NL)
Nicola Zannone (TU/E, NL)

****************
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
Maurizio Proietti | 17 Apr 10:22 2014
Picon

LOPSTR 2014: Second Call for Papers

[Apologies for multiple copies]

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

                24th International Symposium on
       Logic-Based Program Synthesis and Transformation
                         LOPSTR 2014

           http://www.iasi.cnr.it/events/lopstr14/
  University of Kent, Canterbury, UK, September 10-11, 2014

DEADLINES
Abstract submission:                     May 30, 2014
Paper/Extended abstract submission:      June 6, 2014

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

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.

The 24th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2014) will be held at the University of Kent,
Canterbury, United Kingdom; previous symposia were held in Madrid,
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London,
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN
Symposium on Principles and Practice of Declarative Programming).

Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:

    * synthesis
    * transformation
    * specialization
    * composition
    * optimization
    * inversion
    * specification
    * analysis and verification
    * testing and certification
    * program and model manipulation
    * transformational techniques in SE
    * applications and tools

Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC co-chairs in case of questions).

Important Dates

 Abstract submission:                            May 30, 2014
 Paper/Extended abstract submission:             June 6, 2014
 Notification:                                   July 18, 2014
 Camera-ready (for electronic pre-proceedings):  August 25, 2014
 Symposium:                                      September 10-11, 2014

Submission Guidelines

Authors should submit an electronic copy of the paper (written in English)
in PDF, formatted in the Lecture Notes in Computer Science style.
Each submission must include on its first page the paper title; authors
and their affiliations; contact author's email; abstract; and three to
four keywords which will be used to assist the PC in selecting appropriate
reviewers for the paper. Page numbers should appear on the manuscript to
help the reviewers in writing their report. Submissions cannot exceed 15
pages including references but excluding well-marked appendices not intended
for publication. Reviewers are not required to read the appendices, and thus
papers should be intelligible without them.
Paper should be submitted via the Easychair submission website for LOPSTR 2014.
If electronic submission is impossible, please contact the program co-chairs
for information on how to submit hard copies.

Proceedings

The formal post-conference proceedings will be published by Springer in the
Lecture Notes in Computer Science series. Full papers can be directly accepted
for publication in the formal proceedings, or accepted only for presentation at
the symposium and inclusion in informal proceedings. After the symposium, all
authors of extended abstracts and full papers accepted only for presentation
will be invited to revise and/or extend their submissions in the light of the
feedback solicited at the symposium. Then, after another round of reviewing,
these revised papers may also be published in the formal proceedings.

Program Committee

Slim Abdennadher        German University of Cairo, Egypt
Étienne André          Université Paris 13, France
Martin Brain            University of Oxford, UK
Wei-Ngan Chin        National University of Singapore, Singapore
Marco Comini            University of Udine, Italy
Wlodzimierz Drabent     IPIPAN, Poland and Linköping University, Sweden
Fabio Fioravanti        University of Chieti-Pescara, Italy
Jürgen Giesl        RWTH Aachen University, Germany
Miguel Gómez-Zamalloa Complutense University of Madrid, Spain
Arnaud Gotlieb        SIMULA Research Laboratory, Norway
Gopal Gupta             University of Texas at Dallas, USA
Jacob Howe              City University London, UK
Zhenjiang Hu        National Institute of Informatics, Japan
Alexei Lisitsa        University of Liverpool, UK
Yanhong Annie Liu       Stony Brook University, USA
Jorge Navas        NASA, USA
Naoki Nishida        Nagoya University, Japan
Corneliu Popeea         Technische Universität München, Germany
Maurizio Proietti       IASI-CNR, Italy (Program Co-Chair)
Tom Schrijvers        Ghent University, Belgium
Hirohisa Seki        Nagoya Institute of Technology, Japan (Program Co-Chair)
Jon Sneyers        K.U. Leuven, Belgium
Fausto Spoto        University of Verona, Italy
Wim Vanhoof             University of Namur, Belgium
German Vidal            Universitat Politecnica de Valencia, Spain

Program Co-Chairs:

Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti <at> iasi.cnr.it)
Hirohisa Seki, Nagoya Institute of Technology, Japan (seki <at> nitech.ac.jp)

Symposium Co-Chairs

Olaf Chitil and Andy King
School of Computing
University of Kent
CT2 7NF Kent, UK

Organizing Committee

Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy
Fabrizio Smith, IASI-CNR, Italy

============================================================
_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce
Shui Yu | 17 Apr 02:00 2014
Picon

IEEE TrustData 2014, Dalian, China, due on May 10, 2014

Apologies if you received multiple copies of this IEEE TrustData 2014 CFPs (Paper Submission Deadline: May 10, 2014)

--------------------------------------------------------------------------------------------------------------------
Call for Papers for the 5th IEEE International Workshop on Trust, Security and Privacy for Big Data (TrustData 2014)
Dalian, China, August 24-27, 2014 

In Conjunction with 

The 12th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2014)
Dalian, China, August 24-27, 2014


Introduction

The proliferation of new technologies such as Internet of Things and cloud computing 
calls for innovative ideas to retrieve, filter, and integrate data from a large number 
of diverse data sources. Big Data is an emerging paradigm applied to datasets whose 
volume/velocity/variability is beyond the ability of commonly used software tools to 
manage and process the data within a tolerable period of time. More importantly, Big 
Data has to be of high value, and should be protected in an efficient way. Since Big 
Data involves a huge amount of data that is of high-dimensionality and inter-linkage, 
existing trust, security, and privacy measures for traditional databases and 
infrastructures cannot satisfy its requirements. Novel technologies for protecting Big 
Data are attracting researchers and practitioners with more and more attention.


Scope and Interests

The 5th IEEE International Workshop on Trust, Security and Privacy for Big Data (TrustData 2014) 
aims to bring together people from both academia and industry to present their most recent work 
related to trust, security and privacy issues in Big Data, and exchange ideas and thoughts in order 
to identify emerging research topics and define the future of Big Data. Topics of interest include, 
but are not limited to:

Trust Track
(1) Trust semantics, metrics, and models for Big Data
(2) Trust management and evaluation for Big Data
(3) Trusted systems, software, and applications for Big Data
(4) Trusted platform implementation technologies for Big Data
(5) Information quality/trustworthiness for Big Data
(6) Provenance of content for Big Data
(7) Trustworthiness of ratings/recommender systems for Big Data

Security Track
(1) Security model and architecture for Big Data
(2) Data mining security for Big Data
(3) Software and system security for Big Data
(4) Intrusion detection for Gigabit Networks
(5) Cryptography and Big Data
(6) Visualizing large scale security data
(7) Threat detection using Big Data analytics
(8) Human computer interaction challenges for Big Data security
(9) Data protection, integrity standards and policies
(10) Security and legislative impacts for Big Data
(11) Managing user access for Big Data
(12) Secure quantum communications

Privacy Track
(1) Privacy in Big Data applications and services
(2) Privacy in Big Data end-point input validation and filtering
(3) Privacy in Big Data integration and transformation
(4) Privacy in parallel and distributed computation
(5) Privacy in Big Data storage management
(6) Privacy in Big Data access control mechanisms
(7) Privacy in Big Data mining and analytics
(8) Privacy in Big Data sharing and visualization
(9) Big Data privacy policies and standards


Submission and Publication Information

All papers need to be submitted electronically through the conference website 
The materials presented in the papers should not be published or under submission 
elsewhere. Submit a full paper with 6 pages plus up to 2 extra pages (IEEE Computer Society 
Proceedings Manuscripts style: two columns, single-spaced), including figures and references, 
using 10 fonts, and number each page. You can confirm the IEEE Computer Society Proceedings 
Author Guidelines at the following web page: http://www.computer.org/portal/web/cscps/formatting.

Once accepted, the paper will be included into the IEEE conference proceedings published by 
IEEE Computer Society Press (indexed by EI). Authors (at least one) of any accepted paper 
are requested to register at the conference. 


Important Dates

(1) Paper Submission Deadline:       May 10, 2014
(2) Authors Notification:            June 10, 2014
(3) Camera-Ready Paper Due:          June 30, 2014  
(4) Conference Registration:         June 30, 2014  
(5) Conference Dates:                August 24-27, 2014 


Steering Co-Chairs

Guojun Wang, Central South University, China
Peter Mueller, IBM Zurich Research Laboratory, Switzerland


General Co-Chairs

Qin Liu, Hunan University, China
Muhammad Bashir Abdullahi, Federal University of Technology, Minna, Nigeria


Program Co-Chairs

Jin-Hee Cho, U.S. Army Research Laboratory, USA
Lizhe Wang, Chinese Academy of Sciences, China 


Program Committee (In alphabetical order)
 

Publicity Co-Chairs

Shui Yu, Deakin University, Australia
Weirong Liu, Central South University, China
 

Webmaster

Xiangdong Lee, Central South University, China 

 
Contact

Please email inquiries concerning TrustData 2014 to:
Prof. Guojun Wang: csgjwang AT gmail DOT com 
and the symposium organizers: TrustData2014 AT gmail DOT com

Copyright <at> Trusted Computing Institute, CSU
--------------------------------------------------------------------------------------------------------------------


--

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

Shui YU, PhD, Senior Lecturer

School of Information Technology, Deakin University,

221 Burwood Highway, Burwood, VIC 3125,  Australia.

Telephone:0061 3 9251 7744

http://www.deakin.edu.au/~syu

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Yuan-Fang Li | 17 Apr 01:37 2014
Picon

Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)

*** Apologies for cross-posting ***

*** Please not the URL of the conference Web site: http://prdc.dependability.org/PRDC2014/ ***

Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)

Singapore
Nov 18-21, 2014

PRDC 2014 (http://prdc.dependability.org/PRDC2014/) is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems.

Topics of interest include (but not limited to):
  • Software and hardware reliability, testing, verification, and validation
  • Dependability measurement, modeling, evaluation, and tools
  • Self-healing, self-protecting, and fault-tolerant systems
  • Software aging and rejuvenation
  • Safety-critical systems and software
  • Architecture and system design for dependability
  • Fault-tolerant algorithms and protocols
  • Reliability in cloud computing, Internet, and web systems and applications
  • Cloud and Internet Information security
  • Dependability issues in computer networks and communications
  • Dependability issues in distributed and parallel systems
  • Dependability issues in real-time systems, database, and transaction processing systems
  • Dependability issues in autonomic computing
  • Dependability issues in aerospace and embedded systems

Paper Submissions

Manuscripts should be submitted in the following categories: Regular Papers and Practical Experience Reports. Regular Papers should describe original research (not submitted or published elsewhere) and be not more than 10 pages using IEEE format guidelines or 20 pages double-spaced. Practical Experience Reports (max 6 pages using IEEE format guidelines or 12 pages double-spaced) should describe an experience or a case study, such as the design and deployment of a system or actual failure and recovery field data. The title page should include a 150-word abstract, five keywords, authors' names and affiliations, and a line specifying whether the submission is a Regular Paper or a Practical Experience Report. The full mailing address, phone, fax, and email address of the corresponding author should be specified.

All submissions must be made electronically (in PDF format) on the submission web site . Papers will be reviewed internationally and selected based on their originality, significance, relevance, and clarity of presentation. All accepted papers will be published by IEEE Computer Society Press. One outstanding paper will be selected to receive the Best Paper Award.

Important Dates

Submission deadline: May 2, 2014
Notification: June 25, 2014

Best regards
Yuan-Fang

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Yu Wang | 16 Apr 15:11 2014
Picon

MoSCom 2014: International Workshop on Mobile and Social Computing, August 24-27 2014, Dalian, China

****************************************************************************
The First International Workshop on Mobile and Social Computing (MoSCom'14) 
in conjunction with 2014 World Ubiquitous Science Congress (U-Science 2014)
August 24-27 2014, Dalian, China
****************************************************************************


Workshop Outline
================

With the rapidly increasing popularity of handheld and wearable computing devices, the boundaries between physical and virtual lives are blurring as people are connected to online social networks anytime and anywhere. The exciting trend brings great opportunities and challenges for disruptive innovations in existing computing paradigms. MoSoCom aims to provide a cutting edge forum to foster interaction between researchers and professionals from academia, industry and government. The workshop will cover research on all theoretical and practical aspects related to mobile and social computing, such as social network analysis, mobile computing technology, data mining, trend prediction, social recommendation, mobile cloud, innovative mobile application, security and privacy. 

MoSCom will be held on August 24-27 2014 in Dalian, China, in conjunction with 2014 World Ubiquitous Science Congress (U-Science 2014, http://action.dlmu.edu.cn/uscience/) and also co-located with the 14th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2014, http://action.dlmu.edu.cn/ica3pp2014). 


Topics
======


The MoSCom 2014 workshop seeks papers describing innovative research contributions to the field of mobile and social computing. We invite submissions on a wide range of related research, including, but not limited to:

- Location-based computing
- User and group mobility modelling
- Data mining and pattern recognition in mobile social networks
- Graph analysis and mining
- Recommendation in mobile social networks
- Detection, measurement and analysis of Mobile social structure and communities
- Mobile social sensing and crowd sourcing
- Security and privacy in mobile social networks
- Trust and reputation in mobile social networks
- Mobile social data collection, anonomysation, storage and sharing
- Mobile social data analysis and visualisation
- Energy efficient strategy for MSN
- Energy efficiency issues in designing socially-aware mobile systems;
- Network architecture design for large scale mobile social computing
- Mobile clouds
- Mobile social games
- Protocols and algorithms for mobile social applications
- Mobile traffic analysis and modelling
- Identification of mobile applications
- User studies and experiences
- Deployment and testing of mobile social systems


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

Paper submission: May 10, 2014
Notification:     June 5, 2014
Camera ready:     June 30, 2014
Registration:     June 30, 2014
Workshop:         August 24-27, 2014


Instructions for authors
========================
Papers are solicited in the IEEE Computer Society Proceedings Manuscripts style (two columns and single-spaced) with up to six (6) pages, including figures and references, using 10 fonts, and number each page. Check the formatting instructions and templates through the following link: http://www.computer.org/portal/web/cscps/formatting. Papers should be submitted electronically in PDF format through the MoSCom 2014 submission page in Easychair: http://www.easychair.org/conferences/?conf=moscom2014. All submissions must be original unpublished work and not under review elsewhere. All papers will be reviewed and selected based on their originality, merit, and relevance to the workshop.

All accepted paper will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). Authors (at least one) of any accepted paper are requested to register at the conference.


Journal Special Issues
======================
Selected best and outstanding papers will be considered for publication in special issues of the following high quality international journals.

1. International Journal of Computer Systems Science and Engineering (SCI index)
2. Journal of Multiple-Valued Logic and Soft Computing (SCI index)


Workshop Organisation
=====================

General Chairs
--------------
Yu Wang, Deakin University, Australia
Yi Xie, Sun Yat-Sen University, China

Program Chair
-------------
Jun Zhang, Deakin University, Australia

Program Committee
-----------------
Md Zakirul Alam Bhuiyan, Central South University, China
Silvio Cesare, Qualys International, Australia
Hanhua Chen, Huazhong University of Science & Technology, China
Mohammad Sayad Haghighi, Macquarie University, Australia/Iran Telecom Research Center, Iran
Wei Wang, Beijing Jiaotong University, China
Bailin Xie, Cisco School of Informatics, Guangdong University of Foreign Studies, China

Contact Information
===================

For further information regarding to the workshop, please send email to moscom2014-bC77Qfv0vuxrovVCs/uTlw@public.gmane.org.
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce

Gmane