ZIB

MACIS 2015

Sixth International Conference on Mathematical Aspects of Computer and Information Sciences

Call for Papers

The submission Web site for MACIS 2015 is https://easychair.org/conferences/?conf=macis2015.
Open after April 21.

All accepted SHORT or REGULAR papers will appear in a post-conference proceedings published by LNCS. In addition, REGULAR papers have the opportunity to be considered for post-conference special issues of the journal Mathematics in Computer Science (MCS http://www.cc4cm.org/mcs) by Birkhauser/Springer.

Submissions

 
Original research papers in English, including experimental work and work-in-progress are welcome. All papers must be categorized as SHORT or REGULAR, and indicate a Special Session (SS0, SS1, SS2, etc). When there are no obvious or relevant Special Sessions, it is always safe to use the generic "SS0". Paper titles must be tagged as illustrated here: "SHORT-SS1: ...title..." -or- "REGULAR-SS0: ...title..." The 2-part tag is in the same line as the title.

REGULAR papers are up to 15 pages, and SHORT papers are up to 5 pages, including of references. The Special Session tag is mainly a hint to the PC, and non-binding on the author or on the PC. Submit via EasyChair:

Please send your submission to:
https://easychair.org/conferences/?conf=macis2015.
open after April 21.

There is an option to convert from SHORT papers to REGULAR papers: simply make a new submission for your REGULAR paper before the deadline, keeping the same title but with a new tag. At least one author of each accepted submission must register at MACIS 2015. Decision on the SHORT paper will be made on a rolling basis, normally about 10-15 days after submission. The title and abstract of accepted papers will appear on our Website shortly after acceptance, and published in the pre-conference proceedings.

MACIS 2015 Topics

(non-exclusive list)
 
Foundation of Algorithms in Mathematics, Engineering & Scientific Computation
quantifier elimination and decision procedures; global optimization; differential equations; numeric, symbolic, interval and hybrid solution techniques; satisfiability modulo theories; combinations of logics and deductive engines; applications, especially in systems analysis and formal verification; solving (parametric) polynomial systems
 

Data Modeling and Analysis
- knowledge discovery; data mining; pattern recognition; complex knowledge - representation and management; foundations and theories for data analysis - systems; big data storage, transfer, and processing

Information Security and Cryptography
- security models; formal methods for security; cryptographic protocols; - compositional security; information flow; language-based security; access - control; database security; anonymity and privacy; encryption schemes; - digital signatures; hash functions; cryptanalysis

Important Dates (NEW!)

Submission opens :   Apr 21, 2015
(SHORT papers are decided on a rolling basis)
Deadline for all Submissions:   Sep 1, 2015
Notification of Decision for REGULAR Papers:   Oct 1, 2015
Camera-ready copy due:   Nov 30, 2015
Conference:   November 11–13, 2015