CORRECTION TO LICS'94 REGISTRATION The member rate also applies to members of the Association for Symbolic Logic. LICS'94 INFORMATION VIA FTP AND WWW * World-wide web. http://www.research.att.com/lics/. * Ftp. Postscript, dvi, latex and plain text versions of the conference brochure are available via anonymous ftp from research.att.com in directory /dist/lics. LOGICAL FOUNDATIONS OF OBJECT ORIENTED PROGRAMMING One day workshop in connection with ECOOP'94. July 4, 1994, Bologna, Italy * The aim of this workshop is to investigate the relation between logic, computing and object oriented programming. * Topics. Topics of interest include but are not limited to: logic based models for Object Oriented Programming; logic and change; use of logic in object-oriented domain modeling and analysis; declarative object-oriented real-time systems; abstraction, encapsulation, and information hiding in logic; knowledge-structuring mechanisms in logic (inheritance, overriding...); process-oriented mechanisms in logic (communication, synchronization...). Last but not least, descriptions of applications developed on logic based object-oriented environments are welcome. * Organizers: Jean-Marc Andreoli (Rank-Xerox, Grenoble, France) and Vijay Saraswat (Xerox, Palo-Alto, California). * Submissions. Position paper (e-mail if possible, latex prefered) by May 13, 1994, to Jean-Marc Andreoli, Rank Xerox Research Center, 6 Chemin de Maupertuis, 38240 Meylan (France). Tel: +33 76 61 50 80. Switchboard: +33 76 61 50 50. Fax: +33 76 61 50 99. E-mail: Jean.Marc.Andreoli@xerox.fr. Specify whether you wish to make a presentation (in that case, send a title and 2-3-line abstract). * Registration. Participation in the workshop is free, but each workshop participant must have registered for ECOOP. WORKSHOP: HYBRID SYSTEMS AND AUTONOMOUS CONTROL October 28-30, 1994, Cornell University, Ithaca, New York, USA * Hybrid systems are interacting networks of digital and continuous devices. Typically they occur in digital control systems, in business, industry, and the military. In that context, the fundamental problems are extraction of digital control programs from systems equations and performance specifications, and formal verification and statistical testing that digital control programs enforce the system performance specification. * Program Committee. Anil Nerode, Cornell, Panos Antsaklis, Notre Dame, Amir Pnueli, Weisman Institute, Shankar Sastry, Harvard, UC Berkeley, Pravin Variya, UC Berkeley, Wolf Kohn, Intermetrics Corporation, J. James, Intermetrics Corporation. * Workshop Format. Lectures by program committee members, invited lectures, plenary lectures, and evening poster sessions. * Submissions. 1500 word abstracts of papers proposed for presentation at this workshop are due May 16, 1994. Send the abstracts to the Mathematical Sciences Institute (address below), Attn: A. Nerode. * Registration packets. Valerie Kaine, Mathematical Sciences Institute, 409 College Ave., Ithaca, NY 14850, Tel. 607-255-8005, e-mail: email@example.com. ANNUAL CONF. OF THE EUROPEAN ASSOC. FOR COMPUTER SCIENCE LOGIC (CSL '94) Kazimierz, Poland, September 26-30, 1994. Intended for computer scientists whose research activities involve logic, as well as for logicians working in areas related to computer science. * Submissions. Six copies of an extended abstract in English (up to 5 pages) to the program committee chairman, arriving not later than May 16, 1994. All contributions will be refereed for a Proceedings volume to be published by Springer-Verlag after the conference. * Invited Speakers. M. Ajtai (IBM Almaden), K. Apt (Amsterdam), M. Baaz (Vienna), H. Barendregt (Nijmegen), J.-P. Jouannaud (Orsay), V. Orevkov (St. Petersburg), P. Pudlak (Prague), A. Tarlecki (Warsaw) * Program Committee. E. Borger, M. Dezani, N. Jones, P. Kolaitis, J. Krajicek, J.-L. Krivine, L. Pacholski, A. Pitts, A. Razborov, J. Tiuryn. * Program Chair. Jerzy Tiuryn (CSL '94), Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland. E-mail: firstname.lastname@example.org. Fax: +48 2 6583164. * Grants. Sponsored by the Commission of the European Communities under the Euroconference programme and by the Office of Naval Research. See next item. GRANTS FOR CSL'94 For the cost of registration, travel and subsistence of young researchers (postgraduate or postdoctorate level) attending the conference. * Eligibility. Must be a citizen of a European Community Member State, or a person residing and working in research for at least one year in such a country. If there are more applications than grants, preference will be given to authors of submitted papers. * Applications. Obtain an application form from the CSL'94 chair (email@example.com) and return it by May 30, 1994 (mail or fax), to Jerzy Tiuryn (CSL'94), Institute of Informatics, Warsaw University, Banacha 2, 02-097 Warsaw, Poland. fax: +48-2-658-31-64. * Central/Eastern European researchers. There are also special funds for for researchers from Central/Eastern European countries. Contact firstname.lastname@example.org for details. INT'L WORKSHOP META PROGRAMMING IN LOGIC (META 94) and WORKSHOP ON LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 94) June 20-21, 1994, Pisa, Italy. Call for participation. * Correspondence. email@example.com. COLLOQUIUM: LOGICAL RATIONALITY AND GEOMETRIC INTUITION June 9-10, 1994, Paris, France * Speakers. Rene Thom, Giuseppe Longo, Alain Berthoz, Frederic Nef, Jean Petitot, Bernard Teissier, Dana Scott, David Miller, Pierre Cartier, Marie-FranIoise Roy, Lamberto Maffei, Jacques Ninio, Daniel Andler. * Organizers: Daniel Andler (CREA & Paris X - Nanterre), Giuseppe Longo (CNRS, ENS) and Hourya Sinaceur (CNRS, IHPST) * Information. firstname.lastname@example.org. * Location. Ecole Normale Superieure, 45, rue d'Ulm, Salle Dussane, 75005 Paris. SUMMER SCHOOL ON PARTIAL EVALUATION 5-9 July 1994, Carnegie Mellon University, by Charles Consel, Olivier Danvy, and Peter Lee * The aim of the summer school is to introduce the principles, techniques, and applications of partial evaluation. This presentation will be done in the context of Consel's partial evaluator for procedural languages, Schism. Students will get hands-on experience with the course concepts by working directly with Schism, studying both its use and its internals. Also, various applications of partial evaluation will be covered such as pattern matching and parameterized programming. The lecture notes will be based on Consel and published at The MIT Press. * Course fee: $350. * Information: email@example.com, firstname.lastname@example.org INT'L CONF. ON THE MATHEMATICS OF PROGRAM CONSTRUCTION July 17-21, 1995, Kloster Irsee, Germany * Topics. The emphasis is on the combination of conciseness and precision in calculational techniques for program construction. Typical areas are: formal specification of sequential and concurrent programs; constructing implementations to meet specifications. In particular, program transformation; program analysis; program verification; convincing case studies. While this list is not exclusive it is intended to show the focus of the conference. * Programme Committee. R.-J. Back, R. Backhouse, G. Dromey, D. Gries, I. Hayes, R. Hehner, W. Hesselink, G. Huet, C. Jones, A. Kaldewaij, L. Meertens, B. M"oller (chair), O. de Moor, C. Morgan, H. Partsch, R. Paterson, C. Paulin-Mohring, P. Pepper, W. Reif, B. Sanders, F. Schneider, M. Sheeran, D. Smith, W. Turski. * Submissions. Due December 1, 1995. The proceedings will be published in Springer LNCS. * Correspondence. Prof. Dr. B. M"oller (MPC '95), Institut f"ur Mathematik, Universit"at Augsburg, D-86135 Augsburg, Germany. E-mail: email@example.com. Fax: +49 821 598 2200. LOGIC COLLOQUIUM 1995 August 10-17, 1995, Israel (Haifa or Jerusalem) * Topics. The conference will focus mainly, but not exclusively, on Set Theory, Model Theory, Recursion Theory and Proof Theory, and their mutual interaction and on Logical Aspects of Computer Science and Linguistics. * Organising committee. A. Avron, N. Francez, V. Harnik, D. Lascar, A. Levy, J.A. Makowsky (Chair), M. Rubin. * Program committee. J. Barwise, E. Bouscaren, E. Graedel, A. Hajnal, G. Jaeger, M. Magidor (Chairm), J.A. Makowsky, R. Shore, M.A. Taitslin, M. Ziegler. * Submissions. Submit contributed abstracts not later than April 30, 1995. * Correspondence. firstname.lastname@example.org. Logic Colloquium 95, Yvonne Sagi, Department of Computer Science, Technion--Israel Institute of Technology, 32000 Haifa, Israel. NEW BOOK: A LOGICAL APPROACH TO DISCRETE MATH by David Gries and Fred B. Schneider * Abstract. Logic is the glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics. It's a uniquely different approach. First, an equational propositional and predicate logic is given. The goals are to give a solid introduction to formal proofs (instead of informal ones), teach proof strategies and principles, and imbue a skill in formal manipulation. Equational logic allows this to be accomplished without complexities of formalism overwhelming. In fact, formalism and rigor are shown to be an enlightening and simplifying force. Thereafter, conventional discrete-maths topics are discussed (set theory, induction, relations, functions, integers, combinatorics, recurrence relations, and graph theory) with the equational logic providing the underpinnings. Our experience teaching from the text is that students end up with less fear of mathematics and notation, a better understanding of proof, and an appreciation for rigor and formalism. * Publisher. Springer Verlag, New York. * Price. US $44.95 (cloth) (497 pages) ISBN: 0-387-94115-0 * Springer contact. email@example.com. * Author contact. firstname.lastname@example.org * A 311-page Instructor's Manual is available from the authors.