Contents EATCS bulletin number 43, February 1991

Theoretical Elsevier

Computer

Science 81 (1991) 165-168

165

1.

EA TCS Matters ................... Letter from the President and Bulletin Editor .......................... Submitting papers to ICALP .............................. (Re)form of ICALP .............................. The Italian Chapter .............................. The French Chapter

2.

ICALP??

3.

Contents of TCS

4.

EATCS

5.

.............................. Sistsr Organizations ...................... FACS from the UK (by D. Simpson)

6.

Institutional Sponsors

7.

ESPRIT- Basic Research Actions ............................ Letter by G. Metakides .................... Action 3011: CEDISYS (by U. Montanari) .................. Ation 3074: Semagraph (by M.R. Sleep et al.) ................... Action 3075: ALCOM (by J. van Leeuwen) ...................... Action 3104: ProCoS (by D. Bjiirner)

..................................

20

...............................

25

..............................

34

Monographs

48 48

.............................

8.

News from Australia (by J. Staples)

9.

News from Japan Report on TGCOMP

54

55 57 67 85 88 94

.......................

Meetings July through

December,

1990 (by 0. Watanabe)

News from Latin America (by I. Simon)

11.

Columns H. Ehrig: The Algebraic Specification Column New Compatibility Results for Implementations within the lnitiai Algebraic ........................ (by H. Ehrig and H. Adametz) Yuri Gurevich: The Logic in Computer Science Column ......... Lower Bounds for the Complexity of Theories (by K.J. Compton) A. Salomaa: The Formal Language Theory Column ................... L Codes and L Systems with Immigration Technical Contributions D.T. Barnard, J.P. Schmeiser, D.B. Skillicorn: ................................ Recognition

Dertving Associative operators

96 100

....................

10.

12.

....

Approach 102 113 124

for Language 131

166

Contents EATCS

Bulletin

A. Bertoni, P. Campadelli, G. Mauri: Some Notes cn Computational Learning Theory . . . . . . . . . . . . . . . . . . . . , . S.L. Bloom, 2. Esik: Cayley ifI Stone . . . . . . . . . . . . . N. Dershowitz, J.-P. Jouannaud: Notations for Rewriting R. Giegerich, E. Ohlebusch: An Imp lenit Representation of Infinite Sequences of Terms . . . . . . . . . . . . . . . . . . . . . . R. Parikh: Dumb-Founded Sets . . . . . . . . . . . . . LA. Stewart: Obtaining Nielsen Reduced Sets in Free Groups P.A.S. Veloso, S.R.M. Veloso: Some Remarks on Conservative Extensions: A Socratic Dialogue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13.

14.

SurveJs alld Tutorials Advances in Asynchronous Circuit Theory Part II: Bounded Inertial Delay Models, MOS Circuits, Design Techniques (by J.A. Brzozowski and C&H. Seger) . . . . . . . . Evolving Algebras, A Tutorial Introduction (by Y. Gurevich) . . . . . . . . . . . . A Survey of Categorical Computation: Fixed Points, Partiality, Combinators, . . . Control? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (by D. Spencer) Reports on Conferences Lanfor Meeting, Arcachon, France, 21-23 May 1990 (report by G. SCnizerguez) . . . . Workshop on Logic in Computer Science, Marseille, France, 25-29 June 1990 (by Y. Gurevich) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . International Symposium on Algorithms, Tokyo, Japan, 16-18 August I990 (by F.J. Brandenburg) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15th conference on Mathematical Foundations of Computer Science, Banska Bystrica, Czechoslovakia, 27-31 August 1990 (report by P. Chrzastowski-Wachtel) . . . . . . 2nd Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, 21-28 September 1990 (report by J. Van den Bussche) . . . . . . . . . . Conference on Computer Science Logic, Heidelberg, Germany, l-5 October 1990 (report by D. Mundici) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2nd Nordic Workshop on Program Correctness, Aalborg, Denmark, 3-5 October 1990 (report by A. Rensink, U. Binau, R. Langerak) . . . . . . . . . . . . . . . . . 4th Maryland Theoretical Computer Science Day, College Park, (U.S.A.), 16 November 1990 (report by S. Khuller) . . . . . . . . . . . . . . . . . . . . . . . . . . 6th International Meeting of Young Computer Scientists. Smolenice Castle, Czechoslovakia, November 1990 (report by L. Santean) . . . . . . . . . . . . . . . . 3rd International Conference on Database Theory, Paris, France, 12-14 December 1990 (report by J. Van den Bussche)

