CASC-2023: Computer Algebra in Scientific Computing 2023 University of Havana Havana, Cuba, August 28-September 1, 2023 |
| Conference website | http://casc-conference.org/ |
| Submission link | https://easychair.org/conferences/?conf=casc2023 |
| Abstract registration deadline | May 10, 2023 |
| Submission deadline | May 10, 2023 |
The tools of Scientific Computing play an important role in the natural sciences and engineering. Computer Algebra Systems and the underlying algorithms for Symbolic Computation play an increasingly important role within Scientific Computation. The CASC workshop series has been running for two and a half decades to explore the interaction of these topics, their implementation, and their application.
The 25th CASC workshop will be held in Havana, Cuba from 28th August - 1st September 2023.
Scope
The topics addressed in the workshop cover the following.
(1) The theory of symbolic computation and its implementation in computer algebra systems. This includes, but is not limited to:- new methods in exact computation;- symbolic algorithms and their complexity;- automated reasoning in algebra and geometry;- parallel symbolic / symbolic-numeric computation;- symbolic / symbolic-numeric methods for differential, differential-algebraic and difference equations;- symbolic / symbolic-numeric methods for polynomial equations and inequalities; and- the embedding of computer algebra technology within different software and hardware environments.
(2) All other areas of scientific computing in regards to their benefit from or use of computer algebra methods and software. This includes, but is not limited to:- the use of computer algebra in approximate computation;- computer algebra methods in big data analytics; and- computer algebra methods for simulation and modelling.
(3) Applications of the above throughout the natural sciences and engineering.
We welcome papers on both fundamental research and implementation issues. We also accept survey papers but these MUST BE CLEARLY LABELLED as such in the title.
Conference Participation Options
We encourage wide participation at the workshop. In light of this, and that the conference scope spans computer science and mathematics (with their different publication traditions), we offer a variety of participation options.
1. Participation with an accompanying paper in LNCS:
CASC has a long running relationship with the Springer book series Lecture Notes in Computer Science to publish conference proceedings. Work submitted here should contain an original research result. Submissions should be prepared in the LNCS style and not exceed 20 pages. Survey papers may have up to 25 pages.
2. Participation with abstract only:
Participants may opt to submit an extended abstract instead. These should have at least 2 and at most 4 pages in the LNCS style. They must contain the main results of the talk (without proofs). They will be lightly reviewed and distributed locally at the conference. We see three main audiences for this option:- Those who wish to talk on previously published work (in which case that work should be clearly cited in the abstract).- Those whose work is not yet ready for publication, but wish to receive feedback.- Those who plan to submit a journal paper on the work shortly.For the second group, there will be a subsequent journal special issue call after the conference (see below).
Accompanying Special Issue of Mathematics in Computer Science
CASC has formed a relationship with the Springer Birkhäuser journal Mathematics in Computer Science (MCS) for an ongoing series of special issues on topics presented at CASC workshops. Work submitted here must be of journal quality and will be reviewed to the usual standards of MCS. Submission will be opened after the conference for authors of extended abstracts presented at that years conference. There is no a priori page limit, but the length must be justified by the contents of the paper. At notification authors may be asked to revise their paper for a secondary deadline.
Submission Link
All submissions should be done via EasyChair: https://easychair.org/conferences/?conf=casc2023
Submissions must be prepared in the LNCS style and within the declared page count.
Important Dates
Paper Submission Deadline: Wednesday 10th May 2023
Notification to Authors: Tuesday 20th June 2023
Submission of Final Version: Tuesday 27th June 2023
Conference: 28th August - 1st September 2023
Committees
Workshop General Chairs:- François Boulier - University of Lille, France- Ilias S. Kotsireas - Wilfrid Laurier University, Canada- Timur Sadykov - Plekhanov Russian University, Russia
Program Committee Chairs:- Matthew England - Coventry University, UK- Chenqi Mou - Beihang University, China- Evgenii V. Vorozhtsov - Khristianovich Institute of Theoretical and Applied Mechanics, Russia
Program Committee:- Tulay Ayyildiz Akoglu, Karadeniz Technical University, Turkey- Francois Boulier, University of Lille, France- Changbo Chen, Chinese Academy of Sciences, China- Jin-San Cheng, Academy of Mathematics and Systems Science, China- Victor Edneral, Lomonosov Moscow State University, Russia- Matthew England, Coventry University, UK- Jaime Gutierrez, University of Cantabria, Spain- Sergey Gutnik, Moscow State Inst. of International Relations, Russia- Amir Hashemi, Isfahan University of Technology, Iran- Gabriela Jeronimo, Universidad de Buenos Aires, Argentina- Rui-Juan Jing, Jiangsu University, China- Fatma Karaoglu, Gebze Technical University, Turkey- Ilias Kotsireas, Wilfrid Laurier University, Canada- Wen-Shin Lee, University of Stirling, UK- François Lemaire, University of Lille, France- Viktor Levandovskyy, University of Kassel, Germany- Dominik Michels, KAUST, Saudi Arabia- Marc Moreno Maza, University of Western Ontario, Canada- Chenqi Mou, Beihang University, China- Sonia Perez-Diaz, Universidad de Alcala, Spain- Veronika Pillwein, JKU Linz, Austria- Alexander Prokopenya, Warsaw University of Life Sciences, Poland- Hamid Rahkooy, University of Oxford, UK- Daniel Robertz, RWTH Aachen, Germany- Timur Sadykov, Plekhanov Russian University, Russia- Svetlana Selivanova, KAIST, Korea- Ekaterina Shemyakova, University of Toledo, USA- Thomas Sturm, CNRS, France- Akira Terui, University of Tsukuba, Japan- Ali Kemal Uncu, University of Bath, UK- Jan Verschelde, University of Illinois at Chicago, USA- Evgenii Vorozhtsov, Khristianovich Institute of Theoretical and Applied Mechanics, Russia
Local Organisation: Luis Ramiro Piñeiro Díaz - University of HavanaAlejandro Piad Morffis - University of Havana
Publicity Chair:Dmitry Lyakhov, KAUST, Saudi Arabia