Kaiserslautern, Germany, July 23-24, 2017.
The 8th International Workshop on Parallel Symbolic Computation (PASCO) is the latest instance in a series of workshops dedicated to the promotion and advancement of parallel algorithms and software in all areas of symbolic mathematical computation.
When and Where
PASCO 2017 will be co-located with ISSAC 2017 at the Technical University of Kaiserslautern, running just before ISSAC (July 25-28, 2017).
- Abstract submission deadline: Monday 3rd April 2017 (23:59 PST).
- Paper submission deadline: Monday 10th April 2017 (23:59 PST).
- Notification of acceptance/rejection: Friday 26th May 2017.
- General chair: Hans-Wolfgang Loidl, Heriot-Watt University, Edinburgh.
- Programme Committee chairs: Michael Monagan, Simon Fraser University, Canada and Jean-Charles Faugère, INRIA (Paris-Rocquencourt Research Center)
- Local chairs: Claus Fieker and Wolfram Decker, Technical University of Kaiserslautern.
- Treasurer: Tommy Hofmann, Technical University of Kaiserslautern.
- Publicity chair: Alexander Konovalov, University of St Andrews.
- Russel Bradford, University of Bath, England
- Jean-Guillaume Dumas, Université Grenoble, France
- Jean-Charles Faugere (co-chair), INRIA Paris-Rocquencourt, France
- Joachim von zur Gathen, Universität Bonn, Germany
- Pascal Giorgi, Université Montpellier, France
- Jeremy Johnson, Drexel University, USA,
- Erich Kaltofen, North Carolina State University, USA
- Herbert Kuchen, University of Münster, Germany
- Marc Moreno Maza, Western University, Canada
- Michael Monagan (co-chair), Simon Fraser University, Canada
- Clement Pernet, Université Grenoble, France
- Daniel Roche, US Naval Academy, Annapolis, USA
- Wolfgang Schreiner, Johannes Kepler University, Linz, Austria
- Allan Steel, University of Sydney, Australia
- Emmanuel Thome, INRIA Nancy, France
Topics of Interest
Specific topics include, but are not limited to:
- Design and analysis of parallel algorithms for computer algebra
- Practical parallel implementation of symbolic or symbolic-numeric algorithms
- Design of high-performance algebraic packages and systems
- Data representation and distributed data-structures
- Considerations for modern hardware and hardware acceleration technologies (multi-cores, GPUs, FPGAs)
- Cache complexity and cache-oblivious algorithms for computer algebra
- Parallel implementations of computer algebra algorithms on GPUs
- Parallel algorithm implementation and performance tuning
- Compile-time and run-time techniques for automating optimization and platform adaptation of computer algebra algorithms
- Applications of high-performance computer algebra in theorem proving, cryptography, computational biology, number theory, group theory, satisfiability checking, SAT solving, etc.