[Om-announce] Call for Papers: CD-MAKE 2017

[res.mb.conference]

 Call for Papers due to May, 15, 2017 

International IFIP Cross Domain Conference for Machine Learning & Knowledge 
Extraction CD-MAKE in Reggio di Calabria (Italy) August 29 - September 1, 2017

https://cd-make.net

CD stands for Cross-Domain and means the integration and appraisal of different 
fields and application domains (e.g. Health, Industry 4.0,etc.) to provide an 
atmosphere to foster different perspectives and opinions. The conference is 
dedicated to offer an international platform for novel ideas and a fresh look 
on the methodologies to put crazy ideas into Business for the benefit of the 
human. Serendipity is a desired effect, and shall cross-fertilize methodologies 
and transfer of algorithmic developments.

MAKE stands for MAchine Learning & Knowledge Extraction.

CD-MAKE is a joint effort of IFIP TC 5, IFIP WG 8.4, IFIP WG 8.9 and IFIP WG 
12.9 and is held in conjunction with the International Conference on 
Availability, Reliability and Security (ARES). Keynote Speakers are Neil D. 
LAWRENCE (Amazon) and Marta MILO (University of Sheffield).

IFIP is the International Federation for Information Processing and the leading 
multi-national, non-governmental, apolitical organization in Information & 
Communications Technologies and Computer Sciences, is recognized by the United 
Nations and was established in the year 1960 under the auspices of the UNESCO 
as an outcome of the first World Computer Congress held in Paris in 1959.

Papers are sought from the following seven topical areas. Papers which deal 
with fundamental questions and theoretical aspects in machine learning are very 
welcome.

1) Data science (data fusion, preprocessing, data mapping, knowledge 
representation),
2) Machine learning (both automatic ML and interactive ML with the 
human-in-the-loop),
3) Graphs/network science (i.e. graph-based data mining),
4) Topological data analysis (i.e. topology data mining),
5) Time/entropy (i.e. entropy-based data mining),
6) Data visualization (i.e. visual analytics), and last but not least
7) Privacy, data protection, safety and security (i.e. privacy aware machine 
learning).

Important Dates:

  *
Proposals for Workshops, Special Sessions, Tutorials: April, 19, 2017
  *
Submission Deadline: May, 15, 2017 Author
  *
Notification: June, 14, 2017 Camera Ready Deadline: July, 07, 2017

Accepted Papers will be published in a Springer Volume of Lecture Notes in 
Artificial Intelligence (LNAI). Outstanding contributions will be invited to 
special issues of journals (see Website - special sessions).

 Call for Papers due to May, 15, 2017 

___
Om-announce mailing list
Om-announce@openmath.org
http://openmath.org/mailman/listinfo/om-announce

[Om-announce] [CfP] ICCST-2017: 51st IEEE International Carnahan Conference on Security Technologies

[riccardo.lazzeretti]

Madrid, Spain, October 23 - 26, 2017http://atvs.ii.uam.es/iccst2017/

The IEEE International Carnahan Conference on Security Technologies is  
one of the longest-running international technical symposia. This  
conference has a broad scope and invites papers that advance security  
technologies including physical, cyber and electronic security  
research, development, systems engineering, testing, evaluation, case  
studies and new research lines to face current and future challenges.  
All papers will be carefully subjected to a blind review  
process.Conference proceedings will be submitted for posting to IEEE  
Xplore.


As well as this top ranking technical event, Madrid also offers you  
the amazing features of a major, modern and historical European city,  
its legendary social activity, and the appeal of its Mediterranean  
gastronomy and lifestyle. The main social event at ICCST-2017 will  
include a display of flamenco dancing.


Important Dates:

Abstract Submission Date:   April 28, 2017
Decision to Authors:May 26, 2017
Final Manuscript Due:   July 20, 2017
Early Registration: August 15, 2017

