CIE | 29 Aug 23:32 2014

TAMC 2015, 18-20 May 2015, National University of Singapore - First Call for Papers

First Call for Papers for the 12th Annual Conference on

  Theory and Applications of Models of Computation (TAMC 2015)
  18 - 20 May 2015

School of Computing, National University of Singapore

TAMC 2015 aims at bringing together a wide range of researchers with
interests in computational theory and applications. For more than 10
years, the conference series "Theory and Applications of Models of
Computing" has fostered interactions and collaborations between both
theoretical and applied researchers working on all aspects of
computations and the ways to model it.

Conference Chair: Sanjay Jain.
Programme Committee Chairs: Rahul Jain and Frank Stephan.
Programme Committee: Ajith Abraham, Anthony Bonato, Yijia Chen, Rodney
G. Downey, Henning Fernau, Dimitris Fotakis, Gopal T V, Steffen Lempp,
Jiamou Liu, Frexdexric Magniez, Klaus Meer, Mia Minnes, Philippe
Moser, Mitsunori Ogihara, Yota Otachi, Yicheng Pan, Pan Peng, Anil
Seth, Xiaoming Sun, Chaitanya Swamy, Hongan Wang, Wei Wang, Guohua Wu,
Yitong Yin, Mingsheng Ying, Neal Young, Thomas Zeugmann, Shengyu
Zhang, Conghua Zhou.

There will be published proceedings. Submissions should have a length of
12 pages; for details for the submission format and submission-link
and other questions, please consult the conference webpage

(Continue reading)

Klaus Havelund | 30 Aug 16:23 2014

[fm-announcements] Second call for papers: NASA Formal Methods - NFM 2015


The 7th NASA Formal Methods Symposium

27 – 29 April 2015
Pasadena, California, USA


The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development.


Topics of interest include, but are not limited to:

  • Model checking
  • Theorem proving
  • SAT and SMT solving
  • Symbolic execution
  • Static analysis
  • Runtime verification
  • Program refinement
  • Compositional verification
  • Modeling and specification formalisms
  • Model-based development
  • Model-based testing
  • Requirement engineering
  • Formal approaches to fault tolerance
  • Security and intrusion detection
  • Applications of formal methods to aerospace systems
  • Applications of formal methods to cyber-physical systems
  • Applications of formal methods to human-machine interaction analysis


Paper Submission: 10 Nov 2014
Paper Notifications: 12 Jan 2015
Camera-ready Papers: 9 Feb 2015
Symposium: 27 – 29 April 2015


The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015.

There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register.


There are two categories of submissions:

  1. Regular papers describing fully developed work and complete results (15 pages)
  2. Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages)

All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer’s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format.


Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Rajeev Joshi, NASA Jet Propulsion Laboratory


Erika Abraham, RWTH Aachen University, Germany
Julia Badger, NASA Johnson Space Center, USA
Christel Baier, Technische Universität Dresden, Germany
Saddek Bensalem, VERIMAG/UJF, France
Dirk Beyer, University of Passau, Germany
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research, USA
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Leonardo de Moura, Microsoft Research, USA
Ewen Denney, NASA Ames Research Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Dawson Engler, Stanford University, USA
Jean-Christophe Filliatre, Université Paris-Sud, France
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Susanne Graf, VERIMAG, France
Alex Groce, Oregon State University, USA
Radu Grosu, Vienna University of Technology, Austria
John Harrison, Intel Corporation, USA
Mike Hinchey, University of Limerick/Lero, Ireland
Bart Jacobs, University of Leuven, Belgium
Sarfraz Khurshid, The University of Texas at Austin, USA
Gerwin Klein, NICTA, Australia
Daniel Kroening, Oxford University, UK
Orna Kupferman, Hebrew University Jerusalem, Israel
Kim Larsen, Aalborg University, Denmark
Rustan Leino, Microsoft Research, USA
Martin Leucker, University of Lubeck, Germany
Rupak Majumdar, Max Planck Institute, Germany
Pete Manolios, Northeastern University, USA
Peter Mueller, ETH Zurich, Switzerland
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu, NASA Ames Research Center, USA
Doron Peled, Bar Ilan University, Israel
Suzette Person, NASA Langley Research Center, USA
Andreas Podelski, University of Freiburg, Germany
Grigore Rosu, University of Illinois, USA
Kristin Yvonne Rozier, NASA Ames Research Center, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, University of Lugano, Switzerland
Scott Smolka, Stony Brook University, USA
Willem Visser, University of Stellenbosch, South Africa
Mahesh Viswanathan, University of Illinois, USA
Mike Whalen, University of Minnesota, USA
Jim Woodcock, University of York, UK


