[Om-announce] Call for sessions, ICMS 2018

[James Davenport]

6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE
University of Notre Dame, 24--27 July 2018
http://icms-conference.org/2018/

CALL FOR SESSIONS

===

The 6th International Congress on Mathematical Software will be held from
July 24 to July 27, 2018 at the University of Notre Dame.
The General Chair is James H. Davenport and the Local Chairs are
Jonathan Hauenstein and Andrew Sommese.

The program consists of several topical sessions. Each session will provide an
overview of the challenges, achievements and progress in a subfield of
mathematical software research, development and use. A list of possible topics
is given at the bottom. The program committee will consist of the session
organizers. At this time we solicit session proposals.

How to propose a session?

Prepare a session proposal with the following contents.
title of the session
name(s) of the organizer(s), with contact addresses and emails
aim and scope of the session (at most 150 words)
Submit it
by email to one of the Program Chairs:
   Manuel Kauers 
   George Labahn 
   Josef Urban 
at latest by Jan 31, 2018.
The decision on the proposal will be made
by the program chairs, the general chair, and the advisory board
   within mid-February 2018.

How to organize a session?

Maintain a session web page. Send a call for abstracts to the potential
speakers in the topic area of the session. Review the submitted abstracts
and make decision on their acceptance, preferrably on a rolling basis.
Complete the process by April 15, 2018. During the meeting, chair your
session.

Format of a session

A session will consist of one or more time slots. A time slot will consist
of about 3-4 talks. We encourage that each session begins with one general
overview talk (may be given by a session organizer). This format is meant
only as a rough frame; the organization of a session can be done in a quite
free fashion (e.g., concerning the duration of the individual
contributions). "Talks" may also include software presentations and demos.

Possible topics for sessions

These are not exclusive. You can propose any mathematical topic.
These are not required titles of sessions. You can propose any title.
These are provided as initial hint for topics and titles.

logic
theorem proving
logic minimization
quantifier elimination

number theory
diophantine equations
algebraic numbers theory
analytic number theory
elliptic curves

combinatorics
partition
graph
matroid
finite summation, difference equations
arithmetic combinatorics
algebraic combinatorics
analytic combinatorics
topological combinatorics
...
algebra
group theory
linear algebra
polynomial algebra
differential algebra
homological algebra
non-commutative algebra
tensor algebra

analysis
numerical analysis
functional analysis
differential/integral equations
special functions

geometry
computational geometry
polyhedral geometry
algebraic geometry
differential geometry
algebraic topology
differential topology
...
inter-disciplinary
statistics
optimization
cryptography
coding
scientific computation
engineering computation
mathematical document processing
education
...
mathematical problem solving platform
mathematical theory exploration
mathematical knowledge management
user interface
programming language
kernel design
...

Sent from Mail for Windows 10

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

[Om-announce] CAV 2018 - Call for Papers

[geoff]

CALL FOR PAPERS

CAV 2018: The 30th International Conference on Computer Aided Verification

July 14-17 2018, Oxford, UK, Part of the Federated Logic Conference, FLoC 2018

http://cavconference.org/2018/

http://floc2018.org

IMPORTANT DATES:

Paper submission deadline: January 31, 2018 (firm)
Rebuttal period: March 15-17, 2018
Author notification: March 31st, 2018

CAV 2018 is the 30th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. The conference covers the spectrum from
theoretical results to concrete applications, with an emphasis on
practical verification tools and the algorithms and techniques that
are needed for their implementation. CAV considers it vital to
continue spurring advances in hardware and software verification while
expanding to new domains such as machine learning, autonomous systems,
and computer security. The proceedings of the conference will be
published in the Springer-Verlag Lecture Notes in Computer Science
series. A selection of papers is expected to be invited to a special
issue of Formal Methods in System Design and the Journal of the ACM.

CAV'18 will take place in Oxford, UK, and is a part of the Federated
Logic Conference (FLoC) 2018.

Topics of interest include but are not limited to:

• Algorithms and tools for verifying models and implementations
• Algorithms and tools for system synthesis
• Algorithms and tools that combine verification and learning
- Mathematical and logical foundations of verification and synthesis
- Specifications and correctness criteria for programs and systems
- Deductive verification using proof assistants
- Hardware verification techniques
- Program analysis and software verification
- Software synthesis
- Hybrid systems and embedded systems verification
- Formal methods for cyber-physical systems
- Compositional and abstraction-based techniques for verification
- Probabilistic and statistical approaches to verification
- Verification methods for parallel and concurrent systems
- Testing and run-time analysis based on verification technology
- Decision procedures and solvers for verification and synthesis
- Applications and case studies in verification and synthesis
- Verification in industrial practice
- New application areas for algorithmic verification and synthesis
- Formal models and methods for security
- Formal models and methods for biological systems

