Announcing student registration fee.... ======================================================================= LAST CALL FOR PARTICIPATION PASCO'94 First International Symposium Parallel Symbolic Computation September 26 -- 28, 1994 Linz - Austria ======================================================================= The First International Symposium on Parallel Symbolic Computation (PASCO'94) will be devoted communicating significant developments in all the areas pertinent to ``Parallel Symbolic Computation''. The interplay between parallelism and symbolic computation poses inspiring scientific challenges, which deserve much focused attention. However, there has not yet been a dedicated forum, and this symposium addresses the need. It is also expected that further progress can be made through the interaction between parallel symbolic algorithm designers and parallel high-level language designers. This symposium is intended to provide a framework for establishing this fruitful dialogue. ======================================================================= SYMPOSIUM PROGRAM ======================================================================= Symposium PROGRAM ---------------- Monday, 26 Sept. 8:40 Administration / Opening of the Symposium =============================================== 9:00 Session 1: Invited Tutorial =================================== Parallel Computer Algebra: Paul Wang (Kent, USA) 10:00 Coffee Break =================== 10:20 Session 2: Contributed Papers ====================================== Parallel Solution of Toeplitz and Toeplitz-Like Linear Systems Over Fields of Small Positive Characteristic Erich Kaltofen (Troy, USA), Victor Pan (Bronx, USA). The vectorisation monad Jonathan M.D. Hill, Keith Clarke, Richard Bornat (London, UK). Constraint Solving in Distributed Concurrent Logic Programming Ho-Fung Leung (Hong Kong), Keith Clark (London, UK). 11:20 Coffee Break =================== 11:40 Session 3: Contributed Papers ====================================== On the reconstruction of proofs in distributed theorem proving with contraction: a modified ause-Diffusion method Maria Paola Bonacina (Iowa City, USA). A strategy-accurate parallel Buchberger algorithm Giuseppe Attardi, Carlo Traverso (Pisa, Italy). Optimizing Clause Matching Automata in Committed-Choice Languages Bart Massey, Evan Tick (Eugene, USA). 12:40 Lunch Break =================== 14:20 Session 4: Invited Tutorial ==================================== Parallel Automated Deduction: Claude Kirchner (Nancy, France) 15:20 Coffee Break =================== 15:40 Session 5: Contributed Papers ====================================== Multi-Threed AC Term Rewriting Reinhard Buendgen, Manfred Goebel, Wolfgang Kuechlin (Tuebingen, Germany). A Parallel Groebner Factorizer Hans-Gert Graebe, Wolfgang Lassner (Leipzig, Germany). A Comparative Study of Methods for Automatic Compile--time Parallelization of Logic Programs Francisco Bueno, Maria Jose` Garcia de la Banda, Manuel Hermenegildo (Madrid, Spain). 16:40 Coffee Break =================== 17:00 Session 6: Contributed Papers ====================================== Distributed programming in Erlang Claes Wikstr\"om (\"Alvsj\"o, Sweden). The Multipath Parallel Execution Model for Prolog Antonio Gonz\'alez, Jordi Tubella (Barcelona, Spain). Some Experiments with Parallel Bignum Arithmetic Bruce Char, Jeremy Johnson (Philelphia, USA) David Saunders, Andrew P. Wack (Newark, USA). 18:00 End of the Day ==================== Symposium PROGRAM ---------------- Tuesday, 27 Sept. 8:40 Administration / Opening of the Symposium ============================================== 9:00 Session 1: Invited Tutorial =================================== Parallel Functional Languages: Kevin Hammond (Glasgow, UK). 10:00 Coffee Break =================== 10:20 Session 2: Contributed Papers ====================================== Parallel Implementation of the Gamma-Operation on Bags Katia Gladitz, Herbert Kuchen (Aachen, Germany). PAC++ system and parallel algebraic numbers computation Thierry Gautier, Jean-Louis Roch (Grenoble, France). Towards Granularity Based Control of Parallelism in Logic Programs Pedro L\'opez Garcia, Manuel Hermenegildo (Madrid, Spain), Saumya Debray (Tucson, USA). 11:20 Coffee Break =================== 11:40 Session 3: Contributed Papers ====================================== An AND Parallelization Method for MGTP and Its Evaluation Ryuzo Hasegawa, Miyuki Koshimura (Tokyo, Japan). Parallel GCD for Sparse Multivariate Polynomials on Shared Memory Multiprocessors Mohamed Omar Rayes (Kent, USA), Paul S. Wang (Livermore, USA). Local and Conditional Blackboard Operations in $\mu$Log: Semantics, Applibility, and Implementation Koen De Bosschere (Gent, Belgium), Jean-Marie Jacquet (Namur, Belgium). 12:40 Lunch Break =================== 14:20 Session 4: Contributed Papers ====================================== A Para-Functional Programming Interface for a Parallel Computer Algebra Package Wolfgang Schreiner (Linz, Austria). Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation Hirokazu Murao, Tetsuro Fujise (Tokyo, Japan). Constraint-Based Knowledge Brokers Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi (Meylan, France). 15:20 Coffee Break =================== 15:40 Session 5: Contributed Papers ====================================== Implementation of a Data-Parallel Concurrent Constraint Programming System Bo-Ming Tong, Ho-Fung Leung (Hong Kong). The Parallel Computation of $f(x)^{\frac{(p-1)}{2}}$ mod $h(x)$ on a Network of Workstations using {\em Sugarbush 1.1} Tracy Burke-Perline (Philelphia, USA). Parallel Symbolic Processing with the Distributed Lists Masaru Takesue (Tokyo, Japan) 16:40 Coffee Break =================== 17:00 Session 6: Contributed Papers ====================================== A Semi-Automatic Approach for Parallelizing Symbolic Processing Programs Angela Sodan, Hua Bi (Berlin, Germany). A High Performance Runtime System for Parallel Evaluation of Lazy Languages Owen Kaser (Saint John, Canada), C.R. Ramakrishnan (Stony Brook, USA), R.C. Sekar (Morristown, USA). Synchronization of Constrained Transition Systems Antoine Rauzy (Talence, France), Sre\'cko Brlek (Montreal, Canada). 18:00 End of the Day ===================== Symposium PROGRAM ---------------- Wednesday, 28 Sept. 8:40 Administration / Opening of the Symposium ============================================== 9:00 Session 1: Invited Tutorial =================================== Parallel Constraint/Logic Languages: Gert Smolka (Saarbruecken, Germany). 10:00 Coffee Break =================== 10:20 Session 2: Contributed Papers ====================================== PARCS: An MPP-Oriented P Language Kazuhiro Konno, Masaaki Nagatsuka, Naoki Kobayashi, Satoshi Matsuoka Akinori Yonezawa (Tokyo, Japan). A Stack-based Machine for Parallel Execution of Babel Language F. S\'aenz, J.J. Ruz (Madrid, Spain), Werner Hans, Stephan Winkler (Aachen, Germany). Bidirectional Exact Integer Division Werner Krandick, Tudor Jebelean (Linz, Austria). 11:20 Coffee Break =================== 11:40 Session 3: Contributed Papers ====================================== Cumulating Search in a Distributed Computing Environment: A Case Study Hantao Zhang, Maria Paola Bonacina (Iowa City, USA). Parallel Implementation of the Accelerated Integer GCD Algorithm Kenneth Weber (Kent, USA). A Cooperative Scheme for Solving Constraints over the Reals Philippe Marti, Michel Rueher (Sophia Antipolis, France). 12:40 Lunch Break =================== 14:20 Session 4: Contributed Papers ====================================== Parallel Abduction in Logic Programming Antonis C. Kakas, George A. Papopoulos (Nicosia, Cyprus). A Parallel Factorization Tree Groebner Basis Algorithm Kurt Siegl (Linz, Austria). Independent Subexpressions Parallelism with Delayed Synchronization for Functional Logic Languages Andr\'es del Pozo-Prieto, Juan Jos\'e Moreno-Navarro (Madrid, Spain). 15:20 Coffee Break =================== 15:40 Session 5: Contributed Papers ====================================== Parallelization of Groebner basis J.C. Faug\`ere (Paris, France). Parallelising a Functional Program Using a List-Homomorphism Skeleton Tore A. Bratvold (Edinburgh, UK). Recording, Analyzing and Presenting Distributed Deduction Processes J\"org Denzinger, Stephan Schulz (Kaiserslautern, Germany). 16:40 Coffee Break =================== 17:00 Session 6: Contributed Papers ====================================== Distributed Computer Algebra: the Central Control approach St\'ephane Dalmas, Marc Ga\"etano, Alain Sausse (Sophia-Antipolis, France). Reducing Graph Copying Costs - Time to Wrap it up Marco Kesseler (Nijmegen, The Netherlands). 17:40 Closing of the Symposium =============================== 19:00 Symposium Banquet ======================== =========================================================================== =========================================================================== =========================================================================== Location -------- The symposium will take place in the beautiful Castle of Hagenberg, a medieval castle which was renovated recently and now houses RISC-Linz, the Research Institute for Symbolic Computation. The village of Hagenberg is located in the hilly countryside of the M"uhlviertel, about 25 km from Linz, the capital of Upper Austria. Linz has an international airport and is on the main train line and autobahn to Vienna. A shuttle service from Linz to Hagenberg will be provided by the conference organizers. Publication ----------- Proceedings: Will be published by ``World Scientific Publishing''. They will be available to participants at the meeting. Journal: Several high quality papers will appear as a special issue of the Journal of Symbolic Computation (JSC), which is planned to appear in early 1995. Registration ------------ The early registration fee (until August 31) is ATS 3000.--, late registration fee is ATS 3600.--. This includes all talks, the proceedings, 3 lunches, coffee/tea/soft drinks and cakes for the coffee breaks, the conference dinner, and the shuttle service from the hotels to the conference location and back. >>>>>>>>>>>>> STUDENT FEE for attending PASCO'94 <<<<<<<<<<<<<<< The STUDENT FEE applies to students, provided that they are not authors participating alone to present a paper. Hence, accompanying student co-authors and non-author students will be charged 1000 ATS in order to cover the lunches and the coffee/breaks, the bus shuttle and the conference dinner. This fee does not include a copy of the proceedings. In order to apply for the reduced fee, please fill-in the student registration form appended below. For the registration forms and for the PostScript version of the call for participation and of the program, please contact (email preferred) PASCO'94 Registration c/o RISC-Linz Johannes Kepler University 4040 Linz Austria/Europe Fax: +43 7236 3231-30 email: pasco94@risc.uni-linz.ac.at URL: http://info.risc.uni-linz.ac.at:70/0/local/events/conferences/index.html ======================================================================= ACKNOWLEDGEMENTS ======================================================================= Sponsors -------- ACCLAIM European Union ESPRIT Basic Research Action CEI-PACT Central European Initiative on Parallel Computation BMWF Austrian Ministry of Science FWF Austrian National Science Foundation ACPC Austrian Center for Parallel Computation RISC Research Institute for Symbolic Computation, Austria Invited speakers ---------------- Kevin Hammond (UK) on Parallel Functional Languages Claude Kirchner (France) on Parallel Automated Deduction Gert Smolka (Germany) on Parallel Constraint/Logic Languages Paul Wang (USA) on Parallel Computer Algebra Program Committee ----------------- A. Aiba, (Japan) L. Augustsson, (Sweden) M. P. Bonacina, (USA) B. Char, (USA) J. Della Dora, (France) J. Fitch, (UK) B. Fronhoefer, (Germany) K. Hammond, (UK) S. Haridi, (Sweden) J. Hsiang, (Taiwan) J. Johnson, (USA) H. Kredel, (Germany) H. Kuchen, (Germany) W. Kuechlin, (Germany) E. Lusk, (USA) R. Maeder, (Switzerland) C. Palamidessi, (Italy) J. L. Roch, (France) V. Saraswat, (USA) D. Saunders, (USA) G. Smolka, (Germany) P. Van Hentenryck, (USA) P. Viry, (Japan) M. Wallace, (Germany) P. Wang, (USA) S. Watt, (USA) K. Yelick, (USA) R. Zippel, (USA) Program Committee Chair ----------------------- Hoon Hong RISC-Linz, Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria/Europe Phone: +43 (7236) 3231-48 Fax: +43 (7236) 3231-30 email: hhong@risc.uni-linz.ac.at Symposium Chair --------------- Bruno Buchberger RISC-Linz, Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria/Europe Phone: +43 (7236) 3231-41 Fax: +43 (7236) 3231-30 email: buchberg@risc.uni-linz.ac.at Local Organization ------------------ RISC-Linz, Austria Olga Caprotti Andreas Neubacher Wolfgang Schreiner email: pasco94@risc.uni-linz.ac.at ------- 8< ------- 8< ------- 8< ------- 8< ------- 8< ------- 8< ------- 8< ------- STUDENT REGISTRATION FORM for PASCO'94 Name: _____________________ First Name: _________________ Middle Initials: ___ Title: ____________________ Affiliation: _____________________________________________ Address: _____________________________________________ City: _____________________________ State: _____________________________ Telephone: _____________________________ Fax: _____________________________ e-mail: _____________________________ Registration fees ================= Student Fee: 1000 Austrian Schillings (ATS). The fee includes: lunches, coffee-breaks, bus shuttle and banquet. It does not include a copy of the Proceedings. Payment ======= o By cheque payable to "PASCO'94" Account No. 510 000 25320, Raiffeisenkasse (Hagenberg/Pregarten), 4232 Hagenberg, Austria, Bank No. 34151. (Net of all bank charges.) o By bank transfer to the account "PASCO'94" Account No. 510 000 25320, Raiffeisenkasse (Hagenberg/Pregarten), 4232 Hagenberg, Austria, Bank No. 34151. (Net of all bank charges.) o By credit card (Mastercard/Eurocard, Visa and American Express are accepted). o Mastercard/Eurocard o Visa o American Express Card #: ____________________________________________________ Expiration Date: _________ Signature: _________________________________________________ (if sent by normal mail or fax)