758:
117:, Luke Ong, and Hanno Nickau "for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the applied impact of these models."
1000:
127:
2019 Murdoch J. Gabbay and Andrew M. Pitts for "their ground-breaking work introducing the theory of nominal representations, a powerful and elegant mathematical model for computing with data involving atomic
838:
366:
878:
783:
853:
923:
898:
943:
637:
79:
938:
768:
948:
359:
969:
873:
863:
823:
763:
818:
793:
467:
858:
798:
753:
154:, Christoph Koch, Reinhard Pichler, Klaus U. Schulz, and Luc Segoufin for "fundamental work on logic-based web data extraction and querying tree-structured data."
161:
for "his fundamental work on developing the theory and applications of Kleene
Algebra with Tests, an equational system for reasoning about iterative programs".
106:"for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact."
848:
828:
352:
868:
441:
833:
918:
788:
51:
38:
883:
843:
908:
740:
682:
587:
557:
383:
375:
27:
888:
974:
933:
913:
803:
778:
602:
277:
813:
773:
582:
715:
597:
695:
632:
612:
592:
66:, and Vardi was the primary author of a more detailed proposal for its creation. It was founded in 2014, with
627:
622:
30:
710:
668:
87:
124:"for fundamental contributions to the computational complexity of constraint-satisfaction problems."
928:
705:
136:
979:
690:
182:
67:
328:
617:
607:
286:
259:
720:
70:
as its founding chair, and with
Andrzej Murawski as the founding editor of the newsletter.
730:
110:
140:
748:
658:
144:
121:
344:
994:
151:
147:
for "their ground-breaking work on laying the logical foundations for data exchange."
114:
103:
700:
572:
457:
158:
132:
186:
663:
653:
412:
99:
59:
41:
as its flagship conference. In addition, it publishes an online newsletter, the
577:
547:
511:
485:
462:
396:
249:
209:
63:
290:
808:
725:
501:
391:
304:
92:
Alonzo Church Award for
Outstanding Contributions to Logic and Computation
903:
272:
893:
542:
534:
516:
431:
529:
524:
506:
475:
446:
436:
426:
58:
The creation of this special interest group was suggested in 2007 by
964:
496:
404:
83:
233:
49:), and "maintains close ties" with the related academic journal
348:
254:
Handbook of the
History of Logic, vol. 9: Computational Logic
94:. The list of past award winners is maintained by the EACSL.
1001:
Association for
Computing Machinery Special Interest Groups
33:
on Logic and
Computation. It publishes a news magazine (
638:
39:
ACM–IEEE Symposium on Logic in
Computer Science (LICS)
309:
248:
Siekmann, Jörg M. (2014), "Computational logic", in
957:
739:
681:
646:
565:
556:
382:
78:In 2015, SIGLOG established, in cooperation with
970:ACM International Collegiate Programming Contest
360:
8:
623:Paris Kanellakis Theory and Practice Award
562:
367:
353:
345:
252:; Siekmann, Jörg M.; Woods, John (eds.),
177:
175:
256:, North-Holland/Elsevier, pp. 15–30
113:, Radha Jagadeesan, Pasquale Malacaria,
16:Research association in computer science
171:
52:ACM Transactions on Computational Logic
7:
376:Association for Computing Machinery
28:Association for Computing Machinery
14:
975:ACM Student Research Competition
603:ACM Doctoral Dissertation Award
278:The Bulletin of Symbolic Logic
1:
583:ACM-AAAI Allen Newell Award
1017:
716:Computers in Entertainment
696:Communications of the ACM
633:ACM Software System Award
613:Grace Murray Hopper Award
329:"Previous Awards – EACSL"
210:"SIGLOG Monthly Bulletin"
384:Special Interest Groups
214:SIGLOG Monthly Bulletin
43:SIGLOG Monthly Bulletin
628:ACM Prize in Computing
598:Eugene L. Lawler Award
238:, accessed 2015-08-13.
37:), and has the annual
31:Special Interest Group
711:ACM Computing Surveys
669:Steven A. Coons Award
588:Athena Lecturer Award
305:"Alonzo Church Award"
120:2018 Tomás Feder and
958:Educational programs
593:Eckert–Mauchly Award
285:(4): 540–545. 2017.
258:. See in particular
187:"Welcome to SIGLOG!"
706:ACM Digital Library
183:Panangaden, Prakash
143:, Lucian Popa, and
137:Phokion G. Kolaitis
74:Alonzo Church Award
980:Upsilon Pi Epsilon
691:Journal of the ACM
189:, Chair's Letter,
88:Kurt Gödel Society
68:Prakash Panangaden
988:
987:
677:
676:
618:Ken Kennedy Award
608:Gordon Bell Prize
1008:
721:ACM Interactions
563:
369:
362:
355:
346:
339:
338:
336:
335:
325:
319:
318:
316:
315:
301:
295:
294:
269:
263:
257:
245:
239:
237:
236:
234:Official website
229:
223:
221:
220:, March 1, 2015
206:
200:
198:
179:
1016:
1015:
1011:
1010:
1009:
1007:
1006:
1005:
991:
990:
989:
984:
953:
735:
673:
642:
552:
378:
373:
343:
342:
333:
331:
327:
326:
322:
313:
311:
303:
302:
298:
271:
270:
266:
247:
246:
242:
232:
231:
230:
226:
208:
207:
203:
181:
180:
173:
168:
141:Renée J. Miller
111:Samson Abramsky
76:
47:LICS Newsletter
17:
12:
11:
5:
1014:
1012:
1004:
1003:
993:
992:
986:
985:
983:
982:
977:
972:
967:
961:
959:
955:
954:
952:
951:
946:
941:
936:
931:
926:
921:
916:
911:
906:
901:
896:
891:
886:
881:
876:
871:
866:
861:
856:
851:
846:
841:
836:
831:
826:
821:
816:
811:
806:
801:
796:
791:
786:
781:
776:
771:
766:
761:
756:
751:
745:
743:
737:
736:
734:
733:
728:
723:
718:
713:
708:
703:
698:
693:
687:
685:
679:
678:
675:
674:
672:
671:
666:
661:
656:
650:
648:
644:
643:
641:
640:
635:
630:
625:
620:
615:
610:
605:
600:
595:
590:
585:
580:
578:ACM Fellowship
575:
569:
567:
560:
554:
553:
551:
550:
545:
540:
537:
532:
527:
522:
519:
514:
509:
504:
499:
494:
491:
488:
483:
478:
473:
470:
465:
460:
455:
452:
449:
444:
439:
434:
429:
424:
421:
418:
415:
410:
407:
402:
399:
394:
388:
386:
380:
379:
374:
372:
371:
364:
357:
349:
341:
340:
320:
296:
264:
250:Gabbay, Dov M.
240:
224:
201:
170:
169:
167:
164:
163:
162:
155:
148:
145:Wang-Chiew Tan
129:
125:
122:Moshe Y. Vardi
118:
107:
75:
72:
45:(formerly the
15:
13:
10:
9:
6:
4:
3:
2:
1013:
1002:
999:
998:
996:
981:
978:
976:
973:
971:
968:
966:
963:
962:
960:
956:
950:
947:
945:
942:
940:
937:
935:
932:
930:
927:
925:
922:
920:
917:
915:
912:
910:
907:
905:
902:
900:
897:
895:
892:
890:
887:
885:
882:
880:
877:
875:
872:
870:
867:
865:
862:
860:
857:
855:
852:
850:
847:
845:
842:
840:
837:
835:
832:
830:
827:
825:
822:
820:
817:
815:
812:
810:
807:
805:
802:
800:
797:
795:
792:
790:
787:
785:
782:
780:
777:
775:
772:
770:
767:
765:
762:
760:
757:
755:
752:
750:
747:
746:
744:
742:
738:
732:
729:
727:
724:
722:
719:
717:
714:
712:
709:
707:
704:
702:
699:
697:
694:
692:
689:
688:
686:
684:
680:
670:
667:
665:
662:
660:
657:
655:
652:
651:
649:
645:
639:
636:
634:
631:
629:
626:
624:
621:
619:
616:
614:
611:
609:
606:
604:
601:
599:
596:
594:
591:
589:
586:
584:
581:
579:
576:
574:
571:
570:
568:
564:
561:
559:
555:
549:
546:
544:
541:
538:
536:
533:
531:
528:
526:
523:
520:
518:
515:
513:
510:
508:
505:
503:
500:
498:
495:
492:
489:
487:
484:
482:
479:
477:
474:
471:
469:
466:
464:
461:
459:
456:
453:
450:
448:
445:
443:
440:
438:
435:
433:
430:
428:
425:
422:
419:
416:
414:
411:
408:
406:
403:
400:
398:
395:
393:
390:
389:
387:
385:
381:
377:
370:
365:
363:
358:
356:
351:
350:
347:
330:
324:
321:
310:
306:
300:
297:
292:
288:
284:
280:
279:
274:
268:
265:
261:
255:
251:
244:
241:
235:
228:
225:
219:
215:
211:
205:
202:
196:
192:
188:
185:(July 2014),
184:
178:
176:
172:
165:
160:
156:
153:
152:Georg Gottlob
149:
146:
142:
138:
134:
130:
126:
123:
119:
116:
115:Martin Hyland
112:
108:
105:
101:
97:
96:
95:
93:
89:
85:
81:
73:
71:
69:
65:
61:
56:
54:
53:
48:
44:
40:
36:
32:
29:
25:
21:
701:RISKS Digest
683:Publications
573:Turing Award
480:
332:. Retrieved
323:
312:. Retrieved
308:
299:
282:
276:
267:
253:
243:
227:
217:
213:
204:
194:
190:
159:Dexter Kozen
133:Ronald Fagin
91:
77:
57:
50:
46:
42:
34:
23:
19:
18:
741:Conferences
664:Knuth Prize
659:Gödel Prize
654:CHI Academy
191:SIGLOG News
100:Rajeev Alur
60:Moshe Vardi
35:SIGLOG News
539:SIGSPATIAL
486:SIGMETRICS
334:2021-11-13
314:2022-04-23
260:p. 29
166:References
104:David Dill
64:Dana Scott
20:ACM SIGLOG
814:Hypertext
809:Hot Chips
726:ACM Queue
502:SIGMOBILE
392:SIGACCESS
291:1079-8986
273:"NOTICES"
995:Category
904:SIGGRAPH
731:ACM XRDS
490:SIGMICRO
458:SIGGRAPH
197:(1): 2–3
86:and the
894:SIGCOMM
854:MobiCom
543:SIGUCCS
535:SIGSOFT
517:SIGPLAN
451:SIGecom
432:SIGCOMM
413:SIGARCH
128:names."
26:is the
929:SPLASH
899:SIGCSE
884:RecSys
819:SenSys
759:ASPLOS
749:ACM-MM
558:Awards
548:SIGWEB
530:SIGSIM
525:SIGSAM
521:SIGSAC
512:SIGOPS
507:SIGMOD
493:SIGMIS
481:SIGLOG
476:SIGKDD
472:SIGITE
463:SIGHPC
454:SIGEVO
447:SIGDOC
437:SIGCSE
427:SIGCHI
423:SIGCAS
420:SIGBio
417:SIGBED
409:SIGAPP
401:SIGAda
397:SIGACT
289:
90:, the
24:SIGLOG
965:ACM-W
939:TAPIA
879:PPoPP
849:MICRO
839:ISSAC
794:GECCO
784:FAccT
497:SIGMM
468:SIGIR
442:SIGDA
405:SIGAI
157:2022
150:2021
131:2020
109:2017
98:2016
84:EACSL
80:EATCS
949:VRIC
944:UIST
934:STOC
924:SPAA
919:SOSP
914:SODA
909:SoCG
874:POPL
869:PODS
864:PODC
859:PLDI
844:JCDL
834:ISPD
829:ISMM
824:ISCA
804:HOPL
789:FCRC
779:DEBS
769:CIKM
754:AIES
647:SIGs
287:ISSN
102:and
62:and
799:GHC
774:DAC
764:CHI
566:ACM
218:168
22:or
997::
889:SC
307:.
283:23
281:.
275:.
216:,
212:,
193:,
174:^
139:,
135:,
82:,
55:.
368:e
361:t
354:v
337:.
317:.
293:.
262:.
222:.
199:.
195:1
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.