{"id":"https://openalex.org/W4253032399","doi":"https://doi.org/10.1016/s1571-0661(05)80762-5","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-09-01","ids":{"openalex":"https://openalex.org/W4253032399","doi":"https://doi.org/10.1016/s1571-0661(05)80762-5"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80762-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80762-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80762-5","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071639019","display_name":"Herman Geuvers","orcid":"https://orcid.org/0000-0003-2522-2980"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Herman Geuvers","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5114253581","display_name":"Fairouz Kamareddine","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fairouz Kamareddine","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.57367668,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"85","issue":"7","first_page":"146","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.07609999924898148,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.07609999924898148,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.061500001698732376,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.0414000004529953,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5573886632919312},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38506048917770386}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5573886632919312},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38506048917770386}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80762-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80762-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80762-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80762-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"This":[0,693,757,960,978],"volume":[1,876,961,966],"contains":[2],"the":[3,6,17,44,61,79,94,104,107,110,122,138,153,180,208,230,236,261,290,316,321,330,333,338,345,349,365,380,400,428,432,446,470,479,500,503,531,537,547,552,564,670,797,820,829,834,854,863,880,885,910,927,969,984,995,1002,1009,1016,1021,1028],"Proceedings":[4],"of":[5,29,46,64,82,93,106,140,155,169,174,182,226,233,240,264,332,340,342,352,399,436,449,458,461,473,481,502,505,520,540,551,632,659,682,705,763,778,799,848,851,856,887,929,986],"workshop":[7,346,1022],"on":[8,19,36,57,191,218,251,329,348,546],"Mathematics,":[9,307],"Logic":[10],"and":[11,22,53,184,200,224,235,266,279,314,371,374,408,467,486,549,559,624,634,650,685,715,738,754,769,780,814,853,932,948,951,989,1012,1027,1032,1039],"Computation":[12],"(MLC03)":[13],"held":[14],"in":[15,66,99,103,126,179,221,445,489,509,643,647,688,703,731,874,921,957,968,973,994],"Eindhoven,":[16],"Netherlands":[18,911],"July":[20,37],"4":[21],"5,":[23],"2003,":[24],"as":[25,118,166,213,297,404,440,608,617,735,739,792,804,965],"a":[26,75,90,119,134,150,167,198,205,214,276,441,456,482,506,518,572,576,582,612,660,683,709,732,760,793,805,849,868,946],"satellite":[27],"event":[28],"ICALP'2003.":[30],"N.G.":[31,71,159,943],"de":[32,72,160,231,237,343,419,845,930,944,1025],"Bruijn":[33,73,113,161,286,420,438,494,787,931,945],"was":[34,74,102,197,201,280,431,867],"born":[35],"9,":[38],"1918.":[39],"He":[40,817],"finished":[41],"school":[42],"at":[43,50,60,78,121,137,152,171,364,1001],"age":[45],"16,":[47],"studied":[48],"Mathematics":[49,170,183,779],"Leiden":[51],"University":[52,63,81,139,154,165,173],"received":[54,1014],"his":[55,115,249,283,298,312,512,933,954],"PhD":[56,553],"modular":[58],"functions":[59],"Free":[62],"Amsterdam":[65],"1943.":[67],"From1939":[68],"to":[69,130,149,163,246,305,337,357,417,427,443,498,575,581,610,653,664,690,722,749,825,828,833,862,939],"1944":[70,129],"full-time":[76],"assistant":[77],"Technical":[80],"Delft.":[83],"That":[84],"period":[85],"helped":[86],"him":[87],"get":[88],"through":[89,983],"large":[91],"part":[92,472,539],"war":[95],"without":[96],"forced":[97],"labour":[98],"Germany":[100],"(Delft":[101],"hands":[105],"German":[108],"during":[109],"war).":[111],"De":[112,176,242,285,493,775,786],"started":[114],"professional":[116],"career":[117],"researcher":[120],"Philips":[123],"Research":[124],"Laboratory":[125],"Eindhoven":[127,164,172,909],"from":[128,142,1015],"1946,":[131],"then":[132],"occupied":[133],"full":[135],"professorship":[136,151],"Delft":[141],"1946":[143,234],"until":[144],"1952":[145],"when":[146,302],"he":[147,272,274,308,324,393],"moved":[148],"Amsterdam.":[156],"In":[157,269,320,453,469,536,569,724,840,860],"1960,":[158],"returned":[162],"professor":[168],"Technology.":[175],"Bruijn's's":[177],"contributions":[178,245,341],"fields":[181],"Computer":[185,600,975],"Science":[186,976],"are":[187,355,375,403,414,517,718,1006],"numerous.":[188],"His":[189,216,425],"book":[190,206,716],"advanced":[192],"asymptotic":[193],"methods,":[194],"North-Holland":[195],"1958,":[196],"classic":[199,434],"subsequently":[202],"turned":[203],"into":[204],"by":[207,530,563,593,766,879,926],"famous":[209,244],"Dover":[210],"books":[211],"series":[212,970,979,997],"result.":[215],"work":[217,250,631,928],"combinatorics":[219],"resulted":[220],"influential":[222,318],"notions":[223],"results":[225],"which":[227,391,418],"we":[228,837,843],"mention":[229],"Bruijn-sequences":[232],"Bruijn-Erdos":[238],"theorem":[239],"1948.":[241],"Bruijn's":[243,776,846],"mathematics":[247,852],"include":[248],"generalized":[252],"function":[253],"theory,":[254,257],"analytic":[255],"number":[256],"optimal":[258],"control,":[259],"quasicrystals,":[260],"mathematical":[262,459,800,822],"analysis":[263],"games":[265],"much":[267],"more.":[268],"each":[270],"area":[271],"approached,":[273],"shed":[275],"new":[277,573,710,761],"light":[278],"known":[281],"for":[282,557,641,672,796,870,937,1008],"originality.":[284],"could":[287,394],"rightly":[288],"assume":[289],"motto":[291],"\u201cI":[292],"did":[293,310],"it":[294,303,311],"my":[295,474,541],"way\u201d":[296],"own":[299],"motto.":[300],"And":[301],"came":[304],"automating":[306],"again":[309],"way":[313,821,836,923],"introduced":[315],"highly":[317],"Automath.":[319,723],"past":[322],"decade":[323],"has":[325,421,607],"been":[326,465,525,919],"also":[327],"working":[328],"theories":[331,727],"human":[334],"brain.":[335],"Due":[336],"varieties":[339],"Bruijn,":[344],"concentrated":[347],"computational":[350,725,736],"aspects":[351,626],"Mathematics.":[353,601],"We":[354,941,1005],"delighted":[356],"have":[358,464,524,747,917],"had":[359,388],"three":[360],"exceptional":[361],"invited":[362,386,401,864],"speakers":[363],"workshop:":[366],"Peter":[367,411],"Aczel,":[368],"Henk":[369,588],"Barendregt":[370,589],"Rob":[372,784,906],"Nederpelt,":[373],"sorry":[376],"that":[377,523,533,566,637,819],"just":[378,791],"before":[379],"workshop,":[381],"Robert":[382],"Constable":[383,656],"(also":[384],"an":[385,389,596,618,679,770],"speaker)":[387],"accident":[390],"meant":[392],"not":[395,790],"attend.":[396],"The":[397,602,657,872,913,992],"abstracts":[398],"talks":[402],"follows:":[405],"Variable":[406],"Binding":[407],"Logical":[409],"Frameworks":[410],"Aczel":[412],"These":[413],"two":[415],"topics":[416],"made":[422],"major":[423],"contributions.":[424],"contribution":[426],"first":[429,471],"topic":[430],"today":[433],"idea":[435,504],"\u2018de":[437],"indices\u2019":[439],"technique":[442],"use":[444,488,611],"computer":[447],"implementation":[448],"variable":[450,462,491],"binding":[451,463],"operators.":[452],"recent":[454],"years":[455,938],"variety":[457,519],"treatments":[460],"proposed":[466],"investigated.":[468],"talk":[475,542],"I":[476,543],"will":[477,544,627,935,962],"discuss":[478,844],"notion":[480,658],"nested":[483],"data":[484],"type":[485,677,711,726,782,858],"its":[487,809,990],"representing":[490],"binding.":[492],"may":[495],"be":[496,499,628,826,963,999],"said":[497],"inventor":[501],"logical":[507,521,561,577],"framework":[508,578],"connection":[510],"with":[511,808],"automath":[513],"project.":[514],"Today":[515],"there":[516,638,866],"frameworks":[522,562],"proposed,":[526],"often":[527,579],"differing":[528],"subtly":[529],"features":[532,565],"they":[534,567],"support.":[535,568],"second":[538],"report":[545],"ideas":[548],"results,":[550],"student":[554],"Robin":[555],"Adams,":[556],"classifying":[558],"comparing":[560],"general":[570],"adding":[571],"feature":[574],"leads":[580],"conservative":[583],"extension.":[584],"Computations":[585],"via":[586,591,605],"proofs":[587],"\u201cProofs":[590],"computations\u201d":[592],"now":[594],"is":[595,639,662,678,686,824,980],"established":[597],"method":[598],"within":[599],"converse,":[603],"computations":[604],"proofs,":[606],"aim":[609],"(constructive":[613],"or":[614,924],"classical)":[615],"proof":[616],"algorithm,":[619],"whenever":[620],"possible.":[621],"Both":[622],"theoretical":[623],"practical":[625],"presented.":[629],"Recent":[630,645],"Cruz-Filippe":[633],"Spitters":[635],"shows":[636,695],"space":[640],"improvements":[642],"efficiency.":[644],"Results":[646],"Type":[648],"Theory":[649],"Their":[651],"Relationship":[652],"Automath":[654,789],"Bob":[655],"telescope":[661,684],"basic":[663,721],"Automath's":[665],"theory":[666,783],"structure;":[667],"telescopes":[668],"provide":[669],"context":[671],"theorems.":[673],"A":[674],"dependent":[675,706],"record":[676,701],"internal":[680],"version":[681],"used":[687],"Nuprl":[689],"define":[691],"theories.":[692],"paper":[694,758],"how":[696],"A.":[697,767],"Kopylov":[698],"defines":[699],"these":[700,728,745],"types":[702,741,753,765],"terms":[704],"intersections":[707],",":[708],"constructor.":[712],"Definitional":[713],"equality":[714,717],"fundamental":[719],"concepts":[720,729,746],"appear":[730],"different":[733],"form,":[734],"equalities":[737],"quotient":[740,764],".":[742],"Questions":[743],"about":[744,752,773],"led":[748],"interesting":[750],"discoveries":[751],"open":[755,771],"problems.":[756],"presents":[759],"formulation":[762],"Nogin,":[768],"question":[772],"them.":[774],"language":[777,850],"weak":[781,857],"Nederpelt":[785,907],"intended":[788],"technical":[794],"system":[795,830],"verification":[798],"texts,":[801],"but":[802],"rather":[803],"life":[806,950],"style":[807],"attitudes":[810],"towards":[811],"understanding,":[812],"developing":[813],"teaching":[815],"mathematics.":[816,839],"believed":[818],"material":[823],"presented":[827],"should":[831],"correspond":[832],"usual":[835],"write":[838],"this":[841,875],"talk,":[842],"philosophy":[847],"development":[855],"theory.":[859],"addition":[861],"talks,":[865],"call":[869],"papers.":[871],"papers":[873,916],"were":[877],"reviewed":[878],"program":[881],"committee":[882],"consisting,":[883],"besides":[884],"editors,":[886],"Thierry":[888],"Coquand":[889],"(":[890,896,902,908],"Gothenburgh,":[891],"Sweden":[892],")":[893,899,905,912],"Jean-Louis":[894],"Krivine":[895],"Paris,":[897],"France":[898],"Michael":[900],"Kohlhase":[901],"Carnegie-Mellon,":[903],"USA":[904],"eight":[914],"accepted":[915],"all":[918],"influenced":[920],"one":[922],"another":[925],"influence":[934,956],"continue":[936],"come.":[940],"wish":[942],"long":[947,952],"healthy":[949],"live":[953],"powerful":[955],"our":[958],"field.":[959],"published":[964,981],"85.7":[967],"Electronic":[971],"Notes":[972],"Theoretical":[974],"(ENTCS).":[977],"electronically":[982],"facilities":[985],"Elsevier":[987],"B.V.":[988],"auspices.":[991],"volumes":[993],"ENTCS":[996],"can":[998],"accessed":[1000],"URL":[1003],"http://www.elsevier.com/locate/entcs":[1004],"grateful":[1007],"excellent":[1010],"help":[1011],"support":[1013],"ICALP2003":[1017],"chair":[1018],"Jos":[1019],"Baeten,":[1020],"coordinator":[1023],"Erik":[1024],"Vink,":[1026],"organisers":[1029],"Tijn":[1030],"Borghuis":[1031],"Anne-Meta":[1033],"Oversteegen.":[1034],"July4-5,":[1035],"2003":[1036],"Herman":[1037],"Geuvers":[1038],"Fairouz":[1040],"Kamareddine":[1041]},"counts_by_year":[],"updated_date":"2026-06-21T06:12:48.119943","created_date":"2022-05-12T00:00:00"}