- Email: [email protected]
Infinite regular thue systems
free monoid (Theoretical Computer Science 25, 2 (1983)).
Primality Testing and Factoring by James Finn and Karl Lieberherr We show that any efficient deterministic algorithm for finding square roots modulo a prime can be turned into an efficient Monte Carlo primality test which has a very small error probability if factoring is hard. We apply our general construction to a well-known square root algorithm and give explicit bounds for the error probability of the resulting primality test (or the running of the corresponding factoring algorithm) ( Theoretical Computer Science 23, 2 (1983)).
Infinite Regular Thue Systems by Colm O'D#nlaing The following new results are obtained about infinite regular Thue systems S: (1) if S is Church-Rosser, the word problem is solvable in linear time; (2) if S is monadic Church-Rosser, it defines a nontrivial boolean algebra of DCFLs; (3) if S is monadic Church-Rosser and so is another system T, equivalence of S and T is decidable; (4) if S is monadic, it is decidable if S is Church-Rosser; (5) if S is not monadic it is undecidable if S is Church-Rosser, ( Theoretical Computer Science 25, 2 (1983)).
Conferences Working Conference on Programming Languages and System Design Institution: IFIP TC 2 Contact: Prof. Dr. M. Paul, Technische Universitaet Muenchen, Institut fuer Informatik, Arcisstrasse 21, D-8000 Muenchen 2, F.R. Germany, tel. (089) 2105-8161/8162 Place: Technical University of Dresden, Department of Mathematics, Zellescher Weg 12-14, Willersbau, Room B 321, Dresden, F.R. Germany Date: 7-11 March 1983 Abstract: The subject of the conference is the interaction between the development of programming languages and the design of program systems. Concepts of programming languages as well as actual programming languages influence the system design. Conversely the further develop54
ment of programming languages is influenced by methods and issues in system design. The programming language is an integral part of any program development system. The identification of the programming tools needed in such a system and their interrelation with the programming language is a question of utmost importance. The presentation of practical examples would be particularly welcome. Areas of interest include; - Impact of programming methods on programming languages Programming tools - Program development systems and their interrelation with system design methodology Design and construction of application programs - System programming languages versus application programming languages - The utility of formal techniques in practical areas. Conference attendence is by invitation only, and will be limited to approximately 150 scientists working actively in the area. -
-
SIGCOMM "83 S y m p o s i u m on C o m m u n i c a t i o n s Architectures
and Protocols Institution: ACM SIGCOMM Contact: Dr. David C. Wood, The Mitre Corporation, 1820 Dolly Madison Boulevard, McLean, Virginia 22102, USA, tel. 703-827-6394 Place: University of Texas, Austin, Texas, USA Date: 8-9 March 1983 Abstract: Papers are expected to focus on state-of-the-art network architectures, algorithms and protocols for data communications. Papers concerned with both theory and practice based on software design for specific applications and/or specific technologies are being solicited. A distinguished program committee has been assembled to review all of the papers submitted by September 1.
Betrieb von DV-Systemen in der Zukunft (5. GIFachgespraech ueber Rechtenzentren Institution: GI Contact: Prof. Dr. Martin Graef, Zentrum fuer Datenverarbeitung der Universitaet Tuebingen, Brunnenstrasse 27, D 7400 Tuebingen, Germany, tel. 07071/292901 Place: Zentrum fuer Datenverarbeitung der Universitaet Tuebingen, Brunnenstrasse 27, 7400 Tuebingen, Germany Date: 17-18 March 1983
Abstract: Fachgespraech (Workshop) ueber Organisation und Betrieb von Rechtenzentren.
Software Engineering Symposium on High-level Debugging Institution: ACM SIGSOFT/SIGPLAN Contact: Mark Scott Johnson, HewlettPackard Laboratories, 1501 Page Mill Road, M/S 3U15, Palo Alto, California 94304, USA Place: Asilomar Conference Center, Pacific Grove, California, USA Date: 20-23 March 1983 Abstract: Much of the research in software engineering has emphasized the early phases of the software development cycle (requirements, specification, and design), yet most of the effort is devoted to implementation, testing, and maintenance activities. During the past ten years, emphasis on analysis and design resulted in decreased interest in debugging issues. The trend is now changing. Researchers are exploring new debugging topics and reassessing debugging issues in light of new methodologies and advances in other areas. The goals of the high-level debugging workshop are to review the current state of debugging technology, to provide an in-depth look at the issues, and to project future developments. Topics of major interest include: - The impact on debugging of other work in software engineering: debugging of requirements specifications, debugging at the design level, human factors in debugging, knowledge-based debugging - The role of debugging in programming environments: integrated programming environments, high-resolution display devices, multilingual and language-independent debugging, multiprocess debugging - Advances in hardware and compiler technology: architectural support of debugging, multiprocessor and network environments, throw-away and incremental compilation, code optimization
ICS "83 The International Symposium 1983 on Application Systems Development Institution: IMMD ACM Contact: Prof. Dr. H.J. Schneider, Univer-
Primality Testing and Factoring by James Finn and Karl Lieberherr We show that any efficient deterministic algorithm for finding square roots modulo a prime can be turned into an efficient Monte Carlo primality test which has a very small error probability if factoring is hard. We apply our general construction to a well-known square root algorithm and give explicit bounds for the error probability of the resulting primality test (or the running of the corresponding factoring algorithm) ( Theoretical Computer Science 23, 2 (1983)).
Infinite Regular Thue Systems by Colm O'D#nlaing The following new results are obtained about infinite regular Thue systems S: (1) if S is Church-Rosser, the word problem is solvable in linear time; (2) if S is monadic Church-Rosser, it defines a nontrivial boolean algebra of DCFLs; (3) if S is monadic Church-Rosser and so is another system T, equivalence of S and T is decidable; (4) if S is monadic, it is decidable if S is Church-Rosser; (5) if S is not monadic it is undecidable if S is Church-Rosser, ( Theoretical Computer Science 25, 2 (1983)).
Conferences Working Conference on Programming Languages and System Design Institution: IFIP TC 2 Contact: Prof. Dr. M. Paul, Technische Universitaet Muenchen, Institut fuer Informatik, Arcisstrasse 21, D-8000 Muenchen 2, F.R. Germany, tel. (089) 2105-8161/8162 Place: Technical University of Dresden, Department of Mathematics, Zellescher Weg 12-14, Willersbau, Room B 321, Dresden, F.R. Germany Date: 7-11 March 1983 Abstract: The subject of the conference is the interaction between the development of programming languages and the design of program systems. Concepts of programming languages as well as actual programming languages influence the system design. Conversely the further develop54
ment of programming languages is influenced by methods and issues in system design. The programming language is an integral part of any program development system. The identification of the programming tools needed in such a system and their interrelation with the programming language is a question of utmost importance. The presentation of practical examples would be particularly welcome. Areas of interest include; - Impact of programming methods on programming languages Programming tools - Program development systems and their interrelation with system design methodology Design and construction of application programs - System programming languages versus application programming languages - The utility of formal techniques in practical areas. Conference attendence is by invitation only, and will be limited to approximately 150 scientists working actively in the area. -
-
SIGCOMM "83 S y m p o s i u m on C o m m u n i c a t i o n s Architectures
and Protocols Institution: ACM SIGCOMM Contact: Dr. David C. Wood, The Mitre Corporation, 1820 Dolly Madison Boulevard, McLean, Virginia 22102, USA, tel. 703-827-6394 Place: University of Texas, Austin, Texas, USA Date: 8-9 March 1983 Abstract: Papers are expected to focus on state-of-the-art network architectures, algorithms and protocols for data communications. Papers concerned with both theory and practice based on software design for specific applications and/or specific technologies are being solicited. A distinguished program committee has been assembled to review all of the papers submitted by September 1.
Betrieb von DV-Systemen in der Zukunft (5. GIFachgespraech ueber Rechtenzentren Institution: GI Contact: Prof. Dr. Martin Graef, Zentrum fuer Datenverarbeitung der Universitaet Tuebingen, Brunnenstrasse 27, D 7400 Tuebingen, Germany, tel. 07071/292901 Place: Zentrum fuer Datenverarbeitung der Universitaet Tuebingen, Brunnenstrasse 27, 7400 Tuebingen, Germany Date: 17-18 March 1983
Abstract: Fachgespraech (Workshop) ueber Organisation und Betrieb von Rechtenzentren.
Software Engineering Symposium on High-level Debugging Institution: ACM SIGSOFT/SIGPLAN Contact: Mark Scott Johnson, HewlettPackard Laboratories, 1501 Page Mill Road, M/S 3U15, Palo Alto, California 94304, USA Place: Asilomar Conference Center, Pacific Grove, California, USA Date: 20-23 March 1983 Abstract: Much of the research in software engineering has emphasized the early phases of the software development cycle (requirements, specification, and design), yet most of the effort is devoted to implementation, testing, and maintenance activities. During the past ten years, emphasis on analysis and design resulted in decreased interest in debugging issues. The trend is now changing. Researchers are exploring new debugging topics and reassessing debugging issues in light of new methodologies and advances in other areas. The goals of the high-level debugging workshop are to review the current state of debugging technology, to provide an in-depth look at the issues, and to project future developments. Topics of major interest include: - The impact on debugging of other work in software engineering: debugging of requirements specifications, debugging at the design level, human factors in debugging, knowledge-based debugging - The role of debugging in programming environments: integrated programming environments, high-resolution display devices, multilingual and language-independent debugging, multiprocess debugging - Advances in hardware and compiler technology: architectural support of debugging, multiprocessor and network environments, throw-away and incremental compilation, code optimization
ICS "83 The International Symposium 1983 on Application Systems Development Institution: IMMD ACM Contact: Prof. Dr. H.J. Schneider, Univer-