[Spam:*****] [Om-announce] CD-ARES 2016 - Call for Papers - Extended Deadline: May 15, 2016!

[res.mb.conference]

International Cross Domain Conference and Workshop (CD-ARES 2016) -  CALL FOR 
PAPERS
**
International Cross Domain Conference and Workshop (CD-ARES 2016)
August 31 - September 2, 2016, Salzburg, Austria
http://cd-ares-conference.eu/
**

***
CD-ARES 2016

Today's highly interconnected and interdependent information systems are used 
in many different ways in order to perform and improve business operations. 
Thus, a multidisciplinary view on information systems is of great importance to 
meet future research challenges. This IFIP supported conference therefore is 
focused on multidisciplinary aspects across the breadth of Business and 
Enterprise Information Systems.

The aim of this conference is to foster a forum for researchers and 
practitioners for discussing and resenting recent research ideas and results 
across the multiple research domains. The conference will be held in 
conjunction with the ARES conference. Therefore authors of papers with security 
and dependability focus are also encouraged to contribute to this workshop.

As a multidisciplinary platform this conference will also provide the 
possibility of discussing addional interactions between elements that extend 
beyond technology such as organisational issues to include environmental 
factors (e.g. location based aspects, national and international payment 
mechanisms, ...)

CD-ARES will be held in conjunction with the International Conference on 
Availability, Reliability and Security (ARES 2016) and is supported by IFIP TC 
8 (WG 8.4, WG 8.9).


CONFERENCE OFFICERS

General Chairpersons
Edgar Weippl, SBA Research, Austria
IFIP WG 8.4 Chair
A Min Tjoa, TU Vienna, Austria, IFIP WG 8.9. Chair, Honorary Secretary IFIP

Program Committee Chairpersons
Francesco Buccafurri, University of Reggio Calabria, Italy
Andreas Holzinger, Graz University of Technology, Austria


IMPORTANT DATES

Submission Deadline: April 30, 2016 extended to May 15, 2016!
Author Notification: June 20, 2016
Camera-ready: July 04, 2016
Conference:  August 31 - September 2, 2016


SUBMISSION

To submit a paper please visit our Submission 
Site.


PROGRAM COMMITTEE

Sibel Adali, Rensselaer Polytechnic Institute (USA)
Andrea Bondavalli, University of Florence (Italy)
Andrea Calì, University of London, Birkbeck College (UK)
Francisco Chiclana, De Montfort University (UK)
Juan Manuel Corchado Rodríguez, University of Salamanca (Spain)
Josep Domingo-Ferrer, Rovira i Virgili University (Spain)
Eduardo Fernandez , Florida Atlantic University (USA)
Mariagrazia Fugini, Politecnico di Milano (Italy)
Abdelkader Hameurlain, Paul Sabatier University of Toulouse (France)
Carlos A. Iglesias, Technical University of Madrid (Spain)
Janusz Kacprzyk, Polish Academy of Sciences (Poland)
Dominique Laurent, Cergy-Pontoise University (France)
Gianluca Lax, University of Reggio Calabria (Italy)
Apostolos Malatras, European Commission, Joint Research Centre (Belgium)
Marek Ogiela, AGH University of Science and Technology (Poland)
Witold Pedrycz, University of Alberta (Canada)
Christophe Rosenberg, University of Caen (France)
Gustavo Rossi, National University of La Plata (Argentina)
Alex Thomo, University of Vicotria (Canada)
Vicenç Torra, University of Skovde (Sweden)
Rakesh Verma, University of Houston (USA)
Sherali Zeadally, University of Kentucky (USA)


TOPCIS of interest include, but are not limited to:

Context-Oriented Information Integration
Cloud computing, ICT-services, scalability, reliability, flexibility
Linked data, meta-data and semantic technologies
Data process-based integration
Cross-organizational modeling
Data/Information Management as a Service
Semantic web services
Service modelling, composition and optimization
Application of social network analysis techniques
Social Media and Information Sharing
Socially intelligent Computing
Use of Crowdsourcing and Collective Intelligence
Citizen science
Organizational and governance aspects
Economic, ethical, legal, multilingual, organizational and social aspects
Security and Privacy
Privacy and Trust for Internet Services
Risk management and Business continuity
Ambient Intelligence
Visual Analytics and Big Data Visualization
Information Fusion
Context and Location-aware Computing
Mobile data integration
RFID/NFC integration
Inter-organizational collaboration
Best practices and case studies
Sharing / Integrating in the different application domains, such as:
Health, Finance, Retail, Telecom
Location Based Applications
Mobile Computing
Mobile Ad Hoc Collaboration Working Environment
Future Internet

confere...@sba-research.org

[Om-announce] PAAR 2016 - Extended Deadline

[Geoff Sutcliffe]

