Dart8

dart8@algebra.uni-linz.ac.at

9 discussions

[Issac19pc] Fwd: [ISSAC-ANNOUNCE] ISSAC 2019 Call for Participation
by Manuel Kauers 04 Jun '19

04 Jun '19

Dear PC members, ISSAC registration is now open, and a call for participation was released. Please help circulating the call by forwarding it to the relevant mailing lists of your respective communities. Thanks & Greetings, Manuel ---------- Forwarded message --------- From: Matthew England <m.england.uni(a)gmail.com> Date: Tue, Jun 4, 2019 at 11:58 AM Subject: [ISSAC-ANNOUNCE] ISSAC 2019 Call for Participation To: <ISSAC-ANNOUNCE(a)listserv.acm.org> ---------------------------------------------------------------------- ISSAC 2019 International Symposium on Symbolic and Algebraic Computation July 15-18 2019 Beihang University, Beijing, China CALL FOR PARTICIPATION (Online Registration Open!) http://www.issac-conference.org/2019/ ---------------------------------------------------------------------- The International Symposium on Symbolic and Algebraic Computation is the premier conference for research in symbolic computation and computer algebra. ISSAC 2019 will be the 44th meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited talks, tutorials, poster sessions, software demonstrations and vendor exhibits with a centerpiece of contributed research papers. ISSAC 2019 is held on July 15-18 2019, at Beihang University in Beijing, China. 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, group theory and number theory * Computer arithmetic * Summation, recurrence equations, integration, solution of ODEs & PDEs * Symbolic methods in other areas of pure and applied mathematics * 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 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. Invited Speakers ---------------- * Bill Chen, Nankai University, Tianjin, China The Art of Telescoping * Lorenzo Robbiano, University of Genova, Genova, Italy Linear Algebra, Old and New * Virginia Vassilevska Williams, MIT, USA Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication Tutorials ---------------- * Shaoshi Chen, Chinese Academy of Sciences, China. A Reduction Approach to Creative Telescoping * Satoshi Aoki, Kobe University, Japan. Algebraic methods in a design of experiments. * Anna M. Bigatti, Università Degli Studi Di Genova, Italy. Linear Algebra for Zero-Dimensional Ideals Conference Organization ----------------------- General Chairs: * James Davenport, University of Bath, UK * Dongming Wang, Beihang University, China; Guangxi University for Nationalities, China; Centre National de la Recherche Scientifique, France Program Committee Chair: * Manuel Kauers, Johannes Kepler University, Linz, Austria Program Committee: Alin Bostan, INRIA, France Christopher Brown, Naval Academy, USA Changbo Chen, Chinese Academy of Sciences, China Mark Giesbrecht, University of Waterloo, Canada Bill Hart, University of Kaiserslautern, Germany Jonathan Hauenstein, University of Notre Dame, USA Mark van Hoeij, Florida State University, USA Manuel Kauers (chair), Johannes Kepler University, Austria Erich Kaltofen, North Carolina State University and Duke University, USA Marc Mezzarobba, University Pierre et Marie Curie, France Veronika Pillwein, Johannes Kepler University, Austria Gleb Pogudin, New York University, USA Eric Schost, University of Waterloo, Canada Pierre-Jean Spaenlehauer, Inria Nancy, France Nobuki Takayama, Kobe University, Japan Gilles Villard, CNRS Lyon, France Dingkang Wang, Chinese Academy of Sciences, China Bican Xia, Peking University, China Kazuhiro Yokoyama, Rikkyo University, Japan Lihong Zhi, Chinese Academy of Sciences, China Local Arrangements Chairs: * Chenqi Mou, Beihang University, China * Zhikun She, Beihang University, China Publicity Chair: * Matthew England, Coventry University, UK Online Registration ----------------------- Open now! See the webpage ( http://www.issac-conference.org/2019/Registration.php) for more information, and this link (http://www.cvent.com/d/xyqnxx/4W) will direct you to the online registration. Early registration ends on June 15, and on-site registration only accepts cash in USD and CNY. Hotel Reservation ----------------------- The local organizers have blocked 50 double rooms in Vision Hotel and 25 double rooms in Park Plaza Beijing Science Park with special rates. See the webpage (http://www.issac-conference.org/2019/local.php) for the instructions to reserve such rooms. Visa to China ----------------------- Most foreign residents need visas to enter China. See the webpage ( http://www.issac-conference.org/2019/local.php) for the instructions to request an invitation letter for your visa application to participate in ISSAC 2019. Local support ----------------------- A limited number of slots are available for supporting young researchers or students by waiving their registration fees and payment for their hotel expenses during the conference (at a selected hotel). See the webpage ( http://www.issac-conference.org/2019/Registration.php) for how to apply for such support. ***** You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to LISTSERV(a)LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.

