From sutor@watson.ibm.com Fri Nov 5 14:31:50 EST 1993 Article: 11356 of comp.lang.lisp Xref: glinda.oz.cs.cmu.edu comp.ai:19433 comp.lang.fortran:16576 comp.lang.lisp:11356 comp.lang.smalltalk:9863 Newsgroups: comp.ai,comp.lang.fortran,comp.lang.lisp,comp.lang.smalltalk Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!uunet!newsgate.watson.ibm.com!hawnews.watson.ibm.com!yktnews.watson.ibm.com!sutor From: sutor@watson.ibm.com (Robert S. Sutor) Subject: ISSAC '94 in Oxford, UK Sender: news@yktnews.watson.ibm.com (NNTP News Poster) Message-ID: Date: Fri, 5 Nov 1993 02:47:13 GMT Nntp-Posting-Host: yktpub.watson.ibm.com Organization: IBM T.J. Watson Research Center Keywords: ISSAC, Oxford Lines: 69 First Announcement and Call for Papers International Symposium on Symbolic and Algebraic Computation ISSAC '94 20 - 22 July 1994, St. Catherine's College, Oxford, UK General Chair : Malcolm MacCallum, QMW, London, UK Program Chair : Joachim von zur Gathen, University of Toronto, Canada The annual International Symposium on Symbolic and Algebraic Computation (ISSAC), sponsored (subject to confirmation) by the ACM Special Interest Group in Symbolic and Algebraic Manipulation (SIGSAM), will be held in the University city of Oxford (England) from Wednesday, 20 July, to Friday, 22 July 1994, with preliminary registration on Tuesday evening (19 July). Papers presenting original research on all areas of symbolic and algebraic computation are sought. Typical, but not exclusive, topics of interest include: algorithms for problems in algebra, number theory, group theory, algebraic geometry, differential algebra and differential equations; combined symbolic/numeric methods; languages and systems for symbolic computation; parallel symbolic computation; automatic theorem proving and programming; applications of symbolic computation to mathematics, science, engineering and education. Paper Submission: Papers may be submitted either electronically in LaTeX form using a standard article style or (preferred) as Postscript files, or in hard copy form. The preferred format is 12pt, with a maximum of 10 pages. Authors may also use the ACM-style macros available via anonymous ftp from wally.cs.mcgill.ca in the file pub/doc/tex/acmconf.sty, in which case the page limit is 5 pages. Any paper submitted electronically must be transmitted as one complete file (no shell archive etc.); papers which cannot be processed by standard LaTeX with the appropriate style macros will be rejected. In case of hard copy, authors are requested to provide 6 copies of their paper (printed both sides, if possible). Authors whose access to reproduction facilities is severely limited may submit a single copy of their paper. Papers must be received by 15 January 1994 by the Program Chair or postmarked not later than 8 January 1994 and sent by airmail. This is a firm deadline. Later submissions risk rejection without consideration of merit, as do papers that are longer than the page limit as above. To make submissions as intelligible as possible to non-specialists, they should start with a succinct statement of the problem, the results achieved, an explanation of their significance, and a comparison with previous work. Submissions should include the contact author's name, address, telephone/fax number and e-mail address if possible. Simultaneous submission of essentially the same paper to another conference with published proceedings is not allowed. Notification: Authors will be notified of acceptance or rejection by a communication sent by 25 March 1994. The provisional date for receipt of the final copy of the paper is 20 April 1994. (At this stage LaTeX form is strongly preferred, as it will simplify production.) Authors of accepted papers will be expected to confirm their intention to present their work at the Symposium. Local Arrangements: The local arrangements committee consists of James Davenport (Bath), Exhibits/Sponsorship Chair, and Steve Hague (NAG), Local Chair, and other colleagues. Exhibitions and demonstrations will take place during the Symposium, and an "accompanying partners" program will be arranged. For further information, contact: Malcolm MacCallum Joachim von zur Gathen Steve Hague School of Mathematical Sciences Department of Computer Science NAG Limited Queen Mary & Westfield College University of Toronto Wilkinson House Mile End Road Toronto Jordan Hill Road London E1 4NS Ontario M5S 1A4 OXford OX2 8DR UK Canada UK mm@maths.qmw.ac.uk issac@cs.toronto.edu steve@nag.co.uk -- Robert S. Sutor Research Staff Member IBM Thomas J. Watson Research Center Yorktown Heights, New York 10598 USA Article 7759 of comp.lang.scheme: Xref: glinda.oz.cs.cmu.edu sci.math.symbolic:9749 sci.math:57126 comp.theory:8499 comp.lang.scheme:7759 Newsgroups: sci.math.symbolic,sci.math,comp.theory,comp.lang.scheme Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!pipex!uunet!newsgate.watson.ibm.com!hawnews.watson.ibm.com!yktnews.watson.ibm.com!sutor From: sutor@watson.ibm.com (Robert S. Sutor) Subject: ISSAC '94 in Oxford, UK Sender: news@yktnews.watson.ibm.com (NNTP News Poster) Message-ID: Date: Thu, 4 Nov 1993 12:43:31 GMT Nntp-Posting-Host: yktpub.watson.ibm.com Organization: IBM T.J. Watson Research Center Followup-To: sci.math.symbolic Lines: 69 First Announcement and Call for Papers International Symposium on Symbolic and Algebraic Computation ISSAC '94 20 - 22 July 1994, St. Catherine's College, Oxford, UK General Chair : Malcolm MacCallum, QMW, London, UK Program Chair : Joachim von zur Gathen, University of Toronto, Canada The annual International Symposium on Symbolic and Algebraic Computation (ISSAC), sponsored (subject to confirmation) by the ACM Special Interest Group in Symbolic and Algebraic Manipulation (SIGSAM), will be held in the University city of Oxford (England) from Wednesday, 20 July, to Friday, 22 July 1994, with preliminary registration on Tuesday evening (19 July). Papers presenting original research on all areas of symbolic and algebraic computation are sought. Typical, but not exclusive, topics of interest include: algorithms for problems in algebra, number theory, group theory, algebraic geometry, differential algebra and differential equations; combined symbolic/numeric methods; languages and systems for symbolic computation; parallel symbolic computation; automatic theorem proving and programming; applications of symbolic computation to mathematics, science, engineering and education. Paper Submission: Papers may be submitted either electronically in LaTeX form using a standard article style or (preferred) as Postscript files, or in hard copy form. The preferred format is 12pt, with a maximum of 10 pages. Authors may also use the ACM-style macros available via anonymous ftp from wally.cs.mcgill.ca in the file pub/doc/tex/acmconf.sty, in which case the page limit is 5 pages. Any paper submitted electronically must be transmitted as one complete file (no shell archive etc.); papers which cannot be processed by standard LaTeX with the appropriate style macros will be rejected. In case of hard copy, authors are requested to provide 6 copies of their paper (printed both sides, if possible). Authors whose access to reproduction facilities is severely limited may submit a single copy of their paper. Papers must be received by 15 January 1994 by the Program Chair or postmarked not later than 8 January 1994 and sent by airmail. This is a firm deadline. Later submissions risk rejection without consideration of merit, as do papers that are longer than the page limit as above. To make submissions as intelligible as possible to non-specialists, they should start with a succinct statement of the problem, the results achieved, an explanation of their significance, and a comparison with previous work. Submissions should include the contact author's name, address, telephone/fax number and e-mail address if possible. Simultaneous submission of essentially the same paper to another conference with published proceedings is not allowed. Notification: Authors will be notified of acceptance or rejection by a communication sent by 25 March 1994. The provisional date for receipt of the final copy of the paper is 20 April 1994. (At this stage LaTeX form is strongly preferred, as it will simplify production.) Authors of accepted papers will be expected to confirm their intention to present their work at the Symposium. Local Arrangements: The local arrangements committee consists of James Davenport (Bath), Exhibits/Sponsorship Chair, and Steve Hague (NAG), Local Chair, and other colleagues. Exhibitions and demonstrations will take place during the Symposium, and an "accompanying partners" program will be arranged. For further information, contact: Malcolm MacCallum Joachim von zur Gathen Steve Hague School of Mathematical Sciences Department of Computer Science NAG Limited Queen Mary & Westfield College University of Toronto Wilkinson House Mile End Road Toronto Jordan Hill Road London E1 4NS Ontario M5S 1A4 OXford OX2 8DR UK Canada UK mm@maths.qmw.ac.uk issac@cs.toronto.edu steve@nag.co.uk -- Robert S. Sutor Research Staff Member IBM Thomas J. Watson Research Center Yorktown Heights, New York 10598 USA Article 12626 of comp.lang.lisp: Xref: glinda.oz.cs.cmu.edu comp.lang.fortran:19360 comp.lang.lisp:12626 comp.theory:9675 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!uknet!comlab.ox.ac.uk!oxuniv!nagx From: nagx@vax.oxford.ac.uk Newsgroups: comp.lang.fortran,comp.lang.lisp,comp.theory Subject: **** ISSAC'94 **** Message-ID: <1994Apr21.114256.22150@oxvaxd> Date: 21 Apr 94 11:42:56 GMT Organization: Oxford University VAX 6620 Lines: 29 *** *** *** ISSAC'94 *** *** *** The International Symposium on Symbolic and Algebraic Computation is taking place in Oxford, UK, 20-22 July, 1994. The ISSAC'94 registration form (sterling & US$ versions are now available, both of which include new student discount rates) and accompanying notes (in plain text form) are available from : ftp helford.nag.co.uk Gopher : Name=NAG Gopher Server Username: issac94 Type=1 Password: issac94 OR Port=70 Path=1/ Host=www.nag.co.uk WWW : http://www.nag.co.uk:70/ The forms and notes can be found under the headings 5. Latest Information, and 16. Other NAG Activities on the NAG Gopher Server. If you require further information, please do not hesitate to contact me. Sharon Fagan, ISSAC'94 Local Arrangements sharon@nag.co.uk Article 12855 of comp.lang.lisp: Xref: glinda.oz.cs.cmu.edu comp.lang.fortran:19842 comp.lang.lisp:12855 comp.theory:9856 Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!newsfeed.pitt.edu!gatech!swrinde!pipex!uknet!comlab.ox.ac.uk!oxuniv!nagx From: nagx@vax.oxford.ac.uk Newsgroups: comp.lang.fortran,comp.lang.lisp,comp.theory Subject: ISSAC'94 - Update Message-ID: <1994May19.124316.22990@oxvaxd> Date: 19 May 94 12:43:16 BST Organization: Oxford University VAX 6620 Lines: 36 *** *** *** *** *** ISSAC'94 - UPDATE *** *** *** *** *** The International Symposium on Symbolic and Algebraic Computation is taking place in Oxford, UK, 20-22 July, 1994. The deadline for the reduced, early registration fee (see table below) is 2 June 1994. The ISSAC'94 registration form (sterling & US$ versions are available, both of which include student discount rates) accompanying notes, and the preliminary program (all in plain text form) are available from : ftp helford.nag.co.uk Gopher : Name=NAG Gopher Server Username: issac94 Type=1 Password: issac94 OR Port=70 Path=1/other Host=www.nag.co.uk WWW : http://www.nag.co.uk:70/ We also expect that this information will shortly be available on the Maui HPCC Server - http://www.mhpcc.edu/ Before 3 June 1994 After 3 June 1994 ------------------ ----------------- ACM/SIGSAM Member 170 (GBP) 190 (GBP) Non-Member 200 (GBP) 220 (GBP) Student - ACM/SIGSAM Member 100 (GBP) 120 (GBP) Student - Non-Member 130 (GBP) 150 (GBP) If you require further information, please do not hesitate to contact me. Sharon Fagan, ISSAC'94 Local Arrangements sharon@nag.co.uk Article 13226 of comp.lang.lisp: Xref: glinda.oz.cs.cmu.edu comp.lang.fortran:20548 comp.lang.lisp:13226 comp.theory:10074 Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!newsfeed.pitt.edu!gatech!howland.reston.ans.net!EU.net!uknet!comlab.ox.ac.uk!oxuniv!nagx From: nagx@vax.oxford.ac.uk Newsgroups: comp.lang.fortran,comp.lang.lisp,comp.theory Subject: ISSAC'94 - Registration Deadline Message-ID: <1994Jun21.154002.23923@oxvaxd> Date: 21 Jun 94 15:40:02 GMT Organization: Oxford University VAX 6620 Lines: 41 *** *** *** *** *** *** ISSAC'94 - REGISTRATION DEADLINE *** *** *** *** *** *** The International Symposium on Symbolic and Algebraic Computation is taking place in Oxford, UK, 20-22 July, 1994. The deadline for registration is 8 July 1994. The ISSAC'94 registration form (sterling & US$ versions are available, both of which include student discount rates) accompanying notes, and the preliminary program (all in plain text form) are available from : ftp helford.nag.co.uk Gopher : Name=NAG Gopher Server Username: issac94 Type=1 Password: issac94 OR Port=70 Path=1/other Host=www.nag.co.uk WWW : http://www.nag.co.uk:70/ Registration Fee ================ After 3 June 1994 ----------------- ACM/SIGSAM Member/Author 190 (GBP) US$285 Non-Member 220 (GBP) US$330 Student - ACM/SIGSAM Member 120 (GBP) US$180 Student - Non-Member 150 (GBP) US$225 GBP= pounds sterling If you require further information, please do not hesitate to contact me. Sharon Fagan, ISSAC'94 Local Arrangements Co-ordinator email : sharon@nag.co.uk Article 13422 of comp.lang.lisp: Xref: glinda.oz.cs.cmu.edu comp.lang.fortran:20941 comp.lang.lisp:13422 comp.theory:10172 Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!uknet!comlab.ox.ac.uk!oxuniv!nagx From: nagx@vax.oxford.ac.uk Newsgroups: comp.lang.fortran,comp.lang.lisp,comp.theory Subject: ISSAC'94 - Registration Deadline Message-ID: <1994Jul7.120827.24441@oxvaxd> Date: 7 Jul 94 12:08:27 BST Organization: Oxford University VAX 6620 Lines: 41 *** *** *** *** *** *** ISSAC'94 - REGISTRATION DEADLINE *** *** *** *** *** *** The International Symposium on Symbolic and Algebraic Computation is taking place in Oxford, UK, 20-22 July, 1994. The deadline for registration is 8 July 1994. The ISSAC'94 registration form (sterling & US$ versions are available, both of which include student discount rates) accompanying notes, and the preliminary program (all in plain text form) are available from : ftp helford.nag.co.uk Gopher : Name=NAG Gopher Server Username: issac94 Type=1 Password: issac94 OR Port=70 Path=1/other Host=www.nag.co.uk WWW : http://www.nag.co.uk:70/ Registration Fee ================ After 3 June 1994 ----------------- ACM/SIGSAM Member/Author 190 (GBP) US$285 Non-Member 220 (GBP) US$330 Student - ACM/SIGSAM Member 120 (GBP) US$180 Student - Non-Member 150 (GBP) US$225 GBP= pounds sterling If you require further information, please do not hesitate to contact me. Sharon Fagan, ISSAC'94 Local Arrangements Co-ordinator email : sharon@nag.co.uk