LAST CALL FOR PAPERS AND DEADLINE EXTENSION

PAAR-2016 - 5th Workshop on Practical Aspects of Automated Reasoning
July 2nd, 2016.  Coimbra, Portugal

Abstract Deadline: May 2nd, 2016
Full Paper Deadline (extended): May 9th, 2016
http://cs.ru.nl/paar16/

General Information

  The 5th Workshop on Practical Aspects of Automated Reasoning will
  be held on July 2nd, 2016 in Coimbra, Portugal.  PAAR is associated
  with the 8th International Joint Conference on Automated Reasoning
  (IJCAR-2016).

Scope

  PAAR provides a forum for developers of automated reasoning
  tools to discuss and compare different implementation
  techniques, and for users to discuss and communicate their
  applications and requirements. The workshop will bring
  together different groups to concentrate on practical aspects
  of the implementation and application of automated reasoning
  tools. It will allow researchers to present their work in
  progress, and to discuss new implementation techniques and
  applications.

Topics include but are not limited to:
o automated reasoning in propositional, first-order,
  higher-order and non-classical logics;
o implementation of provers (SAT, SMT, resolution, tableau,
  instantiation-based, rewriting, logical frameworks, etc);
o automated reasoning tools for all kinds of practical
  problems and applications;
o pragmatics of automated reasoning within proof assistants;
o practical experiences, usability aspects, feasibility
  studies;
o evaluation of implementation techniques and automated
  reasoning tools;
o performance aspects, benchmarking approaches;
o non-standard approaches to automated reasoning,
  non-standard forms of automated reasoning, new
  applications;
o implementation techniques, optimisation techniques,
  strategies and heuristics, fairness;
o support tools for prover development;
o system descriptions and demos. 
 
  We are particularly interested in contributions that help the
  community to understand how to build useful reasoning systems
  in practice, and how to apply existing systems to real
  problems.

Paper Submissions

  Researchers interested in participating are invited to submit either
  an extended abstract (up to 8 pages) or a regular paper (up to 15
  pages) via EasyChair at
  https://easychair.org/conferences/?conf=paar2016. Submissions will
  be refereed by the program committee, which will select a balanced
  program of high-quality contributions. Short submissions that could
  stimulate fruitful discussion at the workshop are particularly
  welcome.

  Submissions should be prepared in LaTeX using the EasyChair proceedings
  style. The package containing the class file and its user guide and
  some helper tools can be downloaded from
  http://www.easychair.org/publications/easychair.zip. PAAR proceedings
  will be published electronically in the EasyChair Proceedings in
  Computing (EPiC) series.

Important Dates

  Abstract submission deadline: May 2nd, 2016 (Anywhere on the planet)
  Paper submission deadline: May 9th, 2016 (Anywhere on the planet)
  Notification: May 30th, 2016
  Camera ready versions due: June 6th, 2016
  Workshop: July 2nd, 2016

Program Committee

  June Andronick, NICTA and University of New South Wales, Australia
  Peter Baumgartner, NICTA/Australian National University, Australia
  Christoph Benzmüller, Freie Universität Berlin, Germany
  Armin Bierre, Johannes Kepler University, Austria
  Nikolaj Bjorner, Microsoft Research, USA
  Simon Cruanes, Loria, INRIA, France
  Hans de Nivelle, University of Wroclaw, Poland
  Pascal Fontaine, Loria, INRIA, University of Lorraine, France (co-chair)
  Vijay Ganesh, University of Waterloo, Canada
  Alberto Griggio, FBK-IRST, Italy
  John Harrison, Intel, USA
  Marijn Heule, The University of Texas at Austin, USA
  Dejan Jovanović, SRI International, USA
  Yevgeny Kazakov, The University of Ulm, Germany
  Chantal Keller, LRI, Université Paris-Sud, France
  Boris Konev, The University of Liverpool, UK
  Konstantin Korovin, The University of Manchester, UK
  Laura Kovacs, Chalmers University, Sweden
  Jens Otten, University of Potsdam, Germany
  Nicolas Peltier, CNRS - LIG, France
  Ruzica Piskac, Yale University, USA
  Giles Reger, The University of Manchester, UK
  Andrew Reynolds, EPFL, Switzerland
  Philipp Ruemmer, Uppsala University, Sweden
  Ulrike Sattler, The University of Manchester, UK
  Renate A. Schmidt, The University of Manchester, UK
  Stephan Schulz, DHBW Stuttgart, Germany (co-chair)
  Geoff Sutcliffe, University of Miami, USA
  Josef Urban, Radboud University, Nijmegen, The Netherlands (co-chair)
  Uwe Waldmann, MPI Saarbrücken, Germany
___
Om-announce mailing list
Om-announce@openmath.org
http://openmath.org/mailman/listinfo/om-announce