1 0

Re: [Issac19pc] ISSAC 2019 paper bidding starts
by Manuel Kauers 22 Jan '19

22 Jan '19

Dear all, It has been suggested that I should be a bit more explicit about conflicts of interests. Here are some of the common criteria: 1. when an author is a member of your family (e.g., your spouse). 2. when an author is your PhD advisor, your PhD student, or planned to become your PhD student. 3. when an author is employed at the same institution as you, or has been working there in the past 12 months, or is going to start working there in the near future. 4. when an author is or is planned to become your postdoc, or has been your postdoc within the last four years. 5. when you have ongoing or planned collaborations with an author, or have had collaborations within the past four years. In borderline cases, I trust that you make conscious decisions. Please be aware there can also be a conflict of interest if none of the above criteria applies. Thanks & best regards, Manuel On 1/21/19 1:52 PM, Manuel Kauers wrote: > Dear PC members, > > I have just closed the abstract submission page. We have received > ~80 submissions, and hopfully they will all have materialized as > full papers by the end of this week. > > At this time I would like you to bid for papers you are able > to handle. Please enter your bids until > > Thursday, Jan 23, 8am CET (i.e., my time) > > so that I can start working on the assignment on Thursday morning. > > Since each submission will be assigned to two PC members, and > since the PC consists of 20 people, each of us will be assigned > about 10% of the submissions. Please try to select 15--20% of the > submissions as "want" or "maybe", so that a reasonable assignment > can be made. > > At the same time, please declare your conflicts of interest. You > clearly have a conflict with yourself, your immediate colleagues, > and your regular collaborators. Beyond that, please apply common > sense and make honest decisions. If you end up having a conflict > for all papers in your area of expertise, then you have probably > exaggerated. Conversely, if there is an author you are seriously > mad on for some reason, it may be appropriate to declare a > conflict even if none of the usual formal critera applies. > > I will get back to you when I am done with the assignment. If > any questions or turbulences arise, please let me know. > > Thanks & best regards, > Manuel >

1 0

[Issac19pc] Fwd: ISSAC 2019: Second Call for Papers
by Manuel Kauers 07 Dec '18

07 Dec '18

Dear PC members, we have released a second call for papers. Please forward it to relevant lists of your (sub)communities, to the colleagues at your department, and to your favorite collaborators. Thanks & best wishes, Manuel -------- Forwarded Message -------- Subject: ISSAC 2019: Second Call for Papers Date: Thu, 6 Dec 2018 22:23:23 +0000 From: Matthew England <m.england.uni(a)GMAIL.COM> Reply-To: Matthew England <m.england.uni(a)GMAIL.COM> To: SIGSAM-MEMBERS(a)LISTSERV.ACM.ORG ---------------------------------------------------------------------- ISSAC 2019 International Symposium on Symbolic and Algebraic Computation July 15-18 2019 Beihang University, Beijing, China SECOND CALL FOR PAPERS http://www.issac-conference.org/2019/ ---------------------------------------------------------------------- The International Symposium on Symbolic and Algebraic Computation is the premier conference for research in symbolic computation and computer algebra. ISSAC 2019 will be the 44th meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited talks, tutorials, poster sessions, software demonstrations and vendor exhibits with a centerpiece of contributed research papers. ISSAC 2019 is held on July 15-18 2019, at Beihang University in Beijing, China. Important Dates --------------- Abstract submission: January 13, 2019, 23.59 aoe Paper submission: January 20, 2019, 23.59 aoe Notification of acceptance/rejection: April 03, 2019 Camera-ready copy due: May 10, 2019 Abstract and paper submission deadlines are likely to be extended by one week. Submission Instructions ----------------------- ISSAC 2019 invites 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 sig-alternate.cls style, found athttp://www.acm.org/publications/proceedings-template Submissions in other article styles are also accepted, but the final version must be at most 8 pages when compiled in sig-alternate.cls style (equivalent to about 17 pages of letter size paper, typeset in 12pt with normal spacing and reasonably large margins). Extended abstracts are not allowed. Papers may have an appendix that may be read by the reviewers and PC members at their discretion, but will not be included in the published version of the paper. Submission is via EasyChair, at the web sitehttps://www.easychair.org/conferences/?conf=issac2019 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, group theory and number theory * Computer arithmetic * Summation, recurrence equations, integration, solution of ODEs & PDEs * Symbolic methods in other areas of pure and applied mathematics * 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 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. Invited Speakers ---------------- * Bill Chen, Nankai University, Tianjin, China * Lorenzo Robbiano, University of Genova, Genova, Italy * Virginia Vassilevska Williams, MIT, USA Conference Organization ----------------------- General Chairs: * James Davenport, University of Bath, UK * Dongming Wang, Beihang University, China; Guangxi University for Nationalities, China; Centre National de la Recherche Scientifique, France Program Committee Chair: * Manuel Kauers, Johannes Kepler University, Linz, Austria Program Committee ----------------- Alin Bostan, INRIA, France Christopher Brown, Naval Academy, USA Changbo Chen, Chinese Academy of Sciences, China Mark Giesbrecht, University of Waterloo, Canada Bill Hart, University of Kaiserslautern, Germany Jonathan Hauenstein, University of Notre Dame, USA Mark van Hoeij, Florida State University, USA Manuel Kauers (chair), Johannes Kepler University, Austria Erich Kaltofen, North Carolina State University and Duke University, USA Marc Mezzarobba, University Pierre et Marie Curie, France Veronika Pillwein, Johannes Kepler University, Austria Gleb Pogudin, New York University, USA Eric Schost, University of Waterloo, Canada Pierre-Jean Spaenlehauer, Inria Nancy, France Nobuki Takayama, Kobe University, Japan Gilles Villard, CNRS Lyon, France Dingkang Wang, Chinese Academy of Sciences, China Bican Xia, Peking University, China Kazuhiro Yokoyama, Rikkyo University, Japan Lihong Zhi, Chinese Academy of Sciences, China Authors take Note ----------------- The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

