November 13-15, 2019
MACIS 2019
Gebze-Istanbul, Turkey


The book of abstracts is available here.



The conference program is available here.



MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. It is broadly concerned with algorithms, their complexity and their embedding in larger logical systems. At the algorithmic level, there is the rich interplay along the Numerical/Algebraic/Geometric/Topological axes. At the logical level, there are issues of data organization, interpretation and associated tools. These issues often arise in scientific and engineering computation where we need experimental and case studies to validate or enrich the theory. MACIS is interested in outstanding and emerging problems in all these areas.

The 8th iteration of MACIS will take place at Gebze Technical University in Gebze/Istanbul (Turkey) in 13-15 November 2019.
Previously MACIS was held in Vienna (2017), Berlin (2015), Nanning (2013), Beijing (2011), Fukuoka (2009), Paris (2007) and Beijing 2006.

MACIS 2019 will be published as a post-proceedings volume in the Lecture Notes in Computer Science series by Springer.

MACIS 2019 is looking for sponsors (local or international). If you are interested to sponsor MACIS2019, please contact the organizing committe to discuss the opportunities.

Committees



Main MACIS tracks

Topics and Description

  • Symbolic Computation
  • Numerical Computation
  • Interval and hybrid techniques
  • solving (parametric) polynomial systems
  • satisfiability modulo theories
  • global optimization
  • quantifier elimination and decision procedures
  • differential equations
  • combinations of logics and deductive engines
  • systems analysis and formal verification

Track Chairs

Topics and Description

  • 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
  • Lattices and codes
  • algorithms and software for symbolic computation in cryptography

Track Chairs

Topics and Description

  • combinatorics
  • enumerative combinatorics
  • combinatorial designs
  • analysis and algorithmic constructions of designs
  • complexity problems in combinatorics
  • codes constructions
  • decoding methods and their complexity
  • information theory aspects
  • Kolmogorov complexity

Track Chairs

Topics and Description

  • machine learning
  • deep learning
  • knowledge discovery
  • data mining
  • 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 Chairs

MACIS events

Topics and Description

Session Chairs

Goal

Forum Chairs

Invited Speakers

Call for contributions

Call for papers in easychair. List of Tracks

Submission Guidelines

All papers must be original, written in English, and not simultaneously submitted to another journal or conference. Papers on experimental work and work-in-progress are welcome.
There are four categories of papers: Short and regular papers must be submitted in one of the four main tracks of MACIS (see above). Early Stage Researcher (ESR) papers and Software and Tools papers will be presented in separate sessions.
The paper title must be tagged with the category of the paper and the corresponding track (T1,T2,T3 or T4) for short and regular papers, e.g., "SHORT-T1: ...title..." , "REGULAR-T1: ...title...", "SOFTWARE: ...title..." or "ESR: ...title...".
All submissions must be done through easychair.
Note: SHORT and ESR papers are evaluated on a rolling basis.
Instructions for authors can be found here.

Important Dates

  • Submission deadline: September 29, 2019
  • Early Registration deadline: October 22, 2019
  • Student financial support application: October 1, 2019
For student financial support, please fill in this form

Travel Info

The Sabiha Gokçen international airport in the Asian side of Istanbul is less than 20 mins drive from GTU (about 10-15 euros by taxi). We strongly suggest to use the Sabiha Gokçen international airport if possile.
The new airport of Istanbul will be accessible via bus/metro/train (2 changes). Note that the new airport will substitute the currently active Ataturk airport! We will update the information in this website when more info is available about the operation of the new airport.
It is recommended that visitors do not rent a car in Istanbul. Driving in Istanbul is, to say the least, difficult, due to the heavy traffic, hilly landscape, and many narrow and winding streets. Taxis are the preferred way to get from one place to another in Istanbul. Taxis are cheap, and can be found easily all over the city.
Public transportation in Istanbul is cheap and the network is extensive. There are different types of public transport:
Due to Marmaray, trasportation between Istanbul center and GTU is very easy. The "Fatih" Marmaray station in the GTU campus, connecting the campus to the center of the Asian side of Istanbul, the transportation hub in the European side, as well as to the whole Asian coast of Istanbul.
All public transportation means in Istanbul (metro, metrobus, tram, light train, boats) use the Istanbul card for paying the fees.
As of November 2019, electronic visa (e-Visa) replaces sticker visa which was issued at the border crossings. Applicants just need to log on to www.evisa.gov.tr, provide the requested information, (after the application is approved) make online payment and download their e-Visa. For further details, please follow the link Visa Information For Foreigners.
Automatic Teller Machines (ATMs), compatible with bank cards following international standards such as Cirrus, Maestro and Visa, are available throughout Istanbul and other cities in Turkey, and are the most convenient way to obtain local currency (Turkish Lira) at current exchange rates.
We recommend that you exchange a small amount of cash at one of the bank branches in the airport when you arrive (enough for paying for the taxi and other expenses for that day in Turkish Liras), and get the rest of your local currency later as needed, from ATM's in the city.
Bank branches throughout the city also provide currency exchange without a commission fee.

Registration

  • Early: 150 euros
  • Normal: 200 euros
  • Early: 250 euros
  • Normal: 300 euros
  • Early: 50 euros
  • Normal: 50 euros
See you in Istanbul!