This volume contains papers selected for presentation at the 2004 Annual
Conference of the European Association for Computer Science Logic, held on September
20-24, 2004 in Karpacz, Poland.
The CSL conference series started as the International Workshops on
Computer Science Logic, and then, after five meetings, became the Annual Conference
of the European Association for Computer Science Logic. This conference was
the 18th meeting, and the 13th EACSL conference.