Symposium on Logic in Computer Science
ACM/IEEE annual conference series on logic in computer science
Facts
8 properties- Instance of
- academic conference series
- Inception
- 1986[4]
- Official website
- lics.siglog.org[5]
- Short name
- LiCS[8]
- Imported from
- wholeness_audit_2026-05-02
- Main subject
- logic in computer science[6]
- Maintained by
- Institute of Electrical and Electronics Engineers, Association for Computing Machinery[2][3]
- Title
- Logic in Computer Science[7]
🏷️ Also known as
en LiCS
en Logic in Computer Science
en Symposium on Logic in Computer Science
fr ACM-IEEE Symposium on Logic in Computer Science
fr Logic in Computer Scienc
pt Lógica em ciência da computação
🔖 Identifiers · 8
- VIAF cluster ID
- 150718461
- ACM conference ID
- lics
- DBLP venue ID
- conf/lics
- Freebase ID
- /m/0g9mxm
- Microsoft Academic ID (discontinued)
- 1171002971
- National Library of Israel J9U ID
- 987011426807405171
- WikiCFP conference series ID
- 1959
Press Enter · cited answer in seconds
0 sources
Summary
Symposium on Logic in Computer Science is an academic conference series[1].