Submissions on a wide range of topics are sought, particularly ones
that identify new research directions. CAV 2018 is not limited to
topics discussed in previous instances of the conference.  Authors
concerned about the appropriateness of a topic may communicate with
the conference chairs prior to submission.

INVITED SPEAKERS

Somesh Jha (University of Wisconsin)
Eran Yahav (Technion)

TUTORIALS (July 13, 2018)

Shaz Qadeer (Microsoft Research)
Matteo Maffei (TU Wien)

PROGRAM COMMITTEE

See http://cavconference.org/2018/organization/

CAV AWARD

The CAV award is given annually at the CAV conference for
fundamental contributions to the field of Computer-Aided
Verification. 

CAV Award Nomination deadline: February 20, 2018

Details and Award Committee: see http://cavconference.org/cav-award

PAPER SUBMISSION

- Full papers should be uploaded by the submission deadline.
- Tool papers require the submission of an artifact (in the artifact
evaluation track) in addition to the paper submission.

As in 2017, CAV will follow a lightweight double-blind review process.
Authors are expected to make a reasonable effort to anonymize the 
submission. 

Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is
not allowed.  The review process will include a feedback/rebuttal
period where authors will have the option to respond to reviewer
comments.  The PC chairs may solicit further reviews after the
rebuttal period.

Submission site:

 https://easychair.org/conferences/?conf=cav2018 (opens January 2018)

Submissions will be in two categories: Regular Papers and Tool Papers.

Regular Papers

Regular Papers should not exceed 16 pages in LNCS format, not counting
references and appendices.  Authors can include a clearly marked
appendix at the end of their submissions that is exempt from the page
limit restrictions. However, the reviewers are not obliged to read the
contents of these appendices.  These papers should contain original
research and sufficient detail to assess the merits and relevance of
the contribution.  Papers will be evaluated on basis of a combination
of correctness, technical depth, significance, novelty, clarity, and
elegance. We welcome papers on theory, case studies, and comparisons
with existing experimental research, as well as combinations of new
theory with experimental evaluation.  A strong theoretical paper is
not required to have an experimental component.  On the other hand,
strong papers 

[Om-announce] IJCAR 2018 - Call for Papers

[geoff]

   CALL FOR PAPERS

   The 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org

   Part of The Federated Logic Conference, FLoC 2018,
 Oxford, UK, July 6-19, 2018.  http://www.floc2018.org

IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR technical program will consist of presentations of
high-quality original research papers, system descriptions, and invited talks.

IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events
in automated reasoning:

CADE (Conference on Automated Deduction),
FroCoS (Symposium on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)

Topics:
---
IJCAR 2018 invites submissions related to all aspects of automated reasoning,
including foundations, implementations, and applications. Original research
papers and descriptions of working automated deduction systems are solicited.

IJCAR topics include the following ones:

- Logics of interest include: propositional, first-order, classical,
  equational, higher-order, non-classical, constructive, modal, temporal,
  many-valued, substructural, description, type theory, etc.
- Methods of interest include: tableaux, sequent calculi, resolution, model-
  elimination, inverse method, paramodulation, term rewriting, induction,
  unification, constraint solving, decision procedures, model generation,
  model checking, semantic guidance, interactive theorem proving, logical
  frameworks, AI-related methods for deductive systems, proof presentation,
  automated theorem provers, combination of decision procedures, SAT and SMT
  solving, etc.
- Applications of interest include: verification, formal methods, program
  analysis and synthesis, computer mathematics, declarative programming,
  deductive databases, knowledge representation, etc.

We welcome papers combining automated-reasoning formalisms & techniques and
with those from other areas of CS and mathematics, including, e.g., computer
algebra, machine learning, formal languages, formal verification, termination.
In particular, high-quality conference papers on the topics of the IJCAR 2018
affiliated workshops (http://ijcar2018.org/#assocev) are welcome.

The proceedings of IJCAR 2018 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).

Submission details:
---
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2018.
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format,
which can be obtained from
http://www.springer.de/comp/lncs/authors.html
We solicit two categories of submissions:

REGULAR PAPERS. Submissions, not exceeding sixteen (16) pages including
bibliography, should contain original research, and sufficient detail to assess
the merits and relevance of the contribution. For papers reporting experimental
results, authors are strongly encouraged to make their data and software
available with their submission for reproducibility. The PC will take
availability of software and data into account when evaluating submissions.
Submissions reporting on case studies in an industrial context are strongly
invited, and should describe details, weaknesses and strength in sufficient
depth. Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is not
allowed.

