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