PROGRAM
Workshop on Logic and Random Structures
November 5 - 7, 1995
Sunday, Nov. 5 (Holiday Inn, South Plainfield)
9:30-10:00 Welcome and Opening Remarks
10:00-10:45 Joel Spencer
Sentences with Slow Oscillation
10:45-11:15 Break
11:15-12:00 Ravi Boppana
Smoothness Laws in Random Ordered Graphs
12:00-12:30 Monica MacArthur
The Behavior of L^k_{\infty,\omega} on Random
Structures
12:30- 2:00 Lunch Break
2:00- 3:00 Miklos Ajtai
Random Structures and Constant Depth Circuits
3:00- 3:30 Break
3:30- 4:15 Sanjeev Arora
Reductions, Codes, PCPs, and Inapproximability
4:15- 5:00 Stan Burris
Spectrally Determined First Order Limit Laws
5:00- 5:45 Alan Woods
Applications of Nostandard Methods to Probabilities
in Finite Model Theory and Constant Depth Circuits
7:00 - Welcome Reception
Monday, Nov. 6 (DIMACS)
9:00-10:00 Phokion Kolaitis
Almost Everywhere Equivalence of Logics
10:00-10:30 Break
10:30-11:15 Kerkko Luosto
The Almost Everywhere Hierarchy of Generalized
Quantifiers
11:15-12:00 Bruce Richmond, A 0-1 Law for Planar Maps
12:00- 2:00 Lunch Break
2:00- 3:00 Joe Halpern
From Statistics to Beliefs (Using Asymptotic
Conditional Probabilities)
3:00- 3:30 Break
3:30- 4:15 Greg McColm
0-1 Laws for First-Order and Least Fixpoint Logics
4:15- 5:00 Daphne Koller
Probabilistic Logic over Finite Structures
5:00- 6:00 Tomasz Luczak
Slowly Increasing Parameters and 0-1 Laws in
Random graphs
Tuesday Nov. 7 (DIMACS)
9:00-10:00 Andrew Odlyzko
Asymptotic Methods in Combinatorics
10:00-10:30 Break
10:30-11:15 John Baldwin
Randomness and Semigenericity
11:15-12:00 Leszek Pacholski
12:00- 2:00 Lunch Break
2:00- 3:00 Curtis Tuckey
Analysis of Algorithms for Database Query Optimization,
with Applications to Integrity Maintenance
3:00- 3:30 Break
3:30- 4:15 Jerzy Tyszkiewicz
Always Nonconvergence
4:15- 5:00 Kevin Compton
A Limit Law for Random Abelian Groups
Previous: Participation
Next: Registration
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on October 16, 1995