Fulvio Frati | 20 Aug 12:28 2014
Picon

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 ###############################

- http://simpda2014.di.unimi.it/

- 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: http://www.springer.de/comp/lncs/authors.html

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, http://www.springer.com/series/7911),

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 paolo.ceravolo-Jwo7OjyBeCI@public.gmane.org

# 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

Zucchetti

 

- 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

dimensions.

 

# Organizers #

CHAIRS

- Rafael Accorsi, University of Freiburg, Germany

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

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

ADVISORY BOARD

- 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
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Marjan Sirjani | 19 Aug 20:10 2014
Picon

Second Call for Papers: FSEN 2015

Our apologies if you have received multiple copies.
 
######################################################################
SECOND CALL FOR PAPERS
 
Sixth International Conference on
Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15)
http://fsen.ir/2015
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
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
sara.foresti | 19 Aug 17:43 2014
Picon

IEEE CNS2014 Student Travel Grant

[Apologies if you receive multiple copies of this message]

IEEE CNS2014 STUDENT TRAVEL GRANT

******************************************************************************
IEEE CNS 2014 - IEEE Conference on Communications and Network Security
San Francisco, USA -- October 29-31, 2014
http://ieee-cns.org
******************************************************************************

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
page:

http://cns2014.ieee-cns.org/content/student-travel-grant

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

http://cns2014.ieee-cns.org/

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

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:

http://convecs.inria.fr/jobs/2014b.html

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
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Kristin Yvonne Rozier | 16 Aug 07:23 2014
Picon

[fm-announcements] Call for Highlights: Aerospace America Intelligent Systems Year In Review

All,

Please consider submitting a highlight about your work! It is only 150 
words and it would really help to call attention to the important role 
of formal methods in the future of aerospace!

Cheers,
Kristin

	***********************************************
                       Call for Highlights

             Intelligent Systems 2014 Year In Review
                   Aerospace America magazine

                   Due date: August 25, 2014 (firm)
	***********************************************

This is a call for submissions for the "Year In Review" December, 2014 
issue of Aerospace America magazine. We are looking for summaries of 
interesting aerospace applications of intelligent systems, of 
approximately 150 words in length, with an accompanying graphic if 
possible. Each highlight will be integrated within an overall narrative, 
so key organizations/affiliations should be identified within the text 
to enable proper credit to be given; including a URL for further 
information on your work is required. The AIAA Intelligent Systems 
Technical Committee will select, from among all submissions received, 
six that will be highlighted in the year-end issue of Aerospace America 
magazine.

*********************************************************************
SUBMISSION:
----------
Deadline: Monday, August 25, 2014 (firm)
Submit through EasyChair: https://easychair.org/conferences/?conf=yir2014

*********************************************************************
HIGHLIGHT GUIDELINES:
---------------------
* 150 words
* describing an advancement in research relating to aerospace 
intelligent systems
* describing work that occurred or is projected to occur between January 
and December, 2014
* identifying key organizations/affiliations
* including a URL for further information and a word or phrase to 
hyperlink it to in the onine version of the article (Please list the 
word, phrase, or lab name to be hyperlinked after the highlight text, 
with the desired URL.)
* with an accompanying graphic, if possible: include after the highlight 
text a URL for a high-resolution JPG; include photo credit and caption

*********************************************************************
IMPORTANT DATES:
---------------------
* Submission Deadline: August 25, 2014 (firm)
* Notification of selection for Aerospace America article: September 1, 2014
* Proofs go out for author approval of AIAA ISTC newsletter: October 1, 2014
* Aerospace America article is published: December 1, 2014
* AIAA ISTC highlight newsletter is published: December 1, 2014

*********************************************************************
ARTICLE INFORMATION:
--------------------
This article will cover the most important developments this year in 
aerospace intelligent systems. Breakthroughs, setbacks, and industry 
trends that have occurred during the past year, the reasons they are 
important, and their impact on the aerospace community are also relevant.

More information on what types of aerospace systems qualify as 
intelligent is available here: 
https://info.aiaa.org/tac/isg/ISTC/Web%20Pages/What%20Is%20An%20Intelligent%20System.aspx.

