29:
1002:
939:
962:
1017:
46:
997:
1012:
899:
894:
992:
1079:
1058:
957:
987:
982:
1027:
977:
952:
1007:
947:
861:
93:
1022:
967:
206:
Each year, since 2006, the LICS Test-of-Time Award recognizes those articles from LICS proceedings 20 years earlier, which have become influential.
65:
150:
972:
889:
72:
904:
909:
735:
146:
79:
1089:
884:
262:
112:
61:
924:
1037:
854:
172:
From the third installment in 1988 until 2013, the cover page of the conference proceedings has featured an artwork entitled
50:
674:
485:
914:
536:
86:
1084:
490:
145:. Extended versions of selected papers of each year's conference appear in renowned international journals such as
39:
1094:
847:
17:
919:
317:
423:
528:
372:
699:
691:
633:
567:
546:
515:
651:
427:
409:
664:
647:
602:
502:
458:
386:
327:
233:
193:
is given annually to one among the twenty-year-old LICS papers that have best met the test of time.
722:
668:
563:
540:
532:
462:
417:
335:
134:
687:
641:
620:
581:
448:
440:
382:
353:
215:
1042:
756:
616:
575:
468:
349:
343:
223:
142:
705:
169:
LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE.
236:, "Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)"
934:
637:
585:
270:
219:
870:
606:
496:
472:
444:
405:
229:
138:
612:
256:
598:
246:, "An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)"
550:
454:
413:
287:
239:
177:
1073:
695:
376:
339:
331:
321:
300:
266:
243:
718:
571:
392:
283:
185:
783:
760:
395:, "A completeness theorem for Kleene algebras and the algebra of regular events"
359:
313:
28:
166:
929:
807:
1003:
International
Symposium on Personal, Indoor and Mobile Radio Communications
518:, "Completeness of Kozen's Axiomatisation of the Propositional Mu-Calculus"
819:
940:
International
Conference on Acoustics, Speech, and Signal Processing
963:
International
Conference on Software Engineering and Formal Methods
839:
389:, "Logic programming in a fragment of intuitionistic linear logic"
189:
is given to the best student paper. In addition, since 2006, the
162:
843:
16:
For the article on the topic of logic in computer science, see
22:
702:, "A Decision Procedure for an Extensional Theory of Arrays"
543:, "General decidability theorems for infinite-state systems"
499:, "The groupoid model refutes uniqueness of identity proofs"
834:
623:, "A Fully Abstract Game Semantics for General References"
1018:
Southwest
Symposium on Image Analysis and Interpretation
738:
contains other academic conferences in computer science.
708:, "Dependent Types for Program Termination Verification"
654:, "A New Approach to Abstract Syntax Involving Binders"
998:
International
Symposium on Mixed and Augmented Reality
1013:
Iran
Workshop on Communication and Information Theory
900:
Conference on
Computer Vision and Pattern Recognition
356:, "The theory of ground rewrite systems is decidable"
346:, "Symbolic model checking: 10^20 states and beyond"
1051:
895:
Asia and South
Pacific Design Automation Conference
877:
167:
ACM Special
Interest Group on Logic and Computation
53:. Unsourced material may be challenged and removed.
1059:Institute of Electrical and Electronics Engineers
958:International Conference on Computer-Aided Design
609:, "Secure Implementation of Channel Abstractions"
420:, "Symbolic model checking for real-time systems"
588:, "Towards a Mathematical Operational Semantics"
988:International Symposium on Circuits and Systems
788:ACM/IEEE Symposium on Logic in Computer Science
127:ACM–IEEE Symposium on Logic in Computer Science
578:, "Bisimulation for Labelled Markov Processes"
362:, "Recursive types reduced to inductive types"
993:International Symposium on Information Theory
983:International Solid-State Circuits Conference
855:
475:, "Typing and subtyping for mobile processes"
8:
1028:Symposium on Foundations of Computer Science
978:IEEE MTT-S International Microwave Symposium
303:, "Computational lambda-calculus and monads"
161:LICS was originally sponsored solely by the
953:International Conference on Computer Vision
1008:International Symposium on Physical Design
948:International Conference on Communications
944:IEEE Conference on Artificial Intelligence
862:
848:
840:
451:, "Set constraints are the monadic class"
113:Learn how and when to remove this message
1080:Theoretical computer science conferences
1023:Symposia on VLSI Technology and Circuits
968:International Conference on Web Services
808:Irrational Tiling by Logical Quantifiers
644:, "Abstract Syntax and Variable Binding"
379:, "A partial approach to model checking"
324:, "Model-checking for real-time systems"
290:, "The existence of refinement mappings"
174:Irrational Tiling by Logical Quantifiers
62:"Symposium on Logic in Computer Science"
748:
725:, is given for the best student paper.
151:ACM Transactions on Computational Logic
1033:Symposium on Logic in Computer Science
973:International Electron Devices Meeting
890:ARITH Symposium on Computer Arithmetic
905:Custom Integrated Circuits Conference
165:, but as of the 2014 founding of the
7:
910:Design Automation and Test in Europe
736:list of computer science conferences
505:, "A multiple-conclusion meta-logic"
51:adding citations to reliable sources
273:, "A Framework for Defining Logics"
226:, "Orderings for Equational Proofs"
147:Logical Methods in Computer Science
885:ACM/IEEE Supercomputing Conference
671:, "Concurrent Omega-Regular Games"
430:, "The type and effect discipline"
14:
259:, "Domain theory in Logical Form"
925:Global Communications Conference
27:
1038:Vehicular Technology Conference
38:needs additional citations for
553:, "A Linear Logical Framework"
465:, "Bisimulation and open maps"
137:on the theory and practice of
1:
810:LICS cover by Alvy Ray Smith.
915:Design Automation Conference
677:, "A Modality for Recursion"
1111:
183:Since 1995, each year the
15:
1090:Logic in computer science
18:logic in computer science
920:European Test Symposium
717:At each conference the
191:LICS Test-of-Time Award
761:"Welcome to SIGLOG!"
47:improve this article
820:LICS awards website
757:Panangaden, Prakash
669:Thomas A. Henzinger
336:Kenneth L. McMillan
318:Costas Courcoubetis
135:academic conference
1043:IEEE Visualization
763:, Chair's Letter,
576:Prakash Panangaden
469:Benjamin C. Pierce
424:Jean-Pierre Talpin
202:Test-of-Time Award
143:mathematical logic
1085:Logic conferences
1067:
1066:
935:Hot Interconnects
638:Gordon D. Plotkin
586:Gordon D. Plotkin
529:Parosh A. Abdulla
373:Patrice Godefroid
271:Gordon D. Plotkin
220:Nachum Dershowitz
123:
122:
115:
97:
1102:
1095:IEEE conferences
871:IEEE conferences
864:
857:
850:
841:
822:
817:
811:
805:
799:
798:
796:
794:
780:
774:
772:
753:
700:Jeremy R. Levitt
692:Clark W. Barrett
634:Marcelo P. Fiore
607:Georges Gonthier
568:Josée Desharnais
547:Iliano Cervesato
516:Igor Walukiewicz
497:Thomas Streicher
494:
473:Davide Sangiorgi
445:Harald Ganzinger
406:Thomas Henzinger
230:E. Allen Emerson
139:computer science
118:
111:
107:
104:
98:
96:
55:
31:
23:
1110:
1109:
1105:
1104:
1103:
1101:
1100:
1099:
1070:
1069:
1068:
1063:
1047:
873:
868:
831:
826:
825:
818:
814:
806:
802:
792:
790:
782:
781:
777:
755:
754:
750:
745:
731:
721:, in honour of
715:
684:
661:
652:Andrew M. Pitts
630:
613:Samson Abramsky
595:
560:
525:
512:
488:
482:
437:
428:Pierre Jouvelot
410:Xavier Nicollin
402:
369:
310:
297:
280:
257:Samson Abramsky
253:
212:
204:
199:
159:
141:in relation to
133:) is an annual
119:
108:
102:
99:
56:
54:
44:
32:
21:
12:
11:
5:
1108:
1106:
1098:
1097:
1092:
1087:
1082:
1072:
1071:
1065:
1064:
1062:
1061:
1055:
1053:
1049:
1048:
1046:
1045:
1040:
1035:
1030:
1025:
1020:
1015:
1010:
1005:
1000:
995:
990:
985:
980:
975:
970:
965:
960:
955:
950:
945:
942:
937:
932:
927:
922:
917:
912:
907:
902:
897:
892:
887:
881:
879:
875:
874:
869:
867:
866:
859:
852:
844:
838:
837:
835:LICS home page
830:
829:External links
827:
824:
823:
812:
800:
784:"LICS archive"
775:
747:
746:
744:
741:
740:
739:
730:
727:
714:
711:
710:
709:
703:
683:
680:
679:
678:
675:Hiroshi Nakano
672:
665:Luca de Alfaro
660:
657:
656:
655:
648:Murdoch Gabbay
645:
629:
626:
625:
624:
610:
603:CĂ©dric Fournet
594:
591:
590:
589:
579:
559:
556:
555:
554:
551:Frank Pfenning
544:
524:
521:
520:
519:
511:
508:
507:
506:
503:Dale A. Miller
500:
486:Martin Hofmann
481:
478:
477:
476:
466:
459:Mogens Nielson
452:
436:
433:
432:
431:
421:
414:Joseph Sifakis
401:
398:
397:
396:
390:
387:Dale A. Miller
380:
368:
365:
364:
363:
357:
347:
328:Jerry R. Burch
325:
309:
306:
305:
304:
296:
293:
292:
291:
288:Leslie Lamport
279:
276:
275:
274:
260:
252:
249:
248:
247:
240:Moshe Y. Vardi
237:
234:Chin-Laung Lei
227:
211:
208:
203:
200:
198:
195:
178:Alvy Ray Smith
158:
155:
121:
120:
35:
33:
26:
13:
10:
9:
6:
4:
3:
2:
1107:
1096:
1093:
1091:
1088:
1086:
1083:
1081:
1078:
1077:
1075:
1060:
1057:
1056:
1054:
1050:
1044:
1041:
1039:
1036:
1034:
1031:
1029:
1026:
1024:
1021:
1019:
1016:
1014:
1011:
1009:
1006:
1004:
1001:
999:
996:
994:
991:
989:
986:
984:
981:
979:
976:
974:
971:
969:
966:
964:
961:
959:
956:
954:
951:
949:
946:
943:
941:
938:
936:
933:
931:
928:
926:
923:
921:
918:
916:
913:
911:
908:
906:
903:
901:
898:
896:
893:
891:
888:
886:
883:
882:
880:
876:
872:
865:
860:
858:
853:
851:
846:
845:
842:
836:
833:
832:
828:
821:
816:
813:
809:
804:
801:
789:
785:
779:
776:
770:
766:
762:
759:(July 2014),
758:
752:
749:
742:
737:
733:
732:
728:
726:
724:
720:
712:
707:
704:
701:
697:
696:David L. Dill
693:
689:
686:
685:
681:
676:
673:
670:
666:
663:
662:
658:
653:
649:
646:
643:
639:
635:
632:
631:
627:
622:
618:
614:
611:
608:
604:
600:
597:
596:
592:
587:
583:
580:
577:
573:
569:
565:
564:Richard Blute
562:
561:
557:
552:
548:
545:
542:
541:Yih-Kuen Tsay
538:
537:Bengt Jonsson
534:
533:Karlis Cerans
530:
527:
526:
522:
517:
514:
513:
509:
504:
501:
498:
492:
487:
484:
483:
479:
474:
470:
467:
464:
463:Glynn Winskel
460:
456:
453:
450:
446:
442:
439:
438:
434:
429:
425:
422:
419:
418:Sergio Yovine
415:
411:
407:
404:
403:
399:
394:
391:
388:
384:
381:
378:
377:Pierre Wolper
374:
371:
370:
366:
361:
358:
355:
351:
348:
345:
341:
340:David L. Dill
337:
333:
332:Edmund Clarke
329:
326:
323:
322:David L. Dill
319:
315:
312:
311:
307:
302:
301:Eugenio Moggi
299:
298:
294:
289:
285:
282:
281:
277:
272:
268:
267:Furio Honsell
264:
263:Robert Harper
261:
258:
255:
254:
250:
245:
244:Pierre Wolper
241:
238:
235:
231:
228:
225:
221:
217:
214:
213:
209:
207:
201:
196:
194:
192:
188:
187:
181:
179:
175:
170:
168:
164:
156:
154:
152:
148:
144:
140:
136:
132:
128:
117:
114:
106:
95:
92:
88:
85:
81:
78:
74:
71:
67:
64: –
63:
59:
58:Find sources:
52:
48:
42:
41:
36:This article
34:
30:
25:
24:
19:
1032:
815:
803:
791:. Retrieved
787:
778:
768:
764:
751:
719:Kleene award
716:
713:Kleene award
688:Aaron Stump;
642:Daniele Turi
621:Guy McCusker
599:MartĂn Abadi
582:Daniele Turi
572:Abbas Edalat
449:Uwe Waldmann
441:Leo Bachmair
393:Dexter Kozen
383:Joshua Hodas
354:Sophie Tison
284:Martin Abadi
216:Leo Bachmair
205:
190:
186:Kleene award
184:
182:
173:
171:
160:
130:
126:
124:
109:
100:
90:
83:
76:
69:
57:
45:Please help
40:verification
37:
878:Conferences
793:26 February
765:SIGLOG News
723:S.C. Kleene
617:Kohei Honda
489: [
455:André Joyal
360:Peter Freyd
350:Max Dauchet
344:James Hwang
314:Rajeev Alur
224:Jieh Hsiang
197:LICS Awards
1074:Categories
706:Hongwei Xi
73:newspapers
930:Hot Chips
103:July 2020
771:(1): 2–3
729:See also
1052:Related
157:History
87:scholar
89:
82:
75:
68:
60:
743:Notes
493:]
176:, by
94:JSTOR
80:books
795:2024
734:The
682:2021
659:2020
628:2019
593:2018
558:2017
523:2016
510:2015
480:2014
435:2013
400:2012
367:2011
308:2010
295:2009
278:2008
251:2007
210:2006
163:IEEE
149:and
131:LICS
125:The
66:news
49:by
1076::
786:.
767:,
698:,
694:,
690:,
667:,
650:,
640:,
636:,
619:,
615:,
605:,
601:,
584:,
574:,
570:,
566:,
549:,
539:,
535:,
531:,
495:,
491:de
471:,
461:,
457:,
447:,
443:,
426:,
416:,
412:,
408:,
385:,
375:,
352:,
342:,
338:,
334:,
330:,
320:,
316:,
286:,
269:,
265:,
242:,
232:,
222:,
218:,
180:.
153:.
863:e
856:t
849:v
797:.
773:.
769:1
129:(
116:)
110:(
105:)
101:(
91:·
84:·
77:·
70:·
43:.
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.