378:, and was joined by computational linguists from the Faculty of Humanities in 1989. In 1991 the institute was officially established as a University Research Institute. During 1991–1996 the programming research group of the Faculty of Mathematics and Computer Science was also part of the institute. The Applied Logic Lab from the Faculty of Social Sciences was part of the ILLC from 1996 to 2003. Other groups in computer science and cognitive science have associated themselves with the institute in 1996.
731:
1097:
25:
354:). In September 2018, the institute opened the Minor in Logic and Computation, welcoming local and international bachelor students. The programme of the Minor in Logic and Computation consists of 30 EC, chosen from a list of high-profile courses organised according to four themes: Mathematics, Philosophy, Theoretical Computer Science, and Computational Linguistics and AI.
1109:
46:
978:
1145:
966:
335:. The ILLC is involved in several international collaborations among which we highlight the Joint Research Centre for Logic (JRC), a special collaborative partnership between
990:
275:
Research at the ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such as
761:
674:
1135:
1140:
97:
69:
776:
622:
76:
752:
83:
864:
851:
667:
366:(ITLI; Institute for Language, Logic and Information). In the beginning, it was an informal association of staff members from the Faculty of
65:
720:
381:
The ILLC is rooted in the
Amsterdam logic research tradition dating back to the early twentieth century (including researchers such as
116:
1112:
629:
1155:
1100:
846:
660:
859:
1033:
90:
50:
1150:
1023:
1018:
973:
423:
1073:
35:
1028:
54:
39:
1053:
1038:
288:
961:
683:
296:
233:
985:
604:
715:
1013:
895:
584:
528:
483:
559:
453:
336:
695:
468:
229:
498:
1058:
1048:
390:
292:
249:
589:
371:
284:
261:
265:
609:
843:
Amsterdam School for
Regional, Transnational and European Studies (ARTES) (interfaculty)
802:
Amsterdam School for
Regional, Transnational and European Studies (ARTES) (interfaculty)
730:
244:
collaborate. The ILLC's central research area is the study of fundamental principles of
599:
569:
564:
549:
438:
382:
1129:
1008:
579:
554:
386:
253:
1063:
574:
350:
in Logic, an international top-ranked and interdisciplinary MSc degree in logic (
513:
367:
280:
257:
195:
24:
594:
375:
300:
241:
1043:
185:
652:
395:
237:
1068:
276:
269:
811:
Amsterdam School for
Heritage, Memory and Material Culture (AHM)
351:
342:
In addition to its research activities, the ILLC is running the
245:
912:
Amsterdam
Research Institute for Legal Studies (ARILS) and etc.
656:
347:
321:
Interpretable
Machine Learning for Natural Language Processing
268:
languages, but other information carriers, such as images and
18:
875:
Research
Institute of Child Development and Education (CDE)
643:
315:(project leader: Jelle Zuidema) united by the key themes
840:
Amsterdam
Institute for Social Science Research (AISSR)
837:
Amsterdam
Institute for Advanced Labour Studies (AIAS)
799:
Amsterdam Center for Language and Communication (ACLC)
1087:
207:
1001:
954:
933:
919:
905:
882:
830:
792:
745:
738:
702:
202:
176:
168:
150:
134:
762:Institute for Biodiversity and Ecosystem Dynamics
889:Amsterdam School of Economics Research Institute
544:Other notable members and past members include:
66:"Institute for Logic, Language and Computation"
1146:Computer science institutes in the Netherlands
815:Institute for Logic, Language and Computation
805:Amsterdam School for Cultural Analysis (ASCA)
782:Swammerdam Institute for Life Sciences (SILS)
768:Institute for Logic, Language and Computation
668:
222:Institute for Logic, Language and Computation
130:Institute for Logic, Language and Computation
8:
808:Amsterdam School of Historical Studies (ASH)
129:
847:Amsterdam School of Communications Research
785:Van't Hoff Institute for Molecular Sciences
777:Korteweg-de Vries Institute for Mathematics
623:Korteweg-de Vries Institute for Mathematics
236:, in which researchers from the Faculty of
53:. Unsourced material may be challenged and
860:Institute for Migration and Ethnic Studies
742:
675:
661:
653:
128:
364:Instituut voor Taal, Logica en Informatie
117:Learn how and when to remove this message
404:
311:(project leader: Robert van Rooij), and
753:Anton Pannekoek Institute for Astronomy
1136:Research institutes in the Netherlands
872:Psychology Research Institute (PsyRes)
303:. It is organized in the three groups
1141:Cognitive science research institutes
7:
1108:
397:(founded in 1952) as its precursor.
51:adding citations to reliable sources
820:Graduate School of Humanities (GSH)
333:Quantum Information and Computation
974:List of staff members and students
630:Centrum Wiskunde & Informatica
14:
339:and the University of Amsterdam.
1107:
1096:
1095:
926:Amsterdam Cancer Center and etc.
729:
362:The ILLC started off in 1986 as
23:
1034:Athenaeum Illustre of Amsterdam
329:Logic, Games and Social Agency
307:(project leader: Yde Venema),
1:
346:with a PhD programme and the
1024:Amsterdam University Library
1019:Amsterdam University College
1074:Zoological Museum Amsterdam
823:College of Humanities (CoH)
344:Graduate Programme in Logic
156:; 33 years ago
1172:
1029:Amsterdam University Press
962:List of rectores magnifici
773:Institute of Physics (IoP)
317:Explainable and Ethical AI
313:Language & Computation
1082:
1054:Handboogdoelen, Amsterdam
1039:Bibliotheca Rosenthaliana
892:Amsterdam Business School
727:
692:
289:computational linguistics
16:Dutch research institute
1156:University of Amsterdam
721:Academic Medical Center
685:University of Amsterdam
393:). It considers Beth's
305:Logic & Computation
297:artificial intelligence
272:, are studied as well.
234:University of Amsterdam
940:Institute of Education
716:Amsterdam Science Park
1014:Allard Pierson Museum
986:List of eredoctoraten
896:SEO Economic Research
817:(ILLC) (interfaculty)
770:(ILLC) (interfaculty)
758:Informatics Institute
585:Michiel van Lambalgen
712:Roeterseiland campus
309:Logic & Language
145:Logica en Informatie
47:improve this article
1151:Logic organizations
694:Rector magnificus:
560:Peter van Emde Boas
374:and the Faculty of
337:Tsinghua University
325:Cognitive Modelling
240:and the Faculty of
141:Instituut voor Taal
131:
943:Research institute
696:Peter-Paul Verbeek
469:Jeroen Groenendijk
230:research institute
1123:
1122:
1059:Oost-Indisch Huis
1049:George Mosse Fund
950:
949:
537:
536:
424:Johan van Benthem
391:Evert Willem Beth
352:MSc Logic webpage
293:cognitive science
260:. Emphasis is on
218:
217:
127:
126:
119:
101:
1163:
1115:
1111:
1110:
1103:
1099:
1098:
1092:
1090:
1089:Official Website
994:
982:
970:
868:
855:
743:
733:
686:
677:
670:
663:
654:
647:
646:
644:Official website
529:Robert Van Rooij
405:
372:Computer Science
285:computer science
214:
211:
209:
181:Science Park 107
172:Robert van Rooij
164:
162:
157:
132:
122:
115:
111:
108:
102:
100:
59:
27:
19:
1171:
1170:
1166:
1165:
1164:
1162:
1161:
1160:
1126:
1125:
1124:
1119:
1113:
1101:
1088:
1086:
1078:
997:
988:
976:
964:
946:
929:
915:
901:
878:
862:
849:
826:
788:
734:
725:
698:
688:
684:
681:
642:
641:
638:
619:
614:
542:
484:Leen Torenvliet
413:Term of office
403:
360:
206:
198:
192:
188:
182:
160:
158:
155:
143:
137:
123:
112:
106:
103:
60:
58:
44:
28:
17:
12:
11:
5:
1169:
1167:
1159:
1158:
1153:
1148:
1143:
1138:
1128:
1127:
1121:
1120:
1118:
1117:
1105:
1093:
1083:
1080:
1079:
1077:
1076:
1071:
1066:
1061:
1056:
1051:
1046:
1041:
1036:
1031:
1026:
1021:
1016:
1011:
1005:
1003:
999:
998:
996:
995:
983:
971:
958:
956:
952:
951:
948:
947:
945:
944:
941:
937:
935:
931:
930:
928:
927:
923:
921:
917:
916:
914:
913:
909:
907:
903:
902:
900:
899:
893:
890:
886:
884:
880:
879:
877:
876:
873:
870:
857:
844:
841:
838:
834:
832:
828:
827:
825:
824:
821:
818:
812:
809:
806:
803:
800:
796:
794:
790:
789:
787:
786:
783:
780:
774:
771:
765:
759:
756:
749:
747:
740:
736:
735:
728:
726:
724:
723:
718:
713:
710:
706:
704:
700:
699:
693:
690:
689:
682:
680:
679:
672:
665:
657:
649:
648:
637:
636:External links
634:
633:
632:
626:
625:
618:
615:
613:
612:
607:
605:Jouko Väänänen
602:
600:Anne Troelstra
597:
592:
587:
582:
577:
572:
570:Luca Incurvati
567:
565:Henkjan Honing
562:
557:
552:
550:Renate Bartsch
546:
541:
538:
535:
534:
531:
526:
520:
519:
516:
511:
505:
504:
501:
496:
490:
489:
486:
481:
475:
474:
471:
466:
460:
459:
456:
451:
445:
444:
441:
439:Martin Stokhof
436:
430:
429:
426:
421:
415:
414:
411:
408:
402:
399:
383:L.E.J. Brouwer
359:
356:
216:
215:
204:
200:
199:
194:
190:
184:
180:
178:
174:
173:
170:
166:
165:
152:
148:
147:
138:
135:
125:
124:
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
1168:
1157:
1154:
1152:
1149:
1147:
1144:
1142:
1139:
1137:
1134:
1133:
1131:
1116:
1106:
1104:
1094:
1091:
1085:
1084:
1081:
1075:
1072:
1070:
1067:
1065:
1062:
1060:
1057:
1055:
1052:
1050:
1047:
1045:
1042:
1040:
1037:
1035:
1032:
1030:
1027:
1025:
1022:
1020:
1017:
1015:
1012:
1010:
1009:Agnietenkapel
1007:
1006:
1004:
1000:
992:
987:
984:
980:
975:
972:
968:
963:
960:
959:
957:
953:
942:
939:
938:
936:
932:
925:
924:
922:
918:
911:
910:
908:
904:
897:
894:
891:
888:
887:
885:
881:
874:
871:
866:
861:
858:
853:
848:
845:
842:
839:
836:
835:
833:
829:
822:
819:
816:
813:
810:
807:
804:
801:
798:
797:
795:
791:
784:
781:
778:
775:
772:
769:
766:
763:
760:
757:
754:
751:
750:
748:
744:
741:
737:
732:
722:
719:
717:
714:
711:
708:
707:
705:
701:
697:
691:
687:
678:
673:
671:
666:
664:
659:
658:
655:
651:
645:
640:
639:
635:
631:
628:
627:
624:
621:
620:
616:
611:
608:
606:
603:
601:
598:
596:
593:
591:
590:Benedikt Löwe
588:
586:
583:
581:
580:Dick de Jongh
578:
576:
573:
571:
568:
566:
563:
561:
558:
556:
555:Harry Buhrman
553:
551:
548:
547:
545:
539:
532:
530:
527:
525:
522:
521:
517:
515:
512:
510:
507:
506:
502:
500:
497:
495:
492:
491:
487:
485:
482:
480:
477:
476:
472:
470:
467:
465:
462:
461:
457:
455:
454:Frank Veltman
452:
450:
447:
446:
442:
440:
437:
435:
432:
431:
427:
425:
422:
420:
417:
416:
412:
409:
407:
406:
400:
398:
396:
392:
388:
387:Arend Heyting
384:
379:
377:
373:
369:
365:
357:
355:
353:
349:
345:
340:
338:
334:
330:
326:
322:
318:
314:
310:
306:
302:
298:
294:
290:
286:
282:
278:
273:
271:
267:
263:
259:
255:
254:comprehension
251:
247:
243:
239:
235:
231:
227:
223:
213:
205:
201:
197:
187:
179:
175:
171:
167:
153:
149:
146:
142:
139:
133:
121:
118:
110:
99:
96:
92:
89:
85:
82:
78:
75:
71:
68: –
67:
63:
62:Find sources:
56:
52:
48:
42:
41:
37:
32:This article
30:
26:
21:
20:
1064:PC Hoofthuis
814:
767:
650:
610:Paul Vitányi
575:Theo Janssen
543:
524:8th Director
523:
509:7th Director
508:
494:6th Director
493:
479:5th Director
478:
464:4th Director
463:
449:3rd Director
448:
434:2nd Director
433:
419:1st Director
418:
394:
380:
363:
361:
343:
341:
332:
328:
324:
320:
316:
312:
308:
304:
274:
250:transmission
225:
221:
219:
144:
140:
136:Former names
113:
104:
94:
87:
80:
73:
61:
45:Please help
33:
989: [
977: [
965: [
863: [
850: [
709:City center
533:since 2021
514:Sonja Smets
368:Mathematics
281:mathematics
258:information
196:Netherlands
151:Established
1130:Categories
595:Remko Scha
518:2016-2021
503:2011-2016
499:Yde Venema
488:2009-2011
458:2003-2009
443:1998-2003
428:1991-1998
376:Philosophy
301:philosophy
242:Humanities
107:March 2015
77:newspapers
1044:Bungehuis
739:Faculties
401:Directors
186:Amsterdam
34:does not
1102:Category
898:and etc.
617:See also
246:encoding
169:Director
1114:Commons
856:(ASCoR)
540:Members
358:History
262:natural
238:Science
232:of the
228:) is a
203:Website
191:1098 XG
177:Address
159: (
91:scholar
55:removed
40:sources
1069:Phobot
1002:Others
955:People
869:(IMES)
779:(KdVI)
764:(IBED)
703:Campus
389:, and
299:, and
266:formal
93:
86:
79:
72:
64:
993:]
981:]
969:]
867:]
854:]
755:(API)
473:2009
410:Name
277:logic
270:music
98:JSTOR
84:books
934:ATCA
746:FNWI
370:and
331:and
264:and
252:and
226:ILLC
220:The
210:.uva
208:illc
161:1991
154:1991
70:news
38:any
36:cite
920:FdG
906:FdR
883:FEB
831:FMG
793:FGw
348:MSc
256:of
212:.nl
49:by
1132::
991:nl
979:nl
967:nl
865:nl
852:nl
385:,
327:,
323:,
319:,
295:,
291:,
287:,
283:,
279:,
248:,
193:,
189:,
183:,
676:e
669:t
662:v
224:(
163:)
120:)
114:(
109:)
105:(
95:·
88:·
81:·
74:·
57:.
43:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