Julia Badger, NASA Johnson Space Center
Ewen Denney, NASA Ames Research Center
Ben Di Vito, NASA Langley Research Center
Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Cesar Munoz, NASA Langley Research Center
Corina Pasareanu, NASA Ames Research Center
Suzette Person, NASA Langley Research Center
Kristin Yvonne Rozier, NASA Ames Research Center

To opt-out from this mailing list, send an email to


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

Om-announce mailing list
Wojciech Mostowski | 26 Aug 15:26 2014

AVoCS 2014: 2nd Call for Participation (early registration by September 1st)

(Apologies for multiple copies)


Call for Participation

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

24-26th September, 2014

University of Twente, Netherlands


Deadlines Approaching

Early registration for AVoCS 2014 closes on 1st of September!

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 

The workshop will have three invited speakers:

   Laura Kovacs (Chalmers, Sweden) will speak about automated assertion
   Alastair Donaldson (Imperial College, U.K.) will speak about
     verification of OpenCL kernels.
   Guy Broadfoot (U.K.) will speak about fighting the battle to get
     industry to adopt formal based tools.

Important Dates

   Student grant application: 14th August 2014
   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
(note that the special price for the last hotel will also expire on
September 1st).

Research Presentations

The following is the list of full research papers that will be presented at
AVoCS 2014:

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>
Gwen.Salaun | 21 Aug 12:58 2014

ACM SAC 2015: Software Verification and Testing Track - Final CfP

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

More information: and

Important dates
* September 12, 2014: Submission of regular papers
* November 17, 2014: Notification of paper acceptance/rejection
* December 8, 2013: 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
GRLMC - URV | 23 Aug 20:52 2014

LATA 2015: 2nd 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
application areas.


LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will
be the University Castle at Parc Valrose.


Topics of either theoretical or applied interest include, but are not limited to:

algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata networks
automata, concurrency and Petri nets
automatic structures
cellular automata
combinatorics on words
computational complexity
data and image compression
descriptional complexity
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
parallel and regulated rewriting
power series
string and combinatorial issues in bioinformatics
string processing algorithms
symbolic dynamics
term rewriting
trees, tree languages and tree automata
unconventional models of computation
weighted automata


LATA 2015 will consist of:

invited talks
invited tutorials
peer-reviewed contributions


Paola Inverardi (L’Aquila), Synthesis of Protocol Adapters
Johann A. Makowsky (Technion, Haifa), Hankel Matrices for Graph Parameters and Graph Grammars
Giancarlo Mauri (Milano Bicocca), tba
Andreas Podelski (Freiburg), Automated Program Verification
Antonio Restivo (Palermo), The Shuffle Product: New Research Directions