Best Regards,
ICCST-2017 Organizing Committee
ICCST-2017 Executive Committee
http://atvs.ii.uam.es/iccst2017/



___
Om-announce mailing list
Om-announce@openmath.org
http://openmath.org/mailman/listinfo/om-announce

[Om-announce] TABLEAUX 2017 - Deadline Extension

[Geoff Sutcliffe]

   *** DEADLINE EXTENSION ***

  TABLEAUX 2017
 26th International Conference on Automated Reasoning with
  Analytic Tableaux and Related Methods
 University of Brasilia, Brazil
  September 25-28, 2017

  http://tableaux2017.cic.unb.br/

DEADLINE EXTENSION: The deadline for submitting both abstracts and
full papers has been extended to 28 April 2017.

GENERAL INFORMATION
   TABLEAUX is the main international conference at which research
   on all aspects, theoretical foundations, implementation techniques,
   systems development and applications, of the mechanization of
   tableau-based reasoning and related methods is presented. As
   the first TABLEAUX workshop was held in Lautenbach in 1992, this
   year's conference will include special events celebrating 25 years
   of TABLEAUX.

   The conference will be held in Brasilia from 25-28 September 2017.
   It will be co-located with both the 11th International Symposium
   on Frontiers of Combining Systems (FroCoS 2017) and the 8th
   International Conference on Interactive Theorem Proving (ITP
   2017).

TOPICS
   Tableau methods offer a convenient and flexible set of tools for
   automated reasoning in classical logic, extensions of classical
   logic, and a large number of non-classical logics. For large groups
   of logics, tableau methods can be generated automatically. Areas
   of application include verification of software and computer
   systems, deductive databases, knowledge representation and its
   required inference engines, teaching, and system diagnosis.

   Topics of interest include but are not limited to:

 * tableau methods for classical and non-classical logics
   (including first-order, higher-order, modal, temporal,
   description, hybrid, intuitionistic, substructural,
   relevance, non-monotonic logics) and their proof-theoretic
   foundations;
 * related methods (SMT, model elimination, model checking,
   connection methods, resolution, BDDs, translation approaches);
 * sequent calculi and natural deduction calculi for classical
   and non-classical logics, as tools for proof search and proof
   representation;
 * flexible, easily extendable, light weight methods for theorem
   proving;
 * novel types of calculi for theorem proving and verification
   in classical and non-classical logics;
 * systems, tools, implementations, empirical evaluations and
   applications (provers, logical frameworks, model checkers, ...);
 * implementation techniques (data structures, efficient
   algorithms, performance measurement, extensibility, ...);
 * extensions of tableau procedures with conflict-driven
   learning, generation of proofs; compact (or humanly readable)
   representation of proofs;
 * decision procedures, theoretically optimal procedures;
 * applications of automated deduction to mathematics, software
   development, verification, deductive and temporal
   databases, knowledge representation, ontologies, fault
   diagnosis or teaching.

   We also welcome papers describing applications of tableau
   procedures to real world examples. Such papers should be tailored
   to the tableau community and should focus on the role of
   reasoning, and logical aspects of the solution.

CELEBRATING 25 YEARS
   To celebrate 25 years TABLEAUX the conference will include a
   special session of invited talks by Wolfgang Bibel and Reiner
   Haehnle.

INVITED SPEAKERS:
   Wolfgang Bibel Technische Universitaet Darmstadt, Germany
  (anniversary session)
   Carlos Areces  FaMAF - Universidad Nacional de Cordoba, Argentina
   Katalin Bimbo  University of Alberta, Canada  (with FroCoS and 
ITP)
   Jasmin Blanchette  Inria and LORIA, Nancy, France (with FroCoS and 
ITP)
   Reiner Haehnle Technische Universitaet Darmstadt, Germany
  (anniversary session)
   Cezary KaliszykUniversitaet Innsbruck, Austria (with FroCoS and 
ITP)

