Meta tags:

Headings (most frequently used words):

2026, submissions, committee, fixed, points, in, computer, science, paris, february, 23rd, 24th, news, description, invited, speakers, accepted, important, dates, venue, registration, call, for, program, steering, proceedings, previous, editions,

Text of the page (most frequently used words):
the (45), and (25), fics (20), fixed (19), points (19), for (18), university (16), 2026 (13), submissions (11), #registration (11), will (10), #program (10), abstracts (9), are (9), extended (8), see (7), paris (6), csl (6), computer (6), science (6), not (5), cnrs (5), université (5), february (5), proofs (5), theory (5), jan (5), warsaw (4), this (4), invited (4), alexis (4), saurin (4), committee (4), please (4), workshop (4), note (4), that (4), 9th (4), page (4), 23rd (4), theorem (4), with (4), logic (4), programming (4), now (4), feb (4), proceedings (3), eptcs (3), aix (3), marseille (3), damian (3), chair (3), gothenburg (3), submission (3), short (3), papers (3), submitted (3), from (3), results (3), have (3), published (3), but (3), paper (3), description (3), call (3), place (3), conference (3), venue (3), 24th (3), january (3), different (3), accepted (3), speakers (3), 22nd (3), brno (2), chech (2), republic (2), france (2), italy (2), poland (2), previous (2), editions (2), possible (2), special (2), issue (2), fundamenta (2), informaticae (2), volume (2), labri (2), bordeaux (2), igor (2), walukiewicz (2), reykjavik (2), tarmo (2), uustalu (2), irif (2), cité (2), inria (2), lis (2), luigi (2), santocanale (2), niwiński (2), ens (2), lyon (2), denis (2), kuperberg (2), gianluca (2), curzi (2), munich (2), florian (2), bruse (2), handled (2), via (2), easychair (2), contribution (2), well (2), should (2), https (2), org (2), pages (2), references (2), describing (2), been (2), details (2), can (2), proposed (2), contributed (2), talk (2), they (2), may (2), campus (2), condorcet (2), center (2), website (2), deadline (2), early (2), tuesday (2), 27th (2), aoe (2), 4th (2), 21st (2), important (2), dates (2), michael (2), proof (2), definitions (2), semantics (2), such (2), algebra (2), coalgebra (2), verification (2), languages (2), logics (2), databases (2), proving (2), process (2), nov (2), online (2), added (2), monday (2), available (2), session (2), take (2), news (2), international (2), 1998, 2000, florence, 2001, copenhagen, denmark, 2002, 2003, coimbra, portugal, 2009, 2010, tallin, estonia, 2012, torino, 2013, berlin, germany, 2015, 2023, naples, itay, 2024, due, low, number, likely, versions, selected, contributions, hope, able, offer, post, irit, toulouse, ralph, matthes, bahareh, afshari, steering, royal, holloway, london, reuben, rowe, hasselt, sarah, kleest, meistner, kyoto, zeinab, galal, birmingham, anupam, das, depaul, michaël, cadilhac, wien, wrocław, bartosz, bednarczyk, leiden, henning, basold, visit, submit, your, least, author, each, expected, present, person, year, welcome, two, categories, epcts, format, diverging, substantially, standard, rejected, except, chairs, permitted, encouraged, info, excluded, original, which, nor, currently, elsewhere, must, presented, sufficient, constitute, scientific, publication, appendix, provide, additional, reviewers, read, their, discretion, included, topic, contain, newly, completed, work, progress, iii, already, recently, works, refer, preprint, given, abstract, sufficiently, detailed, judge, relevance, conferences, conf, fics2026, takes, fee, 150, only, does, require, eacsl, membership, corresponding, notification, 20th, sunday, 11th, friday, december, andrás, salamon, wehar, time, hierarchy, daniel, osorio, valencia, towards, relevant, interpolation, circular, niwinski, paweł, parys, michał, skrzypczak, dichotomy, ordinal, ranks, mso, thành, dũng, nguyễn, power, additive, branching, affine, higher, order, recursion, schemes, paul, blain, levy, global, flattening, nested, inductive, luka, janji, cacute, adams, datalog, subsumption, lide, grotenhuis, daniël, otten, unravelling, cyclic, into, founded, induction, rémy, cerda, compression, coinductive, infinitary, rewriting, generic, approach, applications, cut, elimination, non, wellfounded, léonard, brice, jean, francois, raskin, marie, van, den, bogaard, negotiation, function, subgame, perfect, equilibria, graph, games, joint, pierre, clairambault, strathclyde, clemens, kupke, goal, bring, together, people, subfields, around, thematic, play, fundamental, role, several, areas, used, justify, recursive, associated, reasoning, techniques, construction, properties, investigated, many, settings, design, implementation, topics, include, restricted, organized, category, finite, model, descriptive, complexity, automated, interactive, relation, dataflow, circuits, functional, type, algebras, calculi, calculus, modal, language, game, formal, automata, dec, 14th, deadlines, information, planned, going, happen, exploring, options, confirmed, 30th, appears, broken, right, 2nd, again, click, start, run, until, roughly, here, 7th, list, you, interested, soapbox, scheduled, room, third, floor, directions, uploaded, all, talks, book, jul, 5th, there, invitations, out, shortly, 13th, satellite, morning, committees,