15.

. . . . . . . . . . . . . . . . . . . . . . . .

Conjkrence Announcements Workshop on Cellular Automata, Helsinki, Finland, 17-18 April 1991 . . . . . . . . ACM Symposium on Theory of Computing, New Orleans, Louisiana, U.S.A., 6-8 May 1991 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Restock, Germany, 6-9 May 1991 q . . . . . . . . . . . . . . . . . . . . . . 2nd Annual Workshop on Parallel Algorithms, New Orleans, Louisiana, U.S.A., 9-10 May 1991...............,.................... 17th International Workshop on Graph-Theoretic Concepts in Computer Science WCi91, Richterheim Fischbachau, Oberbayern, Germany, 17-19 June 1991 . a . . . . . . Sequences ‘91, Methods in Communication, Security and Computer Science, Positano, Italy, 17-22 June 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3rd International School for Computer Science Researchers, Acireale (Cat;rtnia), Italy, 17-29 June 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conference on Constructivity in Computer Science, San Antonio, Texas, U.S.A., 18-22 June 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Summer School: NP-Completeness: The First 20 Years, Erice, Sicily, 20-27 June 1991 12th international Conference on Application and Theory of Petri Nets and Petri Nets Tutorial, Aarhus, enmark, 24-28 June 19911 . . . . . . . . . . . . . . . . . .

140 iS9 162 174 183 184 189

199 264 285

313 318 319 321 322 325 327 331

332 333

336 338

339 341 342 343 344 345 346 347

Contents EATCS

Bulletin

