Conferences


AcronymMost Recent Title
BackLICS2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
YearTitle
20212021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
20192019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
20172017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
20162016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
20152015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2013Logic in Computer Science, Symposium on
2012Logic in Computer Science, Symposium on
2011Logic in Computer Science, Symposium on
2010Logic in Computer Science, Symposium on
2009Logic in Computer Science, Symposium on
200823rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)
20072007 22nd Annual IEEE Symposium on Logic in Computer Science
200621st Annual IEEE Symposium on Logic in Computer Science
200520th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
2004Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
2003Logic in Computer Science, Symposium on
2002Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
2001Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
2000Logic in Computer Science, Symposium on
1999Logic in Computer Science, Symposium on
1998Logic in Computer Science, Symposium on
1997Logic in Computer Science, Symposium on
1996Logic in Computer Science, Symposium on
1995Logic in Computer Science, Symposium on
1994Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science
1993Proceedings of 8th Annual IEEE Symposium on Logic in Computer Science
19921992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
1991Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science
1990Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science
1989Proceedings. Fourth Annual Symposium on Logic in Computer Science
1988Proceedings Third Annual Symposium on Logic in Computer Science