GRLMC | 14 Sep 13:42 2014

LATA 2015: 3rd call for papers

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



LATA 2015

Nice, France

March 2-6, 2015

Organized by:
CNRS, I3S, UMR 7271
Nice Sophia Antipolis University

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



LATA is a conference series on theoretical computer science and its applications. Following the
tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in
Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of
their career. It will aim at attracting contributions from classical theory fields as well as
(Continue reading)

Liu Yang (Asst Prof | 11 Sep 10:50 2014

ICFEM 2014 Call for Participation

16th International Conference on Formal Engineering Methods

ICFEM 2014, Luxembourg, 3-7 November 2014


Call for Participation


The 16th International Conference on Formal Engineering Methods (ICFEM

2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from

3rd November to 7 November 2014. Since 1997, ICFEM has been serving as

an international forum for researchers and practitioners who have been

seriously applying formal methods to practical applications.





+ Keynote speakers: Nikolaj Bjorner (Microsoft Research), Lionel

Briand (University of Luxembourg) and Vincent Danos (University of


+ A provisional programme and the list of accepted paper are now available


+ Early registration by September 27, 2014




PC Chairs


+ Stephan Merz (INRIA, France)

+ Jun Pang (University of Luxembourg, Luxembourg)

CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents.

Towards a sustainable earth:Print only when necessary.Thank you.
Om-announce mailing list
vsim | 10 Sep 15:46 2014

[simu-conf] CFP - Symposium on Theory of Modeling and Simulation

Call For Papers - Abstract Deadline approaching
Symposium on Theory of Modeling and Simulation (TMS 2015)

April 12-15, 2015
The Westin Alexandria, Alexandria, VA, USA  

Sponsored by
The Society for Modeling and Simulation International (SCS)
In cooperation with ACM/SIGSIM
Technically Co-Sponsored by IEEE Computer Society

The purpose of this symposium is to provide a forum to discuss recent
advancements in M&S theory. The main focus is on modeling, methodology,
practice and software to cope with the challenges arising out of these,
as well as lessons learned and challenges. The Symposium bridges
different areas in the field of theory of M&S, including formal
modeling, model-checking, graph transformation, modeling methodologies.
It also provides an opportunity to exchange ideas with other
SpringSim'15 symposia participants in different fields.

Important Dates
Abstract Submission:   Sep. 13, 2014 (a short abstract and title is
required to identify reviewers)
Paper Submission:      Oct. 25, 2014
Notification:          Dec.  6, 2014
Camera-ready Version : Jan.  6, 2015

TMS hosts the 5th International Workshop on Model-driven Approaches for
Simulation Engineering 

(Paper Submission Deadline: November 10, 2014; Notification: January 9,

Further information in the Conference website

[apologies for multiple postings - if you have any issues do not
in contacting vsim-conf-owner@...,ca]
sara.foresti | 9 Sep 15:01 2014

Call for participation - ACM Workshop on Moving Target Defense (MTD 2014)


1st ACM Workshop on Moving Target Defense (MTD 2014)
Scottsdale, Arizona, USA - November 3, 2014

** Register by the 15th of September 2014 to enjoy 
   the early bird discount! **
** Group discounts available! **


This workshop will 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.   

The workshop will be a one-day event featuring two invited talks
and nine full papers.


Registration information is available at:

Early registration fees apply until September 15, 2014 (11:59PM EDT).


The workshop program is available at:


Additional information about the workshop can be found at:
Gwen.Salaun | 8 Sep 14:46 2014

ACM SAC 2015: Software Verification and Testing Track - Extended Deadline

30th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 13 - 17, 2015, Salamanca, Spain

More information: and

Important dates
* September 26, 2014: Submission of regular papers -- EXTENDED 
* November 17, 2014: Notification of paper acceptance/rejection
* December 8, 2014: Camera-ready copies of accepted papers

ACM Symposium on Applied Computing
The ACM Symposium on Applied Computing (SAC) has gathered scientists
from different areas of computing over the past twenty-nine
years. The forum represents an opportunity to interact with different
communities sharing an interest in applied computing.

SAC 2015 is sponsored by SIGAPP and will be held at the UNESCO world
heritage city of Salamanca in Spain.

Software Verification and Testing Track
We invite authors to submit new results in formal verification and
testing, as well as development of technologies to improve the
usability of formal methods in software engineering. Also welcome are
detailed descriptions of applications of mechanical verification to
large scale software. Possible topics include, but are not limited to:

- model checking
- theorem proving
- correct by construction development
- model-based testing
- verification-based testing
- symbolic execution
- static and run-time analysis
- abstract interpretation
- analysis methods for dependable systems
- software certification and proof carrying code
- fault diagnosis and debugging
- verification of large scale software systems
- real world applications and case studies applying software verification

Submissions Guidelines
Paper submissions must be original, unpublished work. Submissions
should be in electronic format, via the START site:

Author(s) name(s) and address(es) must not appear in the body of the
paper, and self-reference should be avoided and made in the third
person. Submitted paper will undergo a blind review process. Authors
of accepted papers should submit an editorial revision of their papers
that fits within six two-column pages (an extra two pages, to a total
of eight pages, may be available at a charge). Please comply to this
page limitation already at submission time. Accepted papers will be
published in the ACM SAC 2015 proceedings.

Paper registration is required, allowing the inclusion of the
paper/poster in the conference proceedings. An author or a proxy
attending SAC MUST present the paper. This is a requirement for the
paper/poster to be included in the ACM/IEEE digital library. No-show
of scheduled papers and posters will result in excluding them from the
ACM/IEEE digital library.

A special issue of Science of Computer Programming has been
confirmed. Selected papers will be invited for submission, and will be
peer-reviewed according to the standard policy of Science of Computer

Student Research Competition
As before, SAC 2015 organises a Student Research Competition (SRC)
Program to provide graduate students the opportunity to meet and
exchange ideas with researchers and practitioners in their areas of
interest. Guidelines and information about the SRC program can be
found at Submission to
the SRC program should be in electronic form via the following website

Program Committee 
Laura Brandan Briones, National University of Cordoba, Argentina
Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina
Marco Faella, University of Naples, Italy
Ylies Falcone, University of Grenoble Alpes, France
Tingting Han, University of London, UK
Fabrice Kordon, University Pierre et Marie Curie, France
Stefan Leue, University of Konstanz, Germany
Shaoying Liu, Hosei University, Japan
Malte Lochau, Darmstadt University, Germany
Annabelle McIver, Macquarie University, Australia
Mercedes Merayo, Universidad Complutense de Madrid, Spain
Dominique Mery, University of Lorraine, France
Mohammad Mousavi, Halmstad University, Sweden
Brian Nielsen, Aalborg University, Denmark
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Wishnu Prasetya, Utrecht University, The Netherlands
Marjan Sirjani, Reykjavik University, Iceland
Hasan Sözer, Özyegin University, Turkey
Tanja Vos, Valencia University, Spain
Anton Wijs, Eindhoven University of Technology, The Netherlands
Liu Yang, Nanyang Technological University, Singapore
Gianluigi Zavattaro, University of Bologna, Italy
Lijun Zhang, Chinese Academy of Sciences, China

Program Committee Chairs
Gwen Salaün, University of Grenoble Alpes, France
Marielle Stoelinga, University of Twente, Netherlands

Om-announce mailing list
Giovanni Livraga | 9 Sep 00:46 2014

Call for participation - Workshop on Privacy in the Electronic Society (WPES 2014)

[Apologies if you receive multiple copies of this message]


Workshop on Privacy in the Electronic Society (WPES 2014)
Scottsdale, Arizona, USA - November 3, 2014

** Register by the 15th of September 2014 to enjoy the early bird discount! **
** Group discounts available! **


The need for privacy-aware policies, regulations, and techniques has been widely 
recognized. This workshop discusses the problems of privacy in the global 
interconnected societies and possible solutions. The 2014 Workshop, held in 
conjunction with the ACM CCS conference, is the thirteenth in a yearly forum for 
papers on all the different aspects of privacy in today’s electronic society. 

The workshop will be a 1-day event featuring technical presentations
of 17 full papers and 9 short papers.

The 13th Workshop on Privacy in the Electronic Society (WPES 2014)
will be held in Scottsdale, Arizona, USA.


Registration information is available at:

Early registration fees apply until September 15, 2014 (11:59PM EDT).


The list of accepted papers is available at:


Additional information about the workshop can be found at:
GRLMC | 7 Sep 17:05 2014

BigDat 2015: registration deadline 23 September

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



BigDat 2015

Tarragona, Spain

January 26-30, 2015

Organized by
Rovira i Virgili University


--- 4th registration deadline: September 23, 2014 ---



BigDat 2015 is a research training event for graduates and postgraduates in
the first steps of their academic career. It aims at updating them about the
most recent developments in the fast developing area of big data, which
covers a large spectrum of current exciting research, development and
innovation with an extraordinary potential for a huge impact on scientific
discoveries, medicine, engineering, business models, and society itself.
Renowned academics and industry pioneers will lecture and share their views
with the audience.

All big data subareas will be displayed, namely: foundations,
infrastructure, management, search and mining, security and privacy, and
applications. Main challenges of analytics, management and storage of big
data will be identified through 4 keynote lectures and 24 six-hour courses,
which will tackle the most lively and promising topics. The organizers
believe outstanding speakers will attract the brightest and most motivated
students. Interaction will be a main component of the event.


Graduate and postgraduates from around the world. There are no formal
pre-requisites in terms of academic degrees. However, since there will be
differences in the course levels, specific knowledge background may be
required for some of them.

BigDat 2015 is also appropriate for more senior people who want to keep
themselves updated on recent developments and future trends. They will
surely find it fruitful to listen and discuss with major researchers,
industry leaders and innovators.


In addition to keynotes, 3 courses will run in parallel during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.


BigDat 2015 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:

Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona


Ian Foster (Argonne National Laboratory), tba

Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data
Applications to Clouds and HPC

C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big
Data: Information Extraction and Data Mining

William D. Gropp (University of Illinois, Urbana-Champaign), tba


Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data

Diego Calvanese (Free University of Bozen-Bolzano),
[introductory/intermediate] End-User Access to Big Data Using Ontologies

Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate]
Programming with Big Data

Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced]
From Design of Distributed and Online Algorithms to Hands-on Code Lab
Practice on Real Datasets

Ernesto Damiani (University of Milan), [introductory/intermediate] Process
Discovery and Predictive Decision Making from Big Data Sets and Streams

Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining
Deep Web Repositories

Maarten de Rijke (University of Amsterdam), tba

Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using
Software Defined Systems to Address Big Data Problems

Minos Garofalakis (Technical University of Crete, Chania)
[intermediate/advanced], Querying Continuous Data Streams

Vasant G. Honavar (Pennsylvania State University, University Park)
[introductory/intermediate], Learning Predictive Models from Big Data

Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User

Tao Li (Florida International University, Miami),
[introductory/intermediate] Data Mining Techniques to Understand Textual

Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data

Christoph Meinel (Hasso Plattner Institute, Potsdam),
[introductory/intermediate] New Computing Power by In-Memory and Multicore
to Tackle Big Data

David Padua (University of Illinois, Urbana-Champaign), [intermediate] Data
Parallel Programming

Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data in
Simulation-based Science

Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate]
Scalable Data Analysis

Evaggelia Pitoura (University of Ioannina), [intermediate] Online Social

Vijay V. Raghavan (University of Louisiana, Lafayette),
[introductory/intermediate] Visual Analytics of Time-evolving Large-scale

Pierangela Samarati (University of Milan), [intermediate], Data Security and
Privacy in the Cloud

Peter Sanders (Karlsruhe Institute of Technology),
[introductory/intermediate] Algorithm Engineering for Large Data Sets

Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel
Models for Big Data

Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data
Mining on Parallel, Distributed and Cloud Computing Systems

Jieping Ye (Arizona State University, Tempe), [introductory/advanced]
Large-Scale Sparse Learning and Low Rank Modeling


Adrian Horia Dediu (Tarragona)
Carlos Martín-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)


