{"id":"https://openalex.org/W4230733327","doi":"https://doi.org/10.1016/s1571-0661(05)80172-0","title":"Preface","display_name":"Preface","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W4230733327","doi":"https://doi.org/10.1016/s1571-0661(05)80172-0"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80172-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80172-0","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)80172-0","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101173818","display_name":"Steve Brookes","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Steve Brookes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110857813","display_name":"Michael L. Main","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Main","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051562562","display_name":"Austin Melton","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Austin Melton","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","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":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101173818"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35109317,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.35260000824928284,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.35260000824928284,"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/T10126","display_name":"Logic, programming, and type systems","score":0.32359999418258667,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.30149999260902405,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/session","display_name":"Session (web analytics)","score":0.643298864364624},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.599429726600647},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.34943586587905884},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.269376277923584},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14241942763328552},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09217032790184021}],"concepts":[{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.643298864364624},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.599429726600647},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.34943586587905884},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.269376277923584},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14241942763328552},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09217032790184021}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80172-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80172-0","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)80172-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80172-0","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/W4296749040","https://openalex.org/W4230197055","https://openalex.org/W621808327","https://openalex.org/W644007644","https://openalex.org/W3012257603","https://openalex.org/W3177475962","https://openalex.org/W4292264782","https://openalex.org/W3016450995","https://openalex.org/W2141646567","https://openalex.org/W4296748749"],"abstract_inverted_index":{"Foreword":[0],"This":[1,198],"volume":[2,57],"contains":[3,123],"the":[4,7,11,22,50,61,78,102,114,121,126,142,148,179,185,188,196,201,209,215,219,232,240,258,268,299,304,310,329],"Proceedings":[5,95,122],"of":[6,14,24,120,135,211,257,270,301],"Thirteenth":[8],"Conference":[9,18],"on":[10,21,200],"Mathematical":[12],"Foundations":[13],"Programming":[15],"Semantics.":[16],"The":[17,37,53,237],"was":[19,39,92,97,191,225,327],"held":[20],"campus":[23],"Carnegie":[25],"Mellon":[26],"University,":[27],"Pittsburgh,":[28],"PA":[29],"from":[30,64],"March":[31,34],"23":[32],"to":[33,69,109,132,178,208,262,267,288,298],"26,":[35],"1997.":[36],"meeting":[38,305,311],"co-chaired":[40,49],"by":[41,60,77],"Stephen":[42,244],"Brookes":[43],"and":[44,80,116,252,273,323],"Michael":[45,246,250],"Mislove,":[46],"who":[47,137,152,182,278,293],"also":[48,286],"Program":[51,62,81,149],"Committee.":[52,82],"papers":[54,112],"in":[55,67,99],"this":[56,117,145,222,282],"were":[58,75],"selected":[59],"Committee":[63,150],"submissions":[65,186],"received":[66],"response":[68],"a":[70,93,107,133],"Call":[71],"for":[72,141,187,221,234,239,303,328],"Papers,":[73],"or":[74],"solicited":[76],"Organizers":[79,238],"As":[83,214],"has":[84,206],"been":[85,320],"customary":[86],"with":[87],"past":[88],"MFPS":[89,241],"Conferences,":[90],"there":[91],"preliminary":[94],"that":[96,203],"distributed":[98],"hardcopy":[100],"at":[101],"meeting.":[103,189,197],"Authors":[104],"have":[105,138,279,314,319],"had":[106],"chance":[108],"revise":[110],"their":[111,235],"after":[113],"conference,":[115],"electronic":[118],"version":[119],"revised":[124],"versions":[125],"original":[127],"submissions.":[128],"Thanks":[129],"are":[130,147,176,243],"due":[131,177],"number":[134],"people":[136],"provided":[139,294],"support":[140],"conference.":[143],"Among":[144],"group":[146],"members,":[151],"are,":[153],"Empty":[154],"CellPaul":[155],"Gastin(LITP)Radha":[156],"Jagadeesan(Loyola,":[157],"Chicago)Michael":[158],"Huth(Kansas":[159],"State)Neil":[160],"Jones(DIKU)Alan":[161],"Jeffrey(Sussex)Peter":[162],"O'Hearn(Queen":[163],"Mary":[164],"/":[165],"Westfield)Prakash":[166],"Panangaden(McGill)John":[167],"Power(Edinburgh)Edmund":[168],"Robinson(Sussex)Giuseppe":[169],"Rosolini(Genova)Jan":[170],"Rutten(CWI)Dieter":[171],"Spreen(Siegen)Ian":[172],"Stark(Aarhus)":[173],"Also,":[174],"thanks":[175,265],"anonymous":[180],"referees":[181],"helped":[183],"review":[184],"There":[190],"one":[192],"special":[193,223],"session":[194,224],"during":[195],"focused":[199],"contributions":[202],"Dana":[204],"Scott":[205],"made":[207],"area":[210],"semantics":[212],"research.":[213],"Dedication":[216],"below":[217],"indicates,":[218],"occasion":[220],"Dana's":[226],"65th":[227],"birthday":[228],"year.":[229],"We":[230],"thank":[231,289],"participants":[233],"contributions.":[236],"series":[242],"Brookes,":[245],"Main,":[247],"Austin":[248],"Melton,":[249],"Mislove":[251],"David":[253],"Schmidt.":[254],"On":[255],"behalf":[256],"participants,":[259],"we":[260,285],"wish":[261,287],"express":[263],"our":[264],"both":[266],"Office":[269],"Naval":[271],"Research,":[272],"especially":[274],"Dr.":[275],"Ralph":[276],"Wachter,":[277],"generously":[280],"supported":[281],"series.":[283],"Lastly,":[284],"Ms.":[290],"Jan":[291],"Koehler,":[292],"very":[295],"efficiently":[296],"attended":[297],"details":[300],"arranging":[302],"needs.":[306],"Without":[307],"her":[308],"efforts,":[309],"would":[312],"not":[313],"run":[315],"as":[316,321,325],"smoothly":[317],"nor":[318],"productive":[322],"enjoyable":[324],"it":[326],"participants.":[330]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-11T00:00:00"}