[Past issues of the newsletter are available at http://www.bell-labs.com/topic/conferences/lics/ THE 1999 FEDERATED LOGIC CONFERENCE (FLOC'99) July 2 - 10, 1999, Trento, Italy * As was announced earlier, the second Federated Logic Conference (FLOC'99), will be held in Trento, Italy, in July 1999, hosted by ITC-IRST. As in 1996, the participating conferences are CADE, CAV, LICS and RTA. The organizers have made arrangements to facilitate the running of pre-, post, and mid-conference workshops. Call for workshop proposals is available at http://www.cs.bell-labs.com/cm/cs/what/floc99. ONE-DAY SYMPOSIUM ON LOGIC AND COMPUTER SCIENCE on the occasion of the Honorary Doctorate awarded to Yuri Gurevich by the University of Limburg (LUC) Wednesday, May 27, 1998, LUC Campus, Diepenbeek, Belgium Call for attendance * List of speakers. Yuri Gurevich, Krzysztof Apt, Egon Borger, Pierre Wolper, Erich Gradel. * Organizer. Jan Van den Bussche (vdbuss@luc.ac.be) * Registration. Send mail to Ms. Conny Wijnants (wnisecr@luc.ac.be). 9TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS University of Tsukuba, Japan March 30 - April 1, 1998 Call for participation * See the URLs above for further information. 5TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC'98) July 28-31, 1998, IME-USP, Sao Paulo, Brazil Call for contributions * Topics. Pure logical systems, proof theory, model theory, algebraic logic, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, logics and models of concurrency, logic and complexity theory, nonclassical logics, nonmonotonic logic, logic and language, discourse representation, logic and artificial intelligence, automated deduction, foundations of logic programming, logic and computation, and logic engineering. * Invited speakers. Sergei Artemov, Sam Buss, Edmund Clarke, Heinz Dieter Ebbinghaus, Michael Fourman, Hans Kamp, Maarten de Rijke, Giovanni Sambin. * Submission. Contributions are invited in the form of short papers (6 10pt pages or 1800 words). Papers must be received by April 3rd, 1998. Send papers either in in LaTeX format by e-mail to wollic@ime.usp.br, or in five copies to Ruy de Queiroz, Departamento de Informatica, Univ. Federal de Pernambuco, CP 7851, 50732-970 Recife, PE, Brazil, e-mail: ruy@di.ufpe.br, tel.: (+55 81) 271 8430, fax: (+55 81) 271 8438, or to Marcelo Finger, Departamento de Ciencia da Computacao, Instituto de Matematica e Estatistica, Universidade de Sao Paulo, Rua do Matao 1010, 05508-900 Sao Paulo, SP, Brazil, e-mail: mfinger@ime.usp.br, tel.: (+55 11) 818 6287, fax: (+55 11) 818 6134. * Program Committee. Andreas Blass, Itala D'Ottaviano, J. Michael Dunn, Wilfrid Hodges, Francisco Miraglia, Luiz Carlos Pereira, Andrew Pitts, Amir Pnueli. * Organising Committee: L. S. C. Baptista, M. Finger, E. Hermann Haeusler, A. C. V. de Melo, A. G. de Oliveira, R. de Queiroz, F. C. da Silva. FIXED POINTS IN COMPUTER SCIENCE (FICS 98) A Satellite Workshop to MFCS 98 Call for papers Brno, Czech Republic, August 27-28, 1998 * Aim. Fixed points play a fundamental role in several areas of computer science, and the construction and properties of fixed points have been investigated in many different frameworks. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science community who study or apply the fixed point operation in the different fields and formalisms. * Topics. Construction and reasoning about properties of fixed points, categorical, metric and ordered fixed point models, continuous algebras, relation algebras, fixed points in process algebras and process calculi, regular algebra of finitary and infinitary languages, formal power series, tree automata and tree languages, infinite trees, the mu-calculus and other programming logics, fixed points in relation to dataflow and circuits, fixed points and the lambda calculus. * Invited speakers. A. Arnold (Bordeaux), J. W. de Bakker (Amsterdam) Y. N. Moschovakis (Los Angeles/Athens) * Program Committee. R. Backhouse (Eindhoven), S. L. Bloom (Hoboken), C. Boehm (Rome), R. De Nicola (Florence), Z. Esik (Szeged, chairman), P. Freyd (Philadelphia), I. Guessarian (Paris), D. Kozen (Cornell), W. Kuich (Vienna), M. Mislove (Tulane), R. F. C. Walters (Sydney) * Contact person. Zoltan Esik, Dept. of Computer Science, Jozsef Attila University, P.O.B. 652, 6701 Szeged, Hungary, e-mail: fics@inf.u-szeged.hu * Paper submission. Authors are invited to send three copies of an abstract not exceeding three pages to the PC chair. Electronic submissions in the form of uuencoded postscript file are encouraged and can be sent to fics@inf.u-szeged.hu. Submissions are to be received before May 25, 1998. Authors will be notified of acceptance by June 25, 1998. * Proceedings. Preliminary proceedings containing the abstracts of the talks will be available at the meeting. Publication of final proceedings as a special issue of Theoretical Informatics and Applications depends on the number and quality of the papers. * The workshop will be organised at the same place as the federated MFCS'98/CSL'98 conference and care will be taken that participants of the workshop can attend invited talks of the MFCS and CSL conferences. ADVANCES IN MODAL LOGIC'98 October 16--18, 1998 Uppsala University, Uppsala, Sweden Call for papers * Topics. Modal logics of agency and normative systems, algebraic and model-theoretic aspects of modal logic, modal approaches to grammar and natural language semantics, computational aspects of modal logic, philosophical aspects of modal logic, modal logic and belief revision. * Invited Speakers. J. van Benthem, K. Fine, J. Horty, M. Kracht, R. Parikh. * Submission. Authors are invited to submit a detailed abstract of a full paper of at most 10 pages by e-mail to Heinrich Wansing (e-mail address: wansing@rz.uni-leipzig.de), using `AiML98 Submission' as the subject line. The cover page should include title, authors, and the coordinates of the corresponding author. Following this it should be indicated which of the thematic areas best describes the content of the paper (if none is appropriate, please give a set of keywords that best describe the topic of the paper). To be considered, submissions must be received no later than June 1, 1998. * Program Committee. Maarten de Rijke, Krister Segerberg, Heinrich Wansing, Michael Zakharyaschev (chair). HYBRID SYSTEMS: COMPUTATION AND CONTROL April 13-15, 1998, Berkeley, California Call for participation * See the above URL for further information. TWENTY THIRD HOLIDAY SYMPOSIUM: ALGEBRAIC STRUCTURES FOR LOGIC January 8-12, 1999 Las Cruces, New Mexico, USA. Call for Papers * The centerpiece of the program will consist of five one hour lectures given by each of W. Blok (Univ. of Illinois at Chicago) and B. Jonsson (Vanderbilt University). The lecture series will give a comprehensive view of the current state of algebraic logic and its universal algebraic counterparts in a manner accessible to graduate students and researchers from logic, universal algebra, and the information sciences. The purpose is to strengthen the cross-fertilization between research in logic and universal algebra, and to make accessible powerful recent techniques to potential users. Research papers on related topics will be presented as well. * Submission. Abstracts should be sent to the organizers November 7, 1998. * Organizers. Mai Gehrke and John Harding (New Mexico State University). e-mail: holiday@nmsu.edu. * Further Information. See the URL above. INTERNATIONAL CONFERENCE ON ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX'98) Conference Centre Boschoord, Oisterwijk (near Tilburg), the Netherlands May 5 - 8, 1998 Call for Participation * See the URL above for further information. MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS 14) Queen Mary and Westfield College, University of London May 10 - May 13, 1998 Call for Participation and Contributions * If you would like to present a contributed talk, send a title and short abstract for your talk to mfps@math.tulane.edu. For further information, consult the conference web page. BOOK ANNOUNCEMENT Term Rewriting and All That Franz Baader and Tobias Nipkow Cambridge University Press, 1998, ISBN 0-521-45520-0 * This is the first English language textbook offering a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory and Gr"obner bases. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and efficient Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, detailed proofs of almost all theorems are provided, and each chapter closes with a guide to the literature. * Contents. 1. Motivating examples. 2. Abstract reduction systems. 3. Universal algebra. 4. Equational problems. 5. Termination. 6. Confluence. 7. Completion. 8. Gr"obner bases and Buchberger's algorithm. 9. Combination problems. 10. Equational unification. 11. Extensions. Appendix 1. Ordered sets. Appendix 2. A bluffer's guide to ML. 9th INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR'98) Final call for papers (note: EXTENDED deadline) Nice, France, September 8-11, 1998 concur98@sophia.inria.fr * The deadline has been extended until March 18, 1998. * See the above URL for further information. FIRST INTERNATIONAL WORKSHOP ON COMPONENT-BASED SOFTWARE DEVELOPMENT IN COMPUTATIONAL LOGIC (COCL) September 18-19, 1998, Pisa, Italy A satellite event of ALP-PLILP-SAS Call for papers * Topics. This workshop will focus on investigating and promoting the use of computational logic for developing component-based computer systems, and will emphasize practical solutions to problems inherent in developing large and complex computer systems. Suggested, but not exclusive, topics of interest for submissions include: Abstract data types, Modules, objects, frameworks, patterns, Composition operators, Specification of components, Transformation of component-based software, Component re-usability, Coordination of components, Meta-programming and meta-reasoning, Interacting agents, Semantics, Applications, Distributed software, Multiparadigm software. * Submission. Papers of up to 15 pages in length describing (in English) original completed work, work in progress, or interesting problems to be solved, are invited. Send a uuencoded compressed postscript file to brogi@di.unipi.it. In the event of hard-copy submission, please send 5 copies to Antonio Brogi, Dipartimento di Informatica, Universiti di Pisa, Corso Italia 40, 56125 Pisa, Italy. The deadline is June 1, 1998. * Program committee. Oskar Bartenstein, Antonio Brogi, Danny De Schreye, Phan Minh Dung, Patricia Hill, Kung-Kiu Lau, Gary Leavens, Dennis Merrit, Dale Miller, Zoltan Somogyi, Paul Tarau, Michel Vanden Bossche.