Andrew Adamatzky (West of England, Bristol, UK)
Andris Ambainis (Latvia, Riga, LV)
Franz Baader (Dresden Tech, DE)
Rajesh Bhatt (Massachusetts, Amherst, US)
José-Manuel Colom (Zaragoza, ES)
Bruno Courcelle (Bordeaux, FR)
Erzsébet Csuhaj-Varjú (Eötvös Loránd, Budapest, HU)
Aldo de Luca (Naples Federico II, IT)
Susanna Donatelli (Turin, IT)
Paola Flocchini (Ottawa, CA)
Enrico Formenti (Nice, FR)
Tero Harju (Turku, FI)
Monika Heiner (Brandenburg Tech, Cottbus, DE)
Yiguang Hong (Chinese Academy, Beijing, CN)
Kazuo Iwama (Kyoto, JP)
Sanjay Jain (National Singapore, SG)
Maciej Koutny (Newcastle, UK)
Antonín Kučera (Masaryk, Brno, CZ)
Thierry Lecroq (Rouen, FR)
Salvador Lucas (Valencia Tech, ES)
Veli Mäkinen (Helsinki, FI)
Carlos Martín-Vide (Rovira i Virgili, Tarragona, ES, chair)
Filippo Mignosi (L’Aquila, IT)
Victor Mitrana (Madrid Tech, ES)
Ilan Newman (Haifa, IL)
Joachim Niehren (INRIA, Lille, FR)
Enno Ohlebusch (Ulm, DE)
Arlindo Oliveira (Lisbon, PT)
Joël Ouaknine (Oxford, UK)
Wojciech Penczek (Polish Academy, Warsaw, PL)
Dominique Perrin (ESIEE, Paris, FR)
Alberto Policriti (Udine, IT)
Sanguthevar Rajasekaran (Connecticut, Storrs, US)
Jörg Rothe (Düsseldorf, DE)
Frank Ruskey (Victoria, CA)
Helmut Seidl (Munich Tech, DE)
Ayumi Shinohara (Tohoku, Sendai, JP)
Bernhard Steffen (Dortmund, DE)
Frank Stephan (National Singapore, SG)
Paul Tarau (North Texas, Denton, US)
Andrzej Tarlecki (Warsaw, PL)
Jacobo Torán (Ulm, DE)
Frits Vaandrager (Nijmegen, NL)
Jaco van de Pol (Twente, Enschede, NL)
Pierre Wolper (Liège, BE)
Zhilin Wu (Chinese Academy, Beijing, CN)
Slawomir Zadrozny (Polish Academy, Warsaw, PL)
Hans Zantema (Eindhoven Tech, NL)


Sébastien Autran (Nice)
Adrian Horia Dediu (Tarragona)
Enrico Formenti (Nice, co-chair)
Sandrine Julia (Nice)
Carlos Martín-Vide (Tarragona, co-chair)
Christophe Papazian (Nice)
Julien Provillard (Nice)
Pierre-Alain Scribot (Nice)
Bianca Truthe (Giessen)
Florentina Lilica Voicu (Tarragona)


