Annual Conference of the European Association
for Computer Science Logic


CSL'01


September 10-13, 2001
Paris, France



Program of the conference

Registration form




The proceedings of CSL'01 are available



click to enlarge




Last modified on 3rd September 2001 - csl01@lsv.ens-cachan.fr