[Prev][Next][Index][Thread]

LICS '90 Preliminary Program



Date: Thu, 25 Jan 90 16:30:51 PST

           Preliminary program announcement 
       IEEE Symposium on Logic in Computer Science
              June 4-7, Philadelphia, PA

Banquet Speaker: R.O. Gandy, Oxford

Special session on automated decuction (to be announced).

Technical papers grouped into prospective sessions
(order not yet determined):

NEW FOUNDATIONS FOR FIXPOINT COMPUTATIONS 
	Roy L. Crole and Andrew M. Pitts 
POLYMORPHISM, SET THEORY, AND CALL-BY-VALUE 
	Edmund Robinson and Giuseppe Rosolini 
UNIVERSAL DOMAINS IN THE THEORY OF DENOTATIONAL 
SEMANTICS OF PROGRAMMING LANGUAGES 
	M. Droste and R. Gobel 
THE CLASSIFICATION OF CONTINUOUS DOMAINS 
	Achim Jung 

COMPLETENESS FOR TYPED LAZY EQUALITIES 
	Jon Riecke, Stavros Cosmadakis and Albert Meyer 
TYPE RECONSTRUCTION IN FINITE-RANK FRAGMENTS OF 
THE POLYMORPHIC $\lambda$-CALCULUS 
	A.J. Kfoury and J. Tiuryn 
CONDITIONAL LAMBDA-THEORIES AND THE VERIFICATION 
OF STATIC PROPERTIES OF PROGRAMS 
	Mitchell Wand 
SINGLE-THREADED POLYMORPHIC LAMBDA CALCULUS 
	Juan C. Guzman and Paul Hudak 

PROGRAMMING IN EQUATIONAL LOGIC: BEYOND STRONG SEQUENTIALITY 
	I.V. Ramakrishnan 
THE THEORY OF GROUND REWRITE SYSTEMS IS DECIDABLE 
	Max Dauchet and S. Tison 
WELL REWRITE ORDERINGS 
	Pierre Lescanne 
A CONSTRUCTIVE PROOF OF HIGMAN'S LEMMA 
	James R. Russell and Chet Murthy 

SYNTACTIC THEORIES AND UNIFICATION 
	Claude Kirchner and Francis Klay 
PROOF TRANSFORMATIONS FOR EQUATIONAL THEORIES 
	Tobias Nipkow 
A NEW AC UNIFICATION ALGORITHM WITH A NEW ALGORITHM FOR 
SOLVING DIOPHANTINE EQUATIONS 
	Alexandre Boudet, Evelyne Constejean and Herve Devie 
ON SUBSUMPTION AND SEMIUNIFICATION IN FEATURE ALGEBRAS 
	William Rounds 

SYMBOLIC MODEL CHECKING: $10^20$ STATES AND BEYOND 
	David Dill, J. Hwang, J.R. Burch, E.M. Clarke 
	and K.L. McMillan
WHEN IS "PARTIAL" ADEQUATE? A LOGIC-BASED PROOF TECHNIQUE 
USING PARTIAL SPECIFICATIONS 
	Bernhard Steffen and Rance Cleaveland
MODELLING SHARED STATE IN A SHARED ACTION MODEL 
	Kenneth J. Goldman and Nancy A. Lynch 
ON THE LIMITS OF EFFICIENT TEMPORAL DECIDABILITY 
	E. Allen Emerson, Mike Evangelist and Jai Srinivasan 

EQUATION SOLVING THROUGH AN OPERATIONAL SEMANTICS OF CONTEXT 
	Kim G. Larsen and Liu Xinxin 
THREE LOGICS FOR BRANCHING BISIMULATION 
	Rocco De Nicola and Frits Vaandrager
REACTIVE, GENERATIVE, AND STRATIFIED MODELS OF PROBABILISTIC PROCESSES 
	 R. van Glabbeek, Scott A. Smolka, B. Steffen and Chris Tofts 
THE NONEXISTENCE OF FINITE AXIOMATISATIONS FOR CCS CONGRUENCES 
	Faron Moller 

A LOGIC OF CONCRETE TIME INTERVALS 
	Harry R. Lewis 
REAL-TIME LOGICS: COMPLEXITY AND EXPRESSIVENESS 
	Rajeev S. Alur and Tom Henzinger 
EXPLICIT CLOCK TEMPORAL LOGIC 
	Amir Pnueli, Harel, Lichtenstein
MODEL-CHECKING FOR REAL-TIME SYSTEMS 
	Rajeev Alur, Costas Courcoubetis and David Dill 

A DECISION PROCEDURE FOR A CLASS OF SET CONSTRAINTS 
	Joxan Jaffar and Nevin Heintze 
A CONSTRAINT SEQUENT CALCULUS 
	Jean-Louis Lassez and Ken McAloon 
SOLVING INEQUATIONS IN TERM ALGEBRAS 
	H. Comon 

THE DYNAMIC LOGIC OF PERMISSION 
	R. van der Meyden 
A THEORY OF NON-MONOTONIC RULE SYSEMS 
	Wiktor Marek and Anil Nerode 
THE SEMANTICS OF REFLECTED PROOF 
	Robert L. Constable 
ON THE POWER OF BOUNDED CONCURRENCY: REASONING ABOUT PROGRAMS 
	David Harel, Roni Rosner and Moshe Vardi

NORMAL PROCESS REPRESENTATIVES 
	Vijay Gehlot and Carl Gunter 
A CATEGORIAL LINEAR FRAMEWORK FOR PETRI NETS
	Carolyn Brown and Doug Gurr 
A LINEAR SEMANTICS FOR ALLOWED LOGIC PROGRAMS 
	S. Cerrito 

0-1 LAWS FOR INFINITARY LOGICS 
	Phokion Kolaitis and Moshe Vardi
IMPLICIT DEFINABILITY ON FINITE STRUCTURES AND UNAMBIGUOUS COMPUTATIONS 
	Phokion Kolaitis 
ALOGTIME AND A CONJECTURE OF S.A. Cook 
	Peter Clote 
ON THE EXPRESSION OF MONADIC SECOND-ORDER GRAPH PROPERTIES 
WITHOUT QUANTIFICATIONS OVER SETS OF EDGES 
	Bruno Courcelle 

EXTENSIONAL PERS 
	Peter Freyd, P.Mulry, G.Rosolini, D.Scott 
RECURSIVE TYPES REDUCED TO INDUCTIVE TYPES 
	Peter Freyd 
A PER MODEL OF POLYMORPHISM AND RECURSIVE TYPES 
	M. Abadi and G. D. Plotkin 
EFFECTIVE DOMAINS AND INTRINSIC STRUCTURE 
	Wesley Phoa 


General chair: Albert R. Meyer
Conference chair: Jean Gallier
Program Chair: John C. Mitchell

Program committee: K. Apt, J. Barwise, E. Clarke, S. Cook, S. Hayashi, 
P. Kanellakis, J.-P. Jouannaud, D. Leivant, J. Mitchell, U. Montanari,
A. Pitts, E. Sandewall, A. Scedrov, M. Stickel, G. Winskel

For further conference information, send electronic mail
to lics@cs.cmu.edu.