Authors are invited to submit non-anonymized papers in English presenting original and unpublished
research. Papers should not exceed 12 single-spaced pages (including eventual appendices,
references, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS
series (see

Submissions have to be uploaded to:


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

A special issue of the Journal of Computer and System Sciences (Elsevier, 2013 JCR impact factor: 1.0) will
be later published containing peer-reviewed substantially extended versions of some of the papers
contributed to the conference. Submissions to it will be by invitation.


The period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at:


Paper submission: October 10, 2014 (23:59 CET)
Notification of paper acceptance or rejection: November 18, 2014
Early registration: November 25, 2014
Final version of the paper for the LNCS proceedings: November 26, 2014
Late registration: February 16, 2015
Submission to the journal special issue: June 6, 2015


florentinalilica.voicu <at>


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

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


Nice Sophia Antipolis University
Rovira i Virgili University

Om-announce mailing list
Om-announce <at>
Yu Wang | 22 Aug 03:13 2014

Submission Due Extended - APWC on CSE 2014, Plantation Island, Fiji, 4-5 Nov 2014

Paper submission deadline for the IEEE Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE 2014) has been extended to 31st August.


Accepted papers presented at the APWC on CSE 2014 Conference, which meet the IEEE Conference Publication Program requirements of IEEE quality review, will be included in IEEE Xplore Digital Library. IEEE reserves the right not to publish any proceedings.

‘Advancing Technology for Humanity’- IEEE.

IEEE Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE) will uphold the above IEEE message at Plantation Island, Fiji on 4-5th November 2014 by involving the researchers specially in the South-Pacific region. APWC on CSE( is a global forum for IT researchers, scientists, engineers and practitioners to present their latest research findings, ideas, developments and applications at a top quality international conference and to share experiences with other attendees from over the globe.

We are pleased to invite the industry practitioners, researchers and academia to submit your papers to APWC on CSE 2014. All submissions will be reviewed on the basis of relevance, originality, importance and clarity as a peer review process. The conference will feature keynote speeches, invited talks, technical presentations, workshops and special sessions, and furthermore. We are very sure you will also enjoy a wonderful place Plantation Island during the conference.

This conference welcomes papers addressed on, but not limited to, the following tracks:

Track 1:      Big Data

Track 2:      Biomedical Engineering

Track 3:      Cloud Computing

Track 4:      Information Systems

Track 5:      Multimedia

Track 6:      Networking, Security and Internet of Things

Track 7:       Robotics

Track 8:       Software Engineering

Track 9:       Applications in Business and Social Sciences


Some quality papers will be published in the journal special issue:

Journal of Computers, ISSN 1796-203X, Academy Publisher, UK

Journal of Software, ISSN 1796-217X, Academy Publisher, UK


Important Dates:

   Paper Submission Due           : August 31, 2014
   Authors Notification               : September 15, 2014
   Registration Due Date            : September 30, 2014
   Final version paper return     : September 30, 2014
   Late Registration Due            : October 03, 2014

The Conference Program will include paper sessions, plenary, keynotes and invited talks, poster sessions, tutorials, workshops and many opportunities for social and professional networking.

Om-announce mailing list
Pascal Hitzler | 24 Aug 02:27 2014

CfP: C4BD2014 - Workshop on Complexity for Big Data at IEEE BigData 2014




Workshop at IEEE BigData 2014, Washington, D.C., U.S.A.
27th, 28th, 29th, or 30th of October 2014 (to be determined)

[extended paper deadline:September 14, 2014]

Complexity will lead to both big challenges and opportunities in big 
data research. Complexity in big data can be caused by many factors, 

* large number of features, which are related to each other through a 
rich variety of relationships ranging from simple to complicated;

* a large number of heterogeneous dimensions, which offer a variety of 
kinds of insights and require different treatments, in addition to a 
large number of data records;

* a large variety of heterogeneous types, such as vectors, sequences, 
(labeled) graphs, images, and multimedia, in addition to a large number 
of instances;

* a rich set of logical, semantic, and ontological relationships.

Complexity has often been used to successfully characterize various 
kinds of complicated subjects, for example in computational complexity, 
descriptive complexity, Kolmogorov complexity. Since big data have many 
complicated parts with intricate relationships to each other, the study 
of complexity for big data has potential to be highly successful.

Research on complexity of big data needs to consider the following 
facts, among others:

* Big data can be used for different purposes such as data integration, 
cross domain fertilization, and data mining;

* Structures among various parts of big data can be explicit or hidden, 
and can be described using a rich variety of patterns and models.

The Complexity for Big Data workshop is intended to create an atmosphere 
of exchange of ideas, providing a forum for the presentation and 
discussion of the key topics related to Big Data Complexity, including 
(but not limited to):

* new concepts for complexity for Big Data
* new techniques for handling complexity for Big Data
* analysis of complex relationships
* type logic acquisition
* scalability of type logic reasoning
* dealing with semantic heterogeneity
* dimensionality-reduction techniques
* query and search over multiple data silos
* capture and use of provenance information
* analysis of similarity and differences among heterogeneous parts


Researchers and practitioners are invited to submit original papers that 
have not been submitted for review or published elsewhere. Submitted 
papers must be written in English and should not exceed 9 pages (IEEE 
BigData Conference foramt) in the case of research and experience 
papers, or 5 pages in the case of position papers (including figures, 
bibliography and appendices). All submitted papers will be judged based 
on their relevance, originality, significance, technical quality and 
organisation. Papers must be submitted through easychair at


Selected papers will be presented during the workshop. The workshop will 
include extra time for discussion of the presentation allowing the group 
to have a better understanding of the issues, challenges, and ideas 
being presented.


Deadline for paper submission: September 14, 2014 EXTENDED
Notification of paper acceptance: September 27, 2014
Camera-ready paper due: October 3, 2014
Workshop date: 27th, 28th, 29th or 30th of October, 2014
IEEE BigData 2014 main conference: October 27-30, 2014


Guozhu Dong (Wright State University, Dayton, OH, U.S.A.)
Pascal Hitzler (Wright State University, Dayton, OH, U.S.A.)
Cliff Joslyn (Pacific Northwest National Laboratory, Seattle, 
Washington, U.S.A.)


James Bailey, University of Melbourne
Longbing Cao, University of Technology Sydney
Michel Dumontier, Stanford University
Prateek Jain, IBM
Krzysztof Janowicz, University of California, Santa Barbara
Craig Knoblock, University of Southern California
Steffen Lamparter, Siemens
Huan Liu, Arizona State University
Axel-Cyrille Ngonga Ngomo, University of Leipzig
Axel Polleres, Vienna University of Economics and Business
Erik Wilde, EMC Corporation


General questions concerning the workshop should be addressed to the 
Workshop Organizers at c4bd@...


Prof. Dr. Pascal Hitzler
Dept. of Computer Science, Wright State University, Dayton, OH
Semantic Web Textbook:
Semantic Web Journal:
Fulvio Frati | 20 Aug 12:28 2014

CFP: 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)



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 Ruffati

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



