wanka@uni-paderborn.de (Rolf Wanka) (10/29/90)
Hello !
Some month ago, there was a question about the Bulletin of the
European Association for Theoretical Computer Science (EATCS). Now,
here are the contents of the very new EATCS-Bulletin No. 42, which
has 412 pages, is the 3rd vol. in 1990 and will be delivered to all
members during the next few days (How to join EATCS see below. If
you have any questions, send e-mail to eatcs@uni-paderborn.de):
1. EATCS Matters
2. ICALP 90
3. EATCS Monographs
4. Sister Organizations
5. Institutional Sponsors
6. News from Australia
7. News from Japan
8. Columns
H. Edelsbrunner: The Computational Geometry Column
H. Ehrig: The Algebraic Specification Column
Linking Schemas and Module Specifications:
a Proposal (by H. Ehrig and M. A. Arbib)
Y. Gurevich: The Logic in Computer Science Column
On the Classical Decision Problem
J. Hartmanis: The Structural Complexity Column
On Unique Satisfiability and Randomized Reductions
(by R. Chang and P. Rohatgi)
A. Salomaa: The Formal Language Theory Column
Parallel Communicating Systems (by L. Santean)
9. Technical Contributions
R. Chang: An Example of a Theorem that has Contradictory
Relativizations and a Diagonalization proof
A. Lingas: A Note on a Parallel Heuristic for Minimum
Vertex Cover
A. Salomaa, L. Santean: Secret Selling of Secrets with
Several Buyers
R. Socher-Ambrosius: Another Technique for Proving
Completeness of Ground Resolution
I. A. Stewart: On the Graph Accessability Problem for Directed
Graphs of Bounded Degree
F. Urbanek: A Simple Completeness Proof for Early's Algorithm
R. Whitty An Exercise in Weakest Preconditions
10. Surveys and Tutorials
Advances in Asynchronous Circuit Theory,
Part I: Gate and Unbounded Inertial Delay Models
(by J. A. Brzozowski and C.-J. H. Seger)
11. (Detailed) Reports on Conferences (all 1990)
STACS, Spring School of the LITP, International Meeting
on Parallel Compilation, CAAP, CALPS, WOPA, REX School/Workshop
on Foundations of Object-Oriented Languages, WG90, Structure in
Complexity Theory, Combinatorial Pattern Matching School,
COLT, MFCS
12. Conference Announcements
13. Technical Reports and Publications
14. Abstracts of Ph. D. Theses
15. Book reviews
M. Pohst, H. Zassenhaus: Algorithmic Algebraic Number Theory
(by F. Halter-Koch)
16. Moving Around
17. Miscellaneous
18. EATCS Leaflet
Informations about EATCS
DUES
The dues are DM (Deutschmarks) 30,- for a period of one year. If the
initial membership payment is received in the period
December 21 - April 20, April 21 - August 20 or August 21 - December 20,
then the first membership year will start in June 1, October 1
or February 1, resp. Every contribution payment continues the
membership for the same period.
Additional fee is required for ensuring the air mail delivery of the
EATCS bulletin outside Europe. The amounts are DM 12,- for USA,
Canada and Israel, DM 16,- for Japan and DM 20,- for Australia
per year. For information on additional fees for other destinations
contact either the Secretary or the Treasurer.
HOW TO JOIN EATCS
To join, send the annual dues, or a multiple therof (to cover a number
of years), to the Treasurer of EATCS:
Prof. Dr. D. Janssens
V.U.B., Dept. Mathematics and Computer Science
Pleinlaan 2
B - 1050 Brussels
Belgium
The dues can be paid (in order of preference) by cheques in DM or
US $, cheques in other currency, DM or US $ cash, or other currency
cash. When submitting your payment, please make sure to indicate
your complete name and adress. For this purpose you may use the
form below.
------------------------------------------------------------------
I would like to join EATCS and enclose _________ (DM / US $) as
membership fee for ______ years (and ______ (DM / US $) for air
mail delivery)
Name: _______________________________
First name: _______________________________
Adress: _______________________________
_______________________________
_______________________________
_______________________________
Date: Signature:
------------------------------------------------------------------
For more information about EATCS please contact:
Prof. Dr. B. Monien
Secretary of EATCS
University of Paderborn
Dept. of Mathematics and Computer Science
Warburger Str. 100
D - 4790 Paderborn
Fed. Rep. Germany
or send e-mail to: eatcs@uni-paderborn.de