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