vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv \ / ) AMAST Newsletter, Sample Issue 00 ( / \ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ________ ___________________________ emailed: put together by: G. Scollo on: 30 July 1994 thanks to contributions by: to: 101 subscribers [1] Helene Kirchner ~~~~~~~~~~~~~~~~~~~ [2] Mike O'Donnell [3] the UT CS Helpdesk .................:::::::::::::::::::::::::::::::::::~~~~~~~~~~~~~~~~~~~~~~~~~~~ : _________________: Table of Contents: ~~~~~~~~~~~~~~~~~ [1] CCL'94, Constraints in Computational Logics : Program and Registration Form [2] The Chicago Journal of Theoretical Computer Science : Call for Papers [3] AMAST anonymous ftp repository at the Univ. Twente CS Dep't : Contents ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Note: this sample issue is distributed to the subscribers of the new, permanent AMAST list amast@cs.utwente.nl, with the twofold aim of: i) inviting contributions about communication styles on the list, and ii) giving timely information that also happens to be relevant to i). _____________________ Send your comments to: amast@cs.utwente.nl ~~~~~~~~~~~~~~~~~~~~~ _________________________ List subscription address: amast-request@cs.utwente.nl ~~~~~~~~~~~~~~~~~~~~~~~~~ [1] =============================================== AMAST News, Sample Issue 00 CONSTRAINTS IN COMPUTATIONAL LOGICS CCL'94 *********************************** First International Conference Technical University, Munich September 7-9, 1994 Constraints in Computational Logics (CCL) is a new conference dedicated to all aspects of constraints in computer science, including knowledge representation, multi-paradigm programming, rewriting, deduction, and symbolic computation. It features a high-quality program of 21 refereed contributions and 5 invited lectures by Max Dauchet, Dexter Kozen, Helmut Simonis, Gert Smolka and Wayne Snyder. *** Early registrations must be received by 1 August! *** PROGRAM INFORMATION and REGISTRATION FORM ========================================= This information is available on the world-wide web at ftp://ftp.mpi-sb.mpg.de/pub/CCL94/ccl94.html The program and registration form are also accessible by ftp on the machine ftp.mpi-sb.mpg.de in the directory pub/CCL94 (LaTex files: flyer.tex and regForm.tex) or upon request to Helene Kirchner (e-mail: Helene.Kirchner@loria.fr) [2] =============================================== AMAST News, Sample Issue 00 CALL FOR PAPERS CALL FOR PAPERS The Chicago Journal of Theoretical Computer Science The MIT Press The Chicago Journal of Theoretical Computer Science is a new peer-reviewed scholarly journal in theoretical computer science. Articles are submitted and published in LaTEX source form, using the AMS-LaTEX packages when appropriate, and distributed internationally over the InterNet. Articles are augmented by refereed forward references to improvements and subsequent related work. Readers may obtain articles through ftp, Gopher, and World Wide Web (e.g., using Mosaic). Other widely used network tools will be supported as they arise in the future. The Journal is committed to minimizing publication delays, and to promoting maximum flexibility in the ways that readers use the journal for teaching, research, and scholarship. Readers' license is limited only as required to insure fair attribution to authors and the journal, and to prohibit use in a competing commercial product. Editor in chief: Janos Simon (simon@cs.uchicago.edu). Consulting editors: Joseph Halpern (halpern@almaden.ibm.com), Stuart A. Kurtz (kurtz@cs.uchicago.edu), Raimund Seidel (seidel@cs.berkeley.edu). Editors: Martin Abadi Ronald Fagin Paris Kanellakis James Royer Pankaj Agarwal Lance Fortnow Howard Karloff Nir Shavit Eric Allender Steven Fortune Philip Klein Alan Selman Tetsuo Asano Gregory Frederickson Phokion Kolaitis Eva Tardos Laszl'o Babai Andrew Goldberg Stephen Mahaney Sam Toueg Eric Bach Georg Gottlob Mike Merritt Moshe Vardi Stephen Brooks Vassos Hadzilacos John Mitchell Jennifer Welch Jin-Yi Cai Juris Hartmanis Ketan Mulmuley Pierre Wolper Anne Condon Maurice Herlihy Gil Neiger Cynthia Dwork Stephen Homer David Peleg David Eppstein Neil Immerman Andrew Pitts Managing editor: Michael J. O'Donnell (odonnell@cs.uchicago.edu). ------------------------------------------------------------------------------- Submission of Articles. Articles are submitted in LaTEX source format, with separate BibTEX bibliography, and encapsulated PostScript figures where appropriate, by InterNet mail to chicago-journal@cs.uchicago.edu. Full instructions for authors are available on the network, as described below. Reviewing, Revision, Publication. The editors of the Journal will review each new or revised article as promptly as possible, normally within 6 weeks of receipt, returning one or more referee reports to the contact author and a decision to accept, reject, or require revisions. Upon acceptance, the Journal requires 10 working days for copy editing, after which the LaTEX source of the article is placed immediately in the network servers for access by readers. More Information. More information, including detailed instructions for authors, and LaTEX style files to aid authors and readers, is available through o World Wide Web -- http://www-mitpress.mit.edu/jrnls-catalog/chicago.html -- http://cs-www.uchicago.edu/publications/cjtcs o Gopher -- server gopher.mit.edu, select MIT Press Information & Catalog, Journals 1994, Science & Technology, Chicago Journal of Theoretical Computer Science -- server cs-gopher.uchicago.edu, path 1/publications/cjtcs o Anonymous ftp -- server mitpress.mit.edu, path pub/CJTCS -- server cs.uchicago.edu, path pub/publications/cjtcs o Network mail -- chicago-journal@cs.uchicago.edu -- journals-info@mit.edu [3] =============================================== AMAST News, Sample Issue 00 _________________________________________________________________________ What's in the AMAST anonymous ftp repository at the Univ. Twente CS Dep't ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Date : 29 July 1994 URL : ftp://ftp.cs.utwente.nl/pub/doc/amast (dir.) Contents : README, amast93 (dir.), sigala (dir.) amast93 (dir.) : reports on AMAST'93 Conference and on two AMAST Workshops: o Real-Time Systems, Iowa City, Nov. 1-3, 1993 o Topology and Completion in Semantics, Chartres, Nov. 18-20, 1993 all published in the Bulletin of the EATCS Contents : 3rdConfReport.tex, 3rdConfReport.dvi, 3rdConfReport.ps, 1stWRTSReport.tex, 1stWRTSReport.dvi, 1stWRTSReport.ps, 1stWTCSReport.tex, 1stWTCSReport.dvi, 1stWTCSReport.ps sigala (dir.) : first two issues of the SIGALA Newsletter Contents : snl94001.ps, snl94002.tex, snl94002.dvi, snl94002.ps ___________________________________ How to access the repository by ftp ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ login on ftp.cs.utwente.nl with username anonymous and any password, then type `cd pub/doc/amast'. Remember: type `binary' for transfer of .dvi or .ps files. __________________________________________ How to access the repository by Mosaic/WWW ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Open the URL given above, then click through the directory names. [end] ============================================= AMAST News, Sample Issue 00