7:00 p.m. Model theory for analyzing database transactions. Michael Benedikt*, AT&T Bell Laboratories, Murray Hill, New Jersey
(897-03-853)
7:30 p.m. Undefinability in population rule languages. H. Jerome Keisler*, University of Wisconsin, Madison
(897-03-910)
8:00 p.m. Preserving data integrity in a telecommunications switch. Timothy Griffin*, AT&T Bell Laboratories, Murray Hill, New Jersey
Howard Trickey, AT&T Bell Laboratories, Murray Hill, New Jersey
(897-03-907)
8:30 p.m. Transformations of normal and inverted function tables. Jeffery Zucker*, McMaster University
(897-03-905)
9:00 p.m. A simple framework of contracts in federated databases. Mark Nadel*, The MITRE Corporation
(897-03-912)
9:30 p.m. Finite-model theory---a personal perspective. Ronald Fagin*, IBM Research
(897-03-906)
8:00 a.m. Formal verification of real number software. Ian Sutherland*, Northwestern University
(897-03-908)
8:30 a.m. Using nonstandard analysis to reason about numerical programs. D. N. Hoover*, Odyssey Research Associates
(897-68-364)
9:00 a.m. Some problems in nonstandard measure theory. David Ross*, University of Hawaii, Honolulu
(897-03-903)
9:30 a.m. Nonstandard integration theory in topological vector lattices. Peter A. Loeb*, University of Illinois, Urbana-Champaign
Horst Osswald, University of Munich, Germany
(897-03-911)
10:00 a.m. Using quantifier elimination to analyze stability problems. Stanly Steinberg*, University of New Mexico
Richard Liska, Czech Technical University, Czech Republic
(897-03-311)
10:30 a.m. Logics of hybrid systems. Anil Nerode*, Cornell University, Ithaca
Wolf Kohn, Intermetrics Corporation
(897-03-700)
1:00 p.m. Tractable approximations of logical theories. Bart Selman, AT&T Bell Laboratories, Murray Hill, New Jersey
Henry A. Kautz*, AT&T Bell Laboratories, Murray Hill, New Jersey
(897-03-904)
1:30 p.m. A theorem prover based on common lisp. Matt J. Kaufmann*, Computational Logic, Incorporated
(897-03-909)
2:00 p.m. Types for objects and the type of ``self". Martin Abadi*, Digital Equipment Corporation
(897-03-851)
2:30 p.m. What do you need to reason about programming languages? Elsa L. Gunter*, AT&T Bell Laboratories, Murray Hill, New Jersey
(897-03-852)
3:00 p.m. Implementing nonstandard arithmetic within HOL. Mark McKinzie*, University of Wisconsin, Madison
(897-03-447)