QED WORKSHOP II (1995) Warsaw, Poland * Final Report. The final report is located on the "QED home page" (URL above) at Argonne National Laboratory. The report is prepared in LaTeX and PostScript version (also gziped). Besides the QED II final report, you can also find there the results of the QED Workshop I (1994), the archive of the qed mailing list, the QED Manifesto and related links. 4TH INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND MATHEMATICS January 3-5, 1996, Marina Marriott, Fort Lauderdale, Florida * Program Co-Chairs. Henry Kautz and Bart Selman. * Invited Talks, Tutorials. DNA Computing, Richard Lipton. A Unified Semantics for Probability and Logic, Glenn Shafer. Constraint Programming, Jean-Louis Lassez. Deduction with Constraints in Rewriting Logic, Kirchner. Tutorial: Logical Analysis of Data, Peter Hammer. * Registration and Travel Information. Frederick Hoffman, firstname.lastname@example.org or email@example.com. * Direct Questions Concerning the Program (Only). Henry Kautz, firstname.lastname@example.org. Bart Selman, email@example.com. LOGICAL MODELS OF COMMUNICATION AND PROCESS INTERACTION January 5-7, 1996, Villa Mirafiori, Via Nomentana, Rome * Affiliated Meeting. The workshop will take place in conjunction with the triennal Congress of SILFS (The Italian Society for Logic and Philosophy of Science) which will be held on January 3-6, 1996. * Speakers. Robin Milner, Jean-Yves Girard, Rocco De Nicola, Paola Mello, Peter Wegner, Remo Pareschi, Pierre-Louis Curien, Gerard Berry. * Further Information. Carlo Cellucci, Department of Philosophy, University of Rome I, Villa Mirafiori, Via Nomentana 118, Rome 00161, Italy. E-mail: firstname.lastname@example.org. Fax: +39-6-85350763 or +39-6-49917222. Office phone: +39-6-49917222. Home phone: +39-6-8558322. INTERNATIONAL STATIC ANALYSIS SYMPOSIUM (SAS'96) September 24-26, 1996, Aachen, Germany * Topics. abstract interpretation, optimising compilers, complexity of static analyses, theoretical frameworks, experimental evaluation, verification systems, specific static analyses, type inference, partial evaluation, abstract domains, and related topics. * Affiliated Conferences. SAS'96 will be held in Aachen in coordination with the Fifth International Conference on Algebraic and Logic Programming (ALP'96) and the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'96). * Submissions. Deadline is 6 May. Submit 6 paper copies or Postscript file (preferred) to Dr. Radhia Cousot, LIX, 'Ecole Polytechnique, 91128 Palaiseau cedex, FR; email: email@example.com. Submissions must be of length 15 pages or less; details are available at the above URL. * Program co-chairs. Radhia Cousot, CNRS & 'Ecole Polytechnique, FR (email: firstname.lastname@example.org) and David Schmidt, Kansas State University, USA (email: email@example.com). * Program committee. Franncois Bourdoncle, Ecole des Mines de Paris, FR; Alain Deutsch, INRIA, Rocquencourt, FR; Roberto Giacobazzi, Pisa, IT; Nicolas Halbwachs, Verimag, Grenoble, FR; Chris Hankin, Imperial, UK; William L. Harrison, Connected Components, Cambridge, US; Neil Jones, Copenhagen, DK; Peter Lee, Carnegie Mellon, US; Kim Marriott, Monash, AU; Jens Palsberg, MIT/Aarhus University, US/DK; Hanne Riis Nielson, Aarhus, DK; Carolyn Talcott, Stanford, US; Mads Tofte, Copenhagen, DK; Reinhard Wilhelm, Saarbr"ucken, DE. * Local organization. Markus Mohnen, RWTH Aachen, Lehrstuhl f"ur Informatik II, D-52056 Aachen, DE (email: firstname.lastname@example.org) 12TH WORKSHOP: MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS June 3-5, 1996, University of Colorado, Boulder * Invited Speakers. Peter Freyd, Mel Fitting, Matthew Hennessy, Gerard Huet, Andre Scedrov, Jeannette Wing. * Submissions. Slots for talks will be allotted on a first-come, first-served basis. As with past MFPS Workshops, the Proceedings of the meeting will consist of journal-length papers submitted by participants after the meeting, and dealing with topics relevant to the MFPS theme. These papers will be published as a special issue of Theoretical Computer Science. If you are interested in attending the meeting and giving a talk, send email to email@example.com including your name, the title of your talk and a short abstract. * Funding. We anticipate funding from the Office of Naval Research. While the funding will be limited, we especially encourage women and minorities, as well as graduate students, to inquire about possible support to attend the meeting. * Workshop Co-Chairs. Michael Main and Michael Mislove. * Further Information. WWW page (URL above), or firstname.lastname@example.org. 6TH INT'L WORKSHOP ON FOUNDATIONS OF MODELS AND LANGUAGES FOR DATA AND OBJECTS: INTEGRITY IN DATABASES Schloss Dagstuhl, Germany, September 16-20, 1996 * Topics. Static and dynamic integrity constraints; integrity constraints in case of incomplete or uncertain information; active mechanisms for integrity maintenance; complexity and optimization of constraint checking methods; transaction transformation; consistency maintenance in non-traditional databases; consistency maintenance in distributed and federated databases. * Format. In order to stimulate extensive discussions, the time for the presentation of a long (short) paper is 60 (30) minutes followed by about 30 (15) minutes of discussion. Furthermore, another participant will be asked in advance to prepare a response to the work presented. In addition to the talks, there will be working groups which concentrate on actual research topics and try to develop a common understanding of the problems involved. * Submissions. Submit four copies of their contribution (extended abstract) to one of the program committee co-chairs by April 1, 1996. Papers should not exceed 10 pages (single-spaced, 12pt, US letter or A4 paper) for long presentations and 5 pages for short presentations and for working group proposals. Send papers to: Stefan Conrad, Integrity in Databases, Institut fuer technische Informationssysteme, Otto-von-Guericke Universitaet, Postfach 4120, 39016 Magdeburg, Germany. and working group proposals to: Klaus-Dieter Schewe, Integrity in Databases, Institut fuer Informatik, Technische Universitaet Clausthal, Erzstr. 1, 38678 Clausthal-Zellerfeld, Germany. Electronic submissions (PostScript, dvi) are accepted as well and have to be sent to email@example.com or firstname.lastname@example.org. * Program Committee. J. v.d. Bussche, J. Chomicki, S. Conrad, T. Polle, T. Eiter, J. Fiadeiro, A. Heuer, U. Lipeck, G. Saake, K.-D. Schewe, M. Scholl, L. Tanca, R. Wieringa. NEW BOOK: REASONING ABOUT KNOWLEDGE * Authors. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. * Summary. Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings ten years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes excercises and bibliographic notes. * Publisher. MIT Press. POSITION AVAILABLE: MATHEMATICS DEPARTMENT, TULANE UNIVERSITY Applications are invited for a tenure track position at the Assistant Professor level, beginning in the fall semester of 1996, subject to final budgetary approval. Applications from exceptional candidates for appointment at a higher rank will be considered, particularly from women and minority candidates, but current authorization is only at the Assistant Professor level. Applications will be accepted until a suitable candidate is found. Applicants should have completed the Ph.D. by commencement of employment and provide evidence of excellence in both research and teaching. Applications in all areas of pure and applied mathematics and statistics are welcome. Preference will be given to candidates who show promise of strengthening existing research groups within the department. We are especially interested in applications in the areas of statistics and applied probability. Candidates are expected to be competitive for national grant support. We encourage applications from candidates with postdoctoral experience who have started successful funded research programs. Tulane University is an Affirmative Action/Equal Opportunity Employer which is committed to increasing the diversity of its faculty. We especially encourage applications from women and minority candidates. Applications should be sent c/o Search Committee, Mathematics Department, Tulane University, New Orleans, LA 70118. E-mail applications are preferred at email@example.com, and use of the AMS cover sheet is encouraged. The complete application should include a vitae, statements on research and teaching plans, and three letters of recommendation commentingon both research and teaching.