[Date Index] [Thread Index] [Author Index]
Symposium on QE & CAD
- To: mathgroup at yoda.physics.unc.edu
- Subject: Symposium on QE & CAD
- From: Bob Caviness <caviness at udel.edu>
- Date: Thu, 28 Jan 93 08:25:03 -0500
SYMPOSIUM on QUANTIFIER ELIMINATION and CYLINDRICAL ALGEBRAIC DECOMPOSITION October 6--8, 1993 Research Institute for Symbolic Computation Johannes Kepler Universitaet Linz, Austria 1993 marks more than a quarter of a century of modern research on quantifier elimination and is the year of the sixty-fifth birthday of George E. Collins, one of the most important contributors to research on algorithms for quantifier elimination , cylindrical algebraic decomposition, and computer algebra in general. So now is a most appropriate time to hold a first ever conference emphasizing QE & CAD and one that will honor Professor Collins' continuing contributions to the field. The organizing committee invites submission of papers presenting original research on topics related to the symposium themes including: - Algorithmic aspects of quantifier elimination - Cylindrical algebraic decomposition - Algorithmic aspects of real geometry - Complexity of decision theories for elementary algebra and geometry - Related computer algebra algorithms - Implementations and systems in the symposium theme areas - Applications of these techniques to other parts of mathematics and to high-tech problems CALL FOR PAPERS Authors should send three(3) copies of papers before APRIL 15, 1993 to Prof. Johnson, the co-Chair of the Programming Committee, at Jeremy R. Johnson Department of Mathematics and Computer Science Drexel University Philadelphia, PA 19104 USA Phone: (215) 895-2893 e-mail: jjohnson at mcs.drexel.edu Authors will be notified of acceptance decision of their papers by July 1, 1993. Final copies of camera ready manuscripts for accepted papers will be due at the Symposium on October 7, 1993. The Symposium Proceedings will be published by Springer-Verlag. TUTORIAL WORKSHOP The symposium will have two parts. The first part, on Wednesday, October 6, will be an introductory workshop on quantifier elimination and cylindrical algebraic decomposition. It is intended for mathematicians, scientists, and engineers who would like an introduction to the subject. The workshop will be conducted by Prof. Collins and members of his research group. On Thursday and Friday, the second part of the symposium will be devoted to research presentations --- both invited and submitted. FACILITIES The symposium will be held at RISC-Linz. RISC is located in Hagenberg, a 15-minute drive from Linz. Hotel accommodations will be available in Linz and a shuttle service will provided between Linz and Hagenberg. TRAVEL FUNDS It is anticipated that funds to help defray travel expenses for a few graduate students and recent PhDs will be available. To apply for such funds, USA participants should contact B. F. Caviness. Others should contact Prof. Buchberger at the address below. MORE INFORMATION For more information and to add your name to the symposium mailing list, return the form below to B. F. Caviness Department of Computer & Information Sciences 103 Smith Hall University of Delaware Newark, DE 19716 USA Phone: 302/831-8234 email: caviness at udel.edu NAME INSTITUTE ADDRESS TELEPHONE FAX E-MAIL ADDRESS I am interested in the Symposium and plan - |_| to attend - |_| submit a paper - |_| would like information on travel funds SYMPOSIUM COMMITTEES Symposium Chair Bruno Buchberger RISC-Linz Johannes Kepler Universitaet A-4040 Linz Austria email: buchberg at risc.uni-linz.ac.at Program Committee D. Arnon, Xerox PARC, USA B. Caviness, Delaware, USA (Co-Chair) H. Hong, RISC-Linz, Austria J. Johnson, Drexel, USA (Co-Chair) M. Kalkbrener, ETH, Switzerland E. Kaltofen, RPI, USA D. Kozen, Cornell, USA W. Krandick, RISC-Linz, Austria D. Lazard, Univ. of Paris VI, France S. McCallum, Macquarie University, Australia J. Renegar, Cornell, USA V. Weispfenning, Univ. of Passau, Germany