From pasco94@risc.uni-linz.ac.at Thu Aug 25 08:10:03 EDT 1994 Article: 4941 of comp.lang.functional Newsgroups: comp.parallel,comp.lang.functional,comp.lang.prolog,sci.math.symbolic,comp.constraints Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!miner.usbm.gov!rsg1.er.usgs.gov!stc06.CTD.ORNL.GOV!fnnews.fnal.gov!mp.cs.niu.edu!vixen.cso.uiuc.edu!howland.reston.ans.net!cs.utexas.edu!news.tamu.edu!news.utdallas.edu!corpgate!bnrgate!nott!torn!news.unb.ca!coranto.ucs.mun.ca!nstn.ns.ca!dragon.acadiau.ca!risc.uni-linz.ac.at!pasco94 From: pasco94@risc.uni-linz.ac.at (Parallel Symbolic Computation Symposium '94) Subject: PASCO'94 (Program) Status: RO Message-ID: <33f0jj$ean@osiris.wu-wien.ac.at> To: comp-parallel@uunet.uu.net Originator: 881045m@dragon.acadiau.ca Lines: 670 Sender: news@relay.acadiau.ca Nntp-Posting-Host: melmac.risc.uni-linz.ac.at Organization: RISC, J.K. University of Linz, Austria Date: Thu, 25 Aug 1994 02:34:31 GMT Approved: richard.muise@acadiau.ca Lines: 671 Xref: economic.mess.cs.cmu.edu comp.parallel:10448 comp.lang.functional:4941 comp.lang.prolog:11132 sci.math.symbolic:13849 comp.constraints:253 For additional information, consult the WWW site: http://info.risc.uni-linz.ac.at:70/1/local/events/conferences ------------- cut here -------------------------------------------------- ========================================================================== First International Symposium on PARALLEL SYMBOLIC COMPUTATION September 26 -- 28, 1994 Linz - Austria ========================================================================== Official 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 ==================== ########################################################################### Official 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). 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 ===================== ########################################################################### Official PROGRAM ---------------- Tuesday, 27 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 ======================== ------------- cut here -------------------------------------------------- \documentstyle[fullpage]{article} \topmargin -2cm \marginparwidth -0.1cm \oddsidemargin -1.5cm \evensidemargin -2cm \marginparsep 0pt \textwidth 19cm \textheight 27.5cm \parskip 2pt \parindent 0pt %============================ % new commands for the style %============================ \newcommand{\head}[1]{\begin{center} \vspace*{-1.5cm} {\Large {\bf { PASCO'94 }}} {\large {First International Symposium on}} {\large {\bf { Parallel Symbolic Computation}}}\\[4ex] {\Large \bf \underline{PROGRAM}} \\ {\large {#1 September 1994}}\\[4ex] \end{center} } \newcommand{\titem}[1]{\item[\large \bf #1]} \newcommand{\secIT}[2]{\titem{#1} {\large \bf Session #2: Invited Tutorial}\ } \newcommand{\secCP}[2]{\titem{#1} {\large \bf Session #2: Contributed Papers} \ } \newcommand{\lunch}{\titem{12:40} {\large \bf Lunch Break} \ } \newcommand{\cbreak}[1]{\titem{#1}{\large \bf Coffee Break}\ } \newcommand{\close}{\titem{18:00} \large \bf End of Day} %================= \begin{document} %================= \head{Monday, 26} \begin{itemize} \titem{\ 8:40}{ \large \bf Administration / Opening of the Symposium} \secIT{\ 9:00}{1} Parallel Computer Algebra \ \\ {\em Paul Wang } (Kent, USA). \cbreak{10:00} \secCP{10:20}{2} Parallel Solution of Toeplitz and Toeplitz-Like Linear Systems Over Fields of Small Positive Characteristic \ \\{\em Erich Kaltofen } (Troy, USA), \ {\em Victor Pan } (Bronx, USA). The vectorisation monad \ \\{\em Jonathan M.D. Hill }, \ {\em Keith Clarke }, \ {\em Richard Bornat } (London, UK). Constraint Solving in Distributed Concurrent Logic Programming \ \\{\em Ho-Fung Leung } (Hong Kong), \ {\em Keith Clark } (London, UK). \cbreak{11:20} \secCP{11:40}{3} On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method \ \\{\em Maria Paola Bonacina } (Iowa City, USA). A strategy-accurate parallel Buchberger algorithm \ \\{\em Giuseppe Attardi }, \ {\em Carlo Traverso } (Pisa, Italy). Optimizing Clause Matching Automata in Committed-Choice Languages \ \\{\em Bart Massey }, \ {\em Evan Tick } (Eugene, USA). \lunch \secIT{14:20}{4} Parallel Automated Deduction \ \\{\em Claude Kirchner } (Nancy, France). \cbreak{ 15:20} \secCP{15:40}{5} Multi-Threaded AC Term Rewriting \ \\{\em Reinhard B\"undgen }, \ {\em Manfred G\"obel }, \ {\em Wolfgang K\"uchlin } (T\"ubingen, Germany). A Parallel Gr\"obner Factorizer \ \\{\em Hans-Gert Gr\"abe }, \ {\em Wolfgang Lassner } (Leipzig, Germany). A Comparative Study of Methods for Automatic Compile--time Parallelization of Logic Programs \ \\{\em Francisco Bueno }, \ {\em Maria Jos\'e Garcia de la Banda }, \ {\em Manuel Hermenegildo } (Madrid, Spain). \cbreak{16:40} \secCP{17:00}{6} Distributed programming in Erlang \ \\{\em Claes Wikstr\"om } (\"Alvsj\"o, Sweden) The Multipath Parallel Execution Model for Prolog \ \\{\em Antonio Gonz\'alez }, \ {\em Jordi Tubella } (Barcelona, Spain) Some Experiments with Parallel Bignum Arithmetic \ \\{\em Bruce Char }, \ {\em Jeremy Johnson } (Philadelphia, USA), \ {\em David Saunders }, \ {\em Andrew P. Wack } (Newark, USA). \close \end{itemize} \pagebreak \head{Tuesday, 27} \begin{itemize} \titem{\ 8:40}{ \large \bf Administration} \secIT{\ 9:00}{1} Parallel Functional Languages: \ \\{\em Kevin Hammond } (Glasgow, UK) \cbreak{10:00} \secCP{10:20}{2} Parallel Implementation of the Gamma-Operation on Bags \ \\{\em Katia Gladitz }, \ {\em Herbert Kuchen } (Aachen, Germany). PAC++ system and parallel algebraic numbers computation \ \\{\em Thierry Gautier }, \ {\em Jean-Louis Roch } (Grenoble, France). Towards Granularity Based Control of Parallelism in Logic Programs \ \\{\em Pedro L\'opez Garcia }, \ {\em Manuel Hermenegildo } (Madrid, Spain). \cbreak{11:20} \secCP{11:40}{3} An AND Parallelization Method for MGTP and Its Evaluation \ \\{\em Ryuzo Hasegawa }, \ {\em Miyuki Koshimura } (Tokyo, Japan). Parallel GCD for Sparse Multivariate Polynomials on Shared Memory Multiprocessors \ \\{\em Mohamed Omar Rayes } (Kent, USA) \ {\em Paul S. Wang } (Livermore, USA). Local and Conditional Blackboard Operations in $\mu$Log: Semantics, Applicability, and Implementation \ \\{\em Koen De Bosschere } (Gent, Belgium), \ {\em Jean-Marie Jacquet } (Namur, Belgium). \lunch \secCP{14:20}{4} A Para-Functional Programming Interface for a Parallel Computer Algebra Package \ \\{\em Wolfgang Schreiner } (Linz, Austria). Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel Implementation \ \\{\em Hirokazu Murao }, \ {\em Tetsuro Fujise } (Tokyo, Japan). Constraint-Based Knowledge Brokers \ \\{\em Jean-Marc Andreoli }, \ {\em Uwe M. Borghoff }, \ {\em Remo Pareschi } (Meylan, France). \cbreak{ 15:20} \secCP{15:40}{5} Implementation of a Data-Parallel Concurrent Constraint Programming System \ \\{\em Bo-Ming Tong }, \ {\em 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} \ \\{\em Tracy Burke-Perline } (Philadelphia, USA). Parallel Symbolic Processing with the Distributed Lists \ \\{\em Masaru Takesue } (Tokyo, Japan). \cbreak{16:40} \secCP{17:00}{6} A Semi-Automatic Approach for Parallelizing Symbolic Processing Programs \ \\{\em Angela Sodan }, \ {\em Hua Bi } (Berlin, Germany). A High Performance Runtime System for Parallel Evaluation of Lazy Languages \ \\{\em Owen Kaser } (Saint John, Canada), \ {\em C.R. Ramakrishnan } (Stony Brook, USA), \ {\em R.C. Sekar } (Morristown, USA). Synchronization of Constrained Transition Systems \ \\{\em Antoine Rauzy } (Talence, France), \ {\em Sre\'cko Brlek } (Montr\'eal, Canada). \close \end{itemize} \pagebreak \head{Wednesday, 28} \begin{itemize} \titem{\ 8:40}{ \large \bf Administration} \secIT{\ 9:00}{1} Parallel Constraint/Logic Languages: \ \\{\em Gert Smolka } (Saarbr\"ucken, Germany) \cbreak{10:00} \secCP{10:20}{2} PARCS: An MPP-Oriented CLP Language \ \\{\em Kazuhiro Konno }, \ {\em Masaaki Nagatsuka}, \ {\em Naoki Kobayashi }, \ {\em Satoshi Matsuoka }, \ {\em Akinori Yonezawa } (Tokyo, Japan). A Stack-based Machine for Parallel Execution of Babel Language \ \\{\em Fernando S\'aenz }, \ {\em J.J. Ruz } (Madrid, Spain), \ {\em Werner Hans }, \ {\em Stephan Winkler } (Aachen, Germany). Bidirectional Exact Integer Division \ \\{\em Werner Krandick }, \ {\em Tudor Jebelean } (Linz, Austria). \cbreak{11:20} \secCP{11:40}{3} Cumulating Search in a Distributed Computing Environment: A Case Study \ \\{\em Hantao Zhang }, \ {\em Maria Paola Bonacina } (Iowa City, USA). Parallel Implementation of the Accelerated Integer GCD Algorithm \ \\{\em Kenneth Weber } (Kent, USA). A Cooperative Scheme for Solving Constraints over the Reals \ \\{\em Philippe Marti }, \ {\em Michel Rueher } (Sophia Antipolis, France). \lunch \secCP{14:20}{4} Parallel Abduction in Logic Programming \ \\{\em Antonis C. Kakas }, \ {\em George A. Papadopoulos } (Nicosia, Cyprus). A Parallel Factorization Tree Gr\"obner Basis Algorithm \ \\{\em Kurt Siegl } (Linz, Austria) Independent Subexpressions Parallelism with Delayed Synchronization for Functional Logic Languages \ \\{\em Andr\'es del Pozo-Prieto }, \ {\em Juan Jos\'e Moreno-Navarro } (Madrid, Spain). \cbreak{ 15:20} \secCP{15:40}{5} Parallelization of Gr\"obner basis \ \\{\em Jean-Charles Faug\`ere } (Paris, France) Parallelising a Functional Program Using a List-Homomorphism Skeleton \ \\{\em Tore A. Bratvold } (Edinburgh, UK). Recording, Analyzing and Presenting Distributed Deduction Processes \ \\{\em J\"org Denzinger }, \ {\em Stephan Schulz } (Kaiserslautern, Germany). \cbreak{16:40} \secCP{17:00}{6} Distributed Computer Algebra: the Central Control approach \ \\{\em St\'ephane Dalmas }, \ {\em Marc Ga\"etano }, \ {\em Alain Sausse } (Sophia-Antipolis, France). Reducing Graph Copying Costs - Time to Wrap it up \ \\{\em Marco Kesseler } (Nijmegen, The Netherlands) \titem{17:40}{\large \bf Closing of the Symposium}\ \titem{19:30}{\large \bf Symposium Banquet} \ \end{itemize} \end{document}