Logic Conferences

A whole bunch of conference announcements came in over the Proof Theory and FOM lists the other day:

Logic Colloquium. July 27-August 2, Nijmegen, Netherlands. Submission deadline: April 17.

Workshop on Hybrid Logics. August 11, Seattle (part of FLoC). Submission deadline: May 26.

Computer Science Logic. September 25-29, Szeged, Hungary. Submission deadline: abstracts April 24, full papers May 1.

Congress on Tools for Teaching Logic. September 26-30, Salamanca, Spain. Submission deadline: May 15.

Conference on Logic, Navya-Nyaya, and Pallications. January 3-7, 2007, Calcutta, India. Submission deadline: August 31.