From - Sun Nov 2 21:08:59 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.7) with ESMTP id KAA11699 for ; Fri, 19 Sep 1997 10:06:52 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.7/8.8.7) with ESMTP id KAA25174; Fri, 19 Sep 1997 10:07:02 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.4C0AC5D0@listserv.nodak.edu>; Fri, 19 Sep 1997 12:05:18 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 175493 for THEORYNT@LISTSERV.NODAK.EDU; Fri, 19 Sep 1997 12:05:16 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.4AAC4740@listserv.nodak.edu>; Fri, 19 Sep 1997 12:05:16 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 175485 for THEORY-A@LISTSERV.NODAK.EDU; Fri, 19 Sep 1997 12:05:15 -0500 Received: from usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.4A13B0C0@listserv.nodak.edu>; Fri, 19 Sep 1997 12:05:15 -0500 Received: from pollux.usc.edu (pollux.usc.edu [128.125.253.192]) by usc.edu (8.8.4/8.7.2/usc) with ESMTP id KAA28476 for ; Fri, 19 Sep 1997 10:05:11 -0700 (PDT) Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id KAA04938 for theory-a@listserv.nodak.edu; Fri, 19 Sep 1997 10:05:12 -0700 (PDT) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199709181900.MAA15411@pollux2.usc.edu> Date: Fri, 19 Sep 1997 10:05:12 PDT Reply-To: lics-request@research.bell-labs.com Sender: TheoryNet List From: Leonid Libkin Subject: LICS'98 Call for Papers (text & LaTeX) Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 8001 Status: O X-Status: A postscript version of the call for papers is available via the LICS web page at http://www.bell-labs.com/topic/conferences/lics. Thirteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE June 21 - 24, 1998, Indianapolis, Indiana 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. The 1998 program will consist of invited and contributed talks and two tutorials. It will be preceded by workshops on Probabilistic Methods in Verification and Real Number Computation, and followed by workshops on Formal Methods & Security Protocols and Logic & Diagrammatical Information. Suggested, but not exclusive, topics of interest for submissions include: abstract data types, automated deduction, bounded arithmetic, categorical models and logics, concurrency, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, formal methods, 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, quantum logics, rewriting, semantics, software specification, type systems, universal algebra, and verification. Paper submission: An extended abstract (not a full paper) should be mailed electronically to the program chair, pratt@lics98.stanford.edu, to be received by December 9, 1997. This deadline is firm. Authors will be notified of acceptance or rejection by February 17, 1998. Accepted papers in camera-ready form will be due by April 4, 1998. Your submission may not exceed 10 typed pages in no less than 11-point font. It should be formatted as a PostScript file in USLetter size, and be accompanied by a separately emailed cover letter in plain ascii text. Submissions must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. Submissions 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. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. 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. Further submission information may be found at http://lics98.stanford.edu. IMPORTANT DATES: Submission deadline: December 9, 1997 Notification: February 17, 1998 Final papers due: April 4, 1998 Conference: June 21 - 24, 1998 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. Sponsors: 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 1998 symposium is hosted by Indiana University at Bloomington, and will take place at the Indiana University Conference Center in Indianapolis. PROGRAM CHAIR: Vaughan Pratt Attn: LICS Computer Science Department Gates Building 4B Stanford University Stanford, CA 94305-9045 pratt@lics98.stanford.edu Phone: 415-723-2943 Fax: 415-725-4671 PROGRAM COMMITTEE: Serge Abiteboul, INRIA Eugenio Moggi, U Genoa Luca Aceto, Aalborg U Tobias Nipkow, TU Munich Erich Graedel, RWTH Aachen Luke Ong, Oxford U Edith Hemaspaandra, Lemoyne Coll Doron Peled, Bell Labs Tom Henzinger, UC Berkeley Vaughan Pratt (chair), Stanford U Neil Immerman, U Mass Laurent Regnier, CNRS Marseilles Bengt Jonsson, Uppsala U William Rounds, U Michigan Giuseppe Longo, ENS Alasdair Urquhart, U Toronto Dale Miller, Penn State INVITED SPEAKERS Dirk van Dalen, U Utrecht Roger Needham, Microsoft Research Moshe Vardi, Rice U TUTORIALS Johan van Benthem, U Amsterdam, "Logics of dynamic processes" Wolfgang Thomas, U Kiel, "Automata and logic" CONFERENCE CHAIR: Daniel Leivant leivant@cs.indiana.edu PUBLICITY CHAIR: Leonid Libkin E-mail: libkin@research.bell-labs.com LICS GENERAL CHAIR: John C. Mitchell mitchell@cs.stanford.edu ORGANIZING COMMITTEE: A. Aggarwal, M. Bezem, E. Borger, W. Brauer, S. Buss, E. Clarke, R. Constable, F. Giunchigli, C. Kirchner, D. Kozen, T. Leighton, D. Leivant, L. Libkin, G. Longo, M. Magidor, J. Mitchell (chair), E. Moggi, V. Pratt, J. Remmel, J. Riecke, S. Ronchi della Rocca, M. Stickel, J. Tiuryn, M.Y. Vardi, G. Winskel. ADVISORY BOARD: M. Abadi, S. Abiteboul, S. Abramsky, M. Dezani, J. Halpern, R. Impagliazzo, L. Pacholski, A. Scedrov, D. Scott, J. Wing. ================================================================ LATEX VERSION ================================================================ \documentstyle{article} \topmargin-1.00in \marginparwidth 0pt \oddsidemargin 0pt \evensidemargin 0pt \marginparsep 0pt \textwidth 6.5in \textheight 10.0in\parskip 6pt \parindent 0pt \renewcommand{\i}[1]{{\it #1 \/}} \begin{document} \thispagestyle{empty} \begin{center} {\bf CALL FOR PAPERS}\\[2ex] {\large Thirteenth Annual IEEE Symposium on }\\[2ex] {\Large\bf LOGIC IN COMPUTER SCIENCE }\\[2ex] {\large\it June 21 -- 24, 1998, Indianapolis, Indiana}\\[1ex] {\tt http://www.bell-labs.com/topic/conferences/lics/} \end{center} %%\vspace{.2in} \small \begin{minipage}[t]{2.00in}% first column \parskip 4pt {\bf Program Chair:} \\[0.4mm] Vaughan Pratt\\ Attn: LICS\\ Computer Science Department\\ Gates Building 4B\\ Stanford University\\ Stanford, CA 94305-9045\\ {\tt pratt@lics98.stanford.edu}\\ Phone: 415-723-2943\\ Fax: \hspace*{0.37cm}415-725-4671\\ {\bf Program Committee:} \\[0.4mm] Serge Abiteboul, \i{INRIA}\\ Luca Aceto, \i{Aalborg U}\\ Erich Gr\"{a}del, \i{RWTH Aachen}\\ Edith Hemaspaandra, \i{Lemoyne Coll}\\ Tom Henzinger, \i{UC Berkeley}\\ Neil Immerman, \i{U Massachusetts}\\ Bengt Jonsson, \i{Uppsala U}\\ Giuseppe Longo, \i{ENS}\\ Dale Miller, \i{Penn State}\\ Eugenio Moggi, \i{U Genoa}\\ Tobias Nipkow, \i{TU Munich}\\ Luke Ong, \i{Oxford U}\\ Doron Peled, \i{Bell Labs}\\ Vaughan Pratt (chair), \i{Stanford U}\\ Laurent Regnier, \i{CNRS Marseilles}\\ William Rounds, \i{U Michigan}\\ Alasdair Urquhart, \i{U Toronto }\\ {\bf Invited Speakers:} \\[0.4mm] Dirk van Dalen, \i{U Utrecht}\\ Roger Needham, \i{Microsoft Research}\\ Moshe Vardi, \i{Rice U}\\ {\bf Tutorials:} \\[0.4mm] Johan van Benthem, \i{U Amsterdam}\\ Wolfgang Thomas, \i{U Kiel}\\ {\bf Conference Chair:} \\[0.4mm] Daniel Leivant, \i{Indiana U}\\ {\tt leivant@cs.indiana.edu}\\ {\bf Publicity Chair:}\\[0.4mm] Leonid Libkin, \i{Bell Labs}\\ {\tt libkin@research.bell-labs.com}\\ {\bf General Chair:}\\[0.4mm] John C. Mitchell, \i{Stanford U}\\ {\tt mitchell@cs.stanford.edu}\\ \end{minipage} \hskip .25 in \begin{minipage}[t]{4.5in}% second column \parskip 4pt The {\bf LICS} Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The 1998 program will consist of invited and contributed talks and two tutorials. It will be preceded by workshops on {\em Probabilistic Methods in Verification} and {\em Real Number Computation,} and followed by workshops on {\em Formal Methods and Security Protocols} and {\em Logic and Diagrammatical Information.} Suggested, but not exclusive, topics of interest for submissions include: {\sl abstract data types, automated deduction, bounded arithmetic, categorical models and logics, concurrency, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, formal methods, 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, quantum logics, rewriting, semantics, software specification, type systems, universal algebra, and verification.} {\bf Paper submission:} An extended abstract (not a full paper) should be mailed electronically to the program chair, {\small\tt pratt@lics98.stanford.edu}, to be received by {\bf December 9, 1997}. This deadline is {\bf firm}. Authors will be notified of acceptance or rejection by February 17, 1998. Accepted papers in camera-ready form will be due by April 4, 1998. Your submission may not exceed 10 typed pages in no less than 11-point font. It should be formatted as a PostScript file in USLetter size, and be accompanied by a separately emailed cover letter in plain ascii text. Submissions must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. Submissions 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. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. 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. Further submission information may be found at {\small\tt http://lics98.stanford.edu.} {\bf 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. {\bf Sponsors:} 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 1998 symposium is hosted by Indiana University at Bloomington, and will take place at the Indiana University Conference Center in Indianapolis. {\bf Organizing Committee:} A.~Aggarwal, M.~Bezem, E.~B\"orger, W.~Brauer, S.~Buss, E.~Clarke, R.~Constable, F.~Giunchiglia, C.~Kirchner, D.~Kozen, T.~Leighton, D.~Leivant, L.~Libkin, G.~Longo, M.~Magidor, J.~Mitchell (chair), E.~Moggi, V.~Pratt, J.~Remmel, J.~Riecke, S.~Ronchi della Rocca, M.~Stickel, J.~Tiuryn, M.Y.~Vardi, G.~Winskel. {\bf Advisory Board:} M. Abadi, S. Abiteboul, S. Abramsky, M. Dezani, J. Halpern, R. Impagliazzo, L. Pacholski, A. Scedrov, D. Scott, J. Wing. \end{minipage} \end{document}