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:
vdk1@cornell.edu.
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:
csl94@mimuw.edu.pl. 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
(csl94@mimuw.edu.pl) 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
csl94@mimuw.edu.pl 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. meta94@di.unipi.it.
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. auffray@dmi.ens.fr.
* 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: consel@cse.ogi.edu, danvy@daimi.aau.dk
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:
moeller@uni-augsburg.de. 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. logics95@cs.technion.ac.il. 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. gilchris@sccm.stanford.edu.
* Author contact. gries@cs.cornell.edu
* A 311-page Instructor's Manual is available from the authors.