# 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 Cudré-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-Uni­ver­si­ty Bo­chum, 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 Maña Gómez, 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
Marjan Sirjani | 19 Aug 20:10 2014

Second Call for Papers: FSEN 2015

Our apologies if you have received multiple copies.
Sixth International Conference on
Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15)
Tehran, Iran
22 - 24 April, 2015
-- About FSEN --
FSEN is an international conference that aims to bring together researchers, engineers, developers,
and practitioners from the academia and the industry to present and discuss their research work in
the area of formal methods for software engineering. This conference seeks to facilitate the transfer
of experience, adaptation of methods, and where possible, foster collaboration among different groups.
The topics of interest cover all aspects of formal methods, especially those related to advancing
the application of formal methods in the software industry and promoting their integration with
practical engineering techniques.
-- Important Dates --
Abstract Submission: October 24, 2014
Paper Submission: October 31, 2014
Notification: December 26, 2014
Camera Ready: January 16, 2015
Conference: April 22-24, 2015
-- Keynote Speakers --
 Holger Giese, Hasso Plattner Institute, Germany
 John Hughes, Chalmers University of Technology, Sweden
 Paola Inverardi, University of L'Aquila, Italy
-- Topics of Interest --
The topics of this conference include, but are not restricted to, the following:
* Models of programs and software systems
* Software specification, validation, and verification
* Software testing
* Software architectures and their description languages
* Object and multi-agent systems
* Coordination and feature interaction
* Integration of formal and informal methods
* Integration of different formal methods
* Component-based and Service-oriented software systems
* Self-adaptive software systems
* Model checking and theorem proving
* Software and hardware verification
* CASE tools and tool integration
* Industrial Applications
-- Paper Submission --
Papers should be formatted according to the Springer LNCS style,
not exceed 15 pages (including figures and references), submitted in PDF or postscript format,
and not be submitted simultaneously for publication elsewhere.
Papers will be evaluated based on originality, significance, relevance, correctness and clarity.
-- Proceedings and Special Issues --
The post-proceedings of FSEN'15 will be published by Springer Verlag in the LNCS series
(official approval in process). There will also be a pre-proceeding, printed locally by IPM,
available at the conference. Following the tradition of the past editions,
we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'15 (to be confirmed).
-- General Chair --
 Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
 Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
-- Program Chairs --
 Mehdi Dastani - Utrecht University, The Netherlands
 Marjan Sirjani - Reykjavík University, Iceland; University of Tehran, Iran
-- Publicity Chair --
 Hossein Hojjat - Cornell University, USA