Text of the page (random words):
fics 2026 fixed points in computer science fixed points in computer science 2026 paris february 23rd 24th 2026 news description invited speakers accepted submissions program important dates venue registration call for submissions committees proceedings previous editions the 13th international workshop on fixed points in computer science will take place in paris as a satellite of the international conference csl 2026 computer science logic on the 23rd and the morning of the 24th of february 2026 in paris france news jul 5th there will be a special issue of fundamenta informaticae for fics 2026 invitations will go out shortly feb 22nd we have uploaded a book of abstracts with the program and abstracts of all the contributed talks feb 21st the submissions are available see program please note that fics is scheduled to take place in room 3 03 third floor of the campus condorcet conference center see the csl page for directions feb 7th the list of accepted submissions and the program are now available see the program page you may be interested in the soapbox session see session 3 on monday in program feb 2nd registration is now possible again click here please note that fics will start at 9 am on monday and run until roughly 12 30 pm on tuesday jan 30th please note that registration via csl appears to be broken right now the deadline for early registration is now february 9th jan 22nd confirmed invited speakers jan 22nd the planned eptcs volume is not going to happen we are exploring options jan 9th added information on venue and registration jan 4th deadlines extended dec 14th added program committee nov 27th call for submissions online nov 23rd website online description the goal of the workshop is to bring together people from different subfields such as algebra coalgebra verification logic around the thematic of fixed points fixed points play a fundamental role in several areas of computer science they are used to justify co recursive definitions and associated reasoning techniques the construction and properties of fixed points have been investigated in many different settings such as design and implementation of programming languages logics verification databases topics include but are not restricted to fixed points in algebra and coalgebra fixed points in formal languages and automata fixed points in game theory fixed points in programming language semantics fixed points in proofs fixed points in the mu calculus and modal logics fixed points in process algebras and process calculi fixed points in functional programming and type theory fixed points in relation to dataflow and circuits fixed points in automated theorem proving interactive theorem proving and logic programming fixed points in finite model theory descriptive complexity theory and databases fixed points in category theory for logic in computer science fics 2026 is organized by gianluca curzi university of gothenburg and florian bruse tu munich invited speakers clemens kupke university of strathclyde pierre clairambault aix marseille university joint with csl accepted submissions léonard brice jean francois raskin and marie van den bogaard the negotiation function subgame perfect equilibria in graph games as fixed points rémy cerda and alexis saurin compression for coinductive infinitary rewriting a generic approach with applications to cut elimination for non wellfounded proofs lide grotenhuis and daniël otten unravelling cyclic proofs into proofs by well founded induction luka janji cacute and michael d adams semantics for datalog with subsumption paul blain levy global flattening of nested inductive definitions lê thành dũng nguyễn on the power of additive branching in affine higher order recursion schemes damian niwinski paweł parys and michał skrzypczak a dichotomy theorem for ordinal ranks in mso daniel osorio valencia and alexis saurin towards proof relevant interpolation for circular proofs andrás z salamon and michael wehar a different proof of the time hierarchy theorem important dates paper registration friday december 21st january 9th 2026 aoe extended paper submission sunday january 4th 11th 2026 aoe extended notification tuesday january 20th 27th 2026 workshop february 23rd 24th 2026 venue registration fics 2026 takes place at the campus condorcet conference center see the corresponding page on the csl website registration will be handled by csl see this page the registration fee is 150 note that registration for fics only does not require eacsl membership the deadline for early registration is february 9th call for submissions submissions will be handled via easychair please visit https easychair org conferences conf fics2026 to submit your contribution at least an author of each submission will be expected to present the contribution in person at fics 2026 this year we welcome two categories of submissions short abstracts as well as extended abstracts short abstracts are abstracts of 3 to 5 pages references included describing the topic of the proposed contributed talk they may contain i newly completed results ii work in progress or iii already recently published or submitted works the submission can refer to a published paper or a preprint but the description given in the short abstract should be sufficiently detailed for the pc to judge the relevance of the proposed talk to the workshop program extended abstracts are papers of 6 to 10 pages references excluded describing original results which have not been published nor are currently submitted elsewhere the results must be presented in sufficient details to constitute a scientific publication an appendix can provide additional details for the reviewers but will be read at their discretion papers should be submitted in epcts format see https info eptcs org papers diverging substantially from this standard my be rejected submissions from the program committee except the chairs are permitted and encouraged program committee henning basold leiden university bartosz bednarczyk tu wien university of wrocław florian bruse tu munich co chair michaël cadilhac depaul university gianluca curzi university of gothenburg co chair anupam das university of birmingham zeinab galal kyoto university sarah kleest meistner hasselt university denis kuperberg cnrs ens lyon damian niwiński university of warsaw reuben rowe royal holloway university of london luigi santocanale lis université aix marseille alexis saurin irif cnrs université paris cité inria tarmo uustalu reykjavik university igor walukiewicz labri bordeaux steering committee bahareh afshari university of gothenburg denis kuperberg cnrs ens lyon ralph matthes chair irit cnrs université de toulouse damian niwiński university of warsaw luigi santocanale lis université aix marseille alexis saurin irif cnrs université paris cité inria tarmo uustalu reykjavik university igor walukiewicz labri bordeaux proceedings we hope to be able to offer post proceedings for the extended abstracts in an eptcs volume due to the low number of submissions for extended abstracts this will likely not be possible extended versions of selected contributions will be invited to a special issue of fundamenta informaticae previous editions fics 2024 naples itay fics 2023 warsaw poland fics 2015 berlin germany fics 2013 torino italy fics 2012 tallin estonia fics 2010 brno chech republic fics 2009 coimbra portugal fics 2003 warsaw poland fics 2002 copenhagen denmark fics 2001 florence italy fics 2000 paris france fics 1998 brno chech republic