This is the programme of the iqsa conference in Atlanta.

        IQSA's Conference:  "Atlanta `97"

                MONDAY

8:10-8:40am     Finkelstein: Metalogic and Infinite Quantization
8:40-9:10am     Miller: Quantum Physical Concepts for High-Complexity
                        Computations
9:10-9:40am     Hellwig: On the Entropy of Open Finite-Level Systems

              Coffee Break

10:10-10:40am   Aerts/Broekaert/Smets: A Quantum Structure Description of the Liar-Paradox
10:40-11:10am   Navara: How the State Spaces of Quantum Logics Can Be Described
11:10-11:40am   Frank Anger & Rita Rodriguez: Not Just on Time
11:40-12:10     Frank Anger & Rita Rodriguez: Not Just on Time (continued)

              Lunch

1:30-2:00pm     Bruns: Recent results on Orthomodular Lattices
2:00-2:40pm     Harding: Regularity in Quantum Logic
2:40-3:00pm     Carrega: OMLs from Quadratic Spaces over Finite Fields


              Coffee Break

3:30-4:00pm     Tkadlec: Classes of Orthomodular Posets
4:00-4:30pm     Business Meeting
4:30-5:00pm     Business Meeting

                TUESDAY

8:10-8:40am     Garola: Arguing Against Nonlocality and Contextuality
                of Quantum Physics: The Semantic Realism Approach
8:40-9:10am     Mugur-Schachter: Meta Quantum Mechanics
9:10-9:40am     Dalla-Chiara: How Many Notions of "Unsharp"?

              Coffee Break

10:10-10:40am   Nishimura: Synthetic Supergeometry
10:40-11:10am   Greechie: Computational Quantum Logic I
11:10-11:40am   Foulis: Computational Quantum Logic II
11:40-12:10     Beltrametti: Extensions of Convexity Models

              Lunch

1:30-1:55pm     Schroeck: Phase Space Quantum Mechanics and an
                Application to Quantum Chemistry

1:55-2:20pm     Coecke: Propagation of States, Properties and Context
                Dependent Components in Consecutive Measurements

2:20-2:45pm     Gudder: Infirma of Quantum Effects

Coffee Break

3:15-4:30pm     Forum


                WEDNESDAY

8:10-8:40am     Olubummo: The Predual of an Order Unit Banach Space
8:40-9:10am     Cook: Banach Spaces of States on Operational Logics
9:10-9:40am     Ruttimann: The Logic of Principal Inner Ideals of a JB*-Triple

              Coffee Break

10:10-10:40am   Olejcek: On Order Convergence and Order Topology on a Poset
10:40-11:10am   Riecanova: Subalgebras of Effect Algebras and D-Posets
                Resp. of Abelian RI-Semigroups and Abelian RI-Posets
11:10-11:40am   Cattaneo: Fuzzy Quantum Structures
11:40-12:10     Wilce: Pull-Backs and Product Tests

              Lunch

1:30-2:00pm     Leckey: Quantum Measurement, Complexity and Discrete Physics
2:00-2:30pm     McCollum: A Simple Structure for Mutual Causality
2:30-3:00pm     Verriest: An Excursion in Finite Field Valued Measures
                and a Decomposition of Integer Valued Random Variables

               Spontaneous Discussions

               End of Conference

               Continued Discussions