1995 Joint Mathematics Meetings, Program by Special Session
AMS Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:09:18
1995 Joint Mathematics Meetings
San Francisco, CA, January 4-7, 1995
Andy R Magid, AMS firstname.lastname@example.org
Donovan H Van Osdol, MAA email@example.com
AMS Special Session on Applied Logic
Thursday January 5, 1995, 7:00 p.m.-10:30 p.m.
AMS Special Session on Applied Logic, I
Model theory for analyzing database transactions.
Michael Benedikt*, AT&T Bell Laboratories, Murray Hill, New Jersey
Undefinability in population rule languages.
H. Jerome Keisler*, University of Wisconsin, Madison
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
Transformations of normal and inverted function tables.
Jeffery Zucker*, McMaster University
A simple framework of contracts in federated databases.
Mark Nadel*, The MITRE Corporation
Finite-model theory---a personal perspective.
Ronald Fagin*, IBM Research
Friday January 6, 1995, 8:00 a.m.-10:50 a.m.
AMS Special Session on Applied Logic, II
Formal verification of real number software.
Ian Sutherland*, Northwestern University
Using nonstandard analysis to reason about numerical programs.
D. N. Hoover*, Odyssey Research Associates
Some problems in nonstandard measure theory.
David Ross*, University of Hawaii, Honolulu
Nonstandard integration theory in topological vector lattices.
Peter A. Loeb*, University of Illinois, Urbana-Champaign
Horst Osswald, University of Munich, Germany
Using quantifier elimination to analyze stability problems.
Stanly Steinberg*, University of New Mexico
Richard Liska, Czech Technical University, Czech Republic
Logics of hybrid systems.
Anil Nerode*, Cornell University, Ithaca
Wolf Kohn, Intermetrics Corporation
Friday January 6, 1995, 1:00 p.m.-3:20 p.m.
AMS Special Session on Applied Logic, III
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
A theorem prover based on common lisp.
Matt J. Kaufmann*, Computational Logic, Incorporated
Types for objects and the type of ``self".
Martin Abadi*, Digital Equipment Corporation
What do you need to reason about programming languages?
Elsa L. Gunter*, AT&T Bell Laboratories, Murray Hill, New Jersey
Implementing nonstandard arithmetic within HOL.
Mark McKinzie*, University of Wisconsin, Madison