Logic List Mailing Archive

Logic Colloquium 2006: Nijmegen (The Netherlands)

2006 ASL European Summer Meeting (Logic Colloquium '06) Nijmegen, 
Netherlands
July 27--August 2, 2006

The members of the Program Committee are: B. Cooper, S. Friedman, H.  
Geuvers, D. Macpherson, G. Mints, A. Pillay, M. Rathjen, R. Schindler, H.  
Schwichtenberg (Chair), R. Shore, W. Sieg, G. Sundholm, and J. Vaananen.  
The Local Organizing Committee includes: H. Geuvers (Chair), N. Messink,
B.  Spitters, and F. Wiedijk.