25-29 September 2006, CSL 2006: Computer Science Logic, Szeged, Hungary

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, see http://www.inf.u-szeged.hu/~csl06/