FLOC'96 LOGO CONTEST WINNER The FLoC organizing committee has selected Luca Cardelli's entry as the official logo for the 1996 Federated Logic Conference. To view the logo, see the FLoC home page. INTEREST GROUP IN PURE AND APPLIED LOGICS (IGPL) * Description. IGPL is sponsored by The European Foundation for Logic, Language and Information (FoLLI), and currently has a membership of over 800 researchers in various aspects of logic (symbolic, mathematical, computational, philosophical, etc.) from all over the world (currently, 55 countries). Our main activity is that of a research and information clearing house. * Activities. Exchanging information about research problems, references and common interest among group members. Helping to obtain photocopies of papers to colleagues (under the appropriate copyright restrictions), especially where there may be difficulties of access. Supplying review copies of books through the Journals on which some of us are editors. Helping to organise exchange visits and workshops among members. Advising on papers for publication. Editing and distributing a Newsletter and a Bulletin (the first scientific journal in logic which is FULLY electronic: submission, refereeing, revising, typesetting, publishing, distributing). Keeping a public archive of papers, abstracts, etc., accessible via ftp. Wherever possible, obtaining reductions on group (6 or more) purchases of logic books from publishers. * Joining. Please send personal details (name, postal address, phone, fax, e-mail address, research interests) to: IGPL Headquarters, c/o Prof Dov Gabbay, Imperial College, Dept of Computing, 180 Queen's Gate, London SW7 2BZ, United Kingdom. E-mail: firstname.lastname@example.org. BULLETIN OF THE INTEREST GROUP IN PURE AND APPLIED LOGICS (IGPL) * General Description. The Bulletin is published several times per year by the Max Planck Institut f"ur Informatik, Saarbr"ucken, and Imperial College, London. The Bulletin is an attempt to solve a problem in the logic (in particular, IGPL) community: long delays and large backlogs in publication of papers in current journals; Very tight time limits and page number limits on submission. Papers in the final form should be in LaTeX. The review process is quick, and is usually made by other IGPL members. The Bulletin is available as an electronic journal as well as a hard copy journal. * Editor-in-Chief. Dov M. Gabbay. * Executive Editors. Ruy de Queiroz & Hans J"urgen Ohlbach. * Editorial Board. Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Grigori Mints, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan van Benthem. * Latest Issue via ftp. From theory.doc.ic.ac.uk (184.108.40.206 or 220.127.116.11), directory theory/forum/igpl/Bulletin/V3-1, binary file V3-1-whole.ps.gz. WORKSHOP ON MODEL THEORY AND COMPLEXITY September 21-23, 1995, Sevilla, Spain * Topics. The aim of this Workshop is the exposition of results on the relationship between Model Theory and Complexity Theory, as well as the creation of a forum for the debate and the interchangement of concepts and methods among the researchers on these fields of investigation. Model Theory, finite model theory, models of arithmetic, complexity theory, Hoare logic and arithmetic, infinitary logic, high-order logic, applications of model theory (to philosophy of science, to the analysis of natural language, etc.). * Program Committee. E. Diaz Estevez, E. Dominguez Murillo, A. Fernandez Margarit, J. Flum, L.M. Laita de la Rica, P. Martinez Freire. * Languages. The languages of this Workshop are English and Spanish. * Invited Lecturers. The following lecturers have been invited, most of them having accepted: W. Hodges, A. Fernandez Margarit, H. Marraud, M. Mytilinaios, J. Truss, C. Dimitracopoulos, M. Manzano, R. Kaye, J. Flum, R. Farre, A. Berarducci, M. Otero. * Registration. The number of participants will be limited. Students must certify their condition. There will be a number of fellowships for the students. * Further Information. Joaquin Borrego Diaz, Departamento de Algebra, Computacion, Geometria y Topologia, Facultad de Matematicas, Avda. Reina Mercedes, s/n, 41012 Sevilla, Spain, Fax: 34 5 4557970, E-mail: email@example.com. Angel Nepomuceno Fernandez, Departamento de Filosofia y Logica y Filosofia de la Ciencia, Facultad de Filosofia, Avda. San Francisco Javier s/n, 41005 Sevilla, Spain, Fax: 34 5 4557796. COMPUTING: THE AUSTRALASIAN THEORY SYMPOSIUM (CATS'96) 29-30 January, 1996. Melbourne, Australia * Topics. Papers are solicited in all areas of theoretical computer science, including algorithms (combinatorial, distributed, geometric, parallel), category theory, complexity, concurrency theory, formal semantics, logic in computer science, specification and verification. * Co-located meetings. Held in conjunction with Seventh Australasian Database Conference and Nineteenth Australasian Computer Science Conference. * General chair. Harald Sondergaard, University of Melbourne, Australia. * Program chair. Peter Eades, University of Newcastle, Australia. * Program Committee. John Crossley, Jeremy Gibbons, Mike Houle, Barry Jay, Liz Sonenberg, John Staples, C. P. Tsang. * Submissions. Electronic submission to firstname.lastname@example.org. For the full Call for Papers and submission guidelines, consult the WWW page mentioned above. Alternatively send your address to email@example.com and a hard copy for the CFP will be mailed out. The deadline for submissions is 29 August, 1995. SYMPOSIUM AND EXHIBITION ON INDUSTRIAL APPLICATIONS OF PROLOG (INAP-95) 19, 20 October 19-20, 1995, Hino, Tokyo, Japan * Topics. The conference provides a forum for researchers and practitioners working on industrial Prolog applications to exchange research ideas and to share development experiences. Topics include: Prolog in services, Prolog as R&D tool, software engineering, programming techniques, programming paradigms, standardization, industrial requirements. * Submissions. Authors are invited to submit full manuscripts (max 8 pages A4) or extended abstracts in English or Japanese. Apply by August 18 1995 with the authors' names, mailing addresses, e-mail addresses, telephone and facsimile numbers, paper title and abstract. Authors of accepted papers are expected to present their papers at the conference. * Chairman. Prof. Shuichi Fukuda. * Program Committee. Dr. Oskar Bartenstein, Prof. Hon Wai Chun, Dr. Alexander Herold, Prof. Tohru Ihara, Prof. Geun Sik Jo, Prof. Uk Kim, Mr. Nobukuni Kino, Prof. Yoshiki Kishi, Prof. Isao Nagasawa, Prof. Mihoko Okada, Mr. Takao Ozaki, Prof. Naoyuki Tamura, Prof. Hajime Yoshino, Prof. Matthew Yuen. * Correspondence. Mr. Toshiaki Yagihashi, REN Associates, Inc., INAP Organizer's Office, 2nd Nichika Bldg, 2-12-14 Hamamatsucho, Minato-ku, Tokyo 105 Japan. Tel +81-3-3433-2543. Fax +81-3-3433-3904. Internet: firstname.lastname@example.org. SIXTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR '95) August 21-24, 1995, Philadelphia, Pennsylvania, USA * Program, Registration Information. Plain text, dvi, and postscript versions of the Call For Registration and the abstracts of the accepted papers, as well as the latest information on CONCUR '95 can be obtained electronically via the WWW page, by email from email@example.com, and via ftp from ftp.cis.upenn.edu (18.104.22.168) -- pub/concur95. * Software Demonstrations. The program will allow space and time for demonstrations of software related to the design and verification of concurrent systems. Please contact Hong-Liang Xie (firstname.lastname@example.org) if you are interested in demonstrating software at CONCUR '95. 3RD INT'L CONF. ON THE MATHEMATICS OF PROGRAM CONSTRUCTION (MPC '95) July 17-21, 1995, Kloster Irsee, Germany * Topics. The general theme of this series of conferences is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software or hardware. The theme reflects the growing interest in formal, mathematically based methods for the construction of software and hardware. Topics include program correctness, programs analysis, program transformation, formal methods, semantics. * Contact. Prof. Dr. B. M\"oller (MPC '95), Institut f\"ur Mathematik, Universit\"at Augsburg, D-86135 Augsburg, Germany. Fax: +49 821 598 2274. E-mail: email@example.com. 2ND CONF. ON INFORMATION-THEORETIC APPROACHES TO LOGIC, LANGUAGE, AND COMPUTATION July 18-21, 1996, Regent's College, London. * Topics. The aim of the conference is to bring together researchers from such fields as Computing, Linguistics, Logic, Philosophy and the Social Sciences. The themes of the conference include formal approaches to information and meaning, as well as applications in a number of relevant areas. We solicit papers on the following topics: philosophical foundations of information, and information-based computation; applications of situation theory to the social sciences; visual logical systems and programming languages; mathematical foundations of the theory of information; formal theories of pragmatics and discourse. * Program Committee. J. Ginzburg, R. Koons, L. Moss (chair), H. Nakashima, M. de Rijke. * Submissions. authors are invited to submit a detailed abstract of a full paper of at most 10 pages by e-mail to ITALLC96@cs.indiana.edu (using `ITALLC96 Submission' as the subject line). The cover page should include title, authors and the coordinates of the corresponding author. Submissions in LaTeX are encouraged. The deadline for submissions is January 1, 1996. The accepted papers will appear on a World Wide Web server. We anticipate publishing a volume of proceedings. FIRST INT'L WORKSHOP ``FRONTIERS OF COMBINING SYSTEMS'' (FROCOS'96) March 26-29, 1996, Munich, Germany * Topics. In various areas of logic, computation, language processing, and artificial intelligence there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques for the combination and integration of special systems has been initiated in many areas, and the Workshop ``Frontiers of Combining Systems'' intends to offer a common forum for these research activities. Topics include: combination of logics (e.g., modal logics, logics in AI, ...); combination of constraint solving techniques (unification and matching algorithms, general symbolic constraints, numerical constraints, ...) and combination of decision procedures; integration of equational and other theories into deductive systems (e.g. theory resolution, constraint resolution, constraint paramodulation, ...); combination of term rewriting systems; integration of data structures (e.g., sets, multisets, lists) into CLP formalisms and deduction processes; hybrid systems in computational linguistics, knowledge representation, natural language semantics, and human computer interaction; logic modelling of multi-agent systems. * Submissions. A PostScript version of the full paper (preferable LaTeX format), not exceeding 15 pages (incl. title page and references), should be received via e-mail by October 16, 1995. In addition, one hard copy of the paper should be received by the same date. Please send submissions to the local organizer. We intend to publish the proceedings as one volume of the Kluwer series on ``Applied Logic''. * Program Committee. F. Baader (co-chair), P. Baumgartner, P. Blackburn, A. Bockmayr, A. Boudet, J. Calmet, A. Colmerauer, D.M. Gabbay, H. Kirchner, H.J. Ohlbach, J. Pfalzgraf, M. de Rijke, W. Rounds, M. Schmidt-Schauss, K.U. Schulz (co-chair). * Local Organization. K.U. Schulz, CIS, University of Munich, Wagmuellerstr. 23, D-80538 Muenchen, Germany. E-mail: firstname.lastname@example.org. * Further Information. See the WWW page, under Events/Aktuell. JOINT COMPUGRAPH/SEMAGRAPH WORKSHOP ON GRAPH REWRITING AND COMPUTATION (SEGRAGRA'95) August 28 - September 1, 1995, Volterra (Pisa, Italy) * Aim. Graph Rewriting and Term Graph Rewriting is the focus of two Esprit Basic Research Working Groups, COMPUGRAPH II and SEMAGRAPH II. They have decided to organize their final workshop as a common initiative, with the aim of presenting a coherent, detailed account of the achieved results and their view of the state of the art in the field. * Invited Speakers. Chris Wadsworth, Detlef Seese, Thomas Johnsson, Eike Best. * Tutorials. Rinus Plasmeijer, Bruno Courcelle, Andrea Corradini, Richard Kennaway, Jan Willem Klop, Hans-Joerg Kreowski * Location. Volterra is a historical town of about 13,000 people on the top of a hill, whose origins go back to the Etruscan period. Its main flourishing period however was in the 13th and 14th centuries, and it still maintains the structure and the charm of the old medieval town, with curly streets, far reaching panoramas and several elegant civil buildings. It is the main center in Italy of production and craftsmanship of alabaster. Climate is breezy and usually fresh and dry. Volterra can be reached from the International airports of Pisa and Florence by train and bus in about 90 mins. * Registration fee. 380,000 ITL (about 175 ECU). Includes proceedings, lunches, coffe breaks, excursion and workshop dinner. * Accommodation. For booking rooms at special conditions, contact
BEFORE JUNE 30. * Program chair. Ugo Montanari, Dipartimento di Informatica, Universita' di Pisa, Corso Italia, 40, I-56100 Pisa, Italy. E-mail:email@example.com. * Program committee. B. Courcelle, H. Ehrig, C. Hankin, D. Janssens, J.W. Klop, H.-J. Kreowski, L. Leth, U. Montanari, R. Plasmeijer, J.-C. Raoult, G. Rozenberg, R. Sleep. * Further Information. For the Preliminary Program and any further Information contact Andrea Corradini at .