It has to be done at 

The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.

Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed and the on-line registration facility disabled when the capacity
of the venue will be complete. It is much recommended to register prior to
the event.


As far as possible, participants are expected to stay full-time. Fees are a
flat rate covering the attendance to all courses during the week. There are
several early registration deadlines. Fees depend on the registration


Suggestions of accommodation will be provided in due time.


Participants will be delivered a certificate of attendance.




BigDat 2015
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

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


Universitat Rovira i Virgili

Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
Fulvio Frati | 4 Sep 16:52 2014

[SIMPDA2014] Fourth International Symposium on Data-driven Process Discovery and Analysis

[Apologies if you receives multiple copies of this CFP]


Fourth International Symposium on Data-driven Process Discovery and Analysis

################################ SIMPDA 2014 ###############################


- IFIP Working Groups 2.6 and 2.12/12.4 -

- Milano, Italy, November 19th-21th -

# About SIMPDA #

With the increasing automation of business processes, growing amounts of process data become available. This opens new research opportunities for business process data analysis, mining and modeling. The aim of the IFIP 2.6 - 2.12 International Symposium on Data-Driven Process Discovery and Analysis is to offer a forum where researchers from different communities and the industry can share their insight in this hot new field.

The Symposium will feature a number of keynotes illustrating advanced approaches, shorter presentations on recent research, a competitive PhD seminar and selected research and industrial demonstrations. This year the symposium will be held in Milan, the city of Expo 2015.