SYSTEM DESCRIPTIONS. Submissions, not exceeding eight (8) pages including
bibliography, should describe the implemented tool and its novel features. One
author is expected to be able to perform a demonstration on demand to accompany
a tool presentation. Papers describing tools that have already been presented
in other conferences before will be accepted only if significant and clear
enhancements to the tool are reported and implemented.

Best paper award:
-
IJCAR 2018 will recognize the most outstanding submission with a best paper
award at the conference.


IJCAR'18 Special Issue of the Journal of Automated Reasoning:
-
The authors of a selection of the best IJCAR'18 papers will be invited
to produce an extended version of their paper for a special issue of
the Journal of Automated Reasoning.

Invited speakers:
-
Invited Speakers will be announced later on.

Important dates (provisional):
--
Abstract submission: January 22nd 2018
Paper submission: January 29th 2018
Notification: March 29th, 2018
Final version of papers due: April 23rd, 2018
IJCAR Conference: July 14-17th, 2018
FLoC Conference: July 6-19th, 2018

IMPORTANT NOTICE: due to very strict FLoC constraints, deadlines are SHARP!

Student travel awards:
--
Woody Bledsoe Travel Awards will be available to support selected 

[Om-announce] Call for Papers: ARES 2018

[res.mb.conference]

ARES 2018 - CALL FOR PAPERS

**
The 13th International Conference on Availability, Reliability and Security 
(ARES 2018)
August 27 - August 30, 2018, Hamburg, Germany
http://www.ares-conference.eu
**

***
ARES CONFERENCE

The 13th International Conference on Availability, Reliability and Security 
("ARES - The International Dependability Conference") will bring together 
researchers and practitioners in the area of dependability. ARES will highlight 
the various aspects of dependability - with special focus on the crucial 
linkage between availability, reliability and security.

ARES aims at a full and detailed discussion of the research issues of 
dependability as an integrative concept that covers amongst others 
availability, safety, confidentiality, integrity, maintainability and security 
in the different fields of applications.

ARES will emphasize the interplay between foundations and practical issues of 
dependability in emerging areas such as e-government, m-government, 
location-based applications, ubiquitous computing, autonomous computing, 
chances of grid computing etc. ARES is devoted to the critical examination and 
research challenges of the various aspects of Dependable Computing and the 
definition of a future road map.

Selected papers that are accepted by and presented at the ARES Conference will 
be published, after further revision, in special issues of international 
journals (e.g. Springer EURASIP Journal on Information Security). The 
acceptance rate of the ARES 2017 conference was 24% (full papers only). ARES 
2017 was published by the International Conference Proceedings Series published 
by ACM (ACM ICPS).

ARES is ranked as B-conference in CORE. Qualis (backed by Brazilian Ministry) 
ranked ARES and Esorics as leading security conference in Europe (A2)
l papers only).


CONFERENCE OFFICERS

General Chairs 2018
Mathias Fischer, Universität Hamburg, Germany
Dominik Herrmann, Universität Hamburg, Germany

Program Committee Chairs 2018
Christian Doerr, TU Delft, Netherlands
Sebastian Schrittwieser, FH St. Pölten, Austria


IMPORTANT DATES

Submission Deadline: March 16, 2018 23:59 UTC-11
Author Notification: May 30, 2018
Proceedings Version: June 29, 2018
Conference: August 27 - August 30, 2018


SUBMISSION

ARES 2017 was published by the International Conference Proceedings Series 
published by ACM (ACM ICPS).

Authors are invited to submit research and application papers according the 
following guidelines: two columns, single-spaced, including figures and 
references, using 10 pt fonts and number each page.

For the main conference as well as the workshops submission papers are 
classified into 3 categorizes representing original, previously unpublished 
work:
-full paper (10 pages)
-short paper (6 pages)
-workshop paper (8 pages, a maximum of 10 pages is tolerated)

