{"id":"https://openalex.org/W4255685840","doi":"https://doi.org/10.1051/ita:2004019","title":"Foreword","display_name":"Foreword","publication_year":2004,"publication_date":"2004-10-01","ids":{"openalex":"https://openalex.org/W4255685840","doi":"https://doi.org/10.1051/ita:2004019"},"language":"en","primary_location":{"id":"doi:10.1051/ita:2004019","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita:2004019","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2004/04/ita38400f.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.rairo-ita.org/articles/ita/pdf/2004/04/ita38400f.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017293831","display_name":"Zolt\u00e1n \u00c9sik","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]},{"id":"https://openalex.org/I4210136988","display_name":"D\u00e9l\u00e9gation Provence et Corse","ror":"https://ror.org/049qgqg40","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4210136988","https://openalex.org/I4210139971"]},{"id":"https://openalex.org/I4210096604","display_name":"Polish Air Navigation Services Agency","ror":"https://ror.org/00q7qmn76","country_code":"PL","type":"government","lineage":["https://openalex.org/I4210096604"]},{"id":"https://openalex.org/I175003984","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57","country_code":"US","type":"funder","lineage":["https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]}],"countries":["FR","PL","US"],"is_corresponding":true,"raw_author_name":"Zolt\u00e1n \u00c9sik","raw_affiliation_strings":["(Hoboken NJ)","(Marseille)","(Cambridge)","saw University, European Commission, High-Level Scientific Conferences, Euro-pean Commission, Information Society Technologies, European Office of Aerospace Research and Development, United States Air Force, US Navy Office of Naval Research International Field Office, Microsoft Research,","(Tulane) I. Walukiewicz (cochair, Bordeaux)","(cochair, Szeged) I. Guessarian (Paris)","(Edinburgh)","LOT Polish Airlines,"],"affiliations":[{"raw_affiliation_string":"(Hoboken NJ)","institution_ids":[]},{"raw_affiliation_string":"(Marseille)","institution_ids":["https://openalex.org/I4210136988"]},{"raw_affiliation_string":"(Cambridge)","institution_ids":[]},{"raw_affiliation_string":"saw University, European Commission, High-Level Scientific Conferences, Euro-pean Commission, Information Society Technologies, European Office of Aerospace Research and Development, United States Air Force, US Navy Office of Naval Research International Field Office, Microsoft Research,","institution_ids":["https://openalex.org/I1290206253","https://openalex.org/I175003984"]},{"raw_affiliation_string":"(Tulane) I. Walukiewicz (cochair, Bordeaux)","institution_ids":[]},{"raw_affiliation_string":"(cochair, Szeged) I. Guessarian (Paris)","institution_ids":[]},{"raw_affiliation_string":"(Edinburgh)","institution_ids":[]},{"raw_affiliation_string":"LOT Polish Airlines,","institution_ids":["https://openalex.org/I4210096604"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064757019","display_name":"Igor Walukiewicz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Igor Walukiewicz","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017293831"],"corresponding_institution_ids":["https://openalex.org/I1290206253","https://openalex.org/I175003984","https://openalex.org/I4210096604","https://openalex.org/I4210136988"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.47081838,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":"4","first_page":"275","last_page":"276"},"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.19529999792575836,"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.19529999792575836,"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.19249999523162842,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.03220000118017197,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39963477849960327}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39963477849960327}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1051/ita:2004019","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita:2004019","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2004/04/ita38400f.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},{"id":"pmh:oai:numdam.org:ITA_2004__38_4_275_0","is_oa":false,"landing_page_url":"https://www.numdam.org/articles/10.1051/ita:2004019/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1051/ita:2004019","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita:2004019","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/2004/04/ita38400f.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4255685840.pdf","grobid_xml":"https://content.openalex.org/works/W4255685840.grobid-xml"},"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],"Special":[1],"Issue":[2],"of":[3,14,44,58,73,80,97,110,118],"RAIRO,":[4],"Theoretical":[5],"Informatics":[6],"and":[7,47,52,56,71,101,127],"Applications":[8],"is":[9],"devoted":[10],"to":[11,84,90,94],"full":[12],"versions":[13],"selected":[15],"papers":[16],"from":[17],"the":[18,29,33,81,98,108],"workshop":[19,31,82,113],"Fixed":[20],"Points":[21],"in":[22,32,41,64,122],"Computer":[23],"Science":[24],"2003":[25],"(FICS'03),":[26],"which":[27],"was":[28,83,120],"fifth":[30],"FICS":[34],"series.Fixed":[35],"points":[36,60],"play":[37],"a":[38,86,115],"fundamental":[39],"role":[40],"several":[42],"areas":[43],"computer":[45,99],"science":[46,100],"logic":[48,102],"by":[49],"justifying":[50],"induction":[51],"recursive":[53],"definitions.The":[54],"construction":[55],"properties":[57],"fixed":[59,111],"have":[61],"been":[62],"investigated":[63],"many":[65],"different":[66],"frameworks":[67],"such":[68],"as:":[69],"design":[70],"implementation":[72],"programming":[74],"languages,":[75],"program":[76],"logics,":[77],"databases.The":[78],"aim":[79],"provide":[85],"forum":[87],"for":[88],"researchers":[89],"present":[91],"their":[92],"results":[93],"those":[95],"members":[96],"communities":[103],"who":[104],"study":[105],"or":[106],"apply":[107],"theory":[109],"points.The":[112],"FICS'03,":[114],"satellite":[116],"event":[117],"ETAPS'03,":[119],"held":[121],"Warsaw":[123],"on":[124],"April":[125],"12":[126],"13,":[128]},"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2022-05-12T00:00:00"}