m (Text replacement - "[\(]User:Curator 83" to "(Ch") |
m (Text replacement - "Homepage=" to "Official Website=") |
||
(5 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
|Title=MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences | |Title=MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences | ||
|Type=Workshop | |Type=Workshop | ||
− | |||
|City=Vienna | |City=Vienna | ||
− | | | + | |Official Website=https://macis2017.sba-research.org/ |
− | |||
− | |||
|pageCreator=Omid.nn | |pageCreator=Omid.nn | ||
|pageEditor=Omid.nn | |pageEditor=Omid.nn | ||
Line 14: | Line 11: | ||
|Start Date=2017/11/15 | |Start Date=2017/11/15 | ||
|End Date=2017/11/17 | |End Date=2017/11/17 | ||
+ | |Academic Field=Information Security | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Submission Deadline=2017/09/03 | ||
+ | }} | ||
+ | {{S Event}} | ||
Call for Papers | Call for Papers | ||
Line 40: | Line 44: | ||
+++ MACIS 2017 Organization +++ | +++ MACIS 2017 Organization +++ | ||
− | General | + | General Chair: |
Dimitris E. Simos, SBA Research, Austria | Dimitris E. Simos, SBA Research, Austria | ||
− | PC | + | PC Chairs: |
Johannes Bloemer, Paderborn University, Germany | Johannes Bloemer, Paderborn University, Germany | ||
Temur Kutsia, RISC, Johannes Kepler University, Austria | Temur Kutsia, RISC, Johannes Kepler University, Austria | ||
Line 51: | Line 55: | ||
Siegfried Rump, Hamburg University of Technology, Germany | Siegfried Rump, Hamburg University of Technology, Germany | ||
Thomas Sturm, Max Planck Institute for Informatics, Germany | Thomas Sturm, Max Planck Institute for Informatics, Germany | ||
− | Dongming Wang, Beihang University, | + | Dongming Wang, Beihang University, China |
− | Jinzhao Wu, Guangxi University for Nationalities, | + | Jinzhao Wu, Guangxi University for Nationalities, China Chee Yap, New York University, USA |
− | |||
+++ Proceedings +++ | +++ Proceedings +++ | ||
Line 69: | Line 72: | ||
Track 1: Foundation of Algorithms in Mathematics, Engineering & Scientific | Track 1: Foundation of Algorithms in Mathematics, Engineering & Scientific | ||
Computation | Computation | ||
− | Track | + | Track Chairs: Matthew England (Coventry University, UK), Jonathan Hauenstein |
(University of Notre Dame, USA), Laura Kovacs (Vienna University of Technology, | (University of Notre Dame, USA), Laura Kovacs (Vienna University of Technology, | ||
Austria), Elias Tsigaridas (INRIA, France) | Austria), Elias Tsigaridas (INRIA, France) | ||
Line 79: | Line 82: | ||
Track 2: Combinatorics and Codes in Computer Science | Track 2: Combinatorics and Codes in Computer Science | ||
− | Track | + | Track Chairs: Daniel Augot (INRIA & Ecole Polytechnique, France), Alexander May |
(Ruhr-University Bochum, Germany), Alfred Wassermann (University of Bayreuth, | (Ruhr-University Bochum, Germany), Alfred Wassermann (University of Bayreuth, | ||
Germany) | Germany) | ||
Line 88: | Line 91: | ||
Track 3: Data Modeling and Analysis | Track 3: Data Modeling and Analysis | ||
− | Track | + | Track Chairs: Xiaoyu Chen (Beihang University, China) Joachim Giesen (Friedrich |
Schiller University Jena, Germany), Giorgos Kollias (IBM Research, USA) | Schiller University Jena, Germany), Giorgos Kollias (IBM Research, USA) | ||
Topics: knowledge discovery; data mining; differential privacy, pattern | Topics: knowledge discovery; data mining; differential privacy, pattern | ||
Line 96: | Line 99: | ||
Track 4: Mathematical Aspects of Information Security and Cryptography | Track 4: Mathematical Aspects of Information Security and Cryptography | ||
− | Track | + | Track Chairs: Jan Camenisch (IBM Research, Switzerland), Stefan Dziembowski |
(University of Warsaw, Poland), Guenael Renault (ANSSI, France) | (University of Warsaw, Poland), Guenael Renault (ANSSI, France) | ||
Topics: security models; formal methods for security and privacy; design and | Topics: security models; formal methods for security and privacy; design and |
Latest revision as of 14:12, 19 October 2022
|
||
Submission |
Vienna
Call for Papers
MACIS 2017 7th International Conference on Mathematical Aspects of Computer and Information Sciences November 15-17, 2017 Vienna, Austria. Web site: https://macis2017.sba-research.org/
MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. MACIS 2017 will feature invited presentations and a selective four-track program of contributed papers describing original and unpublished research.
+++ Important Dates +++
Submission deadline (REGULAR/SHORT papers): September 3, Sunday (SHORT papers are decided on a rolling basis) Notification deadline for all submissions: October 2, Monday Registration opens: October 2, Monday Camera-ready due: October 15, Sunday
Deadlines are firm; late submissions will not be considered.
+++ MACIS 2017 Organization +++
General Chair: Dimitris E. Simos, SBA Research, Austria
PC Chairs: Johannes Bloemer, Paderborn University, Germany Temur Kutsia, RISC, Johannes Kepler University, Austria
MACIS Steering Committee: Ilias Kotsireas (Chair), Wilfrid Laurier University, Canada Siegfried Rump, Hamburg University of Technology, Germany Thomas Sturm, Max Planck Institute for Informatics, Germany Dongming Wang, Beihang University, China Jinzhao Wu, Guangxi University for Nationalities, China Chee Yap, New York University, USA
+++ Proceedings +++
All accepted SHORT or REGULAR papers (details, below) are planned to appear in a conference proceedings volume published by Springer LNCS (pending approval). In addition, REGULAR papers have the opportunity to be considered for post-conference special issues of the journal ``Mathematics in Computer Science (MCS http://link.springer.com/journal/11786) by Birkhauser/Springer.
+++ MACIS 2017 Topics +++
MACIS authors are required to choose one of the following tracks:
Track 1: Foundation of Algorithms in Mathematics, Engineering & Scientific Computation Track Chairs: Matthew England (Coventry University, UK), Jonathan Hauenstein (University of Notre Dame, USA), Laura Kovacs (Vienna University of Technology, Austria), Elias Tsigaridas (INRIA, France) Topics: 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
Track 2: Combinatorics and Codes in Computer Science Track Chairs: Daniel Augot (INRIA & Ecole Polytechnique, France), Alexander May (Ruhr-University Bochum, Germany), Alfred Wassermann (University of Bayreuth, Germany) Topics: combinatorics, enumerative, combinatorial designs, their analysis and algorithmic constructions of them, complexity problems in combinatorics; codes constructions, decoding methods and their complexity, information theory aspects, Kolmogorov complexity
Track 3: Data Modeling and Analysis Track Chairs: Xiaoyu Chen (Beihang University, China) Joachim Giesen (Friedrich Schiller University Jena, Germany), Giorgos Kollias (IBM Research, USA) Topics: knowledge discovery; data mining; differential privacy, pattern recognition; complex knowledge - representation and management; foundations and theories for data analysis - systems; design and analysis of machine learning algorithms, statistical analysis for big data
Track 4: Mathematical Aspects of Information Security and Cryptography Track Chairs: Jan Camenisch (IBM Research, Switzerland), Stefan Dziembowski (University of Warsaw, Poland), Guenael Renault (ANSSI, France) Topics: security models; formal methods for security and privacy; design and analysis of algebraic, elliptic, number theoretical, code-based, lattice-based and hash-based cryptographic primitives; algebraic cryptanalysis, algebraic attacks, number theoretical algorithms, mathematical foundations of post-quantum cryptography; (lattices, codes); algorithms and software for symbolic computation in cryptography
- For general inquiries regarding MACIS 2017, please send e-mail to Dimitris Simos (dsimos@sba-research.org) - For inquiries regarding MACIS topics, please send e-mail to Johannes Bloemer (bloemer@mail.uni-paderborn.de) or to Temur Kutsia (kutsia@risc.jku.at)
+++ Submission Guidelines +++
Authors are invited to submit papers, presenting original and unpublished research: - REGULAR papers are up to 15 pages, and SHORT papers are up to 5 pages, including references. - Simultaneous submission to other conferences with published proceedings or journals is not allowed. - Please use the LNCS format from Springer: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip - Submissions should be made to the appropriate track of the conference, by using the easychair submission system: https://easychair.org/conferences/?conf=macis2017. - For detailed submission guidelines please see the MACIS website: https://macis2017.sba-research.org