Formating Instructions / template:
Please read the template instructions carefully before submitting a paper, they 
can be found here 
(http://www.acm.org/publications/article-templates/proceedings-template.html/).
Papers submitted to ARES 2018 have to use the SigConf template!

Submitted papers will be carefully evaluated based on originality, 
significance, technical soundness, presentation and clarity of exposition.

Simultaneous submission of the same work to multiple venues, submission of 
previously published work, or plagiarism constitutes dishonesty or fraud. ARES, 
like other scientific and technical conferences and journals, prohibits these 
practices and may take action against authors who have committed them.

Contact author must provide the following information at the ARES conference 
system: paper title, authors' names, affiliations, postal address, phone, fax, 
and e-mail address of the author(s), about 200-250 word abstract, and about 
five keywords. Accepted papers will be given guidelines in preparing and 
submitting the final manuscript(s) together with the notification of acceptance.

Double blind review: ARES requires anonymized submissions - please make sure 
that submitted papers contain no author names or obvious self-references.

Submission of a paper implies that should the paper be accepted, at least one 
of the authors will register and present the paper in the conference.

The ARES submission system (EasyChair) is available here: 
https://easychair.org/conferences/?conf=ares2018

Publishing preprints to Arxiv or other, open repositories is allowed prior to 
the notification of ARES and does not violate the requirement for novelty. 
Reviewers will be asked to not search for and ignore preprints that can 
deanonymize blinded submission.

Important Note:
To avoid accepting papers for ARES 2018 which are not presenting 

[Om-announce] IEEE CNS 2018 - Call for Posters (Deadline: March 5)

[LUO, LANNAN]

[Apologies, if you receive multiple copies of this CFP]


CALL FOR POSTERS

**
6th IEEE Conference on Communications and Network Security (CNS 2018)
30 May - 1 June 2018, Beijing, China
http://cns2018.ieee-cns.org
**

The IEEE Conference on Communications and Network Security (CNS) is a premier 
forum for cyber security researchers, practitioners, policy makers, and users 
to exchange ideas, techniques and tools, raise awareness, and share experiences 
related to all practical and theoretical aspects of communications and network 
security.

Building on the success of the past years' conferences, IEEE CNS 2018 welcomes 
poster submissions to be presented during the conference. A poster submission 
should be a 2-page abstract, which summarizes the key merits of proposed ideas, 
presents initial results, and identifies challenges to develop a complete 
solution. Poster submissions will be evaluated by the Posters Session Committee 
based on the novelty and the potential to stimulate discussions and promote 
collaborations. Posters should be submitted via EDAS at 
https://edas.info/N24385. Please follow the same template for regular 
conference papers available on http://cns2018.ieee-cns.org.
Sample topics of interest include, but are not limited to:

- Anonymity and privacy technologies
- Biometric authentication and identity management
- Computer and network forensics
- Cyber deterrence strategies
- Data and application security
- Data protection and integrity
- Game-theoretic security technologies
- Implementation and evaluation of networked security systems
- Information-theoretic security
- Intrusion detection, prevention, and response
- Key management, public key infrastructures, certification, revocation, and 
authentication
- Location privacy
- Malware detection and mitigation
- Physical-layer and cross-layer security technologies
- Security metrics and models
- Security and privacy for big data
- Security and privacy for data and network outsourcing services
- Security and privacy for mobile and wearable devices
- Security and privacy in cellular networks
- Security and privacy in cloud and edge computing
- Security and privacy in crowdsourcing
- Security and privacy in emerging wireless technologies (dynamic spectrum 
sharing, cognitive radio networks, millimeter wave communications, MIMO 
systems, etc.)
- Security and privacy in peer-to-peer and overlay networks
- Security and privacy in WiFi, ad hoc, mesh, sensor, vehicular, body-area, 
disruption/delay tolerant, and social networks.
- Security and privacy in smart cities, smart and connected health, IoT, and 
RFID systems
- Security for critical infrastructures (smart grids, transportation systems, 
etc.)
- Security for future Internet architectures and designs
- Security for software-defined and data center networks
- Social, economic, and policy issues of trust, security, and privacy
- Traffic analysis
- Usable security and privacy
- Web, e-commerce, m-commerce, and e-mail security


IMPORTANT DATES
Deadline for poster submission: March 5, 2018
Notification to authors: March 26, 2018
Camera-ready version: April 2, 2018


INSTRUCTIONS FOR AUTHORS
The conference will arrange the poster session in a room where the posters can 
be displayed. An accepted poster must be presented by an author in the poster 
session to interested attendees. The abstract of the accepted posters will 
appear in the conference proceeding and be submitted to IEEE Xplore. Each 
accepted poster requires an author to register for the conference at the 
appropriate rate based on the membership level. Each author registration can 
cover up to three posters or papers of the conference, but each poster must 
have a dedicated presenter at the session.

A Best Poster Award will be given based on the poster's novelty and potentials 
in research. The quality of presentation and the interaction during the session 
will also be important criteria. The award will be announced in a plenary 
session of the main conference.


POSTER CHAIRS
Sara Foresti, Universita' degli Studi di Milano, Italy
Chunyi Peng, Purdue University, USA


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