From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10860 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ralph Matthes Newsgroups: gmane.science.mathematics.categories Subject: =?utf-8?q?FICS'23=3A?= Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023) Date: Tue, 15 Nov 2022 13:41:40 +0100 Message-ID: Reply-To: Ralph Matthes Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="39201"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Fri Nov 18 03:46:49 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ovrOz-0009x6-3c for gsmc-categories@m.gmane-mx.org; Fri, 18 Nov 2022 03:46:49 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:35692) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ovrOC-0004XP-11; Thu, 17 Nov 2022 22:46:00 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1ovrLv-0006Io-N4 for categories-list@rr.mta.ca; Thu, 17 Nov 2022 22:43:39 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10860 Archived-At: The 11th International Workshop on Fixed Points in Computer Science wil= l take place in Warsaw on 17 February 2023 as a satellite of the Intern= ational Conference CSL 2023 (Computer Science Logic). The goal of the workshop is to bring together people from different fie= lds such as algebra/coalgebra, verification, logic, around the thematic= of fixed points. This workshop will be without proceedings. In particular you can presen= t work that is already published elsewhere, or in progress. Depending on the nature of the contributions, a special issue of Fundam= enta Informaticae might be published with selected contributions (we ha= ve the approval by the journal for this). Fixed points play a fundamental role in several areas of computer scien= ce. They are used to justify (co)recursive definitions and associated r= easoning techniques. The construction and properties of fixed points ha= ve been investigated in many different settings such as: design and imp= lementation of programming languages, logic, verification, databases. T= opics 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 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 logic programming and theorem proving -fixed points in finite model theory, descriptive complexity theory, an= d databases -fixed points in category theory for logic in computer science Invited Speaker --------------------------------- -TBA =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission and Registration Instructions =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Abstracts presenting your communication should be sent via https://easy= chair.org/conferences/?conf=3Dfics2023. Submissions should be from 1 to 3 pages long, excluding bibliography. Registration will be opened soon, as for other CSL workshops. It will i= nclude a small fee to cover the cost of invited speaker and social even= t. An effort will be made to enable online participation for those who can= not attend in person. Important dates --------------------------------- Submission deadline: 06/01/2023 AoE Notification: 27/01/2023 Workshop: 17/02/2023 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Committees =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Program Committee --------------------------------- -Henning Basold (LIACS, Univ. Leiden) -Karoliina Lehtinen (CNRS & LIS Marseille) -Denis Kuperberg, chair (CNRS & ENS Lyon) -Ralph Matthes (CNRS & Univ. Toulouse) -Matteo Mio (CNRS & ENS Lyon) -Damian Niwinski (University of Warsaw) -Fredrik Nordvall Forsberg (Univ. of Strathclyde) -Luigi Santocanale (LIS, Univ. Aix-Marseille I) -Tarmo Uustalu (Institute of Cybernetics, Tallinn) Steering Committee --------------------------------- -Peter Dybjer (Chalmers University of Technology) -Ralph Matthes (IRIT, Toulouse) -Damian Niwinski (University of Warsaw) -Luigi Santocanale (LIS, Universit=C3=A9 Aix-Marseille I) -Denis Kuperberg, chair (CNRS & ENS Lyon) -Tarmo Uustalu (Institute of Cybernetics, Tallinn) -Igor Walukiewicz (LaBRI, Bordeaux) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]