The LICS'98 program committee, consisting of 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, Stanford U (chair) Neil Immerman, U Massachusetts Laurent Regnier, CNRS Marseilles Bengt Jonsson, Uppsala U William Rounds, U Michigan Giuseppe Longo, CNRS - ENS Alasdair Urquhart, U Toronto Dale Miller, Penn State has selected the 43 papers listed below. The Kleene Award for Best Student Paper will be given to Jean-Marie Le Bars for his paper "Fragments of existential second-order logic without 0-1 laws". Vaughan R. Pratt LICS'98 Program Chair -------------- Ofer Arieli and Arnon Avron The Logical Role of the Four-Valued Bilattice Marcelo F. Frias and Roger D. Maddux Completeness of a Relational Calculus for Program Schemes Hirofumi Yokouchi Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers Orna Kupferman and Moshe Y. Vardi Freedom, Weakness, and Determinism: From Linear-time to Branching-time Andrea Asperti Light Affine Logic Joachim Parrow and Bjorn Victor The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes Jean-Marie Le Bars Fragments of existential second-order logic without 0-1 laws. Eugene W. Stark and Scott A. Smolka Compositional Analysis of Expected Delays In Networks of Probabilistic I/O Automata Makoto Tatsuta Realizability for Constructive Theory of Functions and Classes and Its Application to Program Synthesis Enno Folkerts Invertibility in lambda-eta Anil Seth Inductively Ordering L^k(Q)-Types Leonid Libkin On Counting Logics and Local Properties M. Fernandez and I. Mackie Coinductive Techniques for Operational Equivalence of Interaction Nets Hubert Comon, Paliath Narendran, Robert Nieuwenhuis and Michael Rusinowitch Decision Problems in Ordered Rewriting Karen L. Bernstein A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. Anuj Dawar and Lauri Hella Finite Variable Types with Generalized Quantifiers Martin Grohe Fixed-Point Logics on Planar Graphs Marcelo Fiore and Kohei Honda Recursive Types in Games: Axiomatics and Process Representation L. Birkedal, A. Carboni, G. Rosolini and D.S. Scott Type Theory via Exact Categories John T. Baldwin and Michael Benedikt Embedded Finite Models, Stability Theory and the Impact of Order Phokion G. Kolaitis and Martin Otto On the Boundedness Problem for Two-Variable First-Order Logic Manfred Jaeger Convergence Results for Relational Bayesian Networks Thomas Eiter, Georg Gottlob and Yuri Gurevich Existential Second-Order Logic over Strings Josee Desharnais, Abbas Edalat and Prakash Panangaden A Logical Characterization of Bisimulation for Labeled Markov Processes Ramesh Viswanathan Full Abstraction for First-Order Objects with Recursive Types and Subtyping Martin Mueller, Joachim Niehren and Ralf Treinen The First-Order Theory of Ordering Constraints over Feature Trees Gian Luca Cattani, Marcelo Fiore and Glynn Winskel A Theory of Recursive Domains with Applications to Concurrency Ian Mackie Linear Logic with Boxes Samson Abramsky, Kohei Honda and Guy McCusker A fully abstract game semantics for general references Jam Johannsen and Chris Pollett On Proofs About Threshold Cicuits and Counting Hierachies Martin Abadi, Cedric Fournet and Georges Gonthier Secure Implementation of Channel Abstractions Paul-Andre Mellies A stability theorem in Rewriting Theory D. Pavlovic and M.H. Escardo Calculus in coinductive form George C. Necula and Peter Lee Efficient Representation and Validation of Proofs Michele Boreale and Davide Sangiorgi Bisimulation in name-passing calculi without matching Andrei Voronkov Herbrand's theorem, automated reasoning and semantics tableaux Margus Veanes The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification F. Fages, P. Ruet and S. Soliman Phase Semantics and Verification of Concurrent Constraint Programs Claudio Hermida, Michael Makkai and John Power Higher Dimensional Multigraphs Witold Charatonic, David McAllester, Damian Niwinski, Andreas Podelski and Igor Walukiewicz The Horn Mu-calculus E. Allen Emerson and Kedar S. Namjoshi On Model Checking for Non-Deterministic Infinite State Systems John Power, Toru Tsujishita and Hiroshi Wanatabe An axiomatics for categories of transition systems and simulations Luca de Alfaro How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems