- Email: [email protected]
Call for papers: LICS fifth annual IEEE symposium on logic in computer science June 4–7, 1990, Philadelphia, PA, USA
Science of Computer North-Holland
Programming
13 (1989/90)
131-132
ANNOUNCEMENT Call for Papers: Fifth Annual June 4-7,
LICS
IEEE Symposium
1990, Philadelphia,
on Logic in Computer
Science
PA, USA
The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic and the European Association of Theoretical Computer Science, and with the anticipated cooperation of ACM SIGACT. The LICS Symposium aims for wide coverage of theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical and topological approaches.
Topics of interest
Suggested, but not exclusive, topics of interest include: abstract data types, automated deduction, concurrency, constructive mathematics, data base theory, finite model theory, knowledge representation, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, software specification, type systems, verification.
Paper submission
(15) copies of a detailed abstract-not a full paper-should be received by 1,1989 by the Program Chair (Attn: LICS). Authors from locations where access to reproduction facilities is severely limited may submit a single copy of their Fifteen
December
abstract. All authors will be notified of acceptance or rejection by January 22, 1990. Accepted papers typed on special forms for inclusion in the symposium proceedings will be due March 1, 1990. Abstracts must be clearly written and provide sufficient detail to allow the program committee to assess the merits of the paper. References and comparisons with related work should be included. The entire extended abstract should not exceed ten (10) standard font double-spaced pages (2500 words). The title page of the submission should include a brief synopsis and author’s name, address, phone number, and e-mail address if available. Papers must be unpublished and not submitted for
Announcement
132
publication December abstracts,
elsewhere, 1 deadline
including proceedings of other symposia or workshops. for receipt applies to overseas submissions as well.
or those departing
significantly
from these guidelines,
The Late
run a high risk of
rejection. General
Chair
Conference
Prof. Albert R. Meyer MIT Lab. for Computer Science NE43-3 15 545 Technology Square Cambridge, MA 02139, USA Internet [email protected]
Department Computer and Info. Sciences University of Pennsylvania Philadelphia, PA 19104, USA Internet [email protected] Publicity Chair Prof. Daniel Leivant
Program Chair Prof. John C. Mitchell Department of Computer Science Stanford University Stanford, CA 94305, USA Internet [email protected]
Program
Chair
Prof. Jean Gallier
School of Computer Science Carnegie-Mellon University Pittsburgh, PA 15213, USA
Committee
K. Apt (CWI Amsterdam and UT Austin), J. Barwise (Stanford), E. Clarke (CMU), S. Cook (Toronto), S. Hayashi (Ryukoku), P. Kanellakis (Brown), J.-P. Jouannaud (Paris-Sud), D. Leivant (CMU), J. Mitchell, Chair (Stanford), U. Montanari (Pisa), A. Pitts (Cambridge), E. Sandewall (Linkoping), A. Scedrov (Univ. of Pennsylvania), M. Stickel (SRI International), G. Winkel (Aarhus).
Organizing
Committee
M. Abadi, J. Barwise, A. Chandra, E. Engeler, J. Gallier, J. Goguen, D. Gries, Y. Gurevich, D. Johnson, D. Kozen, Z. Manna, A. Meyer, Chair, J. Mitchell, C. Papadimitriou, R. Parikh, G. Plotkin, D. Scott. Requests to join [email protected]
the
LICS
mailing
list
should
be
addressed
to:
Internet
Programming
13 (1989/90)
131-132
ANNOUNCEMENT Call for Papers: Fifth Annual June 4-7,
LICS
IEEE Symposium
1990, Philadelphia,
on Logic in Computer
Science
PA, USA
The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic and the European Association of Theoretical Computer Science, and with the anticipated cooperation of ACM SIGACT. The LICS Symposium aims for wide coverage of theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical and topological approaches.
Topics of interest
Suggested, but not exclusive, topics of interest include: abstract data types, automated deduction, concurrency, constructive mathematics, data base theory, finite model theory, knowledge representation, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, software specification, type systems, verification.
Paper submission
(15) copies of a detailed abstract-not a full paper-should be received by 1,1989 by the Program Chair (Attn: LICS). Authors from locations where access to reproduction facilities is severely limited may submit a single copy of their Fifteen
December
abstract. All authors will be notified of acceptance or rejection by January 22, 1990. Accepted papers typed on special forms for inclusion in the symposium proceedings will be due March 1, 1990. Abstracts must be clearly written and provide sufficient detail to allow the program committee to assess the merits of the paper. References and comparisons with related work should be included. The entire extended abstract should not exceed ten (10) standard font double-spaced pages (2500 words). The title page of the submission should include a brief synopsis and author’s name, address, phone number, and e-mail address if available. Papers must be unpublished and not submitted for
Announcement
132
publication December abstracts,
elsewhere, 1 deadline
including proceedings of other symposia or workshops. for receipt applies to overseas submissions as well.
or those departing
significantly
from these guidelines,
The Late
run a high risk of
rejection. General
Chair
Conference
Prof. Albert R. Meyer MIT Lab. for Computer Science NE43-3 15 545 Technology Square Cambridge, MA 02139, USA Internet [email protected]
Department Computer and Info. Sciences University of Pennsylvania Philadelphia, PA 19104, USA Internet [email protected] Publicity Chair Prof. Daniel Leivant
Program Chair Prof. John C. Mitchell Department of Computer Science Stanford University Stanford, CA 94305, USA Internet [email protected]
Program
Chair
Prof. Jean Gallier
School of Computer Science Carnegie-Mellon University Pittsburgh, PA 15213, USA
Committee
K. Apt (CWI Amsterdam and UT Austin), J. Barwise (Stanford), E. Clarke (CMU), S. Cook (Toronto), S. Hayashi (Ryukoku), P. Kanellakis (Brown), J.-P. Jouannaud (Paris-Sud), D. Leivant (CMU), J. Mitchell, Chair (Stanford), U. Montanari (Pisa), A. Pitts (Cambridge), E. Sandewall (Linkoping), A. Scedrov (Univ. of Pennsylvania), M. Stickel (SRI International), G. Winkel (Aarhus).
Organizing
Committee
M. Abadi, J. Barwise, A. Chandra, E. Engeler, J. Gallier, J. Goguen, D. Gries, Y. Gurevich, D. Johnson, D. Kozen, Z. Manna, A. Meyer, Chair, J. Mitchell, C. Papadimitriou, R. Parikh, G. Plotkin, D. Scott. Requests to join [email protected]
the
LICS
mailing
list
should
be
addressed
to:
Internet