# Call for Papers #

The IFIP International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2013) offers a unique opportunity to present new approaches and research results to researchers and practitioners working in business process data modeling, representation and privacy-aware analysis.

The symposium will bring together leading researchers, engineers and scientists from around the world. Full papers must not exceed 15 pages. Short papers are limited to at most 4 pages. All papers must be original contributions, not previously published or under review for publication elsewhere. All contributions must be written in English and must follow the LNCS Springer Verlag format. Templates can be downloaded from:

Accepted papers will be published in a pre-proceeding volume with an ISBN. The authors of the accepted papers will be invited to submit extended articles to a post-symposium proceedings volume which will be published in the LNBIP series (Lecture Notes in Business Information Processing,, scheduled for early 2014 (extended papers length will be between 7000 and 9000 words). Around 10-15 papers will be selected for publication after a second round of review.

-- Topics --

Topics of interest for submission include, but are not limited to:

- Business Process modeling languages, notations and methods

- Data-aware and data-centric approaches

- Variability and configuration of process models

- Process Mining with Big Data

- Process simulation and static analyses

- Process data query languages

- Process data mining

- Privacy-aware process data mining

- Process metadata and semantic reasoning

- Process patterns and standards

- Foundations of business process models

- Resource management in business process execution

- Process tracing and monitoring

- Process change management and evolution

- Business process lifecycle

- Case studies and experience reports

- Social process discovery

- Crowdsourced process definition and discovery

-- Workshop Format --

In accordance to our historical tradition of proposing SIMPDA as a symposium, we propose an innovative format for this workshop:

The number of sessions depend on the number of submissions but, considering the previous editions, we envisage to have four sessions, with 4-5 related papers assigned to each session. A special session (with a specific review process) will be dedicated to discuss research plan from PhD students.

Papers are pre-circulated to the authors that will be expected to read all papers in advance but to avoid exceptional overhead, two are assigned to be prepared with particular care,  making ready comments and suggestions.

The bulk of the time during each session will be dedicated to open conversations about all of the papers in a given session, along with any linkages to the papers and discussions within an earlier session.

The closing session (30 minutes), will include a panel about open challenges during which every participant will be asked to assemble their thoughts/project/ideas/goals/etc that they got out of the workshop.

# Call for PhD Research Plans #

The SIMPDA PhD Seminar is a workshop for Ph.D. students from all over the world. The goal of the Seminar is to help students with their thesis and research plans by providing feedback and general advice on how to use their research results.

Students interested in participating in the Seminar should submit an extended abstract describing their research. Submissions can relate to any aspect of Process Data: technical advances, usage and impact studies, policy analyses, social and institutional implications, theoretical contributions, interaction and design advances, innovative applications, and social implications.

Research plans should be at most of 4 page long and should be organized following the following structure:

Abstract: summarizes, in 5 line, the research aims and significance.

Research Question: defines what will be accomplished by eliciting the relevant the research questions.

Background: defines the background knowledge providing the 5 most relevant references (papers or books).

Significance: explains the relevance of the general topic and of the specific contribution.

Research design and methods: describes and motivates the method adopted focusing on: assumptions, solutions, data sources, validation of results, limitations of the approach.

Research stage: describes what the student has done so far.

- SIMPDA PhD award -

A doctoral award will be given by the SIMPDA PhD Jury to the best research plan submitted.

# Student Scholarships #

An application for a limited number of scholarships aimed at students coming from emerging countries has been submitted to IFIP.

In order to apply, please contact

# Keynote Speakers #

Jorge Cardoso

University of Coimbra, Portugal

- Compliance of Business Processes with Reference Models -

Reference models provide best practices to design effective and efficient business processes. However, a main challenge is to evaluate how these best practices are  implemented. One limitation of existing approaches is the assumption that compliance can be determined using the notion of process equivalence. Nonetheless, the use of equivalence algorithms is not suitable since two models can have different structures but one process can still be compliant with the other. This talk presents an approach to measure the compliance of process models with reference models, which was used by a German passenger airline using IT Infrastructure Library (ITIL) reference models. The talk also covers various initiatives to evaluate the quality and understandability of process models.


# Industrial Talks #


Claudia Sebastiani

Creativi Quadrati, Partner openERP


- Business Process Measurement in small enterprises after the installation of an ERP software -

We report the observation of the first six months of operation after the installation of an ERP software in a group of small Italian enterprises (some dealers of various  products and one manufacturer). Before the ERP, no explicit process descriptions existed within the companies: the operations were manually performed, using office automation software or legacy programs that were not process oriented. The new ERP is equipped with a workflow engine, a number of standard processes that should be followed by the users, and a tracking system that logs the main steps of the processes. We use process mining tools to analyze the events logged by the ERP during the sales, the purchases and the manufacture cycles. Our aim is to 1) compare the ideal processes suggested by the ERP with the real paths followed by the users 2) describe the eventual adaptation of these paths, as the users became acquainted with the ERP 3) highlight critical segments in terms of time spent, iterations, etc. 4) compare the processes of different companies that are in similar business areas. The final goal is to get a better understanding of the processes and a rationalization of the operations. It must be stressed that both the ERP and the main tools used are open source, so that the process measurement is affordable even for very small (micro) enterprises.


