CSL 09 - 18th EACSL Annual Conference on Computer Science Logic

Description: 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. Place:   Mathematics Department, University of Coimbra URL:  http://www.mat.uc.pt/~csl/ Start Date:   2009-09-07 End Date:   2009-09-11 Research Groups: -Algebra, Logic and Topology See more:   <Main>