PASCO: Parallel Symbolic Computation



Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
PASCO 2017 8th International Workshop on Parallel and Symbolic Computations
Jul 23, 2017 - Jul 24, 2017 Kaiserslautern, Germany Apr 10, 2017 (Apr 3, 2017)
PASCO 2010 International Workshop on Parallel and Symbolic Computation
Jul 21, 2010 - Jul 23, 2010 Grenoble, France Apr 18, 2010

Present CFP : 2017

8th International Workshop on Parallel and Symbolic Computation
Technical University of Kaiserslautern, Germany, July 23-24, 2017

The International Workshop on Parallel and Symbolic Computation
(PASCO) is a series of workshops dedicated to the promotion and
advancement of parallel algorithms and software in all areas of
mathematical computation.


All topics covered traditionally by PASCO including:

* 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.

PASCO 2017 is affiliated with and immediately precedes the 2017
International Symposium on Symbolic and Algebraic Computation
(ISSAC2017), also in Kaiserslautern.
Earlier meetings in the PASCO series (originally called Computer Algebra
and Parallelism) include CAP'88 (Grenoble, France), CAP'90 (Ithaca, USA),
PASCO'94 (Linz, Austria), PASCO'97 (Maui, U.S.A.), PASCO'07 (London, Canada),
PASCO'10 (Grenoble, France) and PASCO'15 (Bath, UK).


The conference invites submission of papers presenting original research,
either in the form of extended abstracts (2 pages) or full papers (up to 10 pages)
in the two column ACM proceedings style at

Please use the ACM LaTeX2e Style File sig-alternate-05-2015.cls
Papers are exclusively submitted via easy chair at

Papers must be written in English. Papers must contain original research
and may not duplicate work published or submitted for publication elsewhere.
Papers will be reviewed by the Program Committee and external referees.
All accepted papers will be distributed at PASCO 2017 and then published
in the form of a formal proceedings in the ACM Digital Library (application pending).

At least one author of each accepted paper must attend PASCO 2017 to present
his or her paper.


General chair: Hans-Wolfgang Loidl, Heriot-Watt University, Edinburgh.
Programme Committee chairs: Michael Monagan, Simon Fraser University, Canada
Jean-Charles Faugere, INRIA (Paris-Rocquencourt Research Center)
Local chairs: Claus Fieker and Wolfram Decker, Technical University of Kaiserslautern.
Publicity chair: Alexander Konovalov, University of St Andrews.


Russel Bradford University of Bath, England
Jean-Guillaume Dumas Universite Grenoble, France
Jean-Charles Faugere (co-chair) INRIA Paris-Rocquencourt, France
Joachim von zur Gathen Universitaet Bonn, Germany
Pascal Giorgi Universite Montpellier, France
Jeremy Johnson Drexel University, USA
Erich Kaltofen North Carolina State University, USA
Herbert Kuchen University of Muenster, Germany
Marc Moreno Maza Western University, Canada
Michael Monagan (co-chair) Simon Fraser University, Canada
Clement Pernet Universite 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


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.

Related Resources

SPES 2022   Special Session on Parallel EVD/SVD and its Application in Matrix Computations.
SYNASC 2022   24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
JAC-ECC 2022   International Japan-Africa Conference on Electronics, Communications and Computations 2022
PDCAT 2022   The 23rd International Conference on Parallel and Distributed Computing, Applications and Technologies
IPDPS 2023   The 37th IEEE International Parallel and Distributed Processing Symposium
IEEE DApps - ZKP 2022   IEEE DApps - Special Session “Verifiable Off-Chain Computations using Zero-Knowledge Proofs – A DApp Perspective”
SBAC-PAD 2022   The 34th IEEE International Symposium on Computer Architecture and High Performance Computing
HPCC 2022   IEEE HPCC-2022 International Conference on High Performance Computing and Communications
HeteroPar 2022   Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms
SNR 2022   The 8th International Workshop on Symbolic-Numeric Methods for Reachability Analysis