Gregorio Piccoli



- Hierarchical clustering for managers -

Data Mining and Process Mining over big amount of data are today more and more requested by companies. However managers do not have the necessary competences for handling the results of analysis ran using these techniques. For this reason data visualization is a key element to exploit the full potential of data analysis. Zucchetti spa has developed an in-house approach for constructing user-friendly data visualizers.


Gabriele Ruffatti

Engineering Ingegneria Informatica


- A living story: measuring quality of developments in a large industrial software factory with Open Source Software -

Open Source has no more intrinsic value per se. Nowadays it is facing new challenges, such as stimulating creativity and bringing innovation into market. One of its major challenges consists in delivering valuable outcomes, which requires a PMAI approach: Plan metrics and dimensions of analysis, get Measures and global performance value from data, Assess results and Improve processes by solving issues and removing bottlenecks. Engineering Group uses Open Source Software to makes this happen.

Spago4Q, the analytic of the business intelligence suite SpagoBI, allows the company to measure the quality of products, processes and services and to monitor the continuous improvement of quality practices. The measurement and enhancement of productivity complies with quality certifications such as ISO and CMMi standards. QESTnd - an n-dimensional measurement model - allows to collect performance values on three dimensions of analysis (Economical, Social and Technical) in order to identify process areas that need improvements. Drill-down capabilities provide both a unified view of the global performance of the Labs and detailed views of the single process  dimensions.


