posted by user: mam84 || 3012 views || tracked by 6 users: [display]

MACIS 2013 : Fifth International Conference on Mathematical Aspects of Computer and Information Sciences

FacebookTwitterLinkedInGoogle

Link: http://www.mpi-inf.mpg.de/conference/macis2013/
 
When Dec 11, 2013 - Dec 13, 2013
Where Nanning, China
Submission Deadline Oct 12, 2013
Notification Due Nov 1, 2013
Categories    mathematics   computer science   cryptography
 

Call For Papers

[Apologies if you receive multiple copies]

MACIS 2013 - Fifth International Conference on
Mathematical Aspects of Computer and Information Sciences
Nanning, China, December 11-13, 2013

http://www.mpi-inf.mpg.de/conference/macis2013/


FINAL CALL FOR PAPERS

- Submission of papers/extended abstracts: October 12, 2013
- Notification of acceptance or rejection: November 1, 2013
- Conference taking place: December 11-13, 2013
- MACIS Forum and Satellite Workshop: December 9-10, 2013

MACIS is a series of conferences where foundational research on theoretical and
practical problems of mathematics for computing and information processing may
be presented and discussed. MACIS also addresses experimental and case studies,
scientific and engineering computation, design and implementation of algorithms
and software systems, and applications of mathematical methods and tools to
outstanding and emerging problems in applied computer and information sciences.

Besides original research papers, MACIS strongly encourages submission of
extended abstracts and work-in-progress. Following the conference, participants
will have sufficient time to revise their contributions for possible publication in
the planned MCS post-proceedings (http://www.cc4cm.org/mcs).

The topics for MACIS 2013 fall into the following tracks:

- Constraints and Combinations (Track Chairs: P. Fontaine, U. Waldmann)

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

- Data Modeling and Analysis (Track Chairs: M. Moshkov, X. Zhang)

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 (Track Chairs: J. Bloemer, D. Hutter)

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


MACIS FORUM IN MATHEMATICS, INFORMATICS, AND CULTURE - SATELLITE WORKSHOP

The core conference program will be complemented with a forum in mathematics,
informatics, and culture taking place in Nanning during December 9-10, 2013.

A satellite workshop of MACIS 2013 in Logic, Algebra and Computation will be
held at Beihang University, Beijing, China on December 9, 2013.


CONFIRMED INVITED SPEAKERS

David Monniaux
Senior Researcher at CNRS
Professor of Computer Science at Ecole Polytechnique, France

Zongben Xu
Academician of the Chinese Academy of Sciences
Professor of Mathematics & Computer Science
Vice President of Xi'an Jiaotong University
Chief Scientist of the National Basic Research Program of China


CONFIRMED FORUM SPEAKER

Tianxin Cai
Professor of Mathematics at Zhejiang University
Poet


SUBMISSION

Potential participants of MACIS 2013 are invited to submit extended abstracts
(3-4 pages) or full papers describing their work to be presented at the
conference. The submitted extended abstracts and full papers will be reviewed by
members of the Program Committee (PC) for soundness and relevance to the
conference. Submission of original research papers is encouraged, while
published material and work in progress will also be considered for presentation
at the conference. Electronic submissions are strongly preferred using
EasyChair:

http://www.easychair.org/conferences/?conf=macis2013

Accepted extended abstracts and full papers will be distributed at the
conference. Authors of the extended abstracts and full papers accepted for
presentation at the conference will be invited to submit their full and/or
revised papers for publication in special issues of Mathematics in Computer
Science (MCS - http://www.cc4cm.org/mcs) by Birkhaeuser/Springer after the
meeting. The submitted papers will be formally reviewed by PC members and
external referees according to the refereeing procedure of MCS.


GENERAL CHAIRS
Dongming Wang (University Pierre and Marie Curie - CNRS, France)
Jinzhao Wu (Guangxi University for Nationalities, China)

TRACK CHAIRS
Johannes Bloemer (University of Paderborn, Germany)
Pascal Fontaine (Inria and University of Lorraine, France)
Dieter Hutter (DFKI Bremen, Germany)
Mikhail Moshkov (King Abdullah University of Science and Technology, Saudi Arabia)
Uwe Waldmann (Max Planck Institute for Informatics, Germany)
Xiangliang Zhang (King Abdullah University of Science and Technology, Saudi Arabia)

PROGRAM COMMITTEE
Thomas Sturm (Max Planck Institute for Informatics, Germany), Chair
Hirokazu Anai (Kyushu University, Japan)
Jintai Ding (University of Cincinnati, USA)
Hoon Hong (North Carolina State University, USA)
Laura Kovacs (Chalmers University of Technology, Sweden)
Dongdai Lin (Chinese Academy of Sciences, China)
Grant Olney Passmore (University of Edinburgh, UK)
Stefan Ratschan (Academy of Sciences, Czech Republic)
Enric Rodriguez Carbonell (Technical University of Catalonia, Spain)
Dominik Slezak (University of Warsaw, Poland)
Werner Stephan (DFKI Saarbruecken, Germany)
Xiaohui Tao (University of Southern Queensland, Australia)
Luca Vigano (University of Verona, Italy)
Suojin Wang (Texas A&M University, USA)
Bican Xia (Peking University, China)
Lihong Zhi (Academia Sinica, China)

LOCAL COMMITTEE CHAIR
Yongquan Zhou (Guangxi University for Nationalities, China)

PUBLICITY CHAIRS
Marek Kosta (Max Planck Institute for Informatics, Germany)
Chenqi Mou (Beihang University, China)

Related Resources

FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
ICDMML 2020   【EI SCOPUS】2020 International Conference on Data Mining and Machine Learning
ACM--ICACS--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Algorithms, Computing and Systems (ICACS 2020)--Ei Compendex, Scopus
SPTM 2020   8th International Conference of Security, Privacy and Trust Management
CIKM 2020   29TH ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT
ISBDAI 2020   【Ei Compendex Scopus】2020 International Symposium on Big Data and Artificial Intelligence
VRIS--SPIE, EI, Scopus 2020   SPIE--2020 2nd International Conference on Virtual Reality and Intelligent System (VRIS 2020)--EI Compendex, Scopus
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
SPIE--ICGIP--EI Compendex, Scopus 2020   SPIE--2020 12th International Conference on Graphics and Image Processing (ICGIP 2020)--EI Compendex, Scopus
MoWiN 2020   9th International Conference on Mobile & Wireless Networks