Aerospace America reaches 40,000 people in a broad cross section of 
disciplines. highlights should be written so that all of them are able 
to understand the content, without acronyms if possible.

*********************************************************************
BACKGROUND:
-----------
The AIAA Intelligent Systems Technical Committee (ISTC) is concerned 
with the application of Intelligent System (IS) technologies and methods 
to aerospace systems, the verification and validation of these systems, 
and the education of the AIAA membership in the use of IS technologies 
in aerospace and other technical disciplines. See the Intelligent 
Systems Technical Committee website for more information on our 
technology focus: https://info.aiaa.org/tac/ISG/ISTC/default.aspx.

Previous years' print articles are available at 
https://ti.arc.nasa.gov/dev/profile/kyrozier/publications/#MagazineArticles. 

This year there will be two versions: a paper article with authors' 
designated hyperlink text bolded and an online article with the provided 
URL linked. Also, with author permission, all submitted highlights (not 
just the six selected for the article) will be included on the AIAA ISTC 
website and newsletter. Requests for permission and approval of 
camera-ready versions will go out on October 1, 2014.

-- 
  ____________________________________________________________
                                     __
            /\                       \ \_____
           /  \                   ###[==_____>
          /    \                     /_/      __
         /  __  \                             \ \_____
         | (  ) |                          ###[==_____>
        /| /\/\ |\                            /_/
       / | |  | | \
      /  |=|==|=|  \       Kristin Yvonne Rozier, Ph.D.
    /    | |  | |    \       Research Computer Scientist
   / USA | ~||~ |NASA \    NASA Ames Research Center
  |______|  ~~  |______|     Phone: (650) 604-3197
         (__||__)            Fax:   (650) 604-3594
         /_\  /_\
         !!!  !!!          http://ti.arc.nasa.gov/profile/kyrozier/

Any opinions expressed in this email are my own.
---
To opt-out from this mailing list, send an email to

fm-announcements-request@...

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

fm-announcements-owner@... 
Yu Wang | 16 Aug 08:47 2014
Picon

FTBDSN 2014 Call For Talks

------------------------------------------------------------------------------------------
2014 International Workshop on Future Trends of Big Data, Systems, and Networking
Deakin University, Melbourne Burwood Campus, Victoria, Australia, 17-19 September 2014
------------------------------------------------------------------------------------------


Overview
========

With the arrival of Big Data Era, properly utilizing the power of big data is becoming increasingly essential for the strength and competitiveness of businesses and organizations. On one hand, we are facing grand challenges from big data from different perspectives, such as processing, communication, security, and privacy. On the other hand, we are in the historical position to shape the future with big data. FTBDSN 2014 intends to provide an effective forum for researchers and industry practitioners to exchange innovative ideas and state-of-the-art research, and to share experiences in research projects as well as real world projects. In this workshop, we will explore, with the outstanding international speakers, the key issues and future trends in all aspects of big data, systems, and networking.

FTBDSN 2014 is a three-day event, and the registration is FREE. Workshop program, morning tea, lunch, and afternoon tea will be provided to all attendees. Attendees are expected to cover their travel costs to Melbourne and accommodation.


Topics
======

We are pleased to invite you to respond to our Call for Talks for FTBDSN 2014. Topics of particular interest include (but not limited to):

- Big Data System Architectures
- Big Data Models and Algorithms
- Trust, Security and Privacy for Big Data
- Big Data Applications and Experiences
- Cloud Computing and Fog Computing
- Mobile and Social Computing
- Cyber Physical Systems
- Smart Cities and Smart Energy
- Future Internet
- Software Defined Networking
- Network Functions Virtualisation
- Future Systems Technology
- Green Computing and Networking


Submit A Talk Proposal
======================

Please submit the title and abstract of your talk to the Easychair system through the following link. https://www.easychair.org/conferences/?conf=ftbdsn2014


Keynotes
========
We are pleased to announce the following featured talks in FTBDSN 2014.

-------------------------------------------------------------------
Programming Support for Big Data Applications
Professor Jiannong Cao, Hong Kong Polytechnic University, Hong Kong
-------------------------------------------------------------------
Towards Robust Aggregation of Inconsistent Information
Dr Aleksandar Ignjatovic, University of New South Wales, Australia
------------------------------------------------------------------


