{"id":"https://openalex.org/W156222837","doi":"https://doi.org/10.1016/s1571-0661(05)80552-3","title":"Preface","display_name":"Preface","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W156222837","doi":"https://doi.org/10.1016/s1571-0661(05)80552-3","mag":"156222837"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80552-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80552-3","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)80552-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075215244","display_name":"Stephen Brookes","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Stephen Brookes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112275796","display_name":"Achim Jung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Achim Jung","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087271577","display_name":"Michael Mislove","orcid":"https://orcid.org/0000-0002-6650-1399"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Mislove","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5054465062","display_name":"Andre Scedrov","orcid":"https://orcid.org/0000-0002-4536-0419"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andre Scedrov","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5075215244"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02424659,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":null,"first_page":"512","last_page":"513"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9850999712944031,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9850999712944031,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9570000171661377,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9294000267982483,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.6691988706588745},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2790886163711548}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.6691988706588745},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2790886163711548}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80552-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80552-3","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)80552-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80552-3","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":[{"id":"https://metadata.un.org/sdg/16","score":0.49000000953674316,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2010066730","https://openalex.org/W658636438","https://openalex.org/W617126653","https://openalex.org/W2001060508","https://openalex.org/W4389967401","https://openalex.org/W2039589765","https://openalex.org/W2739427100","https://openalex.org/W2070869476","https://openalex.org/W654893371","https://openalex.org/W1564778502"],"abstract_inverted_index":{"This":[0],"volume":[1,50],"contains":[2],"the":[3,6,10,21,54,71,74,92,98,122,128,144,194,200,203,209,241,390,400,425,435,469,475,481,500],"Proceedings":[4,87,301],"of":[5,13,23,114,218,221,230,233,392,424,437,472],"Fifteenth":[7],"Conference":[8,17],"on":[9,20,259,308],"Mathematical":[11],"Foundations":[12],"Programming":[14],"Semantics.":[15],"The":[16,36,46,205,243,291,303,397],"was":[18,38,245,312,498],"held":[19],"campus":[22],"Tulane":[24],"University,":[25],"New":[26],"Orleans,":[27],"LA":[28],"from":[29,57,293,394],"April":[30],"28":[31],"to":[32,62,96,100,104,111,193,380,429,434,442,456,467],"May":[33],"1,":[34],"1999.":[35],"meeting":[37,93,210,476,482],"co-chaired":[39],"by":[40,53,70,132,247,268,274,314,330,341,345,346,389],"Stephen":[41,146,404],"Brookes":[42,147,405],"and":[43,73,120,136,140,152,251,256,271,288,318,337,366,372,417,440,494],"Michael":[44,407,414],"Mislove.":[45],"papers":[47,292,393],"in":[48,60,299],"this":[49,125,294,300,384,395,450],"were":[51,68,236],"selected":[52],"Program":[55,75,129],"Committee":[56,130],"submissions":[58,201],"received":[59],"response":[61],"a":[63,102,112,377],"Call":[64],"for":[65,202,383,399,474,499],"Papers,":[66],"or":[67],"solicited":[69],"Organizers":[72,398],"Committee.":[76],"As":[77],"has":[78,94],"been":[79,491],"customary":[80],"with":[81,264,326],"past":[82],"MFPS":[83,401],"Conferences,":[84],"these":[85],"final":[86],"are":[88,109,127,191,296,403],"being":[89],"published":[90],"after":[91],"concluded":[95],"allow":[97],"authors":[99],"have":[101,117,374,447,485,490],"chance":[103],"revise":[105],"their":[106],"papers.":[107],"Thanks":[108],"due":[110,192],"number":[113],"people":[115],"who":[116,197,446,461],"helped":[118,198],"organize":[119],"plan":[121],"conference.":[123],"Among":[124],"group":[126,391],"chaired":[131],"Achim":[133],"Jung":[134],"(Birmingham)":[135],"Andre":[137],"Scedrov":[138],"(Pennsylvania),":[139,361],"whose":[141],"members":[142],"include":[143],"following:":[145],"CMUPeter":[148],"O'Hearn":[149,253],"Queen":[150],"Mary":[151,255],"WestfieldAdriana":[153],"Compagnoni":[154],"Stevens":[155],"InstituteCatuscia":[156],"Palamidessi":[157],"Penn":[158],"StateKathleen":[159],"Fisher":[160],"AT&TPrakash":[161],"Panangaden":[162],"McGillPaul":[163],"Gastin":[164],"LIAFADusko":[165],"Pavlovic":[166],"KestrelAndrew":[167],"Gordon":[168],"Microsoft":[169],"ResearchAndrew":[170],"Pitts":[171],"CambridgeReinhold":[172],"Heckmann":[173],"Saarbr\u00fcckenA.":[174],"W.":[175],"Roscoe":[176],"OxfordCatherine":[177],"Meadows":[178,316],"NRLGiuseppe":[179],"Rosolini":[180],"GenoaMichael":[181],"Mislove":[182,415],"TulaneJan":[183],"Rutten":[184],"CWIEugene":[185],"Stark":[186],"Stony":[187],"Brook":[188],"Also,":[189],"thanks":[190,432],"anonymous":[195],"referees":[196],"review":[199],"meeting.":[204,242],"invited":[206,266,328],"speakers":[207],"at":[208,223],"were:":[211],"Martin":[212,331],"Abadi(Compaq":[213],"Systems":[214,334],"Research":[215,335],"Center)Matthew":[216],"Hennessy(University":[217],"Sussex)Tom":[219],"Henzinger(University":[220],"California":[222],"Berkeley)Max":[224],"Kanovich(Russian":[225],"Humanities":[226],"State":[227],"University)Uday":[228],"Reddy(University":[229],"Illinois)Peter":[231],"Selinger(University":[232],"Michigan)":[234],"There":[235],"two":[237],"special":[238,305],"sessions":[239],"during":[240],"first":[244],"organized":[246,313],"Uday":[248],"Reddy":[249],"(Illinois)":[250],"Peter":[252,289],"(Queen":[254],"Westfield":[257],"College)":[258],"Object-Oriented":[260],"Prorgamming.":[261],"It":[262,311,324],"began":[263,325],"an":[265,327,338],"address":[267,329],"Professor":[269],"Reddy,":[270],"included":[272],"talks":[273],"Paulo":[275],"Sergio":[276],"Almeida":[277],"(Universidade":[278],"do":[279],"Minho),":[280],"Vivana":[281],"Bono":[282],"(Torino),":[283],"Kim":[284],"Bruce":[285],"(Williams":[286],"College),":[287],"O'Hearn.":[290],"session":[295,306],"grouped":[297],"together":[298],"volume.":[302],"second":[304],"focused":[307],"Security":[309],"Protocols.":[310],"Catherine":[315,342],"(NRL)":[317],"Dennis":[319,373],"Volpano":[320],"(Naval":[321],"Postgraduate":[322],"School).":[323],"Abadi":[332],"(Compaq":[333],"Center),":[336],"introductory":[339],"talk":[340],"Meadows,":[343],"followed":[344,388],"Paul":[347],"Syverson":[348],"(NRL),":[349],"Geoff":[350],"Smith":[351],"(Florida":[352],"International":[353],"University),":[354],"Dominique":[355],"Bolignano":[356],"(Trusted":[357],"Logic),":[358],"Carl":[359],"Gunter":[360],"Pat":[362],"Lincoln":[363],"(SRI":[364],"International)":[365],"George":[367],"Necula":[368],"(UC":[369],"Berkeley).":[370],"Cathy":[371],"kindly":[375],"prepared":[376],"short":[378],"introduction":[379],"security":[381],"protocols":[382],"proceedings,":[385],"which":[386],"is":[387],"session.":[396],"series":[402],"(CMU),":[406],"Main":[408],"(Colorado),":[409],"Austin":[410],"Melton":[411],"(Kent":[412],"State),":[413],"(Tulane)":[416],"David":[418],"Schmidt":[419],"(Kansas":[420],"State).":[421],"On":[422],"behalf":[423],"participants,":[426],"we":[427,453],"wish":[428,455],"express":[430],"our":[431],"both":[433],"Office":[436],"Naval":[438],"Research,":[439],"especially":[441],"Dr.":[443],"Ralph":[444],"Wachter,":[445],"generously":[448],"supported":[449],"series.":[451],"Lastly,":[452],"also":[454],"thank":[457],"Ms.":[458],"Geralyn":[459],"Caradona,":[460],"provided":[462],"her":[463,479],"usual":[464],"efficient":[465],"attention":[466],"discharging":[468],"many":[470],"details":[471],"arranging":[473],"needs.":[477],"Without":[478],"efforts,":[480],"would":[483],"not":[484],"run":[486],"as":[487,492,496],"{smoothly}":[488],"nor":[489],"productive":[493],"enjoyable":[495],"it":[497],"participants.":[501]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}