*FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)@ 2022-11-15 12:41 Ralph Matthes0 siblings, 0 replies; 2+ messages in thread From: Ralph Matthes @ 2022-11-15 12:41 UTC (permalink / raw) To: eutypes-Mttm5w9jbbk, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8, coq-club-MZpvjPyXg2s, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB, categories-59hdLBrVOVU, ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w, types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB 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). 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 the contributions, a special issue of Fundamenta Informaticae might be published with selected contributions (we have the approval by the journal for this). 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 Speaker --------------------------------- -TBA ===================================== Submission and Registration Instructions ===================================== Abstracts presenting your communication should be sent via https://easychair.org/conferences/?conf=fics2023. Submissions should be from 1 to 3 pages long, excluding bibliography. Registration will be opened soon, as for other CSL workshops. It will include a small fee to cover the cost of invited speaker and social event. 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) -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é Aix-Marseille I) -Denis Kuperberg, chair (CNRS & ENS Lyon) -Tarmo Uustalu (Institute of Cybernetics, Tallinn) -Igor Walukiewicz (LaBRI, Bordeaux) _______________________________________________ Agda mailing list Agda@lists.chalmers.se https://lists.chalmers.se/mailman/listinfo/agda ^ permalink raw reply [flat|nested] 2+ messages in thread

*FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)@ 2022-11-15 12:41 Ralph Matthes0 siblings, 0 replies; 2+ messages in thread From: Ralph Matthes @ 2022-11-15 12:41 UTC (permalink / raw) To: categories 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). 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 the contributions, a special issue of Fundamenta Informaticae might be published with selected contributions (we have the approval by the journal for this). 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 Speaker --------------------------------- -TBA ===================================== Submission and Registration Instructions ===================================== Abstracts presenting your communication should be sent via https://easychair.org/conferences/?conf=fics2023. Submissions should be from 1 to 3 pages long, excluding bibliography. Registration will be opened soon, as for other CSL workshops. It will include a small fee to cover the cost of invited speaker and social event. 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) -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é 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/ ] ^ permalink raw reply [flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-11-15 12:41 UTC | newest]Thread overview:2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2022-11-15 12:41 FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023) Ralph Matthes -- strict thread matches above, loose matches on Subject: below -- 2022-11-15 12:41 Ralph Matthes

This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).