Organisers
==========

General Chairs
--------------
Wanlei Zhou, Deakin University, Australia
Ivan Stojmenovic, Deakin University, Australia

Program Chair
-------------
Yang Xiang, Deakin University, Australia


Contact
=======
Please feel free to contact us through y.wang <at> deakin.edu.au.
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
GRLMC | 15 Aug 15:31 2014

BigDat 2015: August 23, registration deadline

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

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

INTERNATIONAL WINTER SCHOOL ON BIG DATA

BigDat 2015

Tarragona, Spain

January 26-30, 2015

Organized by
Rovira i Virgili University

http://grammars.grlmc.com/bigdat2015/

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

--- 3rd registration deadline: August 23, 2014 ---

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

AIM:

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.

ADDRESSED TO:

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.

REGIME:

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.

VENUE:

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

KEYNOTE SPEAKERS:

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

COURSES AND PROFESSORS:

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

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
Engagement

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

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

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
Networks

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

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

ORGANIZING COMMITTEE:

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

REGISTRATION:

It has to be done at

http://grammars.grlmc.com/bigdat2015/registration.php 

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.

FEES:

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
deadline.

ACCOMMODATION:

Suggestions of accommodation will be provided in due time.

CERTIFICATE:

Participants will be delivered a certificate of attendance.

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@... 

POSTAL ADDRESS:

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

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

ACKNOWLEDGEMENTS:

Universitat Rovira i Virgili

---
Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
http://www.avast.com
Claudio A. Ardagna | 14 Aug 14:37 2014
Picon

CFP: 2nd International Workshop on Security Assurance in the Cloud (IWSAC 2014)

[Apologies if you receive multiple copies of this message]

***************
CALL FOR PAPERS
***************

SECOND INTERNATIONAL WORKSHOP ON SECURITY ASSURANCE IN THE CLOUD (IWSAC 
2014)
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: http://sesar.di.unimi.it/IWSAC2014

IWSAC 2014 BACKGROUND AND GOALS
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

IMPORTANT DATES
Paper submission due: September 6, 2014 (11:59 PM American Samoa time)
Notification to authors: October 1, 2014
Camera-ready due: October 15, 2014
Registration due: October 19, 2014

SUBMISSION INSTRUCTIONS
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] 
ftp://pubftp.computer.org/Press/Outgoing/proceedings/instructA4x2.doc
- [LaTex Formatting Macros] 
ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_LatexA4x2.zip

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 
https://www.easychair.org/conferences/?conf=sitis2014 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).

IWSAC 2014 COMMITTEES AND CHAIRS

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 http://sesar.di.unimi.it/IWSAC2014
Haojin Zhu | 12 Aug 11:46 2014
Picon

CFP: IEEE WCM SI on QoE and QoP Provisions in Emerging Mobile Networks (IF= 6.524)

IEEE WCM CFP: SI on QoE and QoP Provisions  in Emerging Mobile Networks

CALL FOR PAPERS 

Special Issue on 
Quality-of-Experience (QoE) and Quality-of-Protection (QoP) Provisions 
in Emerging Mobile Networks 

Mobile networks have gained tremendous momentum in recent years due to both the wide proliferation of mobile devices such as smartphones and tablets as well as the ubiquitous availability of network services. Mobile networks allow the mobile users to discover the new friends, and share their pictures, videos and other information among their common interest friends, which have been witnessed by the super popularity of representative smart phone applications. 
Although the recent years have seen major and remarkable developments in the field of mobile networking technologies, Quality-of-Experience (QoE) and Quality-of-Protection (QoP) issues in mobile networks have attracted less attention so far. QoE is a new concept related to but differs from Quality-of-Service (QoS) perception. It combines user perception, experience, and expectations with non-technical and technical parameters such as application- and network-level QoS. In other words, QoE is a subjective measure of a customer's experiences with a service focusing on the entire service experience, and is a more holistic evaluation. Further, security and privacy are essential for services provisions in emerging mobile networks and Quality-of-Protection (QoP) is an important concept for measuring the security benefits provided by the security approaches including: authentication, confidentiality, availability as well as the privacy guarantees. The challenge of achieving QoP in emerging mobile networks is that it will incur extra security overheads (e.g., processing time, bandwidth and energy consumption), which will inevitably affect the users’ experience. Therefore, QoE and QoP are closely coupled concepts, which are expected to describe the tradeoff of service utility and the security in emerging mobile networks. To ensure the QoE and QoP guaranteed services delivery in emerging mobile networks, there is a critical need for research into new designs and implementations that can make mobile networks more reliable and secure from a system point of view. 