-- Steering Committee --
 Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
 Christel Baier - University of Dresden, Germany
 Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
 Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran
 Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
 Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran (chair)
 Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands
-- Program Committee --
 Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran
 Christel Baier - TU Dresden, Germany
 Ezio Bartocci, Vienna University of Technology, Austria
 Borzoo Bonakdarpour - University of Waterloo, Canada
 Marcello Bonsangue - Leiden University, Netherlands
 Mario Bravetti - University of Bologna, Italy
 Fabiano Dalpiaz - Utrecht University, Netherlands
 Mehdi Dastani - Utrecht University, Netherlands
 Erik De Vink - Technical University of Eindhoven, Netherlands
 Klaus Dräger - University of Oxford, UK
 Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands
 Masahiro Fujita - University of Tokyo, Japan
 Maurizio Gabbrielli - University of Bologna, Italy
 Fatemeh Ghassemi - University of Tehran, Iran
 Jan Friso Groote - Technical University of Eindhoven, Netherlands
 Hassan Haghighi - Shahid Beheshti University, Iran
 Hossein Hojjat - Cornell University, USA
 Mohammad Izadi - Sharif University of Technology, Iran
 Mohammad Mahdi Jaghoori - CWI, Netherlands; Academic Medical Center of University of Amsterdam, Netherlands
 Einar Broch Johnsen - University of Oslo, Norway
 Joost-Pieter Katoen - RWTH Aachen University, Germany
 Narges Khakpour - KTH, Sweden
 Ramtin Khosravi - University of Tehran, Iran
 Zhiming Liu - Birmingham City University, UK
 Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran
 Ugo Montanari - University of Pisa, Italy
 Peter Mosses - Swansea University, UK
 Mohammad Reza Mousavi - Halmstad University, Sweden
 Ali Movaghar - Sharif University of Technology, Iran
 Peter Olveczky - University of Oslo, Norway
 Jose Proenca - K.U.Leuven, Belgium
 Niloofar Razavi - University of Toronto, Canada
 Philipp Ruemmer - Uppsala University, Sweden
 Gwen Salaun - Grenoble INP, Inria, France
 Cesar Sanchez - IMDEA Software Institute, Spain
 Wendelin Serwe - INRIA, France
 Marjan Sirjani - Reykjavik University, Iceland
 Meng Sun - Peking University, China
 Carolyn Talcott - SRI International, USA
 Samira Tasharofi - Microsoft, USA
 Tayssir Touili - LIAFA, France
 Danny Weyns - Linnaeus University, Sweden
Om-announce mailing list
sara.foresti | 19 Aug 17:43 2014

IEEE CNS2014 Student Travel Grant

[Apologies if you receive multiple copies of this message]


IEEE CNS 2014 - IEEE Conference on Communications and Network Security
San Francisco, USA -- October 29-31, 2014

IEEE CNS 2014, along with NSF, ARO, IEEE, and other sponsors, would
like to encourage student participation at the conference.
With the support of IEEE Communications Society, U.S. National Science
Foundation, and Army Research Office, CNS 2014 will be able to partially
support the travel, accommodation, and registration costs of student 
registrants who might otherwise be unable to attend the conference.

All eligible applications will be considered, especially female and 
under-represented minority students. We also encourage those who
do not have a paper in the conference, but wish to attend, to
submit a travel grant application. We anticipate funding approximately
30 students at a rate of $700-$1,000 per student. The number and
amount of awards will be determined based on the available
funding and the applications received.

For details of the student travel grant, please see the following

For the main conference, including keynote lecturers and the
technical program, please visit the conference main page:

Application deadline:  August 31, 2014
CNS2014 STG Chair: Yingying Chen (yingying.chen@...)
Gwen.Salaun | 18 Aug 17:40 2014

Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France

The Convecs team (Inria Grenoble Rhône-Alpes research center / LIG
laboratory) recruits a postdoc. More information at:

Applications should be addressed directly to Gwen Salaün, preferably
by e-mail. Applications received after October 10th, 2014 might not be
considered if a candidate has been selected already. 
Om-announce mailing list