Next: Berichte von Konferenzen
Up: CAR18
Previous:
Mitteilungen der Sprecher
Saint-Louis, France, 1.--3.4.1996
Topics:
The workshop intends to cover all aspects of Computer Algebra from
theory to applications. As for the previous workshops, we expect that 1/3 of the
accepted papers will cover several domains of applications.
Purposes:
This is the fifth edition of a workshop initiated in Strasbourg in
1988. To avoid competition with well-established conferences, the workshop will
be kept as informal as possible. Its two main purposes are to offer an
opportunity to young researchers and newcomers to present their work and to be a
regional forum for researchers in this field. Despite this latter goal, the
workshop is open to participants and submissions from western Europe.
Scientific Committee:
Hubert Caprasse (Liège), Jacques Calmet (Karlsruhe), Pierre Jost (Strasbourg), Leon Brenig (Brussels), Didier Pinchon (Paris), Jean Della-Dora (Grenoble), Fritz Schwarz (Bonn), Jean Thoman(Strasbourg).
Local Organizers: Alain Carrière and Louis-R. Oudin (Saint-Louis)
Information:
By Snail mail:
Alain Carrière or Louis Oudin,
5, rue du Général Cassagnou,
Post Box 34,
F-68301 Saint-Louis (France),
Tel: 033 89 69 51 18 (Carrière),
Tel: 033 89 69 50 71 (Oudin),
Fax: 033 89 69 50 02.
By E-mail: (postscript only)
calmet@ira.uka.de.
Updated information will be available at URL
http://avalon.ira.uka.de/iaks-calmet/conf/rwca96.html
Milwaukee, Wisconsin, USA, 12.--16.5.1996
An interdisciplinary conference on computational algebra and number theory, computer algebra and their applications will be held from May 12--16, 1996 at Marquette University, Milwaukee, Wisconsin, USA. The purpose of this conference is to bring together mathematicians and software developers to present recent developments in cognate areas of computational algebra and number theory, to inform theoreticians about available computational tools and provide an opportunity to become familiar with their use, to identify desirable directions for theoretical research and practical development, and to promote the use of advanced tools in applied areas.
In the past few years a number of very significant advances have taken place in several different branches of computational algebra and number theory. The organizers of this Conference perceive a need to bring together theoretical mathematicians and developers of algorithms and software tools to consider ways of overcoming the compartmentalized nature of computational algebra in the context of the increasing tendency for sophisticated applications to draw on computational techniques from several quite different areas.
Topics: Computational methods for, but not restricted to, the following areas:
Alg. geometry, Cohomology, Commutative algebra, Elliptic curves, Finite fields, Finite geometry, Group theory, Knot theory, Module theory, Number theory, Ring theory, Semigroups.
Application of such techniques to problems in algebra, coding theory, combinatorics, cryptography, design theory, discrete signal processing, hardware design and physics.
Invited Speakers: J. Carlson (Athens-GA), H. Cohen (Bordeaux), J. Key (Clemson), J. Cremona (Exeter), C. Leedham-Green (QMW), (Others to be announced)
Organizing Committee: Mike Slattery(C), John Cannon, Jon Carlson, Marty Isaacs, Jenny Key, Arjen Lenstra, Stuart Margolis, Michael Pohst.
A proceedings of the Conference will appear as a special issue of the Journal of Symbolic Computation.
A World Wide Web site will be maintained with a schedule of events, abstracts of talks, additional information on the venue and registration, comments by participants and possibly links to preprints of papers and home pages of participants.
Submissions and Timetable: Besides the invited lectures and workshops (details to be announced shortly), a number of sessions for the presentation of 30 minute contributed talks are planned. Please send an extended abstract (one to three pages) for proposed contributed talks in an area relevant to the Conference to the address listed below before *March 8, 1996*. The program committee will make a selection before *April 1* of talks to be presented in Milwaukee; speakers will be invited to submit a full paper, which will undergo the usual refereeing process for the Journal of Symbolic Computation. If necessary a poster session will be organized to allow additional contributions to be presented.
Magma Conference Home Page: http://studsys.mscs.mu.edu/ mikes/CompAlg, e-mail: mikes@mscs.mu.edu.
Talence, Bordeux, Frankreich, 18.--23.5.1996
Topics:
Elementary Number Theory, Algebraic Geometry, Geometry of Numbers, Analytical Number theory, Algebraic Number theory, Computational Complexity, Applications.
Programming Commitee:
J. Buchmann, H. Cohen, M.-D. Huang, J. Martinet, F. Moraine,
A. Odlyzko, R. Schoof.
Organizing Commitee: M. Olivier.
Conference Secretary: V. Saint Martin, Laboratoire A2X, Université Bordeux I, 351 Cours de la Libération, 33405 Talence Cedex, France.
Email Inquiries: stmartin@math.u-bordeux.fr
Prag, 27.--31.5.1996
Die Gesellschaft für Angewandte Mathematik und Mechanik (GAMM) hat ihre Jahrestagung 1996 in der Woche nach Pfingsten in Prag. Nachdem letztes Jahr die Tagung mit der großen ICIAM in Hamburg zusammengelegt wurde, findet die Jahrestagung jetzt wieder im üblichen Rahmen statt. Die Sektion Computeralgebra und -analysis ist auch wieder vertreten. Die Sektion ist der Beschreibung von Algorithmen gewidmet, die mit Sicherheit richtige Ergebnisse auf dem Rechner produzieren. Die Sektion ist nach 1994 in Braunschweig das zweite Mal auf der GAMM Tagung vertreten. Es ist eine Gelegenheit, mit Kollegen aus der angewandten Mathematik und der Mechanik in Kontakt zu kommen und Methoden und Ergebnisse aus der Computer Algebra vorzustellen.
Weitere Informationen können direkt vom Tagungsleiter Prof. Marek in Prag, gamm@ms.mff.cuni.cz erhalten werden.
Eindhoven, Niederlande, 4.--8.6.1996
Conference Topics: Effective Methods and Theoretical and Practical Complexity Issues in: Commutative Algebra, Geometry, Real Geometry, Algebraic Number Theory, Algebraic Geometry and related fields: Algebraic Analysis of Differential Equations, Differential Geometry, Associative Algebras, Group Theory, Algebraic Groups and Lie Algebras, Algebraic and Differential Topology, as well as applications of these fields.
Conference Committee: A.M. Cohen (Eindhoven, chairman), J.H. Davenport (Bath), A. Galligo (Nice), D. Yu. Grigoriev (St. Petersburg), J. Heintz (Santander/Buenos Aires), D. Lazard (Paris), T. Mora (Genova), M. Pohst (Berlin), M. van der Put (Groningen), T. Recio (Santander), M.--F. Roy (Rennes), B. Sturmfels (Berkeley), C. Traverso (Pisa).
Further information on URL: http://www.win.tue.nl/win/mega96/index.html
Bonn, 2.--6.7.1996
Organisatoren: GMD, ICCAME
Leiter: Bärbel Barzel (Düsseldorf) und Dr. Leo Klingen (Bonn)
Eingeladene Sprecher: Michelle Artigue (Frankreich), John Berry (UK), Bruno Buchberger (Österreich), Wolfram Koepf (Deutschland), Jeanette Palmiter (USA), Bert Waits (USA).
Konferenzsprachen: Deutsch und Englisch
Weitere Informationen: Bärbel Barzel, Heinrich-Könn-Str. 225, D-40625 Düsseldorf.
Com -pu -ter -al -ge -bra-Sy -stem e finden eine immer größere Verbreitung, und ihr Einfluß auf den Mathematikunterricht wächst ständig. Thema dieser Konferenz ist es, sich mit Fragen des Einsatzes von Com -pu -ter -al -ge -bra-Sy -stem en im Mathematikunterricht zu beschäftigen.
Sophia Antipolis, Frankreich, 15.--17.7.1996
This meeting is intended as a timely workshop to discuss the emerging understanding of problems involving polynomials with inexactly-known coefficients. Such polynomial problems arise, for example, when physical measurements or numerical computations are used to specify a polynomial system.
Points of interest include: GCD computation for polynomials with inexactly-known coefficients, Symbolic-numeric methods for simplifying and solving multivariate polynomial systems (eg. Groebner bases), Matrix methods oriented towards zero-dimensional ideals (eg. multivariate resultants), Possible extension for the higher-dimensional ideal case, Sound methods for other approximate polynomial problems, e.g. factorization, Padé approximants, and Software systems enabling efficient implementation of these algorithms, taking full advantage of existing numerical libraries such as LAPACK and NAG.
For further information, please see http://www.inria.fr/safir/MEETING/snap.html
Linz, 17.--20.7.1996
The second IMACS Applied Computer Algebra meeting will be held July 17-20, 1996 at the Research Institute for Symbolic Computing (RISC) near Linz, Austria. The meeting will focus on actual or possible applications of nontrivial computer algebra techniques to other fields and substantial interactions of computer algebra with other fields.
For more information see:
http://info.risc.uni-linz.ac.at:70/0/conference/IMACS96/imacs.html,
http://math.unm.edu/aca.html, (U.S. mirror site)
or send email to:
aca@risc.uni-linz.ac.at
Note that this meeting will precede the main yearly computer algebra meeting (ISSAC '96) which is being held this year in Zurich, Switzerland July 24-26.
The meeting will be run in the standard IMACS format where individuals are invited to organize a special session. Individuals can propose a special session by filling out the form at the above web sites or by sending email to the above address. All paper submissions must be directed to an organizer of an appropriate special session, which will be listed at the web sites.
Wien, 19.--21.7.1996
Das Institut für Mathematik und Angewandte Statistik an der Universität für Bodenkultur und das Institut für Mathematik an der Universität Wien laden zu einer wissenschaftlichen Tagung nach Wien ein. Es ist dies eine offizielle Satellitenkonferenz zum Europäischen Mathematikerkongress 1996.
Im Rahmen dieser Tagung soll auch der 80. Geburtstag von Prof. Edmund Hlawka gewürdigt werden.
Geplant sind Hauptvorträge der Herren M. Huxley (Cardiff), M. Jutila (Turku), E. Krätzel (Jena), W. Schmidt (Boulder), W. Schwarz (Frankfurt/Main). Ausserdem kann jeder Teilnehmer (solange der Zeitvorrat reicht) einen Vortrag in der Dauer von 20 Minuten ankündigen.
Sollten Sie an weiteren Informationen über diese Tagung interessiert sein, dann senden Sie bitte eine Nachricht entweder per e-mail an Prof. W. G. Nowak, nowak@mail.boku.ac.at, oder schriftlich an Prof. J. Schoissengeier, Institut für Mathematik, Universität Wien, Strudlhofgasse 4, A-1090 Wien. Sie erhalten dann zu gegebener Zeit eine zweite Aussendung.
Zürich, Schweiz, 24.--26.7.96.
ISSAC is an annual international symposium that pro
vides an opportunity to learn of new developments and
to present original research results in all areas of symbolic
mathematical computation.
Topics of the meeting include, but are not limited to:
Algorithmic mathematics: Algebraic, symbolic, and
symbolic-numeric algorithms in all areas of mathematics;
Computer science: Theoretical and practical questions
in symbolic mathematical computation, including computer
algebra systems and problem solving environments, programming
languages and libraries for symbolic computation,
user interfaces, data structures, parallel computing,
software architectures, concrete analysis and benchmarking,
complexity of computer algebra algorithms, artificial intelligence
techniques, and code generation;
Applications: Problem treatments incorporating algebraic,
symbolic or symbolic-numeric computation in an essential or
novel way, including engineering, economics and
finance, physical and biological sciences, computer science,
logic, mathematics, statistics, and use in education.
ISSAC'96 will be held in the main building of the Swiss
Federal Institute of Technology (ETH) in Zurich, Switzerland,
Accomodations will be available at nearby hotels. The
planned activities include invited presentations, original research
papers, tutorial courses, vendor exhibits and software
demonstrations. Proceedings will be distributed at the symposium.
Further information on the symposium are available by the following means:
-- on World Wide Web at the URL:
http:///www.inf.ethz.ch/ISSAC96/ISSAC96.html
-- by e-mail by sending mail to issac96@cis.udel.edu
with info as a subject line.
-- by regular mail, by sending a request to one of the
organizers listed below.
General Chair: Erwin Engeler,
Mathematics, ETH Zentrum HG, CH-8092 Zurich.
issac96@math.ethz.ch
Program Committee Chair: Bob Caviness,
Computer & Information Sciences, 103 Smith Hall,
University of Delaware, Newark DE 19716 USA
issac96@cis.udel.edu
Poster Session Chair: Wolfgang Küchlin,
Wilhelm Schickard Institut f. Informatik,
Sand 13, Universität Tübingen, 72076 Tübingen,
Kuechlin@informatik.uni-tuebingen.de
Publicity Chair: Manuel Bronstein,
ScientificComputation, ETH Zentrum IFW, CH-8092 Zurich,
bronstein@inf.ethz.ch
Treasurer: Stephane Collart,
Mathematics, ETH Zentrum HG, CH-8092 Zurich
collart@math.ethz.ch
Exhibit Chair: Max Engeli,
Institute of Machine Tools and Manufacturing,
ETH Zentrum CLA, CH-8092 Zurich,
engeli@iwf.bepr.ethz.ch
Local Arrangements Chair: Michael Kalkbrener,
Mathematics, ETH Zentrum HG, CH-8092 Zurich,
mkalk@math.ethz.ch
Trondheim, Norwegen, 30.7.--3.8.1996
As announced in Cocoyoc, Mexico August 1994, the next meeting in the series Representations of Algebras and Related Topics will be held in Norway.
The Workshop on Representations of Algebras and Related Topics will take place at the University of Trondheim from July 30-th to August 3-rd, 1996. The cost accommodation in Trondheim will be in the range 450-520 NOK for a single room and 275-375 NOK per person in a double room both including breakfast. There will be some possibilities for cheaper accommodation, but this number will be limited.
Geiranger, Norwegen, 5.--10.8.1996
The 8-th International Conference on Representations of Algebras, ICRA VIII will take place in Geiranger, Norway from August 5-th to 10-th. The program will be arranged on the basis of abstracts received by the Secretary of ICRA VIII. The deadline for submitting abstracts will be announced later. The approximate cost for participating in ICRA VIII at Geiranger will be 100 US dollar in a single room including all meals. The corresponding cost per person in double room will be 80 US dollar.
The registration fee will totally be approximately 150 US dollar with a 50 percent discount for students. The transportation from Trondheim to Geiranger will be organized and charged each participant. In general the total cost actually paid by each participant will depend on the support the local organizing committee will obtain.
The members of the advisory committee for ICRA VIII are: R. Bautista (UNAM, Mexico), S. Brenner (Liverpool, England), M. C. R. Butler (Liverpool, England), V. Dlab (Ottawa, Canada), Y. Drozd (Kiev, Ukraine), I. Reiten (Chairman, Trondheim, Norway), C. M. Ringel (Bielefeld, Germany), A. Roiter (Kiev, Ukraine), H. Tachikawa (Ashikaga, Japan).
The members of the program committee for ICRA VIII are: W. Crawley-Boevey (Leeds, England), J. A. de la Pena (UNAM, Mexico), E. Green (Virginia, USA), D. Happel (Chemnitz, Germany), H. Lenzing (Paderborn, Germany), A. Skowronski (Torun, Poland), S. O. Smaloe (Chairman, Trondheim, Norway).
The local organizing committee is: I. Reiten, I. H. Slungaard, S. O. Smaloe, Oe. Solberg.
If you are interested in further information and updates, please fill in the attached form and return to the following postal address: Secretary ICRA VIII, c/o Institutt for matematikk og statistikk, Universitetet i Trondheim, AVH, N-7055 Dragvoll, Norway, or the following E-mail address or FAX number: E-mail: icra@matstat.unit.no, Fax: +47 73 59 10 38, Phone: +47 73 59 18 80 before June 1-st 1995.
Budapest, Ungarn, 12.--13.8.1996
Introduction: The goal of the QED project is to build a computer system that effectively represents all important mathematical knowledge and technics. This workshop is about representation formalisms for mathematical knowledge and can therefore be linked to the QED project.
The goal of the workshop is to gather researchers actively working in the area of knowledge representation in the field of mathematics, to exchange ideas and foster collaborations and new research directions.
The aims of the workshop are to: define requirements/criteria for representation languages (including non-linguistic representations) for the different aspects of mathematics, determine/explain the strengthens/shortcomings of existing representations, suggest augmentations/modifications to existing representation formalisms, guide future research work.
Contributions are encouraged which focus on the representation of mathematical knowledge and its application on areas like teaching, discovery, proving, and hypertext authoring etc.
Format: The workshop will consist of short talks, panels, discussions and experience reports. A talk will last 20 minutes followed by a discussion period of 10 minutes. Free slots will be reserved in order to discuss arising questions, to apply representation formalisms to concrete problems, and to brainstorming, in general. We plan to write a technical report, which should contain the state of the art of representation formalisms for mathematical knowledge. Any dispute should be resolved or recorded in order to have some 'what to do' list for future research. Additionally, we plan to edit a volume containing the workshop contributions. We suggest the submitted papers to be re-edited by the authors taking into account their workshop discussions and experiences.
Accepted papers will be made accessible via the WWW-page:
http://faui80.informatik.uni-erlangen.de/IMMD8/ECAI96/
Submission:
Papers shall not exceed 2000 words and should be submitted by
electronic mail to
fermat@immd8.informatik.uni-erlangen.de
Preferred format is LaTeX, 12pt font, double-spaced. The papers should
include a separate title page containing the authors' complete contact
information, an abstract of not more than 150 words, and a list of
keywords. Please mention, if technical equipment is necessary for
presentation purposes.
Important Dates: Submission Deadline: April 1st. 1996 (extended), Notification Date : April 15th. 1996, Final Version : May 15th. 1996,
Remarks:
Those wishing to attend without presenting a paper should send
a brief summary of their reasons for interest in the workshop
to the organizing committee chair. Note that attendance will,
of necessity, be limited.
Workshop participation is not possible without prior
registration for the main conference. A fee of ECU 50 will be
charged for each workshop participant in addition to the
normal ECAI conference registration fee.
Organizers: - Herbert Stoyan (chief-organizer), (E-mail: hstoyan@immd8.informatik.uni-erlangen.de), - David Barker-Plummer (E-mail: dbp@Proof.Stanford.EDU), - Karsten Homann (E-mail: homann@ira.uka.de), - Sabine Jacob (E-mail: jacob@immd8.informatik.uni-erlangen.de), - Manfred Kerber (E-mail: mmk@cs.bham.ac.uk),
Contact Address:
Questions regarding this workshop can be directed to:
fermat@immd8.informatik.uni-erlangen.de
WWW Page:
Information about this workshop is also available via WWW at URL:
http://faui80.informatik.uni-erlangen.de/IMMD8/ECAI96/
Aachen, 2.--6.9.1996
Purpose of this Workshop is to provide interested users with the knowledge needed to write GAP code that is efficient and integrates well with GAP 's library. It will be based on GAP 4, for which we plan to have a pre-release available by then.
In five morning sessions we will present how (and why) GAP 4 organizes all objects into families and kinds, how one implements new kinds of elements in GAP 4 (e.g. sparse polynomials), how one implements new kinds of domains in GAP 4 (e.g. Lie algebras), how the GAP 4 kernel works and how one can add new internal functions, general tips and tricks how to use GAP 4 more efficiently.
The afternoons are reserved for demonstrations (e.g. of the GAP 4 compiler), exercises, informal discussions, talks and presentations by participants.
We expect participants to know GAP fairly well. They should have written a fair bit of GAP 3 code, understand what a domain is in GAP 3, understand the purpose of operations records in GAP 3, probably have a good knowledge of C (at least if they want to understand how the kernel works), be willing to experiment with a pre-release of GAP 4 (which will not be ready for a general release).
We must limit the number of participants to about 24. Since we plan to start early Monday and to end late Friday, we suggest that participants arrive Sunday and leave Saturday.
There is no fee for the workshop. Participants should try to find sources to cover their expenses, since we have only a very limited amount of money to support participants. We will try to help participants to find reasonable and inexpensive accomodations. If you are interested or if you have suggestions, please write to GAP-Workshop@Math.RWTH-Aachen.DE.
Jena, 15.--21.9.1996
Es findet wieder eine Sektion Com -pu -ter -al -ge -bra statt. Sie wird von G. Hiß (Heidelberg) und M. Pohst (Berlin) geleitet. Im Rahmen dieser Tagung führt die Fachgruppe am Donnerstag, den 19.9.1996, 12.45 -- 13.45 Uhr, eine Informationsveranstaltung für die Mitglieder durch.
Nähere Hinweise unter URL: http://www.minet.uni-jena.de//dmv96
Karlsruhe, 18.--20.9.1996
DISCO `96 is the fourth edition of an international Symposium aiming at presenting and discussing new trends in the development of symbolic computation systems.
The Symposium focuses on innovative methodological and technological aspects of computing and reasoning in the following areas of symbolic computation:
Algebraic Computation, Automated Reasoning, Geometric Modelling
In particular, contributions are encouraged
to present substantial new results
in:
Theoretical Aspects:
Language and specification issues, Abstract data types, Type inference,
Programming paradigms, Reasoning techniques, Integration of computing and
reasoning paradigms, Efficiency and computational issues.
Architecture and Software Environments:
Parallel and specialized architectures, Software architectures, Software
development tools, User interfaces, Visual and graphic tools.
Implemented Systems:
Reports, evaluation and comparisons of significant innovative running systems.
Scientific Program:
The program will consist of invited lectures, panel discussion and contributed papers selected from the submissions.
Paper Submission:
Four copies of a one-page abstract and of the full paper (unpublished results,
written in English, not exceeding 15 double-spaced pages)
must be received by
the Program Chair by February 19, 1996.
Papers can be sent via e-mail (in
poscript, gzip, uuencode form)
to the Program Chair at disco96@dis.uniroma1.it
Publication:
Accepted papers will be published by Springer Verlag, LNCS-Series, and will be
made available at the Symposium.
Demo Request:
DISCO `96 offers commercial and academic participants an opportunity to
demonstrate their systems and / or applications. Please announce your intention
to demo to the local organizer by August 1, 1996, and specify precisely what
type of hardware and software you need. We strongly encourage authors of papers
that describe systems or application to accompany their presentation with a
demo.
Conference Chair:
Jacques Calmet,
Department of Informatics,
University of Karlsruhe,
Am Fasanengarten 5,
76131 Karlsruhe, Germany,
calmet@ira.uka.de,
Tel: (+49)721-608-4208,
Fax: (+49)721-608-6116.
Program Chair:
Luigia Carlucci Aiello,
Dipartimento di Informatica e Sistemistica,
University of Rome ''La Sapienza'',
via Salaria 113,
00198 Roma, Italy,
aiello@dis.uniroma1.it,
Tel: (+39)6-8841947,
Fax: (+39)6-85300849.
Program Committee:
L.C. Aiello (I - Chair), R. Caferra (F),
J. Calmet (D), J.A. Campbell (UK),
C.M. Hoffmann (USA), C. Kirchner (F),
A. Miola (I), J. Pfalzgraf (A),
F. Pfenning (USA), A. Salwicki (F/P).
Organized by:
Institute of Algorithms and Cognitive Systems
University of Karlsruhe
Local Organizer:
Karsten Homann,
homann@ira.uka.de
Deadlines:
Submission: February 19, 1996,
Notification: May 6, 1996,
Final version: June 15, 1996,
Further Information:
For additional information about registration and program contact
the local organizer or
http://iaks-www.ira.uka.de/iaks-calmet/conf/disco.html
Klagenfurt, Österreich 24.9.1996
Just before the meeting INFORMATIK'96 on Tuesday Sept. 24, 1996, a workshop on computer algebra will be organized by F. Winkler and J. Grabmeier. We plan to have a few invited speakers and short contributions (approx. 20 min.) by participants on various topics of computer algebra and related areas. Dr. A.M. Odlyzko of Bell Labs has already agreed to give an invited talk at the workshop. Dr. Odlyzko will also be one of the main speakers at INFORMATIK'96.
Persons interested in contributing to the workshop should submit an abstract to F. Winkler by June 16, 1996.
Addresses of the organizers: Doz. Dr. Franz Winkler, RISC-Linz, J. Kepler Universitat Linz, Altenbergerstr. 69, A-4040 Linz, Austria, e-mail: winkler@risc.uni-linz.ac.at .
Dr. Johannes Grabmeier, IBM Deutschland Inf. Syst. GmbH, Wissenschaftliches Zentrum, Vangerowstr. 18, Pf. 103068, D-69020 Heidelberg, Germany, e-mail: grabm@heidelbg.ibm.com .
Program committee: J. Grabmeier (Heidelberg), W. Küchlin (Tübingen), P. Paule (Linz), V. Weispfenning (Passau), F. Winkler (Linz, chairman)
Next: Berichte von Konferenzen
Up: CAR18
Previous:
Mitteilungen der Sprecher