We are pleased to announce that the deadlines for ISSAC 2025 have been extended. Please find the updated schedule below:
Abstract Submission Deadline:
- Original: January 23rd, 2025, 23:59 (Anywhere on Earth)
- Extended: January 30th, 2025, 23:59 (Anywhere on Earth)
Paper Submission Deadline:
- Original: January 30th, 2025, 23:59 (Anywhere on Earth)
- Extended: February 6th, 2025, 23:59 (Anywhere on Earth)
For more information, please visit: https://www.issac-conference.org/2025/
We look forward to your participation and submissions!
Best regards,
Matías Bender
(on behalf of the ISSAC 2025 Organizing Committee)
> From: "matias bender" <matias.bender@inria.fr>
> To: "dmanet" <dmanet@zpr.uni-koeln.de>
> Sent: Thursday, December 19, 2024 12:02:22 PM
> Subject: ISSAC 2025 -- Final Call for Papers
> ----------------------------------------------------------------------
> THIRD CALL FOR PAPERS
> ISSAC 2025
> International Symposium on Symbolic and Algebraic Computation
> July 28th to August 1st, 2025
> Center for Research in Mathematics (CIMAT) in Guanajuato, Mexico.
> https://www.issac-conference.org/2025/
> ----------------------------------------------------------------------
> The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the
> premier conference for research in symbolic computation and computer algebra.
> ISSAC 2025 will be the 50th meeting in the series, which started in 1966 and
> has been held annually since 1981. The conference presents a range of invited
> speakers, tutorials, short communications, software demonstrations and vendor
> exhibits with a center-piece of contributed research papers.
> ISSAC 2025 will be held from July 28th to August 1st, 2025, at the Center for
> Research in Mathematics (CIMAT) in Guanajuato, Mexico.
> Important Dates
> ---------------
> * Abstract submission deadline: January 23, 2025, 23:59 (anywhere on Earth)
> * Paper submission deadline: January 30, 2025, 23:59 (anywhere on Earth)
> * First notification of acceptance/rejection: April 16, 2025
> * End of rebuttal phase: April 23, 2025
> * Final notification after rebuttal phase: April 30, 2025
> * Camera-ready copy due: May 21, 2025
> Submission Instructions
> -----------------------
> ISSAC 2025 invites the submission of original research contributions to be
> considered for publication and presentation at the conference. Papers should
> not duplicate work published or submitted for consideration elsewhere.
> Papers must be in English and should not exceed 8 pages in the ACM two-column
> style, found at:
> http://www.acm.org/publications/proceedings-template
> which can be downloaded from:
> https://portalparts.acm.org/hippo/latex_templates/acmart-primary.zip
> However, two additional pages may be used for bibliographical references, and/or
> for experimental results (tables, figures), experimental data (e.g. input or
> output systems for a solver) and computer program code (library code, scripts,
> worksheets, Makefiles, etc.). The portion of the paper before these two
> additional pages must be self-contained.
> Extended abstracts are not allowed. At least one author of each accepted paper
> must register for the conference and present the paper.
> Submission is via EasyChair, at the web site
> https://easychair.org/my/conference?conf=issac2025
> Topics
> ------
> All areas of computer algebra and symbolic mathematical computation are of
> interest. These include, but are not limited to:
> - Algorithmic aspects:
> * Exact and symbolic linear, polynomial and differential algebra
> * Symbolic-numeric, homotopy, perturbation and series methods
> * Computational algebraic geometry, polynomial and semialgebraic optimization
> * Computational group theory and number theory, quantifier elimination and logic
> * Computer arithmetic
> * Summation, recurrence equations, integration, solution of ODEs & PDEs
> * Symbolic methods in other areas of pure and applied mathematics
> * AI methods and symbolic computation
> * Complexity of algebraic algorithms and algebraic complexity
> - Software aspects:
> * Design of symbolic computation packages and systems
> * Language design and type systems for symbolic computation
> * Data representation
> * Considerations for modern hardware
> * Algorithm implementation and performance tuning
> * Mathematical user interfaces
> * Use with systems such as digital libraries, courseware, simulation and
> optimization, automated theorem-proving, computer-aided design, and automatic
> differentiation
> - Application aspects:
> * Applications that stretch the current limits of computer algebra algorithms or
> systems, use computer algebra in new areas or new ways, or apply it in
> situations with broad impact.
> - Satellite Workshops/Conferences:
> * The organizing committee of ISSAC 2025 invites proposals for Satellite Events
> aimed at enriching the conference program, attracting a broader audience, and
> promoting new developments and original research results in all areas of
> symbolic mathematical computation.
> Organizing Committee
> --------------------
> * General Chair: Carlos D'Andrea. Universitat de Barcelona, Spain
> * Program Committee Chair: Sonia Pérez Díaz. University of Alcalá, Spain
> * Local Arrangements Chair: Cristhian Garay López. Centro de Investigación en
> Matemáticas (CIMAT), Mexico
> * Treasurer: Javier Carvajal-Rojas. Centro de Investigación en Matemáticas
> (CIMAT), Mexico
> * Proceedings Editor: Santiago Laplagne. Universidad de Buenos Aires, Argentina
> * Publicity Chair: Matías Bender. Inria - CMAP, École Polytechnique, France
> * Tutorial Chair: Josephine Yu. Georgia Institute of Technology, USA
> * Short Communications Chair: Xiaohong Jia. Chinese Academy of Sciences, China
> * Software Presentations Chair: Thi Xuan Vu. University of Lille, France
> Program Committee
> -----------------
> * Erika Ábrahám. RWTH Aachen University, Germany
> * Jérémy Berthomieu. Sorbonne Université, CNRS, France
> * Michela Ceria. Polytechnic University of Bari, Italy
> * Maria Francis. Indian Institute of Technology Hyderabad, India
> * Bruno Grenet. Université Grenoble-Alpes, France
> * Kai Hormann. University of Italian Switzerland, Switzerland
> * Gabriela Jeronimo. Universidad de Buenos Aires, Argentina
> * Christoph Koutschan. Austrian Academy of Sciences, Austria
> * Pierre Lairez. Inria, France
> * Jesús de Loera. University of California, Davis, USA
> * Katsusuke Nabeshima. Tokyo University of Science, Japan
> * Gleb Pogudin. École Polytechnique, Institute Polytechnique de Paris, France
> * Mauricio Velasco. Universidad Católica, Uruguay.
> * Daniel S. Roche. United States Naval Academy in Annapolis, Maryland, USA
> * Liyong Shen. School of Mathematical Sciences, University of the Chinese
> Academy of Sciences, China
> * Carsten Schneider. Research Institute for Symbolic Computation. Johannes
> Kepler University, Austria
> * Josué Tonelli-Cueto. Johns Hopkins University, USA
> * Rafael H. Villarreal. Cinvestav - IPN, Mexico
> Local Arrangements Committee
> ----------------------------
> * Cristhian Garay López (Chair). Centro de Investigación en Matemáticas (CIMAT),
> Mexico
> * Claudia Reynoso Alcántara. Universidad de Guanajuato, Mexico
> * Luis Núñez Betancourt. Centro de Investigación en Matemáticas (CIMAT), Mexico
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
