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...
6 KB (670 words) - 09:18, 2 July 2025
Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main...
17 KB (1,837 words) - 22:22, 16 June 2025
The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored...
13 KB (534 words) - 00:13, 25 February 2025
Quantum Mechanics". Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, New York, USA: ACM Press. pp. 559–568. arXiv:1705...
30 KB (2,751 words) - 07:02, 30 June 2025
affine logic". Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. Tenth Annual IEEE Symposium on Logic in Computer Science...
34 KB (2,979 words) - 10:22, 20 May 2025
Drawing SoCG – Symposium on Computational Geometry LICS – ACM–IEEE Symposium on Logic in Computer Science RTA – International Conference on Rewriting Techniques...
15 KB (1,407 words) - 17:19, 24 July 2025
Symposium on Logic in Computer Science Liberal and Centre Union (Liberalų ir centro sąjunga, LiCS), a Lithuanian political party Logic in computer science...
435 bytes (80 words) - 14:21, 27 February 2021
Symposium in Russia (CSR) ACM–SIAM Symposium on Discrete Algorithms (SODA) IEEE Symposium on Logic in Computer Science (LICS) Computational Complexity Conference...
42 KB (4,803 words) - 23:57, 1 June 2025
Data type (redirect from Type (computer science))
new way of defining records in type theory". 18th IEEE Symposium on Logic in Computer Science. LICS 2003. IEEE Computer Society. pp. 86–95. CiteSeerX 10...
26 KB (3,407 words) - 09:43, 29 July 2025
Conference Symposia on VLSI Technology and Circuits Symposium on Foundations of Computer Science Symposium on Logic in Computer Science Vehicular Technology...
3 KB (318 words) - 06:10, 24 July 2025
concatenation and multiple inheritance". Proceedings. Fourth Annual Symposium on Logic in Computer Science. pp. 92–97. doi:10.1109/LICS.1989.39162. Lämmel, Ralf; Visser...
17 KB (1,864 words) - 22:40, 3 August 2025
This list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association...
34 KB (859 words) - 19:06, 28 July 2025
from fields such as logic, set theory, model theory, category theory, etc. It has close links with other areas of computer science such as programming...
18 KB (1,671 words) - 03:37, 10 May 2025
Row polymorphism (category Polymorphism (computer science))
concatenation and multiple inheritance". Proceedings. Fourth Annual Symposium on Logic in Computer Science. pp. 92–97. doi:10.1109/LICS.1989.39162. Wand, Mitchell...
4 KB (656 words) - 12:20, 30 October 2024
In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. It was developed by John C. Reynolds, Peter O'Hearn...
28 KB (3,641 words) - 03:05, 28 July 2025
ELEMENTARY (section Higher-order logic)
complexity" (PDF), 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, {IEEE} Computer Society, pp. 2–12, doi:10.1109/LICS...
4 KB (605 words) - 17:13, 31 July 2025
In logic and computer science, specifically automated reasoning, unification is an algorithmic process of solving equations between symbolic expressions...
70 KB (7,377 words) - 06:19, 23 May 2025
Geometry of interaction (category Logic in computer science)
linear logic". Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Gonthier, G.; Abadi, M. N.; Lévy, J. J. (1992). "The geometry...
4 KB (490 words) - 15:27, 11 April 2025
Monotone Monadic SNP". Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. LICS '18. New York, NY, USA: Association for Computing...
29 KB (3,364 words) - 22:02, 19 June 2025
Group on Logic and Computation. It publishes a news magazine (SIGLOG News), and has the annual ACM–IEEE Symposium on Logic in Computer Science (LICS)...
5 KB (558 words) - 17:13, 23 June 2025
Stephen Cole Kleene (category American computer scientists)
conservation causes. At each conference of the Symposium on Logic in Computer Science the Kleene Award, in honour of Stephen Cole Kleene, is given for the...
15 KB (1,360 words) - 04:13, 27 July 2025
Monad (functional programming) (redirect from Monad (computer science))
Computational lambda-calculus and monads (PDF). Fourth Annual Symposium on Logic in computer science. Pacific Grove, California. CiteSeerX 10.1.1.26.2787. Peyton...
75 KB (9,297 words) - 08:34, 12 July 2025
"Local Action and Abstract Separation Logic" (PDF). 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007). pp. 366–378. CiteSeerX 10.1...
21 KB (2,832 words) - 21:28, 27 July 2025
In computer science and computer engineering, computer architecture is the structure of a computer system made from component parts. It can sometimes be...
27 KB (3,259 words) - 02:35, 27 July 2025
Proof assistant (category Articles lacking in-text citations from November 2018)
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal...
17 KB (1,206 words) - 13:56, 24 May 2025
Conference on Computer Vision and Pattern Recognition is an annual conference on computer vision and pattern recognition. The conference was first held in 1983...
6 KB (593 words) - 15:08, 5 February 2025
Martin (2021-06-29). "The Logic of Graph Neural Networks". 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). LICS '21. New York...
9 KB (1,129 words) - 07:18, 28 July 2025
bounds with Dickson's lemma", 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), IEEE Computer Soc., Los Alamitos, CA, p. 269, arXiv:1007...
8 KB (1,172 words) - 15:56, 17 October 2024
founder of the annual IEEE Symposium on Logic in Computer Science and served as conference chair of the first three conferences, in 1986–8. He was an IEEE...
5 KB (411 words) - 05:00, 6 June 2024
significant change in the network Harrison, J. (2003). Formal verification at Intel. 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings...
220 KB (22,295 words) - 22:54, 28 July 2025