[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2017 - Final Call for Participation

[Michael Sagraloff]

-------------------------------------------------------------
  
			  ISSAC 2017

 International Symposium on Symbolic and Algebraic Computation
                University of Kaiserslautern, Germany,
                           July 25-28 2017. 

                   FINAL CALL FOR PARTICIPATION

	       Online Registration until July 23rd
              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. For the final program, please visit

http://www.issac-conference.org/2017/program.php



Call for Participation:
-----------------------
Online registration is still possible until July 23rd. After this, only on-site registration 
is possible for an additional fee of 50 Euro  For details on fees and how to register
online, please visit

http://www.issac-conference.org/2017/registration.php

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:
-----------------------------------
The committee has accepted 13 poster and 6 software presentations as listed here:
http://www.issac-conference.org/2017/posters.php
http://www.issac-conference.org/2017/software.php


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.

*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.