# Organizers #


- Rafael Accorsi, University of Freiburg, Germany

- Paolo Ceravolo, Università  degli Studi di Milano, Italy

- Barbara Russo, Free University of Bozen - Bolzano, Italy


- Karl Aberer, EPFL, Switzerland

- Ernesto Damiani, Università  degli Studi di Milano, Italy

- Tharam Dillon, La Trobe University, Australia

- Dragan Gasevic, Athabasca University, Canada

- Erich Neuhold, University of Vienna, Austria

- Maurice van Keulen, University of Twente, The Netherlands

- Philippe Cudre-Mauroux , University of Fribourg, Switzerland

# Important Dates #

- Submission of Full Papers: September 15th 2014

- Submission of PhD Research Plans: September 15th 2014

- Notification of Acceptance: October 15th 2014

- Submission of Camera Ready Papers: November 10th 2014


# Program Committee #

- Irene Vanderfeesten, Eindhoven University of Technology, The Netherlands

- Maurice van Keulen, University of Twente, The Netherlands

- Manfred Reichert, University of Ulm, Germany

- Schahram         Dustdar, Vienna University of Technology, Austria

- Mohamed Mosbah, University of Bordeaux, France

- Meiko Jensen, Ruhr-University Bochum, Germany

- Helen Balinsky, Hewlett-Packard Laboratories, UK

- Valentina Emilia Balas, University of Arad, Romania

- Karima               Boudaoud, Ecole Polytechnique de Nice Sophia Antipolis, France

- George Spanoudakis, City University London, UK

- Richard Chbeir, University of Bourgogne, France

- Gregorio Martinez Perez, University of Murcia, Spain

- Ebrahim Bagheri, Ryerson University, Canada

- Jan Mendling, Vienna University of Economics and Business, Austria

- Farookh Hussain, University of Technology Sydney, Australia

- Marcello Leida,              EBTIC (Etisalat BT Innovation Centre), UAE

- Wil Van der Aalst, Technische Universiteit Eindhoven, The Netherlands

- Ronald Maier, University of Innsbruck, Austria

- Chintan             Amrit, University of Twente, The Netherlands

- Marco Montali, Free Unviersity of Bozen - Bolzano, Italy

- Elizabeth Chang, University New South Wales, Australia

- Peter Spyns, Flemish Government, Belgium

- Angelo Corallo, University of Salento, Italy

- Antonio Mana Gomez, University of Málaga, Spain

- Mustafa Jarrar, Birzeit University, Palestinian Territory

- Isabella Seeber, University of Innsbruck, Austria

- Chi Hung, Tsinghua University, China

- Alessandra Toninelli, Engineering Group, Italy

- Haris Mouratidis, University of Brighton, UK

- Abder Koukam, University of Technology, UTBM France

- Fabrizio Maria Maggi, University of Tartu, Estonia

- Massimiliano  De Leoni, Eindhoven TU, Netherlands

- Edgar Weippl, TU Vienna, Austria

- Pnina Soffer, University of Haifa, Israel

- Jianmin Wang, Tsinghua University Beijing, China

- Minseok Song, UNIST, South Korea

- Roland Rieke, Fraunhofer SIT, Germany

- Josep Carmona, UPC - Barcelona, Spain

- Mark Strembeck, WU Vienna, Austria

- Matthias Weidlich, Imperial College, UK

- Mohamed Mosbah, University of Bordeaux

- Maria Leitner, University of Vienna, Austria

- Benoit Depaire, University of Hasselt, Belgium

- Barbara Weber,            University of Innsbruck, Austria

- Babiga               Birregah, University of Technology of Troyes, France

# Historical Information on Previous Editions #

