CORRECTION TO LICS'96 CALL FOR PAPERS The zip code of Ed Clarke (the program chair) is 15213 (not 15228, as stated in the CFP). WEB PAGE OF LOGIC-RELATED CONFERENCES Over the last few years there has been a proliferation of conferences that overlap in their technical scope with LICS (the Symposium on Logic in Computer Science). These conferences are scheduled with no prior coordination among them, which results quite often in conflicts. For example, in 1995 LICS and FPCA were at exactly the same time and the same place with no prior coordination. In attempt to address this situation, the LICS organization will maintain a web page of conferences (including workshops) that have an overlap with logic in computer science. The first half of the page is a list of conferences and associated contacts. The second half is an incomplete list of dates, some tentative and some fixed, for upcoming meetings of some of these conferences. If you are an organizer of one of these conferences and have some information you would like included in the page, please send mail to lics-request@research.att.com. 5TH FRENCH CONF ON LOGIC PROGRAMMING AND CONSTRAINT PROGRAMMING (JFPLC'96) June 5-7, 1996, Clermont-Ferrand * Topics. Papers are welcome on all theoretical or experimental aspects of logic programming and/or constraint programming, including, but not limited to: Applications; Natural Language; Architecture; Theorem Proving; Constraints; Design, Implementation and Compilation; Artificial Intelligence; Concurrency; Programming Methodology; Parallelism; Environments; Semantics; Databases; Static Analysis; Higher-order Programming; Types; Knowledge Representation. * Program Committee. H. Ait-Kaci, M. Baudinet, F. Benhamou, Y. Bekkers, P. Boizumault, JF. Boulicaut, F. Bry, JJ Chabrier, P. Codognet, J. Cohen, A. Colmerauer, M. Corsini, P. Cousot, P. Deransart, Ph Devienne, Y. Deville, M. Dincbas, F. Fages, G. Ferrand, L. Fribourg, JL Imbert (chair), J. Jourdan, B. Le Charlier, B. Legeard, JP Lepape, JF Pique, JF Puget, A. Podelski, A. Rauzy, O. Ridoux, M. Rueher, P. Saint-Dizier, P. Taillibert, P. Tarau. * Submissions. Papers must be written in French or in English, (in French when at least one of the authors is French speaking) and must not exceed 15 pages (about 5000 words, including references and figures). Send six (6) copies of your submission by January 10, 1996 to Jean-Louis Imbert, JFPLC'96, IUT, Dept. Informatique, Universite d'Auvergne, Les Cezeaux, BP 86, 63172 AUBIERE cedex (FRANCE). Phone : (33) 73 40 50 18. Email : jfplc96@jfplc96.univ-bpclermont.fr. * Awards. For best young researcher, best research prototype. 4TH ISRAELI SYMPOSIUM ON THEORY OF COMPUTING AND SYSTEMS (ISTCS'96) June 10-11, 1996, Jerusalem, Israel * Topics. The theoretical aspects of diverse fields such as: algorithms and data structures, coding theory, complexity theory, computability and automata, computational biology, computational geometry, computer communication, computer vision, cryptography and data security, databases, data compression, distributed and parallel computing, foundations of compiler technology, information retrieval, logics of programs, machine learning, natural language processing, program verification, robotics, semantics of programming languages, VLSI layout and design. Of special interest are novel techniques that build on the strengths of one discipline for the benefit of others. * Affiliated conferences. The Symposium will be part of the new Israeli Federated Computing Conference (IFCC). The IFCC will include also the 7th Israeli Conference on Computer-Based Systems and Software Engineering (CBSE), which will take place on June 12-13, 1996, as well as a Computer Science Forum at Bar Ilan University on June 9, 1996. * Invited Talks. Tom Leighton, William R. Pulleyblank, Micha Sharir, Shimon Ullman. * Submissions. Authors may submit a paper by mailing ELECTRONICALLY a self contained Postscript(tm) version to the address istcs96@cs.rice.edu (strongly encouraged whenever possible for speeding up the reviewing process) AND by sending seven (7) copies of the submitted paper to the Program Chair. To be considered by the committee, submissions must be received by January 31, 1996 (or postmarked by January 21 and sent via airmail). Submissions to the Symposium can also be submitted to the IEEE Symposium on Logic in Computer Science (LICS) and the ACM Symposium on Theory of Computing (STOC). * Program chair. Moshe Y. Vardi, Attn: ISTCS'96, Department of Computer Science, Rice University, Mail Stop 132, 6100 S. Main Street, Houston, TX 77005-1892, USA. E-mail: istcs96@cs.rice.edu. * Program Committee. Nader Bshouty, Benny Chor, Edith Cohen, Shimon Even, Uri Feige, Martin Golumbic, Sorin Istrail, Michael Kifer, Eyal Kushilevitz, Shay Kutten, Mike Luby, Joseph (Seffi) Naor, Wolfgang Paul, Doron Peled, Pavel Pevzner, Serge Plotkin, Arny Rosenberg, Shmuel Safra, Nir Shavit, Eli Upfal, Moshe Y. Vardi (chair), Moti Yung, Lenore Zuck, Uri Zwick. 3RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'96) May 8-10, 1996, Salvador (Bahia), Brazil * Topics. All areas related to logic, language, information and computation, including: pure logical systems, proof theory, model theory, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, 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. S. Abramsky (*), J. Barwise (*), A. Blass, S. Feferman, J. Groenendijk, H. Kamp (*), P. Martin-Loef (*), G. Plotkin (*). (`*' denotes unconfirmed.) * Affiliated Conferences. WoLLIC'96 is part of a larger biennial event in computer science being held in the campus of the Federal University of Bahia from the 6th to the 10th of May 1996: the 6th SEMINFO (6th Informatics Week). The 6th SEMINFO will involve parallel sessions, tutorials, mini-courses, as well as a Workshop on Distributed Systems (WoSiD'96). * Submission. Two-page abstracts (600 words), preferably by e-mail to wollic96@di.ufpe.br, must be RECEIVED by MARCH 8th, 1996 by the Chair of the Organising Committee. Abstracts will be published in the Journal of the IGPL (ISSN 0945-9103) as part of the meeting report. Selected contributed papers will be invited for submission (in full version) to a special issue of the Journal. * Programme Committee. W. A. Carnielli, M. Costa, V. de Paiva, R. de Queiroz, A. Haeberer, T. Pequeno, L. C. Pereira, K. Segerberg, A. M. Sette, P. Veloso. * Chair of Organising Committee. R. de Queiroz, Departamento de Inform'atica, Universidade Federal de Pernambuco (UFPE) em Recife, Caixa Postal 7851, Recife, PE 50732-970, Brazil. E-mail: ruy@di.ufpe.br. Tel: +55 81 271 8430. Fax +55 81 271 8438. (Co-Chair: T. Pequeno, LIA, UFC, tarcisio@lia1.ufc.br, fax +55 85 223 1333). COMPUTING SURVEYS SYMPOSIUM ON MODELS OF PROGRAMMING LANGUAGES AND COMPUTATION * Topics. The goal of Computing Surveys symposia is to provide a substantive overview of the scope, open problems, and research directions of selected research areas. We invite you to contribute a 1000-word position statement to Computing Surveys on one of the following topics: Declarative and imperative programming paradigms; Paradigms for concurrency; Operational and denotational semantics; Type systems; Models of interaction; Models of coordination; Object-based and distributed systems; Integration of paradigms; Open systems; Models of time; Computational reflection; Logics of computation; Agents and mobile processes; Program verification and synthesis; Program analysis; Abstract interpretation; Partial evaluation; Rewriting and program transformation. * Submissions. If you would like to participate in this symposium, please indicate your intention by November 15, 1995, by writing to clh@doc.ic.ac.uk, hrn@daimi.aau.dk and pw@cs.brown.edu. Contributions are due by December 31. Your contribution should be clearly written and substantive, describing an area of research, stating a position, or proposing new directions of work. You can find samples of short contributions on a variety of topics in the March and June 1995 issues of {\it Computing Surveys}. * Editors. Chris Hankin, Hanne Riis Nielson, Peter Wegner. INTERNATIONAL SUMMER SCHOOL ON ADVANCES IN LOGIC PROGRAMMING June 24-29, 1996, ALGHERO (Sardegna), Italy * Aim. The aim of the school is to provide a high level overview of recent research lines in the field of Logic Programming, which may also have strong connections with other related areas, such as Artificial Intelligence. The school is addressed to young researchers and PhD students, as well as to university and industry researchers who wish to stay in touch with latest developments in the Logic Programming field. Participants are expected to have good knowledge of the fundamentals of Logic Programming. * Courses. Michael Gelfond, Logic Programming and Reasoning about Actions and Time. Georg Gottlob, Complexity of Logic Programming and Nonmonotonic Reasoning. Joxan Jaffar, Constraint Logic Programming. Nada Lavrac, Inductive Logic Programming. * Further information. cocco@moo.dsi.unive.it or gianfr@prmat2.math.unipr.it. 6TH INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT '97) January 8-10, 1997, Delphi, Greece * Topics. Active database systems, complex objects, complexity and optimization, concurrency control and recovery, data models and design theory, data structures-algorithms for databases, database programming languages, deductive databases and logic, dependencies and constraints, distributed and parallel databases, fundamentals of security and privacy, heterogeneous databases, incomplete information, multimedia information systems, nonmonotonic reasoning, object-oriented databases, query evaluation and optimization, query languages, spatial and temporal data, transaction management, updates. * Submissions. 8 copies of a full conference paper (which might be an extended abstract where proofs are only sketched) of about 5000 words (10 typed pages in no less than 11-point font) by June 13, 1996, to one of the program co-chairs. * Program co-chairs. Foto Afrati, Computer Science Division, National Technical University of Athens, 157 73 Zographou, Athens, Greece. Tel: +30-1-748-5055. Fax:+30-1-778-4578. Email: afrati@cs.ece.ntua.gr. Phokion G. Kolaitis, Computer and Information Sciences, University of California, Santa Cruz, CA 95064. USA. Tel: +1-408-459-4768. Fax: +1-408-459-4829. kolaitis@cse.ucsc.edu. * Program Committee. F. Afrati, M. Cadoli, S. Chaudhuri, S. Cluet, T. Eiter, C. Faloutsos, S. Greco, M. Gyssens, P. Kanellakis, O.H.G.Katon, P. Kolaitis, G. Kuper, T. Milo, M. Ozsoyoglu, J. Pokorny, V. Sazonov, H-J. Schek, E. Soisalon-Soininen, J. Su, V. Tannen, D. Van Gucht, V. Vianu, G. Vossen, P. Wolper, J. Zlatuska. 7TH INT'L CONF ON CONCURRENCY THEORY (CONCUR'96) August 26-29, 1996, University of Pisa, Italy * Topics. All areas of semantics, logics and verification techniques for concurrent systems. A list of specific topics includes (but is not limited to) concurrency related issues about decidability, event structures and semantic domains, mobile processes, model checking, models of computation, process algebras, real-time systems, refinement techniques, term and graph rewriting, higher order languages, functional logic constraint and object oriented programming, verification techniques for practical systems, tools and environments for programming and verification. * Submissions. Extended abstracts (in English, up to 15 pages, typeset 12 points) to the PC chairman by March 4, 1996. Simultaneous submissions to other conferences or journals are not allowed. Electronic submissions are encouraged via e-mail, in the form of uuencoded compressed PostScript(tm) printable files sent to concur'96@di.unipi.it; however a printed reference copy should be forwarded anyway by express or courier mail. If e-mail is not used, then five (5) copies of the paper should be sent by express or courier mail. In both cases, a separate text-only message should be directed to concur'96@di.unipi.it, with a single postal and e-mail address for communication, complete title, author(s), affiliation(s) and 200 word abstract. * Program Chair. Ugo Montanari, CONCUR'96, Dipartimento di Informatica, University of Pisa, Corso Italia, 40, I-56100 Pisa, Italy. Email: concur'96@di.unipi.it or concur96@di.unipi.it. * Program Committee. Luca Aceto, Jan Bergstra, Rance Cleaveland, Mads Dam, Philippe Darondeau, Rocco De Nicola, Javier Esparza, Ursula Goltz, Bob Harper, Tom Henzinger, Luis Monteiro, Mogens Nielsen, Amir Pnueli, Jan Rutten, Davide Sangiorgi, Scott Smolka, Bernhard Steffen, Colin Stirling, Frits Vaandrager, Walter Vogler, David Walker. * Further Information. concur96@di.unipi.it. 6TH INTERNATIONAL WORKSHOP ON NONMONOTONIC REASONING June 10-12, 1996, Timberline, Oregon, USA * Topics. The aim of the workshop is to bring together active researchers interested in the area of nonmonotonic reasoning to discuss current research, results, and problems of both a theoretical and practical nature. The field of nonmonotonic reasoning includes work on circumscription, autoepistemic and default logic, truth maintenance, closed-world databases, logic programming, probabilistic reasoning, and related systems. We invite extended abstracts concerning any aspect of nonmonotonic reasoning, especially those dealing with: innovative approaches; implementation and practical issues; describing applications; theoretical foundations; relations between different approaches. * Attendance. Attendance will be limited and by invitation only. Authors of accepted papers will be invited. Others wishing to attend should submit a short description of their past accomplishments and current research interests. We also welcome suggestions for panels and invited talks. A limited number of spaces will be reserved for students. We anticipate that travel subsidies may be available. * Submissions. Maximum 12 pages (excluding title page and references) of standard LaTeX 12pt article format, either hardcopy (4 copies) or electronic (postscript files only), by February 19, 1996. Electronic submissions are preferred. Final papers, limited to 25 pages, will be distributed at the meeting. Submissions should be sent to either of the program chairs. * Program Chairs. 1. Moises Goldszmidt, Rockwell Science Center, 444 High St., Suite 400, Palo Alto, CA 94301, USA. Email: moises@rpal.rockwell.com. Phone: (415) 325-7145. 2. Vladimir Lifschitz, Department of Computer Sciences, University of Texas, Austin, TX 78712, USA. Email: vl@cs.utexas.edu. Phone: (512) 471-9564. * Program Committee. Craig Boutilier, David Etherington, Georg Gottlob, Fangzhen Lin, Ilkka Niemela, Luis Pereira. FIFTH INTERNATIONAL CONFERENCE ON ALGEBRAIC AND LOGIC PROGRAMMING (ALP'96) September 25 -- 27, 1996, RWTH Aachen, Aachen, Germany * Topics. ALP aims at strengthening the connections between algebraic techniques and logic programming: Semantics of algebraic and logic programming, Integration of functional and logic programming, Term rewriting, narrowing, resolution, Constraint logic programming and theorem proving with constraints, Concurrent features in algebraic and logic programming languages, Higher order features in algebraic and logic programming languages. * Submissions. Authors are invited to send their manuscripts by email in PostScript format (or, if email is not available, five copies by mail) to the program chair at the address below, no later than May 6, 1996. Papers must describe original, previously unpublished research, be written and presented in English, not exceed 15 pages (A4 or letter format, up to 5,000 words), and not be simultaneously submitted for publication elsewhere. The cover page should include a return mailing address and, if possible, an electronic mail address and a fax number. At the moment of submission a message containing the title of the paper, authors, abstract, keywords, and the address information outlined above should be sent by email to the corresponding address. Authors are warned in advance that submitted papers could be moved from ALP to PLILP or vice-versa, upon agreement of the program committees. * Program Chair. Michael Hanus (ALP'96 Co-chair) RWTH Aachen Informatik II D-52056 Aachen, Germany Phone: +49 241 8021230 Fax: +49 241 8888217 e-mail: alp96@informatik.rwth-aachen.de * Program Committee. S.Antoy, E.Astesiano, J.Avenhaus, P.Deransart, L.Fribourg, M.Hanus(Co-chair), J.Jaffar, G.Levi, K.Meinke, A.Middeldorp, L.Monteiro, F.Orejas, C.Palamidessi, F.Pfenning, M.Rodriguez-Artalejo(Co-chair), V.Saraswat, P.Stuckey, A.Tarlecki, A.Voronkov, M.Wirsing * Full Call for Papers. From the www page. 8TH INT'L SYMPOSIUM ON PROGRAMMING LANGUAGES, IMPLEMENTATIONS, LOGICS, AND PROGRAMS (PLILP'96) September 25 -- 27, 1996, RWTH Aachen, Aachen, Germany * Topics. PLILP aims at stimulating research on declarative programming languages. It seeks to disseminate insights in the relation between the logics of those languages, implementation techniques and the use of these languages in constructing real programs: Implementation of declarative concepts, Integration of different paradigms, Compiler specification and construction, Program analysis and transformation, Programming environments, Executable specifications, Reasoning about language constructs, Experiences in constructing applications, Typing and structuring systems * Submissions. Authors are invited to send their manuscripts by email in PostScript format (or, if email is not available, five copies by mail) to the program chair at the address below, no later than May 6, 1996. Papers must describe original, previously unpublished research, be written and presented in English, not exceed 15 pages (A4 or letter format, up to 5,000 words), and not be simultaneously submitted for publication elsewhere. The cover page should include a return mailing address and, if possible, an electronic mail address and a fax number. At the moment of submission a message containing the title of the paper, authors, abstract, keywords, and the address information outlined above should be sent by email to the corresponding address. Authors are warned in advance that submitted papers could be moved from ALP to PLILP or vice-versa, upon agreement of the program committees. * Program Chair. Herbert Kuchen (PLILP'96 Co-chair), RWTH Aachen, Informatik II, D-52056 Aachen, Germany, Phone: +49 241 8021211, Fax: +49 241 8888217, e-mail: plilp96@informatik.rwth-aachen.de * Program Committee. Maria Alpuente (Spain), P.Cousot, Y.Guo, M.Gabbrielli, F.Henglein, T.Ida, G.Janssens, T.Johnsson, H.Kuchen, D.Le, A.Letichevsky, R.Loogen, J.Maluszynski, E.Meijer, D.Miller, M.Murakami, R.Plasmeijer, L.Puel, G.Smolka, D.Swierstra, P.van Hentenryck * Full Call for Papers. From the www page. LOGICAL FOUNDATIONS OF MATHEMATICS, COMPUTER SCIENCE AND PHYSICS -- KURT GOEDEL'S LEGACY (GOEDEL'96) August 25-29, 1996, Brno, Czech Republic. * Aims and Topics. The aim of the conference is to pay tribute to Kurt Goedel by arranging a scientific event presenting a forum for papers relevant to foundational aspects of Logic in Mathematics, Computer Science, Philosophy and Physics -- areas influenced by Kurt Goedel's work. Original scientific papers are sought for the conference, as well as research work in history connected with Goedel's work. A session is planned to honour Professor Hao Wang, one of Goedel's closest collaborators, who died on May 13, 1995. * Submissions. Send three copies of your full draft paper not exceeding 10 pages of 12-point type, or Springer Lecture Notes style to the Programme Committee chairman address. Electronic submissions in the form of a PostScript file are encouraged (send to `goedel96-program@uivt.cas.cz'). Submission deadline: January 14, 1996 (the anniversary of Goedel's death). * Programme Committee. Z. Adamowicz, J. Bicak, L. Bukovsky, D. de Jongh, J. Grygar, E. Koehler, J. Krajicek, P. Hajek (chair), A. Leitsch, D. Mundici, G. Mueller, J. Paris, C. Parsons. * Invited Speakers. M. Baaz, G.F.R. Ellis, S. Feferman, D. Isaacson, G. Kreisel, B. Kushner, A. MacIntyre, M. Magidor, C. Parsons, P. Pudlak, W. Sieg, G. Takeuti, A. Visser. * Programme Chair. Petr Hajek, Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vodarenskou vezi 2, CZ-182 07 Prague, Czech Republic. E-mail: goedel96-program@uivt.cas.cz. Telephone: +42-2-66051111, +42-2-66414244, +42-2-66413418. Fax: +42-2-8585789. * Organization Contact. Jiri Zlatuska, Faculty of Informatics, Masaryk University, Botanicka 68a, CZ-602 00 Brno, Czech Republic. E-mail: goedel96@informatics.muni.cz. Telephone: +42-5-41213125, +42-5-41211646, +42-5-41213219. Fax: +42-5-41212747. 5TH INT'L CONF ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: CALL FOR SYSTEMS DEMONSTRATIONS July 1-5, 1996, Munich, Germany * Topics. We invite submissions of system demonstrations showing the improved effectiveness of software developed on a mathematical basis. The topics of interest include, but are not limited to, the following: Software Development Environments; Support for Correct Software Development; System Support for Reuse; Tools for Prototyping; Validation and Verification; Theorem Proving Systems. * Submissions. We invite prospective authors to submit 6 copies of system demo proposals (4 double spaced pages maximum) in an area relevant to the conference theme. All submissions must be sent to the program chair at the address below; the proposals must be received by January 15, 1996 (new extended deadline). * Program Chair. Martin Wirsing, AMAST'96 Program Chair, Institut fuer Informatik, Universitaet Munchen, Leopoldstr. 11B, D-80802 Muenchen, Germany. Phone: ++49/89/ 2180-6317. Fax: ++49/89/ 2180-6310. e-mail: amast96-info@informatik.uni-muenchen.de. * Further Information. For bulletins on current status of the conference: here; amast96-info@informatik.uni-muenchen.de. Tools and Demos: cbaur@informatik.uni-muenchen.de. Registration: hennicke@informatik.uni-muenchen.de. Local Arrangements: diem@informatik.uni-muenchen.de. For subscribing to the AMAST'96 mailing list: amast96-request@informatik.uni-muenchen.de.