[SMT-LIB] Fwd: Invitation to submit to MACIS 2015

[Pascal Fontaine]

Dear All,

this is relevant to SMT under the "Foundation of Algorithms in
Mathematics, Engineering & Scientific Computation" track.

Best,

  Pascal

---

[Apologies if you receive multiple copies]


!! PLEASE NOTE THE EXTENDED DEADLINES FOR SUBMISSION !!!


   ******************************************************************
                            MACIS 2015
                  6th International Conference on
      Mathematical Aspects of Computer and Information Sciences
                        11-13 November 2015
                    Zuse Institute Berlin, Germany
                       http://macis2015.zib.de/
   ******************************************************************

FOURTH CALL FOR PAPERS

Important Dates  (NOTE THE NEW DATES)
===============
  - Easy Chair open for all submissions:            Apr 21, 2015
    (SHORT papers are decided on a rolling basis)
  - Deadline for submission of all papers:          September 1, 2015     (New!)
  - Notification on REGULAR papers:                 October 1, 2015       (New!)
  - MACIS Conference:                               November 11-13, 2015
  - Camera Ready papers:                            November 30, 2015

About MACIS
===========
	http://macis2015.zib.de/index.html

Call for Papers
===============
	http://macis2015.zib.de/call.html

Submission Instructions
=======================
	PLEASE READ THIS CAREFULLY!

	http://macis2015.zib.de/submission.html

Invited Speakers 
================
	Wolfram Decker (TU Kaiserslautern)
	Stefan Dziembowski (Warsaw University)
	Jean-Charles Faug\'ere (Inria and UMPC Paris)
	Claude-Pierre Jeannerod (Inria and ENS Lyon)
	Hongbo Li (Chinese Academy of Sciences, Beijing)
	Stefan Ratschan (Czech Academy of Sciences, Prague)
	Gunter Rote (Free University Berlin)
	Andrew Sommese (University of Notre Dame)

Organization
============
General Chair:	Ilias S. Kotsireas (Wilfrid Laurier U, Canada)

Local Chair:	Winfried Neun (Zuse Institute Berlin, Germany)

PC Chairs:	Siegfried Rump (Hamburg University of Technology) 
		Chee Yap (Courant Institute, New York University) 

Program Committee:

	Johannes Bloemer (University of Paderborn)
	Jan Camenisch (IBM Zurich)
	Xiaoyu Chen (Beihang University, Beijing)
	Maxime Crochemore (Kings College London)
	Rudolf Fleischer (German University of Technology in Oman)
	Jonathan Hauenstein (University of Notre Dame)
	Mark Giesbrecht	(University of Waterloo)
	Costas Iliopoulos (Kings College London)
	Akitoshi Kawamura (University of Tokyo)
	R.Baker Kearfott (University of Louisiana, Lafayette)
	Viktor Levandovskyy (RWTH Aachen University)
	Jie Luo (Beihang University, Beijing)
	Chenqi Mou (Beihang University)
	Jordan Ninin (ENSTA Bretagne)
	Takeshi Ogita (Tokyo Woman's Christian University)
	Alexey Ovchinnikov (CUNY Graduate Center)
	Mohab Safey El-Din (University of Pierre and Marie Curie, Paris)
	Michael Sagraloff (Max-Planck Institute, Saarbruecken)
	Stefan Schirra (Otto von Guericke University Magdeburg)
	Eric Schost (University of Western Ontario)
	Vikram Sharma (Institute of Math Sciences, Chennai)
	Thomas Sturm (Max-Planck Institute, Saarbruecken)
	Micheal Wibmer (RWTH Aachen and University of Pennsylvania)
	Martin Ziegler (Technical University Darmstadt)


******************************************************************
******************************************************************