LICS'99 2nd CFP -- IMPORTANT CORRECTION! The addresses for paper submission are: lics99@dmi.ens.fr and Gilles.Dowek@inria.fr Please do not send papers to the personal address of the PC chair (longo@dmi.ens.fr). The correct versions of the CFP can be found on both web sites for LICS. A copy is also attached below. Apologies for sending a wrong version of the CFP. Leonid Libkin LICS Publicity Chair ================================================================ A postscript version of the call for papers is available via the LICS web pages at http://www.bell-labs.com/topic/conferences/lics, and http://www-rocq.inria.fr/verso/lics. Fourteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE July 2 - 5, 1999, Trento, Italy CALL FOR PAPERS The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Topics of interest include: abstract data types, automated deduction, bounded arithmetic, categorical models and logics, combination of logics, concurrency, constraint programming, constructive mathematics, database theory, denotational semantics, domain theory and applications, finite model theory, formal methods, game semantics, hybrid systems, logics of knowledge, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, logical aspects of protocol security, rewriting, semantics, software specification, type theory and type systems, universal algebra, and verification. Paper submission: Email an extended abstract (not a full paper) to the program chair, lics99@dmi.ens.fr, and to the associate chair, Gilles.Dowek@inria.fr, to be received by December 10, 1998. The abstract should mention, on the first page, one or more keywords (possibly from the list above), in decreasing order of relevance. The deadline is firm; late submissions will not be considered. Authors will be notified of acceptance or rejection by February 17, 1999. Accepted papers in a specified format for the proceedings will be due by April 5, 1999. Format your abstract as a PostScript file, accompanied by a separately emailed textfile cover letter, both mailed from the address of the corresponding author. One hard copy must be airmailed to the program chair, postmarked by December 10, 1998. The first page of the extended abstract and the cover letter should include the title of the paper, names and affiliations of authors, a brief synopsis (at most 10 lines), the keywords, and the contact author's name, address, phone number, fax number, and email address. The extended abstract may not exceed 10 typed pages in no less than 11-point font. It must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. References and comparisons with related work should be included. Technical development directed to the specialist should follow. Submissions departing significantly from these guidelines risk rejection. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. However, a paper submitted to LICS'99 may also be submitted to a FLoC'99 workshop that permits it in its call for papers; acceptance to LICS takes precedence. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to attend the conference in order to present it. IMPORTANT DATES: Submission deadline: December 10, 1998 Notification: February 17, 1999 Final papers due: April 5, 1999 Conference: July 2 - 5, 1999 Kleene Award for Best Student Paper: An award of $500, in honor of the late S.C. Kleene, may be given for the best student paper, as judged by the program committee. Eligibility requires all authors to be full-time students at the date of submission; this must be noted on the submission letter. The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, the European Association for Theoretical Computer Science, and the Association for Computing Machinery. The symposium is hosted by ITC-IRST, and is a part of the Federated Logic Conference (FLoC'99). PROGRAM CHAIR: Giuseppe Longo Attn: LICS LIENS (CNRS) et DMI Ecole Normale Superieure 45 Rue D'Ulm 75005 Paris, France longo@dmi.ens.fr Phone: +33-1-4432-3328 Fax: +33-1-4432-2080 PROGRAM COMMITTEE: Martin Abadi, DEC SRC Martin Grohe, U. Freiburg Rajeev Alur, U. Penn Nils Klarlund, AT&T Labs Luigia C. Aiello, U. Roma Giorgio Levi, U. Pisa Andrea Asperti, U. Bologna Giuseppe Longo (chair), ENS Vincent Danos, CNRS & Paris VII Mitsuhiro Okada, Keio U. Mariangiola Dezani, U. Torino Martin Otto, RWTH Aachen Roberto Di Cosmo, ENS, Paris Edmund Robinson, Queen Mary Gilles Dowek (associate chair), INRIA Davide Sangiorgi, INRIA Abbas Edalat, Imperial College Amilcar Sernadas, IST, Lisboa Thomas Ehrhard, CNRS, Marseille Natarajan Shankar, SRI Melvin Fitting, CUNY Wolfgang Thomas, RWTH Aachen Rob van Glabbeek, Stanford U. Scott Weinstein, U. Penn CONFERENCE CO-CHAIRS: Eugenio Moggi DISI, Universita di Genova 16146 Genova, Italy moggi@disi.unige.it Simona Ronchi della Rocca Dipartimento di Informatica Universita di Torino I-10149 Torino, Italy ronchi@di.unito.it PUBLICITY CHAIR: Leonid Libkin Bell Laboratories/Lucent Technologies 600-700 Mountain Avenue, Murray Hill, NJ 07974, USA E-mail: libkin@research.bell-labs.com LICS GENERAL CHAIR: John C. Mitchell Computer Science Department Stanford University Stanford, CA 94305-9045 mitchell@cs.stanford.edu ORGANIZING COMMITTEE: A. Aggarwal, M. Bezem, W. Brauer, E. Clarke, R. Constable, N. Dershowitz, F. Giunchiglia, D. Leivant, L. Libkin, G. Longo, M. Magidor, J. Mitchell (chair), E. Moggi, V. Pratt, J. Riecke, S. Ronchi della Rocca, M. Stickel, J. Tiuryn, M.Y. Vardi, J. Vitter, G. Winskel ADVISORY BOARD: M. Abadi, S. Abiteboul, S. Abramsky, M. Dezani, J. Halpern, R. Impagliazzo, D. Kozen, L. Pacholski, A. Scedrov, D. Scott, J. Wing