SIMPDA was proposed in 2011 and 2012 by IFIP WG 2.6 and 2.12/12.4 as the International Symposium on Data-Driven Process Discovery and Analysis.

The symposium had around 30 attendees in 2011 and 20 in 2012. It featured a number of keynotes illustrating new approaches, shorter presentations on recent research, and a competitive PhD seminar, together with selected research and industrial demonstrations. The authors of the accepted papers have been invited to submit extended articles to a post-symposium proceedings volume published in the Springer LNBIP series.

Several events and activities arose off these symposia, among the most notables we have two Dagstuhl seminars:

- Dagstuhl Seminar on Semantic Challenges in Sensor Networks, January 24-29, 2010.

- Dagstuhl Seminar on Unleashing Operational Process Mining, November 24-29, 2010.

The venue was for both editions Campione d'Italia, the Italian enclave surrounded by Swiss territory, on the shores of Lake Lugano.


Om-announce mailing list
Fulvio Frati | 4 Sep 16:33 2014

[IWSAC 2014] Submission deadline extended to September 20, 2014

[Apologies if you receive multiple copies of this message]







Held in conjunction with the 10th International Conference on Signal Image Technology & Internet Based Systems (SITIS 2014)

One day between November 23-27, 2014, Marrakech, Morocco Web site:



The ongoing merge between Service-Oriented Architectures (SOAs) and the Cloud computing paradigm provides a new environment fostering the integration of services located within company boundaries with those in the Cloud. An increasing number of organizations implement their business processes and applications via runtime composition of services made available in the Cloud by external suppliers. This scenario is changing the traditional view of security introducing new service security risks and threats, and requires re-thinking of current assurance, development, testing, and verification methodologies. In particular, security assurance in the cloud is becoming a pressing need to increase the confidence of the cloud actors that the cloud and its services are behaving as expected, and requires novel approaches addressing SOA and cloud peculiarities. IWSAC 2014 is the continuation of the International Workshop on Securing Services on the Cloud, held in September 2011, Milan, Italy. It aims to address the security assurance issues related to the deployment of services in the Cloud, along with evaluating their impact on traditional security solutions for software and network systems.


The workshop seeks submissions from academia and industry presenting novel research on all theoretical and practical aspects of security and assurance of services implemented in the Cloud, as well as experimental studies in Cloud infrastructures, the implementation of services, and lessons learned. Topics of interest include, but are not limited to:


* Authentication and access control in the cloud

* Challenges in moving critical systems to the cloud

* Cloud accountability

* Cloud audit

* Cloud compliance

* Cloud certification

* Cloud transparency, introspection, and outrospection

* Cybersecurity in the cloud

* Data security and privacy in the Cloud

* Information assurance and trust management

* Intrusion detection in the Cloud

* Security assurance in the cloud

* Security and assurance protocols in the Cloud

* Service level agreements

* Service procurement in the cloud

* Service verification in critical cloud services

* Test-based and monitoring-based verification of cloud services



Extended Paper submission due: September 22, 2014 (11:59 PM American Samoa time)

Notification to authors: October 10, 2014

Camera-ready due: October 15, 2014

Registration due: October 19, 2014



Submissions must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or conference/workshop with proceedings. Each submission should be at most

8 pages in total including bibliography and well-marked appendices, and must follow the IEEE double columns publication format available at

- [Microsoft Word DOC]

- [LaTex Formatting Macros]


A maximum of 2 extra pages can be purchased for the final version of the accepted papers.


Submissions are to be made to the submission web site by selecting track "Workshop on Security Assurance in the Cloud". Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits.


Authors of accepted papers must guarantee that their papers will be presented at the workshop. At least one author of each accepted paper is required to register with the main conference and present the paper.

Accepted papers at the workshop will be published in the conference proceedings and in the IEEE digital library.

Extended version of selected accepted papers will be considered for publication in a journal special issue (TBC).




General Chair (SITIS General Chair)

* Ernesto Damiani, Universita' degli Studi di Milano, Italy


Program Chairs

* Marco Anisetti, Universita' degli Studi di Milano, Italy

* Claudio A. Ardagna, Universita' degli Studi di Milano, Italy

* Rasool Asal, British Telecommunications, UK/UAE


Publicity Chair

* Valerio Bellandi, Universita' degli Studi di Milano, Italy

* Fulvio Frati, Universita' degli Studi di Milano, Italy


Web Chair

* Fulvio Frati, Universita' degli Studi di Milano, Italy


Program Committee

* Rafael Accorsi, University of Freiburg, Germany

* Valerio Bellandi, Universita' degli Studi di Milano, Italy

* Michele Bezzi, SAP, France

* Mauro Conti, University of Padua, Italy

* Nora Cuppens-Boulahia, Telecom Bretagne, France

* Ernesto Damiani, Universita' degli Studi di Milano, Italy