WORKSHOPS AND TUTORIALS
   There will be a three-day programme of four workshops and four
   tutorials from 23-25 September.

   Workshops:

 12th Logical and Semantic Frameworks with Applications (LSFA 2017)
 Sandra Alves, Renata Wassermann, Flavio L. C. de Moura
 23 and 24 September 2017

 Proof eXchange for Theorem Proving (PxTP)
 Catherine Dubois, Bruno Woltzenlogel Paleo
 23 and 24 September 2017

 EPS - Encyclopedia of Proof Systems
 Giselle Reis, Bruno Woltzenlogel Paleo
 24 and 25 September 2017

 DaLi - Dynamic Logic: new trends and applications
 Mario Benevides, Alexandre Madeira
 24 September 2017

   Tutorials:

 Proof Compressions and the conjecture NP = PSPACE
 Lew Gordeev, Edward Hermann Haeusler
 23 September 2017

 General methods in proof theory for modal and substructural logics

[Om-announce] [simu-conf] UPCOMING DEADLINE - WinterSim 2017

[vsim-conf]

DEADLINE IN 10 DAYS - Contributed Papers Deadline is April 28, 2017

Winter Simulation Conference (WSC) 2017 - Call for Papers December 3-6, 2017
Red Rock Casino Resort & Spa
11011 W. Charleston Blvd.
Las Vegas, NV 89135
www.wintersim.org

WSC TURNS 50:  SIMULATION EVERYWHERE!
>From experimentation to theory; standards and advanced methodologies,
modeling and simulation is continually pushing the envelope of the available
technologies, as many sectors have growing needs to process, visualize, make
readable, understand, and deploy complex models that use immense amounts of
data. These players need to transform data into hypothesis building and
critical decision-making, and to change their models in response to new
hypotheses, usually involving multiple highly specialized experts working
together in geographically distant areas.

After 50 years, we are now beyond Modeling and Simulation using Grid and
Cloud computing, Web-based and distributed simulation and other recent
technologies. We need to deal with computing power and storage in
heterogeneous environments, resources virtualization; services consumed on
demand (with minimal limitation for resource location), power issues,
massive datasets. We face new challenges as we have ubiquitous processors
that can process applications on demand.

WSC 2017 focus is on addressing how to achieve the goal of having Simulation
Everywhere!

WSC 2017 is sponsored by:  ACM/SIGSIM, IISE (Institute of Industrial and
Systems Engineers), INFORMS-SIM and SCS (Society for Modeling and Simulation
International), with Technical Co-Sponsorship from ASA (American Statistical
Association), ASIM (Arbeitsgemeinschaft Simulation), IEEE/SMC (Systems, Man
and Cybernetics) and NIST (National Institute of Standards and Technology).

LOCATION
WSC 2017 will be held at the Red Rock Casino Resort & Spa in Las Vegas, NV.
The resort hotel provides an idyllic getaway just minutes from the
world-renowned Las Vegas Strip and is ideally situated near the entrance to
the Red Rock Canyon National Recreation Center.

PROGRAM
WSC 2017 features a comprehensive program ranging from introductory
tutorials to state-of-the-art research and practice. Planned tracks are:

- Agent-Based Simulation
- Analysis Methodology
- Architecture and Construction
- Aviation Modeling and Analysis
- Cyber-Physical Systems
- Environment and Sustainability Applications
- Future of Simulation
- Gaming
- Healthcare Applications
- History of Simulation
- Hybrid Simulation
- Manufacturing Applications
- Logistics, SCM, Transportation
- Military Applications and Homeland Security
- Intelligent, Adaptive and Autonomous Systems (MSIAAS)
- Modeling Methodology
- Project Management
- Simulation Education
- Simulation Optimization
- Social and Behavioral Simulation

- Introductory Tutorials
- Advanced Tutorials

Also, a PhD Colloquium, Poster Session, Vendor and Case Studies tracks
provide background on established and new methods, tools and application
domains.

