The ACM-IEEE Symposium on Logic in Computer Science ( LICS ) is an annual academic conference on the theory and practice of computer science in relatie to mathematical logic .…
The ACM-IEEE Symposium on Logic in Computer Science ( LICS ) is an annual academic conference on the theory and practice of computer science in relatie to mathematical logic .…