SCOPE 

The goal of this special issue is to seek original articles examining the state of the art, open challenging research issues, new research results and solutions in QoE and QoP issues in emerging mobile networks. All submissions should contain substantial tutorial contents and be accessible to a general audience of researchers and practitioners. Topics of interest include, but are not limited to: 


QoE aware resource allocation in mobile networks 
QoE management and control framework for mobile networks 
QoE and QoP assessment methods in mobile networks 
Energy-aware QoE control in resource-constrained mobile networks 
Subjective QoE testing of mobile social networking services 
General security architecture for mobile networks 
Design and analysis of secure routing in multi-hop mobile networks 
Privacy preservation in mobile networks 
Attack modeling, prevention, mitigation, and defense in mobile networks 
Methods for detecting and thwarting misbehaving nodes in mobile networks 
QoE and QoP modeling for mobile networks 
QoE and QoP evaluation methodologies for mobile networks 
Cross-layer QoE and QoP design of mobile networks 
Real experiments and testbeds for QoE and QoP evaluation of mobile social networking systems 
QoE modeling and evaluation for participatory sensing 


SUBMISSIONS 

For manuscript preparation and submission, please follow the guidelines in the Author Guidelines and Paper Submission Guidelines section at the IEEE Wireless Communications web page, http://www.comsoc.org/wirelessmag. A paper should have no more than 4500 words, no more than 6 tables/figures, and its abstract should have no more than 250 words. Any submission that fails to comply with the guidelines will be rejected without review. Papers must be submitted in PDF format to the Manuscript Central http://mc.manuscriptcentral.com/ieee-wcm

IMPORTANTDATES 

Manuscript Submission: Dec 1, 2014 
First round of review to authors: March 15, 2015 
Notification of Acceptance: May 1, 2015 
Final Manuscript Due: June 15, 2015 
Publication Date: August 2015



GUEST EDITORS 


Prof. Haojin Zhu 
Shanghai Jiao Tong University, China 


Prof. Kuang-Hao (Stanley) Liu 
National Cheng Kung University, Taiwan 

Prof. Wenbo He 
McGill University, Canada 

Prof. Kaoru Ota 
Muroran Institute of Technology, Japan 

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Guillermo Morales Luna | 7 Aug 20:47 2014
Picon

Conference LANMR: November 5-7, 2014, Valle de Bravo, Mexico


On behalf of the Organizing Committee I am distributing the following
CFP:

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
                         CALL
 FOR  PAPERS
              Ninth Latin American Workshop on Logic/Languages,
    Algorithms and New Methods of Reasoning 2014 (LANMR 2014)

Paper Submission: Deadline EXTENDED: August 25, 2014
Conference Date: November 5-7, 2014, Valle de Bravo, Estado de México, México
Workshop URL: http://sc.uaemex.mx/lanmr/

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

NEWS: 

1) Accepted theoretical computer science papers which fulfill the 
requirements of Electronic Notes in Theoretical Computer Science 
http://www.journals.elsevier.com/electronic-notes-in-theoretical-computer-scie 
nce
will be published in an special issue.

2) Accepted non theoretical computer science papers which fulfill the
requirements of Engineering Letters 
http://www.engineeringletters.com 
will be published in an special issue. 

IMPORTANT DATES:
+++++++++++++++++

August 25th, 2014:    Submission of Papers
September 25th, 2014: Notification of acceptance
October 5th, 2014:    Camera Ready
November 5-7th, 2014: Workshop