* Eduardo Fernandez, Florida Atlantic University, USA

* Atsuhiro Goto, Institute of Information Security, Japan

* Nils Gruschka, NEC Laboratories Europe, Germany

* Patrick Hung, University of Ontario Institute of Technology, Canada

* Meiko Jensen, Southern Denmark University, Denmark

* Florian Kerschbaum, SAP, Germany

* Nicolas Larrieu, ENAC, France

* Antonio Mana, Universidad de Malaga, Spain

* Siani Pearson, HP Labs, UK

* George Spanoudakis, City University of London, UK


This call for papers and additional information about the conference can be found at



Om-announce mailing list
Wojciech Mostowski | 4 Sep 21:37 2014

AVoCS 2014: Final Call for Participation

(Apologies for multiple copies)


Call for Participation

14th Automated Verification of Critical Systems (AVoCS) 2014 Workshop

24-26th September, 2014

University of Twente, Netherlands


Final Call for Participation

The aim of Automated Verification of Critical Systems (AVoCS) 2014 is
to contribute to the interaction and exchange of ideas among members
of the international research community on tools and techniques for
the verification of critical systems. The subject is to be interpreted
broadly and inclusively. It covers all aspects of automated
verification, including model checking, theorem proving, SAT/SMT
constraint solving, abstract interpretation, and refinement pertaining
to various types of critical systems which need to meet stringent
dependability requirements (safety-critical, business-critical,
performance-critical, etc.). Contributions that describe different
techniques, or industrial case studies are encouraged. The technical
programme will consist of invited and contributed talks and also allow
for short presentations of research ideas. The workshop will be
relatively informal, with an emphasis on discussion.

AVoCS topics include (but are not limited to)

     Model Checking
     Automatic and Interactive Theorem Proving
     SAT, SMT or Constraint Solving for Verification
     Abstract Interpretation
     Specification and Refinement
     Requirements Capture and Analysis
     Verification of Software and Hardware
     Specification and Verification of Fault Tolerance and Resilience
     Probabilistic and Real-Time Systems
     Dependable Systems
     Verified System Development
     Industrial Applications

