147:
33:
244:(LICS) to the author(s) of the best student paper(s). A paper qualifies as a student paper if each author is a student at the date of the submission. Also eligible are authors who have graduated only recently, provided the submitted paper is based on work carried out when he or she still was a student. The award decision is made by the Program Committee.
241:
157:
57:
of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be
128:
752:
54:
690:
172:
215:
109:
187:
81:
50:
66:
194:
88:
201:
95:
673:
43:
183:
77:
647:
513:
487:
331:
279:
62:
552:
500:
448:
370:
659:
383:
357:
663:
643:
617:
604:
409:
58:
630:
565:
344:
318:
292:
248:
578:
539:
435:
305:
461:
526:
479:"An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it"
474:
422:
396:
208:
102:
544:"Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives"
746:
695:
591:
737:
717:
622:"A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics"
251:, who did pioneering work in the field of logic as related to computer science.
146:
17:
635:"Successor-Invariant First-Order Logic on Classes of Bounded Degree"
518:"Lower Bounds for Existential Pebble Games and k-Consistency Tests"
609:"A sequent calculus with dependent types for classical arithmetic"
427:"Existential Positive Types and Preservation under Homomorphisims"
164:
362:"Light Affine Lambda Calculus and Polytime Strong Normalization"
49:
Please help to demonstrate the notability of the topic by citing
440:"Context Semantics, Linear Logic and Computational Complexity"
336:"Fragments of Existential Second-Order Logic without 0-1 Laws"
297:"Counting Modulo Quantifiers on Finite Linearly Ordered Trees"
531:"From Frame Properties to Hypersequent Rules in Modal Logics"
140:
26:
596:"Constructive completeness for the linear-time mu-calculus"
466:"Hypergraph Acyclicity and Extension Preservation Theorems"
375:"Definitions by Rewriting in the Calculus of Constructions"
492:"Parikh Images of Grammars: Complexity and Applications"
259:
Past recipients of the Kleene award are tabulated below.
323:"Unique Fixpoint Induction for Value-Passing Processes"
168:
388:"Unsatisfiable Random Formulas are Hard to Certify"
505:"Proof Nets for Additive Linear Logic with Units"
453:"Full abstraction for nominal general references"
414:"On the Automata Size for Presburger Arithmetic"
8:
173:introducing citations to additional sources
242:IEEE Symposium on Logic in Computer Science
557:"On the characterization of models of H"
129:Learn how and when to remove this message
261:
163:Relevant discussion may be found on the
706:
712:
710:
284:"Decidability of Linear Affine Logic"
401:"Successor-Invariance in the Finite"
310:"Games and Full Abstraction for FPC"
7:
349:"A General Notion of Realizability"
25:
583:"Winning Cores in Parity Games"
156:relies largely or entirely on a
145:
31:
691:List of computer science awards
42:may not meet Knowledge (XXG)'s
1:
570:"Distributed Graph Automata"
678:"Relevant S is Undecidable"
44:general notability guideline
769:
51:reliable secondary sources
40:The topic of this article
247:The award is named after
240:is awarded at the annual
753:Computer science awards
674:Søren Brinck Knudstorp
169:improve this article
249:Stephen Cole Kleene
648:Jamie Tucker-Foltz
514:Christoph Berkholz
488:Anthony Widjaja To
332:Jean-Marie Le Bars
46:
682:
681:
280:Alexei P. Kopylov
234:
233:
219:
139:
138:
131:
113:
41:
16:(Redirected from
760:
726:
725:
718:"LICS - Archive"
714:
553:Flavien Breuvart
501:Willem Heijltjes
475:Oliver Friedmann
449:Nikos Tzevelekos
423:Benjamin Rossman
397:Benjamin Rossman
371:Frédéric Blanqui
262:
229:
226:
220:
218:
177:
149:
141:
134:
127:
123:
120:
114:
112:
71:
35:
34:
27:
21:
768:
767:
763:
762:
761:
759:
758:
757:
743:
742:
734:
729:
722:lics.siglog.org
716:
715:
708:
704:
687:
660:Elena Di Lavore
384:Albert Atserias
358:Kazushige Terui
257:
255:Past recipients
230:
224:
221:
178:
176:
162:
150:
135:
124:
118:
115:
72:
70:
48:
36:
32:
23:
22:
15:
12:
11:
5:
766:
764:
756:
755:
745:
744:
741:
740:
733:
732:External links
730:
728:
727:
705:
703:
700:
699:
698:
693:
686:
683:
680:
679:
676:
671:
667:
666:
664:Yoàv Montacute
657:
653:
652:
650:
644:Moritz Lichter
641:
637:
636:
633:
628:
624:
623:
620:
618:Renaud Vilmart
615:
611:
610:
607:
605:Étienne Miquey
602:
598:
597:
594:
589:
585:
584:
581:
576:
572:
571:
568:
563:
559:
558:
555:
550:
546:
545:
542:
537:
533:
532:
529:
524:
520:
519:
516:
511:
507:
506:
503:
498:
494:
493:
490:
485:
481:
480:
477:
472:
468:
467:
464:
459:
455:
454:
451:
446:
442:
441:
438:
433:
429:
428:
425:
420:
416:
415:
412:
410:Felix Klaedtke
407:
403:
402:
399:
394:
390:
389:
386:
381:
377:
376:
373:
368:
364:
363:
360:
355:
351:
350:
347:
342:
338:
337:
334:
329:
325:
324:
321:
316:
312:
311:
308:
303:
299:
298:
295:
290:
286:
285:
282:
277:
273:
272:
269:
266:
256:
253:
232:
231:
184:"Kleene Award"
167:. Please help
153:
151:
144:
137:
136:
78:"Kleene Award"
39:
37:
30:
24:
14:
13:
10:
9:
6:
4:
3:
2:
765:
754:
751:
750:
748:
739:
736:
735:
731:
723:
719:
713:
711:
707:
701:
697:
696:Machtey Award
694:
692:
689:
688:
684:
677:
675:
672:
669:
668:
665:
661:
658:
655:
654:
651:
649:
645:
642:
639:
638:
634:
632:
631:Julien Grange
629:
626:
625:
621:
619:
616:
613:
612:
608:
606:
603:
600:
599:
595:
593:
592:Amina Doumane
590:
587:
586:
582:
580:
577:
574:
573:
569:
567:
566:Fabian Reiter
564:
561:
560:
556:
554:
551:
548:
547:
543:
541:
538:
535:
534:
530:
528:
525:
522:
521:
517:
515:
512:
509:
508:
504:
502:
499:
496:
495:
491:
489:
486:
483:
482:
478:
476:
473:
470:
469:
465:
463:
460:
457:
456:
452:
450:
447:
444:
443:
439:
437:
434:
431:
430:
426:
424:
421:
418:
417:
413:
411:
408:
405:
404:
400:
398:
395:
392:
391:
387:
385:
382:
379:
378:
374:
372:
369:
366:
365:
361:
359:
356:
353:
352:
348:
346:
345:Lars Birkedal
343:
340:
339:
335:
333:
330:
327:
326:
322:
320:
319:Julian Rathke
317:
314:
313:
309:
307:
304:
301:
300:
296:
294:
293:Juha Nurmonen
291:
288:
287:
283:
281:
278:
275:
274:
270:
267:
264:
263:
260:
254:
252:
250:
245:
243:
239:
228:
217:
214:
210:
207:
203:
200:
196:
193:
189:
186: –
185:
181:
180:Find sources:
174:
170:
166:
160:
159:
158:single source
154:This article
152:
148:
143:
142:
133:
130:
122:
111:
108:
104:
101:
97:
94:
90:
87:
83:
80: –
79:
75:
74:Find sources:
68:
64:
60:
56:
52:
45:
38:
29:
28:
19:
738:Kleene award
721:
579:Steen Vester
540:Yaron Velner
436:Ugo Dal Lago
306:Guy McCusker
258:
246:
238:Kleene Award
237:
235:
225:January 2020
222:
212:
205:
198:
191:
179:
155:
125:
116:
106:
99:
92:
85:
73:
18:Kleene award
462:David Duris
119:August 2020
55:independent
195:newspapers
89:newspapers
63:redirected
527:Ori Lahav
268:Recipient
165:talk page
53:that are
747:Category
685:See also
209:scholar
103:scholar
67:deleted
271:Paper
211:
204:
197:
190:
182:
105:
98:
91:
84:
76:
59:merged
702:Notes
216:JSTOR
202:books
110:JSTOR
96:books
65:, or
670:2024
662:and
656:2022
646:and
640:2021
627:2020
614:2019
601:2018
588:2017
575:2016
562:2015
549:2014
536:2014
523:2013
510:2012
497:2011
484:2010
471:2009
458:2008
445:2007
432:2006
419:2005
406:2004
393:2003
380:2002
367:2001
354:2001
341:2000
328:1998
315:1997
302:1996
289:1996
276:1995
265:Year
236:The
188:news
82:news
171:by
749::
720:.
709:^
61:,
724:.
227:)
223:(
213:·
206:·
199:·
192:·
175:.
161:.
132:)
126:(
121:)
117:(
107:·
100:·
93:·
86:·
69:.
47:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.