Meta tags:

Headings (most frequently used words):

lics, conference, last, floc, and, award, acm, ieee, symposium, on, logic, in, computer, science, next, free, access, to, proceedings, past, conferences, awards, graphics, policy, against, discrimination, harassment, navigation, test, of, time, kleene, for, the, best, student, paper,

Text of the page (most frequently used words):
lics (36), the (18), and (10), logic (9), for (8), acm (5), 2026 (5), symposium (5), #computer (5), ieee (4), #policy (4), award (4), science (4), floc (4), conference (4), was (3), last (3), related (3), conferences (3), archive (3), awards (3), are (3), harassment (3), discrimination (3), proceedings (3), kleene (3), held (3), via (2), designed (2), luca (2), with (2), committee (2), newsletters (2), all (2), that (2), report (2), see (2), against (2), alvy (2), ray (2), smith (2), used (2), best (2), student (2), paper (2), from (2), test (2), time (2), lisbon (2), 2027 (2), lipics, opentoc, logo, cardelli, modified, tue, jul, bst, sam, staton, cosponsored, cooperation, association, symbolic, technical, mathematical, foundations, computing, society, siglog, links, webpages, list, steering, navigation, open, exchange, ideas, freedom, thought, expression, central, values, goals, these, reasons, committed, forms, listed, prohibited, participants, urged, incidents, promptly, please, document, information, about, how, incident, 1988, rights, reserved, permission, when, printed, were, provided, this, cover, art, titled, irrational, tiling, logical, quantifiers, especially, click, image, more, info, different, versions, here, pdf, site, graphics, honour, late, given, accepted, established, recognize, small, number, papers, years, prior, past, 2016, 2018, 2020, 2022, 2024, free, access, 9th, federated, portugal, part, july, will, montreal, june, next, annual, international, forum, theoretical, practical, topics, relate, broad, sense, organization, home,

Text of the page (random words):
lics acm ieee symposium on logic in computer science acm ieee symposium on logic in computer science lics home lics awards lics newsletters lics archive lics organization logic related conferences the lics symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense next lics conference lics 2027 will be held in montreal 21 24 june 2027 last lics conference lics 2026 was held in lisbon as part of floc 20 23 july 2026 last floc conference the 9th federated logic conference floc 2026 was held in lisbon portugal free access to lics proceedings lics 2026 via lipics lics 2024 lics 2022 lics 2020 lics 2018 lics 2016 via acm opentoc past lics and floc conferences lics archive lics awards lics test of time award the ieee symposium on logic in computer science established a test of time award to recognize a small number of papers from the lics proceedings from 20 years prior kleene award for the best student paper in honour of the late s c kleene the kleene award is given for the best student paper accepted at lics graphics the lics logo was designed by luca cardelli see luca s site for different versions or a pdf is here when printed proceedings were provided lics used this cover art by alvy ray smith titled irrational tiling by logical quantifiers designed especially for lics click the image for more info 1988 alvy ray smith all rights reserved used with permission lics policy against discrimination and harassment the open exchange of ideas and the freedom of thought and expression are central to the values and goals of lics for these reasons lics is committed to the acm policy against discrimination and harassment harassment and discrimination in all forms listed in that policy are prohibited at lics participants are urged to report incidents and promptly please see the policy document for information about how to report an incident navigation lics awards lics newsletters lics archive lics steering committee list of logic related conferences links to logic related webpages the lics symposium is cosponsored by acm siglog and the ieee computer society s technical committee on mathematical foundations of computing in cooperation with the association for symbolic logic last modified tue jul 21 15 21 19 bst 2026 sam staton