1 0

[Issac19pc] ISSAC 2019
by Manuel Kauers 10 Oct '18

10 Oct '18

Dear PC members, thank you once more for agreeing to serve on the program committee of ISSAC'19. I am looking forward to working with you. We are about to release the first call for papers. It would be great if you could help to propagate it among your colleagues. Here is a short preview of the upcoming steps. Further details will be announced later. 1) Abstract and full paper deadline are Sun Jan 13 and Sun Jan 20, respectively. We are prepared to have them extended to Sun Jan 20 and Sun Jan 27, respectively. 2) After the (extended) abstract deadline, I plan to assign each paper to two PC members, one "primary" and one "secondary". The primary member shall organize two reports, the secondary member one. 3) All reports should be received by March 20. After this, we have roughly 10 days for identifying clear and borderline cases. The decision about the bordeline cases will be made by a vote. 4) I would like to avoid a formal rebuttal phase and conditional accepts. Instead, when we need some clarification from the authors, let us contact them on an individual and informal basis. 5) Notification is scheduled for Wed April 3. Authors will have to have their final versions ready by Fri May 10. As usual, the whole process will be managed via EasyChair. I have already added you as PC members. Please check if you can log in as PC member to the ISSAC'19 installation, and if you have difficulties, please let me know. Thanks & best regards, Manuel

1 0

[Issac19pc] test
by Manuel Kauers 10 Oct '18

10 Oct '18

test

1 0

Site
by Gleb Pogudin 27 Oct '16

27 Oct '16

Dear All, Here http://www.algebra.uni-linz.ac.at/dart8/index.php is the conference site. Any comments and suggestions are welcome. Best regards, Gleb

1 0

support letters
by Manuel Kauers 26 Oct '16

26 Oct '16

Dear all, please have a look at the attached letters and let me know if you find any issues. Martina told me that the city of Vienna never supports conferences by cash, but instead, they invite the conferences to the historic city hall for an overwhelming welcome reception. I have never heard anything like that about Linz, but if we knew beforehand what they are willing to offer, it would be good to ask them for exactly this. Also, I don't have a good feeling whether 1000 Euros sounds very little or very much to them. I guess we just have to try. Thanks, Manuel

2 1

Suggestion about Hamiltonian systems
by Gleb Pogudin 26 Oct '16

26 Oct '16

Dear All, Since we do not have reply from Victor Kac, I would suggest considering to include Alberto De Sole ( http://www1.mat.uniroma1.it/people/desole/index.html) to our list, he is the main coauthor of Victor Kac in papers about integrability and differential algebra. Best regards, Gleb

3 3

Algebraic analysis at DART
by Gleb Pogudin 24 Oct '16

24 Oct '16

Dear All, There is a field called algebraic analysis (or microlocal analysis) originated in works by Sato and Kashiwara. They study differential equations combining complex analysis, sheaf theory, and D-modules. I do not know much about applications, but as far as I understood, these techniques allow to generalize Cauchy-Kowalevski theorem and play an important role in the computation of the index of a differential operator. I think it might be interesting to invite somebody from this field to DART, maybe even ask to give couple of survey talks. I found only one survey, but it is quite formal and does not include applications: https://arxiv.org/pdf/1206.1435v3.pdf (more theoretic) Here are some people in the field http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kashiwara/ https://webusers.imj-prg.fr/~pierre.schapira/ http://docenti.math.unipd.it/dagnolo/coordinates.php?lan=0 Maybe you or members of PC know more about the subject and can give some recommendations. Sincerely yours, Gleb

2 2

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

Dart8