ISSAC 2017
International Symposium on Symbolic and Algebraic Computation
University of Kaiserslautern, Germany,
July 25-28 2017.
FIRST CALL FOR PARTICIPATION
Online Registration Now Open!
http://www.issac-conference.org/2017/
-------------------------------------------------------------
The International Symposium on Symbolic and Algebraic Computation is
the premier conference for research in symbolic computation and
computer algebra. ISSAC 2017 will be the 42nd meeting in the series,
which started in 1966 and has been held annually since 1981. The
conference presents a range of invited speakers, tutorials, poster
sessions, software demonstrations and vendor exhibits with a
centerpiece of contributed research papers.
ISSAC 2017 is held on 25-28 July 2017 at the University of
Kaiserslautern, Germany. Tutorial Sessions will be held on July 25th 2017.
Call for Participation:
-----------------------
Online registration is now open. For details on fees and to register
online, please visit
http://www.issac-conference.org/2017/registration.php
In order to guarantee printed proceedings and a place at the banquet
please register
before July 2nd. As usual, discounts are available for students and SIGSAM
members. On-site registration will be available, but incurs an extra fee.
Accepted Papers:
----------------
The program committee has accepted 55 papers as listed here:
http://www.issac-conference.org/2017/papers.php
Invited Speakers:
-----------------
Mark van Hoeij (Florida State University, USA)
Title: Closed Form Solutions for Linear Differential and Difference
Equations
Gabriele Nebe (RWTH Aachen, Germany)
Title: Computing with arithmetic groups
James Worrell (University of Oxford, UK)
Title: Decision Problems for Linear Dynamical Systems
Abstracts are available here:
http://www.issac-conference.org/2017/invited.php
Tutorials:
----------
Hongbo Li (Chinese Academy of Sciences, China)
Title: Automated Geometric Reasoning with Geometric Algebra: Theory and
Practice
Marni Mishna (Simon Fraser University, Canada)
Title: Algorithmic Approaches for Lattice Path Combinatorics
Damien Stehlé (INRIA, France)
Title: Lattice reduction algorithms
Abstracts are available here:
http://www.issac-symposium.org/2017/tutorials.php
Posters and Software Presentations:
-----------------------------------
Abstracts for poster presentations and software demonstration are
currently undergoing review.
Satellite Workshops/Conferences:
--------------------------------
The International Workshop on Parallel Symbolic Computation (PASCO
2017), will be held
on July 23rd-24th 2017 (prior to ISSAC'17) at University of Kaiserslautern.
The Second International Workshop on Satisfiability Checking and
Symbolic Computation (SC2 2017)
will be held on July 29th 2017 (after ISSAC'17) at University of
Kaiserslautern.
We are looking forward to seeing you in Kaiserslautern.
**********************************************************
*
* 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