6th Annual Conference on Structure in Complexity Theory, Chicago, IlliH;i3is, U.S.A., 30 June-3 July 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Workshop on Computer-Aided Verification, Aalborg, Denmark, l-4 July 1991 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, I-!;lton Head, South Carolina, U.S.A., 21-24 July 1991 . . . . . . . . . . . . . . . . . . . . 1st International Workshop on Logic Programming and Non-Monotonic Reasoning Washington, DC, U.S.A., 22-24 July 1991 . . . . . . . . . . . . . . . . . . . . . . International Summer School on Logic and Algebra of Specification, Marktoberdorf, Germany, 23 July-4 August 1991 . . . . . . . . . . . . . . . . . . . . . . . 11th Annual Crypt0 Conference, Santa Barbara, California, U.S.A., 11-15 August 1991 10th Annual ACM Symposium on Principles of Disr.ibuted Computing, Montreal, Canada, 19-21 August 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . ( . . 3rd International Symposium on Programming Language Implementation and Logic Programming, Passau, F.R.G., 26-28 August 1991 . . . . . . . . . . . . . . . . 8th Workshop on Specification of Abstract Data Types joint with the Third COMPASS . . . . . . . . . . . . . . , . Workshop, Dourdan, France, 26-30 August 1991 CONCUR ‘91, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, 26-29 k+rst 1991 . . . . . . . . . . . . . . . . . . . . . , . 17th International Conference on Very Large Databases, Barcelona, Spain, 3-6 September 1991 . . . . . . . . . . . . . . . . . . . . . . . . * . . . . . . . . * . 4th Conference on Category Theory and Computer Science, Paris, France, 3-6 September 1991.................................... FCT ‘91, Fundamentals of Computation Theory, Altenhof near Berlin, Germany, 9-13 September 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3rd International Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, 23-27 September 1991 . . . . . . . . . . . . . . . . . International Conference on Theoretical Aspects of Computer Software, Sendai, Japan 24-27 September 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1991 IEEE Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 2-1 October 1991 . . . . . . . . . . . . . . . . . . _ . . . . . . . . . . . . . . . . . . . CSL ‘91, Computer Science Logic, Berne, Switzerland, 7-l 1 October 1991 1lth International Conference of the Chilean Computer Society, Santiago de Chile, Chile, . 15-18 October1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1991 International Logic Programming Symposium, San Diego, California, U.S.A., 28- 31 October 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Forte ‘91, 4th International Conference on Formal Description Techniques, Sydrey, . . . . . . . . . . . . . . . . Australia, 19-22 November 1991 . . . . . . 4th International Workshop on Petri Nets and Performsnce Models, PNPM91, Melbourne, Australia, 2-5 December 1991 . . . . . . . . . . . . . . . . . . . . . . . . 1st International Conference on Parallel and Distributed Information Systems, Southern Florida, U.S.A., 4-6 December 1991 . . . . . . . . . . . . . . . . . . . . . . 1st International Workshop on Deontic Logic in Computer Science, Amsterdam The Netherlands, 1l- 13 December 199 1 . . . . . . . . . . . . . . . . . . . . . . 2nd Annual International Symposium on Algorithms, Taipei, Taiwan, Republic of China, 16-18 December 1991 . . . . . . . . . . . . . . . . . . . . . . . . . . . . Workshop on Designing Correct Circuits, Lyngby, Sweden, 6-8 January 1992 . . . . . School and Symposium on Formal Techniques in Real-Time and Fault-tolerant S%ems, Nijmegen, The Netherlands, 6-10 January 1992 . . . . . . . . . . . . . . . . . International Symposium LATIN ‘92, Latin American Theoretical Informatics, Sao Paolo, . . . . . . . . . . . . . . . . . . . . . . . . . . Brazil, 6-10 April 1992 KALP 92, Vienna, Austria, 12-17 July 1992 . . . . . . . . . . . . . . . . . . -

16.

Reports on Computer Science Departments and Institutes The ERIL Project at Glasgow, Department of Computing Science, Glasgow University, Scotland (by M. Thomas) . . . . . . . . . . . . . . . . . . . . . . . . . .

167

351 352 354 355 357 358 360 36! 362 364 ,265 369 370 371 372 373 375 376 377 379 380 383 386 387 388 389 391 12

394

Contents EA TCS Bulletin

168

Mathemattcal Foundations of Artificial Intelligence Group, Research Group in Programming Algebras, Research Group in Foundations of Computer Science, Cybernetics . . . . . . . . . . Department, Kiev State University, U.S.S.R. (by V. Zubenko) Theoretical Computer Science at the University of Saskatchewan, Dept. of Computational . . . . . . . . . . . Science, University of Saskatchewan, U.S.A. (by J.M. Keil) 17.

403

Technical Reports and Publications

Department of Computer Science, Technical University of Berlin, Berlin, Germany . . Department of Computer Science, University of Bremen, Bremen, Germany . . . , . Department of Computer Science, University of Edinburgh, Edinburgh, Scotland . . . School of Computer Science, McGill University, U.S.A. . . . . . . . . . . . . . . Department of Compriter Science and Engineering, University of Washington, U.S.A. 18.

399

405 410 418 425 433

Abstracts of PhV. Theses

M.F. Dam: Relevance logic ano soncurrent composition . . . . . . . . . . . . . . Th. Herbst: Formal language theory in finitely generated monoids with special consideration given to commutative monc’is and groups . . . . . . . . . . . . . . . . . . . J.A. Hogendorp: Controlled Bidirectional Grammars . . . . . . . . . . . . . . . N. Martin: Representation of Data Semantics Using Sentences of Simple Form . . . . C.A. Middelburg: Syntax and Semantics of WSL, A Language for Structured VDM Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . P. Peladeau: Classes of Boolean Circuits and Varieties of Monoids . . . . . . . . . Ph. Schnoebelen: Semantics of Parallelism and Temporal Logic (with applications to the FP2 language) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

448

Momg

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

466

Announcement of new International Conference and Research Cemer for Computer Science, SchlGss Dagstuhl, Wadern, Germany (by Th. Lengauer) . . . . . . . . . Problem section resumed (by P. van Emde Boas) . . . . . . . . . . . . . . . .

467 468

21.

EATCS Leaflet

470

17 __.

Carroom

19.

20.

Around

450 452 455 458 461 464

Miscella~le0u.s

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . .

2, 47, 54, 335, 417, 447