ASF+SDF'95: A WORKSHOP ON GENERATING TOOLS FROM ALGEBRAIC SPECIFICATIONS May 11-12 1995, CWI, Amsterdam * Call for abstracts. Also available at ftp://ftp.cwi.nl/pub/gipe/asf+sdf95/. * Topics. Specification case studies. Extensions of ASF+SDF: higher-order algebraic specifications, order sorted ASF+SDF, parameterization, literate specification. Tool generation: interpreters, compilers, simulators, prettyprinters, graphical user interfaces, documentation tools, testset generators, parsers. General techniques: origin tracking techniques, incremental techniques, compilation of term rewriting systems, tool connection tools and interface definition. Teaching formal methods. Other approaches to the use and development of algebraic specifications. * Submissions. Extended abstracts (up to 4 pages) of presentations or tool demonstrations before Feb 24 by email to organizing committee. * Organization. Mark van den Brand (Amsterdam), Arie van Deursen (Eindhoven) T.B. Dinesh (CWI), Jasper Kamperman (CWI). * Further information: ASF+SDF'95, Arie van Deursen / Alda Bouten, Department of Computing Science, Formal Methods Group Eindhoven University of Technology, P.O. Box 513, NL-5600 BM Eindhoven The Netherlands. Fax: +31 40 463992. Email: arie@win.tue.nl. 2nd INTERNATIONAL WORKSHOP ON TERMINATION May 29-31 [** new date **], 1995, La Bresse, France * Topics. well-quasi orders, Kruskal's theorem; recursive path order, lexicographic path order and multiset path order; length of derivation and orders; order hierarchies; ordinals and termination; proofs by interpretation; study of hard termination problems; design and implementation of new algorithms; integration in theorem provers and experiments; applications of termination. * Submissions. People who wish to present a communication are invited to submit a one page abstract by February 20th 1995, by e-mail to termination@loria.fr. * Program Committee. Francoise Bellegarde, Adam Cichon, Isabelle Gnaedig, Pierre Lescanne, Ursula Martin. SIXTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR '95) August 21-24, 1995, Philadelphia, Pennsylvania, USA [Second call for papers. The first call appears in Newsletter 19.] * Submission Deadline. March 1, 1995. * Further Information. Plain text, dvi, and postscript versions of the call for papers as well as the latest information on CONCUR '95 can be obtained electronically, either from here, by e-mail from concur95@cis.upenn.edu, or by ftp from ftp.cis.upenn.edu (158.130.12.3) -- pub/concur95. WORKSHOP ON EXECUTABLE TEMPORAL LOGICS August 19, 20 or 21, Montreal, Canada. Part of IJCAI-95 (IJCAI registration required for workshop attendance). * Topics. Theoretical issues in executable temporal logics, design of executable temporal logics, relationship between execution and temporal theorem-proving, operational models and implementation techniques, programming support and environments, comparative studies of languages, relationship of executable temporal logics to (temporal) databases, applications and case studies. * Submissions. Attendance will be limited to approximately 30 invited participants. Those wishing to attend are encouraged to submit either (a) an extended abstract (of no more than 5000 words) describing relevant preliminary or completed work to be presented at the workshop, or, (b) single page descriptions of research interests and current work, to be used to demonstrate the ability of the non-presenting participants to contribute to the discussions. Selected participants will be asked to provide complete papers to be distributed as preprints to the workshop participants. Electronic submission is strongly encouraged (either as self-contained LaTeX, or postscript) and this, or five (5) copies of submitted papers should be sent, by March 1st 1995, to: Michael Fisher, Department of Computing, Manchester Metropolitan University, Chester Street, Manchester M1 5GD, United Kingdom. Email: M.Fisher@doc.mmu.ac.uk. Telephone: (+44) 61-247-1488. Fax: (+44) 61-247-1483. The intention is to again publish polished versions of papers from the workshop proceedings. * Further Information. Click here for information on IJCAI. * Programme Committee. Michael Fisher (Organiser), Marianne Baudinet, Christoph Brzoska, Shinji Kono, Ben Moszkowski, Mehmet Orgun. 3RD INT'L WORKSHOP ON DEONTIC LOGIC IN COMPUTER SCIENCE (DEON '96) January 11-13, 1996, Lisbon, Portugal. * Topics. Theoretical aspects of deontic logic and language: formal systems of deontic logic; formal systems of logic of action; other areas of logic, provided that their connections with deontic logic are made clear; the syntax and/or semantics of normative language and legal language; the syntax and/or semantics of imperatives; the syntax and/or semantics of the language of action. Applications of deontic logic in computer science and in public or private administration: formal representation of legal knowledge and reasoning; formal analysis of database integrity constraints; formal specification of normative systems, comprising artificial and/or human components; aspects of security; formal specification of contracts; formal specification of systems for the management of the bureaucratic processes; formal representation of agency and of norm-governed interaction; formal representation of power, delegation, authorization and responsibility; deontic aspects in communication. * Submissions. Papers should be double-spaced and not exceed 20 pages, and should be sent to one of the two program co-chairs by May 15, 1995. Electronic submissions will not be accepted. It is hoped that, as in the case of previous workshops, selected papers will also later be published in a major international journal or by a major international publisher. * Program Committee Co-Chairs. Jose Carmo, Dept. of Mathematics, Instituto Superior Tecnico, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal. E-mail: jcc@inesc.pt. Telephone: 351-1-8417141. Fax: 351-91-230243. Mark Brown, Dept. of Philosophy, Syracuse University, 541 Hall of Languages, Syracuse, NY 13244-1170, USA. E-mail: mabrown@mailbox.syr.edu. Telephone: 315-443-2536. Fax: 315-443-5675. * Program Committee. Frederic Cuppens, Jose Fiadeiro (organizing chair), Risto Hilpinen, John Horty, Tom Maibaum, John-Jules Meyer, Henry Prakken, Martin Sadler, Giovanni Sartor, Krister Segerberg, Kazimierz Swirydowicz, Richmond Thomason, Roel Wieringa. * Invited Speakers. Nuel Belnap, Brian Chellas, Andrew Jones, Marek Sergot. NEW BOOK: FOUNDATIONS OF DATABASES Serge Abiteboul, Richard Hull, Victor Vianu * Summary. This database theory book provides a focused presentation of the core material on relational databases, and presents a number of advanced topics in a unified framework. Some of the advanced material has never before been presented in book form. The style is rigorous, with detailed proofs and many exercises. The text and numerous examples highlight the intuition underlying the development. As a textbook, the book is aimed at graduate students and seniors who would use it as the main text in a database theory course, or as complementary material in a database systems course. It can also serve as a reference for database researchers and for other computer scientists interested in databases. * To Order. Call 1-800-447-2226 or 617-944-3700. Please supply the complete ISBN No. 0-201-53771-0 when ordering. * Further Information. Table of contents available from hull@cs.colorado.edu.