WSC 2017 continues to incorporate the MASM (Modeling and Analysis for
Semiconductor Manufacturing) Conference, the leading modeling and analysis
conference for global semiconductor manufacturing and supply chain
operations.

KEYNOTE & TITAN SPEAKERS

50th Anniversary Keynote - Barry L Nelson Northwestern University

WSC 2067:  What Are The Chances?
At the November 1967 "Conference on the Applications of Simulation Using
GPSS" it seems unlikely that anyone was wondering if the conference would
still be occupying a big hotel in 2017. Conferences persist for many
reasons, but a technical conference like WSC has to remain relevant to
users, vendors, researchers and consumers (not just hotels) to survive. If
our kind of simulation vanished, then so (eventually) would WSC. What is
required for simulation to "remain relevant" for the next 50 years? Without
fear of having to answer for my crimes in 2067, I boldly speculate on what
SHOULD matter for the next 10-20 years, if not the next 50, with a focus on
our strength: dealing with uncertainty.

50th Anniversary Titans

Robert G. Sargent
Professor Emeritus - Syracuse University A Prospective on Fifty-Five Years
of the Evolution of Scientific Respect for Simulation

Bernard P. Zeigler
Professor Emeritus of Electrical and Computer Engineering - University of
Arizona

MASM Keynote
Stephane Dauzere-Peres
Professor, Ecole des Mines de Saint-Etienne Achievements and Lessons Learned
from a Long-term Academic-Industrial Collaboration

Military Keynote
Douglas Hodson
Associate Professor, Professor of Computer Engineering at the Air Force
Institute of Technology (AFIT) Military Simulation:  A Ubiquitous Future

50th Anniversary Track Keynote
Brian Hollocks
Professor, Bournemouth University, Faculty of Management.
History of Simulation in the United Kingdom


Further information about submission and the conference:
http://www.wintersim.org
Twitter: @WSConf
Facebook: https://www.facebook.com/wintersimulationconference/



[apologies for 

[Om-announce] SmartIoT2017, August 25th-27th, 2017 at Dalian, China

[SmartIoT 2017]

Dear Colleague,



2017 International Conference on Smart Internet of Things (SmartIoT2017)
will be held on 25th-27th, August 2017 at Dalian, Liaoning, China.
http://www.isiot.org/SmartIoT2017

Submission Due:   May 10, 2017

Author Notification:   June 20, 2017


The primary goal of SmartIoT2017 is to exchange, share and discuss the
latest research, theories and applications for Smart Internet of Things and
Cyber-Physical Systems (CPS). The topics of interests include, but are not
limited to:



* Track 1. Architectures and systems of IoT

* Track 2. Sensing, monitoring, networking and routing

* Track 3. Cloud computing and Big data analysis

* Track 4. Industrial 4.0 and Industrial IoT

* Track 5. Localization, tracking and recognizing for IoT

* Track 6. Social networks, multimedia and mobile computing

* Track 7. Smart cities and internet of vehicles

* Track 8. Emerging research or Technologies for CPS

* Track 9. Control and decision making for smart IoT or CPS

* Track 10. Security and privacy for smart IoT or CPS



Papers need to be prepared according to the IEEE format, and submitted in
PDF format via the SmartIoT 2017 submission site:

http://www.isiot.org/SmartIoT2017/submission.html

Accepted and presented papers will be included in the IEEE Conference
Proceedings published by IEEE CS Press (indexed by EI. Authors of 50%
papers will be invited to submit their paper to a special issue in a
SCI-indexed journal.

Look forwards to receiving your submission.

Best regards.



Smart-IoT 2017 Organization Committee

smartiot.c...@gmail.com

2017 International Conference on Smart Internet of Things (SmartIoT 2017),
25th-27th, August 2017 in Dalian, Liaoning, China.

http://www.isiot.org/SmartIoT2017
___
Om-announce mailing list
Om-announce@openmath.org
http://openmath.org/mailman/listinfo/om-announce