1ST INTL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS (RWLW '96) Sept 3-6, 1996, Asilomar Conference Center, Pacific Grove, California * Purpose. Rewriting Logic is a natural semantic framework for concurrency and parallel programming, and for the specification of systems and languages. It also has good properties as a logical framework for representing logics. A growing number of research efforts exploring the application of rewriting logic in these directions are being carried out worldwide, and several languages based on rewriting logic are being designed and implemented. This workshop seeks to bring together these researchers so that they can present and discuss their work in a relaxed, casual atmosphere and the rustic beauty of the Monterey Peninsula. * Program. The workshop's program will include three invited talks and seventeen accepted papers as listed below. It will also include several panel discussions on different aspects and application areas of rewriting logic. * Participation. To facilitate a true workshop environment, we plan to restrict the number of participants to about forty; early registration is recommended. INTERNATIONAL SYMPOSIUM ON DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS (DISCO'96) September 18-20, 1996, Karlsruhe, Germany * Topics. DISCO '96 is the fourth edition of an international Symposium aiming at presenting and discussing new trends in the development of symbolic computation systems. The Symposium focuses on innovative methodological and technological aspects of computing and reasoning in symbolic computation. * Demo Request. DISCO `96 offers commercial and academic participants an opportunity to demonstrate their systems and / or applications. Please announce your intention to demo to the local organizer by August 1, 1996, and specify precisely what type of hardware and software you need. We strongly encourage authors of papers that describe systems or application to accompany their presentation with a demo. * Program/Registration Information. Web page, or Karsten Homann, homann@ira.uka.de. INTL CONF ON ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX'97) May 13-16, 1997, Abbaye des Premontres, Pont-a-Mousson, France * Topics. analytic tableaux in various logics (theory and applications), specific related techniques and concepts, related methods (model elimination, sequent calculi,...), new calculi and methods for theorem proving in classical and non-classical logics, systems, tools and applications. * Program Chair. Didier Galmiche * Program Committee. C. Cellucci, M. D'Agostino, R. Dyckhoff, M. Fitting, U. Furbach, R. Gore, J. Goubault-Larrecq, R. Haehnle, A. Leitsch, R. Letz, U. Moscato, N. Murray, H. Ono, J. Posegga, P. Schmitt, C. Schwind, H. de Swart, L. Wallen, G. Wrightson * Invited Speakers. R. Hasegawa, G. Mints * Submissions. Send in postscript format to tab97@loria.fr or galmiche@loria.fr by the November 22 1996. * Tutorials. proposals for high-quality tutorials are solicited in all areas of analytic tableaux and related methods from academic research to applications. Deadline November 1. * Email. tab97@loria.fr INT'L SYMP ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE (TACS'97) September 24-26, 1997, Tohoku University, Sendai, Japan * Topics. Theoretical aspects of the design, semantics, analysis, and implementation of programming languages and systems; calculi and models of concurrency and parallel computation; categories and types in computer science; formalisms, methods, and systems for program specification, verification, synthesis, and optimization; constructive, linear, and modal logics in computer science; logics of programs. * Invited Speakers. Robert Harper, Jean-Jacques Levy, Robin Milner, Atsushi Ohori, Carolyn Talcott. * Program Committee: Martin Abadi, Mariangiola Dezani, Masami Hagiya, Susumu Hayashi, Thomas A. Henzinger, Takayasu Ito, Neil Jones, Naoki Kobayashi, Jean-Jacques Levy, Peter O'Hearn, Atsushi Ohori, Luke Ong, Frank Pfenning, Benjamin Pierce, Natarajan Shankar, Val Tannen, Frits Vaandrager. * Program Chairs. Martin Abadi, Systems Research Center, Digital Equipment Corporation, Palo Alto, CA 94301, USA; email: ma@pa.dec.com. Takayasu Ito, Dept. of Computer and Mathematical Sciences, Graduate School of Information Sciences, Tohoku University [Aobayama Campus], Sendai, 980, Japan; email: ito@ito.ecei.tohoku.ac.jp. * Submissions. By email to TACS97-submission@ito.ecei.tohoku.ac.jp. The length limit is 6000 words. Deadline: January 10, 1997. * Inquiries. TACS97@ito.ecei.tohoku.ac.jp 8TH INT'L CONF ON REWRITING TECHNIQUES AND APPLICATIONS (RTA-97) June 2-4, 1997, Sitges, Barcelona, Spain. * Topics. Term rewriting systems. Symbolic and algebraic computation. Constrained rewriting and deduction. Equational programming languages. String and graph rewriting. Completion techniques. Rewrite-based theorem proving. Unification and matching algorithms. Conditional and typed rewriting. Constraint solving. Higher-order rewriting. Lambda calculi. Parallel/distributed rewriting and deduction. * Submissions. In addition to full research papers, descriptions of new working systems (4 proceedings pages) and problem sets that provide realistic, interesting challenges in the field of rewriting techniques are also welcome. Submissions must reach the program chair, at the address below, no later than November 6, 1996. * Program Chair. Hubert Comon, RTA-97, LRI and CNRS, B\^at. 490, Universit\'e Paris-Sud, 91405 Orsay cedex, France. Telephone: +33 01 69 41 66 35. Fax: +33 01 69 41 65 86. Email: rta97@lri.fr. * Program Committee: F. Baader, H. Comon, M. Fernandez, H. Ganzinger, M. Jantzen, H. Kirchner, A. Middeldorp, P. Narendran, R. Nieuwenhuis, T. Nipkow, V. Tannen, S. Tison. PRELIMINARY ANNOUNCEMENT AND CALL FOR SATELLITE EVENTS: EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS) March 30 - April 3, 1998, Lisbon, Portugal * What is ETAPS? Starting in 1998, a new annual meeting covering a wide range of topics in Software Science will take place in Europe each spring in the slot currently occupied by CAAP/ESOP/CC and TAPSOFT. The European Joint Conferences on Theory and Practice of Software (ETAPS) will be a loose and open confederation of existing and new conferences and other events. The overall aim is to create a popular annual meeting that will act as a strong magnet for academic and industrial researchers working on topics relating to Software Science. * Topics. The events that comprise ETAPS will address various aspects of the system development process, including specification, design, implementation, analysis and improvement. The languages, methodologies and tools which support these activities are all well within its scope. Different blends of theory and practice will be represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general (including hardware systems), and the emphasis on software is not intended to be exclusive. * Satellite Events. People interested in organising satellite events should contact: Jose Fiadeiro Department of Informatics, Faculty of Sciences, University of Lisbon Campo Grande, 1700 Lisboa, Portugal phone: 351-1-7500123; fax: 351-1-7500084; e-mail: fiadeiro@di.fc.ul. * Participating Conferences. **1. Foundations of Software Science and Computation Structures (FoSSaCS) The scope of FoSSaCS is syntactic, algebraic, logical and semantic methods for describing, analysing, transforming and verifying programs and systems. The focus is on foundational aspects of such methods rather than on their applications. Topics include: computational and syntactic foundations of software science; transition systems and models of concurrency; data structures and types; domain theory and denotational (fixed-point) semantics. Programme Committee Chair: Maurice Nivat (Paris). **2. Fundamental Approaches to Software Engineering (FASE). To enhance software quality, the software production process requires systematic methods,firmly grounded on scientifically justified techniques. Fundamental approaches are sought, possibly integrating so called formal and informal aspects, providing the bridge between theory and practice and aimed at producing engineering methods and tools for the various phases of software development. FASE is intended to provide a forum where different fundamental approaches to problems of software specification, development, validation and verification are presented, compared and discussed. Topics include: methods for the production of provably correct software and its verification; integration of informal and formal methods; formal approaches for real-time, concurrent, distributed and object-oriented systems; scientific sound approaches to testing and measurement; tools and environments supporting formal approaches; fundamental aspects of the specification, design and verification of hardware components and hybrid systems; reports on the engineering or scientific lessons gained from industrial experiences in the use of formal and semiformal methods. Programme Committee Chair: Egidio Astesiano (Genova). **3. European Symposium On Programming (ESOP). ESOP is devoted to fundamental issues in the specification, analysis and implementation of programming languages and systems. It particularly welcomes research that bridges the gap between theory and practice: for example, practical studies based on theoretical developments and theoretical developments with a clearly identified potential for practical application. Topics include: programming paradigms and their integration, including functional, logic, concurrent and object-oriented; semantics facilitating the formal development and implementation of programming languages and systems; advanced type systems; program analysis; program transformation. Programme Committee Chair: Chris Hankin (London) **4. International Conference on Compiler Construction (CC) CC is a forum for presentation and discussion of recent developments in compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements of languages and target architectures, and includes language design and programming environment issues related to language translation. Topics include: tools for any phase of compilation; methods for code generation and optimisation; compilation for parallel architectures; translation of computer languages (imperative, functional, logic, object-oriented, parallel, etc.); translation of application and specification languages; other tools closely related to compiler construction - e.g. debuggers, data flow analysers, etc. Programme Committee Chair: Kai Koskimies (Tampere). **5. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Many similar tools and algorithms have been independently developed in vario= us areas of computer science like automata and language theory, verification and synthesis of hardware and software systems, type and proof theory, and logic. TACAS is a forum for discussion of the principles and application-independent features of such algorithms and their implementation, with the aim to increase the reliability, flexibility and efficiency of current tools by highlighting common problems, heuristics, data structures, and solutions. TACAS overlaps with the other events of ETAPS, and is intended to attract contributions that stimulate discussions between the various communities. Programme Committee Chair: Bernhard Steffen (Passau) 6TH INTL WKSHP: LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR'96) August 28-30, 1996 Stockholm, Sweden [CFP: Newsletter 33.] * Program/Registration Information. See the web page. * Registration Deadline. After August 15 we can no longer guarantee a place at the workshops. * Programme Chair. John Gallagher, University of Bristol, UK; phone: +44 (0)117 9287959; fax: +44 (0)117 9288128; E-mail: john@cs.bris.ac.uk. GERMAN FULL PROFESSORSHIP AT RWTH AACHEN In der Mathematisch-Naturwissenschaftlichen Fakultät ist zum 1. April 1998 eine Universitätsprofessur (C4 BBesG) für Informatik (Nachfolge W. Oberschelp) zu besetzen. Zu den Aufgaben gehört die Ausbildung in Grund- und Hauptstudium des Studiengangs Informatik sowie eine Beteiligung an der Nebenfachausbildung. Der Schwerpunkt der wissenschaftlichen Arbeiten soll in der Theoretischen Informatik liegen. Gedacht ist an Logik in der Informatik, Semantik und parallele Prozesse sowie an verwandte Gebiete. Einstellungsvoraussetzungen sind Habilitation oder gleichwertige wissenschaftliche Leistungen sowie pädagogische Eignung. Die Bewerbung von Schwerbehinderten ist erwünscht. Die RWTH Aachen strebt eine Erhöhung des Anteils der Frauen in Forschung und Lehre an. Bewerberinnen und Bewerber werden gebeten, sich mit den üblichen Unterlagen (Lebenslauf, Darstellung des wissenschaftlichen bzw. beruflichen Werdegangs, Schriften- und Lehrverzeichnis) bis zum 15. September 1996 an den Dekan der Math.-Nat. Fakultät, RWTH Aachen, 52056 Aachen.