[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
This is the second call for contributions for FICS 2023, registration is now
open on the CSL 2023 webpage:
https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl/?page_id=696__;!!IBzWLUs!V1I-LnR5uU6AkOnKEA5r1nsAHgB8XOD2vxOAPL29aILqJjsT3Cu4hydlf3gdZI2L6HdBIlYcfSOjEOQAkhzBskhY0L16zQEu68OfrQ$
The 11th International Workshop on Fixed Points in Computer Science will take
place in Warsaw on 17 February 2023 as a satellite of the International
Conference CSL 2023 (Computer Science Logic).
FICS webpage:
https://urldefense.com/v3/__https://perso.ens-lyon.fr/denis.kuperberg/FICS2023.htm__;!!IBzWLUs!V1I-LnR5uU6AkOnKEA5r1nsAHgB8XOD2vxOAPL29aILqJjsT3Cu4hydlf3gdZI2L6HdBIlYcfSOjEOQAkhzBskhY0L16zQHA3GOUGw$
The goal of the workshop is to bring together people from different fields such
as algebra/coalgebra, verification, logic, around the thematic of fixed points.
This workshop will be without proceedings. In particular you can present work
that is already published elsewhere, or in progress.
Depending on the nature of contributions, a pre-approved special issue of
Fundamenta Informaticae might be published with selected contributions.
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, logic, 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 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, and
databases
-fixed points in category theory for logic in computer science
Invited Speakers
---------------------------------
Graham Leigh: TBA
Dana Scott: Seventy Years Using Fixed Points (video lecture)
=====================================
Submission Instructions
=====================================
Abstracts presenting your communication should be sent via
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=fics2023__;!!IBzWLUs!V1I-LnR5uU6AkOnKEA5r1nsAHgB8XOD2vxOAPL29aILqJjsT3Cu4hydlf3gdZI2L6HdBIlYcfSOjEOQAkhzBskhY0L16zQHQdCsStg$
.
Submissions should be from 1 to 3 pages long, excluding bibliography.
An effort will be made to enable online participation for those who cannot
attend in person.
Important dates
---------------------------------
Submission deadline: 06/01/2023 AoE
Notification: 27/01/2023
Workshop: 17/02/2023
=====================================
Committees
=====================================
Program Committee
---------------------------------
-Henning Basold (LIACS, Univ. Leiden)
-Anupam Das (Univ. Birmingham)
-Karoliina Lehtinen (CNRS & LIS Marseille)
-Denis Kuperberg, chair (CNRS & ENS Lyon)
-Ralph Matthes (IRIT, 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 (Reykjavik Univ., Tallinn Institute of Cybernetics)
Steering Committee
---------------------------------
-Peter Dybjer (Chalmers University of Technology)
-Ralph Matthes (IRIT, CNRS & Univ. Toulouse)
-Damian Niwinski (University of Warsaw)
-Luigi Santocanale (LIS, Université Aix-Marseille I)
-Denis Kuperberg, chair (CNRS & ENS Lyon)
-Tarmo Uustalu (Reykjavik Univ., Tallinn Institute of Cybernetics)
-Igor Walukiewicz (LaBRI, Bordeaux)
