*Homepage:* http://www.lsv.ens-cachan.fr/csl01/

Annual Conference of the European Association for Computer Science Logic

	* Deadline: March
	* Conference: September