- Email: [email protected]
Contents EATCS bulletin number 51, October 1993
Theoretical Elsevier
Computer
285
Science 122 (1994) 285-288
Contents EATCS Bulletin Number 51, October 1993 I.
2.
EATCS Matters Letter from the President and Bulletin The Giidel Prize The French Chapter (by B. Rozoy). ICALP Report Report
1 2 4
Editor
.
. .
‘93 on the General Assembly Meeting (by B. Monien) on ICALP ‘93 (by M. Kudlek). .
,
30 36
3.
Contents
4.
EATCS
5.
Sister Organizations FACS from the UK (by D. Simpson). News from the European Association for Computer Science Logic, EACSL (by E. Boerger) Fifth International School for CS Researchers (report by 0. Bernholtz) .
62 65 66
Institutional Sponsors The Institutional Sponsors.
68
6.
7.
of TCS.
41 48
Monographs
,
ESPRIT-Basic Research Actions CALIBAN (Causal Calculi Based on Nets), ESPRIT
BRA 6067 (by E. Best)
8.
News from Australia
9.
News from
New Zealand (by C. Calude)
10.
News from
Latin America
II.
News from Japan (by 0. Watanabe)
12.
Columns H. Ehrig: The Algebraic Specification Column , Algebraic high-level net transformation systems: a survey over theory and applications J. Padberg). , . . . Y. Gurevich: The Logic in Computer Science Column Finite variable logics (by I. Hodkinson). .., J. Hartmanis: The Structural Complexity Column Recent progress in information-based complexity (by J.F. Traub, H. Wozniakowski) M. Nielsen: The Concurrency Column. Decidability issues for infinite-state processes-a survey (S. Christensen, H. Hiittel) . A. Salomaa: The Formal Language Theory Column Morphisms and rational transducers (by T. Harju, H.C.M. Kleijn). Insertion operations: closure properties (by L. Kari). .. .
13.
(by J. Staples).
Elsevier Science Publishers
B.V.
85
.
88
(by I. Simon)
Technical Contributions M. Baaz, C.G. Fermiiller, R. Zach: Dual systems logics.................................................
69
.
90 94
of sequents
and tableaux
101 (by 102 111
,
141 155 156
.
168 181
for many-valued 192
286
Contents
EATCS
Bulletin
E. Csuhaj-Varji, Gh. Paun: Limiting the team size in cooperating grammar systems V. Domocos: The generating function of completely bracketed expressions . R. Freivalds, E. Kinber, C.H. Smith: On the impact of forgetting on learning machines. X.-L. Hu: The representation of a program in the Blum-Shub-Smale theory of computation over an arbitrary ring . A. Rensink: Order isomorphism does not preserve global event independence . 14.
Surveys and Tutorials A short introduction to neural
15.
Educafional Mutters (by H.-J. Kreowski). Mathematics of computation for (software and other) engineers (by D.L. Parnas) Mathematical training for the software developers: a practical experience (by J. Printz)
16.
17.
associative
memories
198 202 212 226 228
236
(by P. Florten)
.
Reports on Conferences Algoritmi, Modelli di Calcolo e Strutture Informative, Siena, Italy, 23-24 April 1993 Federated Computing Research Conference (FCRC ‘93) San Diego, CA, USA, 14-22 May 1993 (report by P. van Emde Boas) Seventh AFL ‘93, Salgotarjan, Hungary, 18-21 May 1993 (report by M. Kudlek) Third Workshop on Parallel Algorithms (WOPA ‘93), San Diego, CA, USA, 19-20 May 1993 (report by R. Raman) REX School/Symposium A Decade of Concurrency, Noordwijkerhout, The Netherlands, l-4 June 1993 (report by B. Rozoy). Fourth symposium on Combinatorial Pattern Matching, Padova, Italy, 2-4 June 1993 (report by L. Toniolo) . Fourteenth International Conference on Application and Theory of Petri Nets, Chicago, IL, USA, 21-25 June 1993 (report by S. Christensen, N.D. Hansen) Third Conference on Algebraic Methodology and Software Technology, Enschede, The Netherlands, 21-25 June 1993 (report by A. Salibra) AMAST ‘91, Banquet talk (by Y. Gurevich) AMAST ‘93, Banquet speech (by R.D. Maddux). Development in Language Theory, Turku, Finland, 12-15 July 1993 (report by M. Kudlek) Sixth Annual ACM Conference on Computational Learning Theory (COLT ‘93), Santa Cruz, CA, USA, 26-28 July 1993 (report by C.H. Smith) Workshop on Randomness and Computation, Edinburgh, UK, 26630 July 1993 (report by P. Diaconis, M. Jerrum, A. Sinclair). Summer School on Logical Methods in Concurrency, Aarhus, Denmark, 2-13 August 1993 (report by Th. Wilke). Third Kurt GGdel Colloquium on Computational Logic and Proof Theory, Brno, Czech Republic, 24-27 August 1993 (report by R. Zach). , Conference Announcements Ninth Maryland Theoretical Computer Science Day, Maryland, USA, 8 October 1993 Fifth International Workshop on Petri Nets and Performance Models (PNPM ‘93), Toulouse, France, 19922 October 1993 . Thirty-fourth Annual Symposium on Foundations of Computer Science (FOCS ‘93), Palo Alto, CA, USA, 3-5 November 1993 . . DIMACS Workshop on Parallel Algorithms: From Solving Combinatorial Problems to Solving Grand Challenge Problems, Piscataway, NJ, USA, 17-19 November 1993 Thirteenth Conference on the Foundations of Software Technology & Theoretical Computer Science (FST&TCS ‘93), Bombay, India, 15-17 December 1993 . BCS Formal Aspects of Computing Science (FACS) Group Christmas Meeting, London, UK, 16-17 December 1993. Conference on Computational Learning Theory (EURO-COLT ‘93), London, UK, 20-22 December1993........................................... Fourth Great Lakes Symposium on VLSI, Notre Dame, IN, USA, 4-5 March 1994 Tenth European Workshop on Computational Geometry (CG ‘94), Santander, Spain, 17-18 March1994.............................................
246 249 260
264 266 269 272 275 278 280 293 295 300 305 311 318 327 329
330 331 340 346 347 356 357 360 362
Contents
EATCS
Bulletin
International Conference on Proof Theory, Provability Logic and Computation (P2C ‘94) Bern, Switzerland, 20-24 March 1994. The Rhine Workshop on Computer Algebra, Karlsruhe, Germany, 22-24 March 1994 International Conference on Compiler Construction (CC ‘94), Edinburgh, UK, 7-9 April 1994, Colloquium on Trees in Algebra and Programming (CAAP ‘94), 1 l-13 April 1994, European Symposium On Programming (ESOP ‘94) 11-13 April 1994. Twenty-sixth ACM Symposium on Theory of Computing (STOC ‘94), Montreal, Canada, 23-25 May 1994 Thirteenth Symposium on Principles of Database Systems (PODS ‘94) ACM SIGMOD/ PODS Joint Conference, Minneapolis, MN, USA, 24-27 May 1994. Tenth ADT Workshop and Sixth General COMPASS Meeting, Santa Margherita Ligure, Italy, 30 May-3 June 1994 Fifth Symposium on Combinatorial Pattern Matching, Asilomar, USA, 5-8 June 1994 Tenth Annual Symposium on Computational Geometry, New York, USA, 668 June 1994 IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ‘94) San Miniato, Italy, 6-10 June 1994 , New Results in Theoretical Computer Science, Graz, Austria, IO-11 June 1994. Parallel Architectures and Languages Europe (PARLE ‘94), Athens, Greece, 13-17 June 1994 Eleventh International Conference on Analysis and Optimization of Systems Discrete Event Systems, Sophia-Antipolis, France, 15-17 June 1994 The Twenty-fourth Annual International Symposium on Fault-tolerant Computing (FTCS24), Austin, TX, USA, 15-17 June 1994. . , Fifteenth International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, 20-24 June 1994 Conference on Semigroups, Automata and Languages, Amarante, Portugal, 20-25 June 1994 Conference on Computer-Aided Verification (CAV ‘94), Stanford, CA, USA, 21-24 June 1994 Seventh SIAM Conference on Discrete Mathematics, Albuquerque, NM, USA, 22-25 June 1994...................................,,.,...,,,,...... ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM ‘94), Orlando, FL, USA, 25 June 1994. World Conference on Educational Multimedia and Hypermedia (ED-MEDIA ‘94) Vancouver, Canada, 25529 June 1994 , Ninth Annual IEEE Conference Structure in Complexity Theory, Amsterdam, The Netherlands, 28 June-l July 1994 . Eighth Z User Meeting (ZUM ‘94), Cambridge, UK, 29-30 June 1994. Ninth Annual IEEE Symposium on Logic in Computer Science (LICS ‘94) Paris, France, 4-7 July 1994. Fourth Scandinavian Workshop on Algorithm Theory (SWAT ‘94) Aarhus, Denmark, 6-8 July1994............................................... Fourth (and Last) International Workshop on Conditional (and Typed) Term Rewriting Systems (CTRS-94), Jerusalem, Israel, 3-15 July 1994 Fifth International Conference on Concurrency Theory (CONCUR ‘94) Uppsala, Sweden, 22-25 August 1994. . Mathematical Foundations of Computer Science (MFCS ‘94) Kosice, Slovak Republic, 22-26 August 1994. , Thirteenth World Computer Congress, IFIP ‘94, Hamburg, Germany, 28 August-2 September1994 ..I..............._._._.,._......_._..,,....,,. Third International School and Symposium Formal Techniques in Real Time and Fault Tolerant Systems, Schleswig, Germany, 19-23 September 1994. . Annual Conference of the European Association for Computer Science Logic (CSL ‘94), Kazimierz, Poland, 26-30 September 1994, . First European Dependable Computing Conference (EDCC-1), Berlin, Germany, 4-6 October1994............................................... Twentieth International Colloquium on Automata, Languages, and Programming (ICALP ‘94), Jerusalem, Israel, 11-15 July 1994. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
287
363 364
365 367 368 371 374 375 377 379 380 382 385 389 393 395 396 400 401 403 405 409 410 411 412 413 416 422 425 426 427
Contents EA TCS Bulletin
288
18.
Agenda of Events
19.
Reports on Computer Science Departments and Institutes Basic Research in Computer Science, A Centre for the Mathematical Foundations of Computer Science in Aarhus, Denmark. ............................ Computer Science Research in Estonia: Tallinn Technical University and Tartu University
...........................................
429
436 431
Abstracts of Ph.D. Theses E. Bevers: Automated reasoning in conditional algebraic specifications: termination and proof by consistency ........................................ P. Bonatti: Three-valued beliefs and provability and the semantics of logic programs ... J. Van den Bussche: Formal aspects of object identity in database manipulation. ..... A. Cerone: A net-based approach for specifying real-time systems. .............. M. Gabbrielli: The semantics of logic programming as a programming language. ..... R. Giacobazzn Semantic aspects of logic program analysis. .................. P. Goldberg: PAC-learning geometrical figures. ......................... R. Grossi: On suffix trees and relating pattern matching problems .............. Ch. Haldar: Dynamical and type 2 characterizations of ideal basis reduction in symbolic algebraic computation ....................................... K.J. Jones: Multiplication-free parallel computation of the discrete fourier transform D. Montesi: A model for updates and transactions in deductive databases ......... A. Peron: Synchronous and asynchronous models for statecharts. .............. G. Pucci: Parallel computational models and data structures ................. F. Rossi: Constraints and concurrency. .............................. R. Schorr: Exception handling in distributed programming languages: language and verification concepts ............................................ G. Scollo: On the engineering of logics .............................. D.L. Spencer: Categorical programming with functorial strength ............... A. Sperduti: Optimization and functional reduced descriptors in neural networks ..... J.P. Tyszkiewicz: Asymptotic probabilities in extensions of first-order logic ......... D. Yankelevich: Parametric views of process description languages. .............
481 484 487 490 492 495
21.
Moving Around
498
22.
Miscellaneous Call for financial support for an algebraic theory of computation. Book offered by World Scientific Publishing with 25% discount
20.
23.
EATCS
24.
Cartoons
Leaflet.
.........................................
............................................
.............. ...............
444 441 450 453 455 458 460 462 464 468 472 414 416 478
500 501 502
3, 40, 68, 100, 428,499
Computer
285
Science 122 (1994) 285-288
Contents EATCS Bulletin Number 51, October 1993 I.
2.
EATCS Matters Letter from the President and Bulletin The Giidel Prize The French Chapter (by B. Rozoy). ICALP Report Report
1 2 4
Editor
.
. .
‘93 on the General Assembly Meeting (by B. Monien) on ICALP ‘93 (by M. Kudlek). .
,
30 36
3.
Contents
4.
EATCS
5.
Sister Organizations FACS from the UK (by D. Simpson). News from the European Association for Computer Science Logic, EACSL (by E. Boerger) Fifth International School for CS Researchers (report by 0. Bernholtz) .
62 65 66
Institutional Sponsors The Institutional Sponsors.
68
6.
7.
of TCS.
41 48
Monographs
,
ESPRIT-Basic Research Actions CALIBAN (Causal Calculi Based on Nets), ESPRIT
BRA 6067 (by E. Best)
8.
News from Australia
9.
News from
New Zealand (by C. Calude)
10.
News from
Latin America
II.
News from Japan (by 0. Watanabe)
12.
Columns H. Ehrig: The Algebraic Specification Column , Algebraic high-level net transformation systems: a survey over theory and applications J. Padberg). , . . . Y. Gurevich: The Logic in Computer Science Column Finite variable logics (by I. Hodkinson). .., J. Hartmanis: The Structural Complexity Column Recent progress in information-based complexity (by J.F. Traub, H. Wozniakowski) M. Nielsen: The Concurrency Column. Decidability issues for infinite-state processes-a survey (S. Christensen, H. Hiittel) . A. Salomaa: The Formal Language Theory Column Morphisms and rational transducers (by T. Harju, H.C.M. Kleijn). Insertion operations: closure properties (by L. Kari). .. .
13.
(by J. Staples).
Elsevier Science Publishers
B.V.
85
.
88
(by I. Simon)
Technical Contributions M. Baaz, C.G. Fermiiller, R. Zach: Dual systems logics.................................................
69
.
90 94
of sequents
and tableaux
101 (by 102 111
,
141 155 156
.
168 181
for many-valued 192
286
Contents
EATCS
Bulletin
E. Csuhaj-Varji, Gh. Paun: Limiting the team size in cooperating grammar systems V. Domocos: The generating function of completely bracketed expressions . R. Freivalds, E. Kinber, C.H. Smith: On the impact of forgetting on learning machines. X.-L. Hu: The representation of a program in the Blum-Shub-Smale theory of computation over an arbitrary ring . A. Rensink: Order isomorphism does not preserve global event independence . 14.
Surveys and Tutorials A short introduction to neural
15.
Educafional Mutters (by H.-J. Kreowski). Mathematics of computation for (software and other) engineers (by D.L. Parnas) Mathematical training for the software developers: a practical experience (by J. Printz)
16.
17.
associative
memories
198 202 212 226 228
236
(by P. Florten)
.
Reports on Conferences Algoritmi, Modelli di Calcolo e Strutture Informative, Siena, Italy, 23-24 April 1993 Federated Computing Research Conference (FCRC ‘93) San Diego, CA, USA, 14-22 May 1993 (report by P. van Emde Boas) Seventh AFL ‘93, Salgotarjan, Hungary, 18-21 May 1993 (report by M. Kudlek) Third Workshop on Parallel Algorithms (WOPA ‘93), San Diego, CA, USA, 19-20 May 1993 (report by R. Raman) REX School/Symposium A Decade of Concurrency, Noordwijkerhout, The Netherlands, l-4 June 1993 (report by B. Rozoy). Fourth symposium on Combinatorial Pattern Matching, Padova, Italy, 2-4 June 1993 (report by L. Toniolo) . Fourteenth International Conference on Application and Theory of Petri Nets, Chicago, IL, USA, 21-25 June 1993 (report by S. Christensen, N.D. Hansen) Third Conference on Algebraic Methodology and Software Technology, Enschede, The Netherlands, 21-25 June 1993 (report by A. Salibra) AMAST ‘91, Banquet talk (by Y. Gurevich) AMAST ‘93, Banquet speech (by R.D. Maddux). Development in Language Theory, Turku, Finland, 12-15 July 1993 (report by M. Kudlek) Sixth Annual ACM Conference on Computational Learning Theory (COLT ‘93), Santa Cruz, CA, USA, 26-28 July 1993 (report by C.H. Smith) Workshop on Randomness and Computation, Edinburgh, UK, 26630 July 1993 (report by P. Diaconis, M. Jerrum, A. Sinclair). Summer School on Logical Methods in Concurrency, Aarhus, Denmark, 2-13 August 1993 (report by Th. Wilke). Third Kurt GGdel Colloquium on Computational Logic and Proof Theory, Brno, Czech Republic, 24-27 August 1993 (report by R. Zach). , Conference Announcements Ninth Maryland Theoretical Computer Science Day, Maryland, USA, 8 October 1993 Fifth International Workshop on Petri Nets and Performance Models (PNPM ‘93), Toulouse, France, 19922 October 1993 . Thirty-fourth Annual Symposium on Foundations of Computer Science (FOCS ‘93), Palo Alto, CA, USA, 3-5 November 1993 . . DIMACS Workshop on Parallel Algorithms: From Solving Combinatorial Problems to Solving Grand Challenge Problems, Piscataway, NJ, USA, 17-19 November 1993 Thirteenth Conference on the Foundations of Software Technology & Theoretical Computer Science (FST&TCS ‘93), Bombay, India, 15-17 December 1993 . BCS Formal Aspects of Computing Science (FACS) Group Christmas Meeting, London, UK, 16-17 December 1993. Conference on Computational Learning Theory (EURO-COLT ‘93), London, UK, 20-22 December1993........................................... Fourth Great Lakes Symposium on VLSI, Notre Dame, IN, USA, 4-5 March 1994 Tenth European Workshop on Computational Geometry (CG ‘94), Santander, Spain, 17-18 March1994.............................................
246 249 260
264 266 269 272 275 278 280 293 295 300 305 311 318 327 329
330 331 340 346 347 356 357 360 362
Contents
EATCS
Bulletin
International Conference on Proof Theory, Provability Logic and Computation (P2C ‘94) Bern, Switzerland, 20-24 March 1994. The Rhine Workshop on Computer Algebra, Karlsruhe, Germany, 22-24 March 1994 International Conference on Compiler Construction (CC ‘94), Edinburgh, UK, 7-9 April 1994, Colloquium on Trees in Algebra and Programming (CAAP ‘94), 1 l-13 April 1994, European Symposium On Programming (ESOP ‘94) 11-13 April 1994. Twenty-sixth ACM Symposium on Theory of Computing (STOC ‘94), Montreal, Canada, 23-25 May 1994 Thirteenth Symposium on Principles of Database Systems (PODS ‘94) ACM SIGMOD/ PODS Joint Conference, Minneapolis, MN, USA, 24-27 May 1994. Tenth ADT Workshop and Sixth General COMPASS Meeting, Santa Margherita Ligure, Italy, 30 May-3 June 1994 Fifth Symposium on Combinatorial Pattern Matching, Asilomar, USA, 5-8 June 1994 Tenth Annual Symposium on Computational Geometry, New York, USA, 668 June 1994 IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ‘94) San Miniato, Italy, 6-10 June 1994 , New Results in Theoretical Computer Science, Graz, Austria, IO-11 June 1994. Parallel Architectures and Languages Europe (PARLE ‘94), Athens, Greece, 13-17 June 1994 Eleventh International Conference on Analysis and Optimization of Systems Discrete Event Systems, Sophia-Antipolis, France, 15-17 June 1994 The Twenty-fourth Annual International Symposium on Fault-tolerant Computing (FTCS24), Austin, TX, USA, 15-17 June 1994. . , Fifteenth International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, 20-24 June 1994 Conference on Semigroups, Automata and Languages, Amarante, Portugal, 20-25 June 1994 Conference on Computer-Aided Verification (CAV ‘94), Stanford, CA, USA, 21-24 June 1994 Seventh SIAM Conference on Discrete Mathematics, Albuquerque, NM, USA, 22-25 June 1994...................................,,.,...,,,,...... ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM ‘94), Orlando, FL, USA, 25 June 1994. World Conference on Educational Multimedia and Hypermedia (ED-MEDIA ‘94) Vancouver, Canada, 25529 June 1994 , Ninth Annual IEEE Conference Structure in Complexity Theory, Amsterdam, The Netherlands, 28 June-l July 1994 . Eighth Z User Meeting (ZUM ‘94), Cambridge, UK, 29-30 June 1994. Ninth Annual IEEE Symposium on Logic in Computer Science (LICS ‘94) Paris, France, 4-7 July 1994. Fourth Scandinavian Workshop on Algorithm Theory (SWAT ‘94) Aarhus, Denmark, 6-8 July1994............................................... Fourth (and Last) International Workshop on Conditional (and Typed) Term Rewriting Systems (CTRS-94), Jerusalem, Israel, 3-15 July 1994 Fifth International Conference on Concurrency Theory (CONCUR ‘94) Uppsala, Sweden, 22-25 August 1994. . Mathematical Foundations of Computer Science (MFCS ‘94) Kosice, Slovak Republic, 22-26 August 1994. , Thirteenth World Computer Congress, IFIP ‘94, Hamburg, Germany, 28 August-2 September1994 ..I..............._._._.,._......_._..,,....,,. Third International School and Symposium Formal Techniques in Real Time and Fault Tolerant Systems, Schleswig, Germany, 19-23 September 1994. . Annual Conference of the European Association for Computer Science Logic (CSL ‘94), Kazimierz, Poland, 26-30 September 1994, . First European Dependable Computing Conference (EDCC-1), Berlin, Germany, 4-6 October1994............................................... Twentieth International Colloquium on Automata, Languages, and Programming (ICALP ‘94), Jerusalem, Israel, 11-15 July 1994. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
287
363 364
365 367 368 371 374 375 377 379 380 382 385 389 393 395 396 400 401 403 405 409 410 411 412 413 416 422 425 426 427
Contents EA TCS Bulletin
288
18.
Agenda of Events
19.
Reports on Computer Science Departments and Institutes Basic Research in Computer Science, A Centre for the Mathematical Foundations of Computer Science in Aarhus, Denmark. ............................ Computer Science Research in Estonia: Tallinn Technical University and Tartu University
...........................................
429
436 431
Abstracts of Ph.D. Theses E. Bevers: Automated reasoning in conditional algebraic specifications: termination and proof by consistency ........................................ P. Bonatti: Three-valued beliefs and provability and the semantics of logic programs ... J. Van den Bussche: Formal aspects of object identity in database manipulation. ..... A. Cerone: A net-based approach for specifying real-time systems. .............. M. Gabbrielli: The semantics of logic programming as a programming language. ..... R. Giacobazzn Semantic aspects of logic program analysis. .................. P. Goldberg: PAC-learning geometrical figures. ......................... R. Grossi: On suffix trees and relating pattern matching problems .............. Ch. Haldar: Dynamical and type 2 characterizations of ideal basis reduction in symbolic algebraic computation ....................................... K.J. Jones: Multiplication-free parallel computation of the discrete fourier transform D. Montesi: A model for updates and transactions in deductive databases ......... A. Peron: Synchronous and asynchronous models for statecharts. .............. G. Pucci: Parallel computational models and data structures ................. F. Rossi: Constraints and concurrency. .............................. R. Schorr: Exception handling in distributed programming languages: language and verification concepts ............................................ G. Scollo: On the engineering of logics .............................. D.L. Spencer: Categorical programming with functorial strength ............... A. Sperduti: Optimization and functional reduced descriptors in neural networks ..... J.P. Tyszkiewicz: Asymptotic probabilities in extensions of first-order logic ......... D. Yankelevich: Parametric views of process description languages. .............
481 484 487 490 492 495
21.
Moving Around
498
22.
Miscellaneous Call for financial support for an algebraic theory of computation. Book offered by World Scientific Publishing with 25% discount
20.
23.
EATCS
24.
Cartoons
Leaflet.
.........................................
............................................
.............. ...............
444 441 450 453 455 458 460 462 464 468 472 414 416 478
500 501 502
3, 40, 68, 100, 428,499