Congreso CSL 2010: 19th EACSL Annual Conference on Computer
CSL (Computer Science Logic) es el congreso anual de la EACSL (European Association for Computer Science Logic). El tema fundamental del congreso es la interrelación entre lógica y computación.
El CSL 2010 se celebrará en Brno (República Checa) el 23 de Agosto. El plazo de envío termina el 26 de marzo.