Thanks to Formal Methods Europe (, we offer a
financial support for students registering for AVoCS in the form of a
registration fee waiver (full or partial). Because our financial support
is limited, we ask the students that would like to take the advantage of
this support to submit a short application (deadline August 14th). The
details on how to apply can be found on the AVoCS 2014 webpage

AVoCS 2014 is coorganised and colocated with SPES_XT Summer School
on Model-based design and analysis of cyber-physical systems:

A registration reduction is offered for participants attending both
events. There are still places free for the prospective summer school

Important Dates (Early registration expired)

   Early registration: 1st September 2014
   Workshop: 24-26th September 2014 (2.5 days, ends 26th lunchtime)

Registration and Hotel Details

All the details on how to register and pay are to be found at the
workshop page at
Hotel information is to be found at

Invited Speakers

The workshop will have three invited speakers:

   * Laura Kovács (Chalmers, Sweden) will speak about "Symbol
     Elimination for Automated Generation of Program Properties"
     Abstract: Automatic understanding of the intended meaning of
     computer programs is a very hard problem, requiring intelligence
     and reasoning. In this talk we describe applications of our symbol
     elimination methods in automated proram analysis. Symbol
     elimination uses first-order theorem proving techniques in
     conjunction with symbolic computation methods, and derives
     nontrivial program properties, such as loop invariants and
     loopbounds, in a fully automatic way. Moreover, symbol elimination
     can be used as analternative to interpolation for software

   * Alastair Donaldson (Imperial College, U.K.) will speak about "Static
     Verification for GPU Kernels"
     Abstract: Graphics processing units (GPUs) are nowadays commonly
     used to accelerate general purpose computations. Because GPUs are
     massively parallel they can be hard to program correctly, and
     suffer from concurrency-related defects including data races. In
     the GPUVerify project we have been interested in applying static
     verification techniques to GPU kernels (the pieces of code that
     execute on GPU devices) in order to automatically find or prove
     absence of data races. I will describe the method we have designed
     to obtain an analysis method for parallel GPU kernels that scales
     to large numbers of threads, and will demo the GPUVerify tool in
     action on a number of examples. I will then discuss open problems
     for research in the area of reliability of data-parallel software.
     For an introduction to GPUVerify check out this video:

     This is joint work with current and previous members of the
     Multicore Programming Group at Imperial College London, and with
     Shaz Qadeer at Microsoft Research.

   * Guy Broadfoot (U.K.) will speak about "The highs and lows of
     deploying Formal Methods in Industry".
     Abstract: I attended my first software conference in 1968; it was
     organised by NATO with the title "The Software Crisis." Many of the
     papers presented then could have been written yesterday; the
     problems of the software industry in producing reliable, correct
     software in the face of increasing complexity and shrinking time to
     market pressures have not fundamentally changed that much.

     In the intervening years as a community we have developed various
     tactics for trying to minimise software errors. Advances in theorem
     proving and model checking are good examples of systematic efforts
     to improve software correctness. Nevertheless, it remains the case
     that such approaches are rarely if ever encountered in the
     industrial workplace, with the possible exception of some safety
     critical domains, such as the software controlling nuclear power

     In spite advances in formal methods and supporting tools, the tools
     available to programmers for verifying assertions about program
     execution are complex and require knowledge and skills that most
     practicing programmers do not have. Formal proofs remain difficult
     to construct, especially for anything but the simplest of programs.
     Merely constructing assertions to characterise program correctness
     is a difficult challenge.

     In 1998, I conceived the idea of combing model checking, code
     generation and the specification approach of Sequence-based
     Specification together to form an integrated software design
     platform for developing software components whose design
     (implementation) would be formally verified for correctness with
     respect to its specification. Other general correctness properties
     such as freedom from deadlocks, non-determinism, incomplete cases,
     etc. would also be verified. Verification would be performed by
     automatically translating Sequence-based specifications into
     semantically equivalent CSP process algebra and then applying the
     model-checking engine FDR2. After verification was completed,
     semantically equivalent source code would be generated in one
     of several supported high-level languages.

     These ideas were developed further together with Philippa Hopcroft
     and in 2003 a company was founded to develop a commercial
     implementation of a development platform based on these ideas. In
     this talk, I will present an overview of the development platform
     and the technologies used. I will then discuss the experience
     gained during 10 years of trying to introduce this approach into
     industry and the lessons learned along the way.

Research Presentations

The following is the list of full research papers that will be
presented at AVoCS 2014. The complete program is available at

Jan Friso Groote, Remco Van Der Hofstad and Matthias Raffelsieper.
   On the Random Structure of Behavioural Transition Systems

Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene.
   Using SMT for dealing with nondeterminism in ASM-based runtime

Jingshu Chen, Marie Duflot and Stephan Merz.
   Analyzing Conflict Freedom for Multithreaded Programs with Time

Morteza Mohaqeqi, Mohammadreza Mousavi and Walid Taha.
   Conformance Testing of Cyber-Physical Systems: A Comparative Study

Petr Ročkai, Jiří Barnat and Luboš Brim.
   Model Checking C++ with Exceptions

Leo Hatvani, Alexandre David, Cristina Seceleanu and Paul Pettersson.
   Adaptive Task Automata with Earliest-Deadline-First Scheduling

Sven Reimer, Matthias Sauer, Paolo Marin and Bernd Becker.
   QBF with Soft Variables

Adisak Intana, Michael Poppleton and Geoff Merrett.
   A Formal Co-Simulation Approach for Wireless Sensor Network

John Mullins and Béatrice Bérard.
   Verification of Information Flow Properties under Rational Observation

Jeremy Sproston.
   Exact and Approximate Abstraction for Classes of Stochastic Hybrid

Ernst Moritz Hahn, Arnd Hartmanns and Holger Hermanns.
   Reachability and Reward Checking for Stochastic Timed Automata

Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos, Bénédicte
Moriau and Guy Anckaerts.
   A Constraint-Solving Approach for Achieving Minimal-Reset Transition
   Coverage of Smartcard Behaviour

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani and Holger Hermanns.
   Performance Analysis of Distributed and Asynchronous Systems using
   Probabilistic Timed Actors

Steering Committee

   Michael Goldsmith, University of Oxford, U.K.
   Stephan Merz, INRIA Nancy & LORIA, France
   Markus Roggenbach, Swansea University, U.K.

Organization Committee

   Marieke Huisman
   Wojciech Mostowski (publicity chair)
   Jaco van de Pol


Wojciech Mostowski
University of Twente
Formal Methods and Tools, EWI
EWI-FMT, P.O. Box 217, 7500AE Enschede, The Netherlands
e-mail: w.mostowski <at>
tel: +31-53-489 3640
fax: +31-53-489 3247
Om-announce mailing list
Om-announce <at>
wcs 2014 | 2 Sep 15:22 2014

Call for Participation: Workshop on Communication Security, Sept. 11-12, 2014, Ancona, Italy

(Apologies if you receive multiple copies of this message)




WCS 2014


We cordially invite you to join us at the Workshop on Communication Security (WCS 2014) on Thursday and Friday, September 11-12, 2014, in Ancona, Italy.

The workshop will feature invited talks by Holger Boche, Eduard Jorswieck, Joachim Rosenthal, and Massimiliano Sala on cutting-edge physical layer security topics and cryptographic techniques, and ten contributed talks on communications security topics.

Please refer to the workshop website for the full program, invited talks abstracts and registration link:

Om-announce mailing list