SCOPE AND LIST OF TOPICS:
++++++++++++++++++++++++++
LANMR 2014 is the ninth installment of the Latin American Workshop series on
Logic/Languages, Algorithms and New Methods of Reasoning. The objective of the
LANMR Workshop is to bring together researchers from academia and industry
worldwide to present recent research results on theory and applications on
Logic, Languages, Algorithms and Reasoning Methods. Researchers, engineers and
experts are invited to submit high quality papers to share and to discuss their
latest research results. LANMR 2014 will provide a forum where participants
could exchange their ideas and experiences through high quality peer reviewed
papers.
The Workshop features a three-day program of invited talks by recognized
scientists, oral presentations of technical papers, as well as a Doctoral
Consortium of currently enrolled graduate students. This year the LANMR workshop
will be held from 5th to 7th November, 2014 at ANUIES, Valle de Bravo, State of
Mexico. LANMR 2014 is organized by the Logic and Computation Mexican Group.
The proceedings of LANMR 2014 will be published in CEUR Workshop Proceedings
(CEUR WS.org). The accepted papers will also be considered for publication in
the special issues of the journal Engineering Letters, which will be abstract
indexed by Scopus.

Topics of interest include, but are not limited to:

1. Logic programming and non-monotonic reasoning 
2. Algorithms applied to logic 
3. Answer Set Programming 
4. Knowledge representation 
5. Belief representation 
6. Paraconsistent logics
7. Deduction techniques 
8. Automated reasoning 
9. Non-classical logics 
10. Reasoning about situations and actions 
11. Planning 
12. AI-Artificial Intelligence 
13. Agent and Intelligent Systems 
14. Preferences 
15. Default and abductive reasoning 
16. Well-founded semantics 
17. Cognitive agents 
18. Novel applications in AI.
19. Natural Language Processing
20. Argumentation

INSTRUCTIONS FOR SUBMITTING PAPERS AND PUBLICATION INFORMATION:
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Papers should be written in English and formatted according to the Springer LNCS
style (www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), and not exceed 12
pages including references and figures. Authors should submit their paper via
EasyChair:https://www.easychair.org/conferences/?conf=lanmr2014

Each paper will be peer-reviewed by two experts in the field for originality,
significance, clarity, impact, and soundness. In cases of contradictory
 recommendations, a member of the conference program committee would be charged
to make the final decision (accept/reject); often, this would involve seeking
help from additional referees. Papers whose authors include a member of the
conference program committee will be evaluated using the double-blinded review
process. Papers must not have been previously published or currently submitted
for publication elsewhere.

Contact and general enquiries: José Raymundo Marcial Romero
(jrmarcialr@...)
+++++++++++++++++++++++++++++++++++END CFP+++++++++++++++++++++++++

Dr. Guillermo Morales-Luna     "Tanto más fatiga el bien deseado
Computer Science                cuanto la esperanza
CINVESTAV-IPN                   está más cerca de poseerlo."
Av. IPN 2508                    
07360 Mexico, D.F.              Don Quijote, I, Cap. XXXIV

Tel: (52)-555-747-3759          gmorales@...
Fax: (52)-555-747-7002          http://delta.cs.cinvestav.mx/~gmorales

My PGP Public Key is in my web page.
________________________________________________________________
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Wojciech Mostowski | 7 Aug 15:47 2014
Picon
Picon

AVoCS 2014: 1st Call for Participation

(Apologies for multiple copies)

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

Call for Participation

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

http://www.utwente.nl/avocs2014

24-26th September, 2014

University of Twente, Netherlands

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

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 (http://www.fmeurope.org/), 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
(http://www.utwente.nl/avocs2014).

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

http://spes2020.informatik.tu-muenchen.de/summerschool2014.html

A registration reduction is offered for participants attending both events.

The workshop will have three invited speakers:

   Laura Kovacs (Chalmers, Sweden) will speak about automated assertion
     generation.
   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 Details

All the details on how to register and pay are to be found at the 
workshop page at
http://fmt.cs.utwente.nl/conferences/avocs2014/register.php.

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
   verification

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

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
   Development

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
   Systems

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> utwente.nl
www: http://wwwhome.ewi.utwente.nl/~mostowskiwi/
tel: +31-53-489 3640
fax: +31-53-489 3247
_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce

Gmane