Symposium on Logic in Computer Science
Enlarge text Shrink text-
Meeting
|
System number
987011426807405171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Symposium on Logic in Computer Science
Other forms of name
IEEE Symposium on Logic in Computer Science
LICS Symposium
MARC
MARC
Sources of Information
- Its (1986 : Cambridge, Mass.). Proceedings, 1986:t.p. (Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986)
- Its (2nd : 1987 : Ithaca, N.Y.). Proceedings, c1987:t.p. (Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987) p. iii (second annual conference)
- Its Proceedings, July 5-8, 1988:t.p. (Symposium on Logic in Computer Science) p. vii (Annual IEEE Symposium on Logic in Computer Science; third LICS Symposium)
Wikipedia description:
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic.
Read more on Wikipedia >