[TYPES/announce] 2nd Call for participation: Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second call for participation: Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024) Monday 13 -- Friday 17 May 2024 CIRM, Luminy, Marseille, France Deadline for registration: *17 March 2024* (but please, register ASAP) https://urldefense.com/v3/__https://conferences.cirm-math.fr/2980.html__;!!IBzWLUs!SZfbA86eueOLoy1gYPFvg7sl4zMvvcTuDVJKlhU_JuHsUqZpGS9bwKiUH6soJi2Fdv2YtqBMXlkWPq5TnxAongbGTLgn11byaw2hcjJLSF_oeA$ Announcement Twenty years after the publication of Ehrhard and Regnier’s first seminal paper on the subject [1], we are delighted to announce a conference on Differential λ-calculus and Differential Linear Logic [2], nicknamed DiλLL 2024. [1] https://urldefense.com/v3/__https://doi.org/10.1016/S0304-3975(03)00392-X__;!!IBzWLUs!SZfbA86eueOLoy1gYPFvg7sl4zMvvcTuDVJKlhU_JuHsUqZpGS9bwKiUH6soJi2Fdv2YtqBMXlkWPq5TnxAongbGTLgn11byaw2hcjIqKVYu0w$ [2] https://urldefense.com/v3/__https://conferences.cirm-math.fr/2980.html__;!!IBzWLUs!SZfbA86eueOLoy1gYPFvg7sl4zMvvcTuDVJKlhU_JuHsUqZpGS9bwKiUH6soJi2Fdv2YtqBMXlkWPq5TnxAongbGTLgn11byaw2hcjJLSF_oeA$ It will be held on 13--17 May 2024, at the CIRM in Luminy (Marseille, France), the campus where this fruitful line of work started twenty years ago. The programme will consist in a series of invited talks, a good proportion of which will be tutorials, targeted at young researchers as well as non-specialists. It will also include surveys of the main advances obtained in the course of twenty years, as well as research talks on current topics. For young researchers, it will also be possible to display posters in the premises of the conference during the whole week, in order to foster discussion around your work. Registration Please register ASAP if you are interested in attending. The firm deadline for in person registration is *17 March 2024*, assuming the capacity of the CIRM is not reached by then. Registration is done on the CIRM's website [3], which is also available on the conference page as "STEP 1 - PRE-REGISTER - APPLY HERE". [3] https://urldefense.com/v3/__https://www.cirm-math.fr/preRegistration/index.php?EX=login_renc=2980__;!!IBzWLUs!SZfbA86eueOLoy1gYPFvg7sl4zMvvcTuDVJKlhU_JuHsUqZpGS9bwKiUH6soJi2Fdv2YtqBMXlkWPq5TnxAongbGTLgn11byaw2hcjLXXhFGGg$ Note that if you do not know all the details of your participation yet, it is possible to register now, and modify your registration until the deadline. If you have any questions regarding the event, feel free to email the organizers: dill2024-...@listes.math.cnrs.fr . Participation is free, and we plan to fund the accommodation of all participants requiring it, as well as to provide a limited number of travel grants. See below. Funding === We plan to fund the accommodation of any participant, within the limits of the capacity of the CIRM and of our budget. If you have funding available, allowing you to pay for your own accommodation, please let us know during registration: this will allow us to allocate more of our own funding to other participants. The details of your accommodation will be managed by the CIRM. We also plan to offer a limited number of travel grants, mainly targeted at young researchers (master or PhD students, postdocs): you can apply for such a grant in the registration form. A first round of travel grants has been attributed, but further requests can still be considered. Organizing Committee Rémy Cerda (Aix-Marseille Université), Giulio Guerrieri (University of Sussex), Federico Olimpieri (Aix-Marseille Université), Christine Tasson (Sorbonne Université), Lionel Vaux Auclair (Aix-Marseille Université).
[TYPES/announce] Call for participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for participation Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024) Monday 13 -- Friday 17 May 2024 CIRM, Luminy, Marseille, France https://urldefense.com/v3/__https://conferences.cirm-math.fr/2980.html__;!!IBzWLUs!W0c8pN-f7_gECd3pX7LCGRGe7vDsIMStnn2rDgbJ1s3YCzvuLApj-QatEehMIiFMv7ell_iaCgGlQMyd_IPXpC54ZDFYP19-Pbh8KxyKuBlKmQ$ Pre-registration for the DiλLL 2024 conference is now open! Participation is free, and we plan to fund the accommodation of all participants requiring it, as well as to provide a limited number of travel grants. See the "Funding" section below. Please pre-register early if you are interested in attending, as this will help us organize the event in the best conditions. The firm deadline for in person registration is 17 March 2024, assuming the capacity of the CIRM is not reached by then. A first round of travel grants will be attributed at the end of January 2024. If you have any questions regarding the event, feel free to email the organizers: dill2024-...@listes.math.cnrs.fr . Announcement Twenty years after the publication of Ehrhard and Regnier’s first seminal paper on the subject [1], we are delighted to announce a conference on Differential λ-calculus and Differential Linear Logic [2], nicknamed DiλLL 2024. [1] https://urldefense.com/v3/__https://doi.org/10.1016/S0304-3975(03)00392-X__;!!IBzWLUs!W0c8pN-f7_gECd3pX7LCGRGe7vDsIMStnn2rDgbJ1s3YCzvuLApj-QatEehMIiFMv7ell_iaCgGlQMyd_IPXpC54ZDFYP19-Pbh8KxzQc2tuHg$ [2] https://urldefense.com/v3/__https://conferences.cirm-math.fr/2980.html__;!!IBzWLUs!W0c8pN-f7_gECd3pX7LCGRGe7vDsIMStnn2rDgbJ1s3YCzvuLApj-QatEehMIiFMv7ell_iaCgGlQMyd_IPXpC54ZDFYP19-Pbh8KxyKuBlKmQ$ It will be held on 13--17 May 2024, at the CIRM in Luminy (Marseille, France), the campus where this fruitful line of work started twenty years ago. The programme will consist in a series of invited talks, a good proportion of which will be tutorials, targeted at young researchers as well as non-specialists. It will also include surveys of the main advances obtained in the course of twenty years, as well as research talks on current topics. For young researchers, it will also be possible to display posters in the premises of the conference during the whole week, in order to foster discussion around your work. Funding === We plan to fund the accommodation of any participant, within the limits of the capacity of the CIRM and of our budget. If you have funding available, allowing you to pay for your own accommodation, please let us know during pre-registration: this will allow us to allocate more of our own funding to other participants. The details of your accommodation will be managed by the CIRM. We also plan to offer a limited number of travel grants, mainly targeted at young researchers (master or PhD students, postdocs): you can apply for such a grant in the pre-registration form. Organizing Committee Rémy Cerda (Aix-Marseille Université), Giulio Guerrieri (Aix-Marseille Université), Federico Olimpieri (University of Leeds), Christine Tasson (Sorbonne Université), Lionel Vaux Auclair (Aix-Marseille Université). --- Giulio Guerrieri, PhD Maître de Conférences en Informatique IUT d'Aix Laboratoire d'Informatique et Systèmes (LIS, UMR 7020) Aix-Marseille Université
[TYPES/announce] Trends in Linear Logic and Applications (TLLA 2019) [updated cfp]
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 2nd Call for Papers TLLA 2019 3rd International Workshop on Trends in Linear Logic and Applications Dortmund, 29-30 June 2019 Affiliated with FSCD 2019 http://tlla.linear-logic.org/2019/ == NEWS: * updated notafication date: May 13th * list of invited speakers == Linear Logic is not only a proof theoretical tool to analyse or control the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields (analysis of lambda-calculus computations, game semantics, computational complexity, program verification, etc.). The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks. The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as * theory of programming languages * implicit computational complexity * parallelism and concurrency * games and languages * proof theory * philosophy * categories and algebra * possible connections with combinatorics * linguistics * functional analysis and operator algebras -- ** Submission Guidelines -- Contributions are not restricted to talks presenting an original results, but open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome. To propose a contributed talk submit a short abstract whose length is between 2 and 5 pages on https://easychair.org/conferences/?conf=tlla19 -- ** Young Researchers Grants -- A limited number of grants for students or young researches are available. Grants can fully or partially cover registration fees, accommodation and transport. To apply for a grant send a message to the organizers of the workshop with: * Affiliation and contact details * A short CV * A letter of motivation explaining the interest of the applicant on one or more topics of the workshop * If the applicant has submitted an abstract * (Optional) One or two support letters. A letter from the supervisor is mandatory for PhD students. For more details and to apply for a grant see http://tlla.linear-logic.org/2019#grants -- ** Important dates -- * Submission deadline: 1 May 2019 * Notification to authors: *13 May 2019* *** NEW *** * Final versions due: 24 May 2019 * YR Grant submission deadline: 31 May 2019 * YR Grant notification: 7 June 2019 * Workshop date: 29-30 June 2019 -- ** Publication -- The abstracts of the contributed and invited talks will be published on the site of the conference. Possible other formats will be discussed at the workshop. -- ** Invited Speakers -- *** NEW *** * Delia Kesner (joint with SD 2019) * Thomas Seiller(joint with SD 2019) * Raphaelle Crubille * Paul Blain Levy -- ** Committees -- ** Program Committee * Thomas Ehrhard, CNRS - University Paris Diderot * Claudia Faggian, CNRS - University Paris Diderot * Giulio Guerrieri, University of Bath * Stefano Guerrini, University of Paris
[TYPES/announce] CfP: Trends in Linear Logic and Applications (TLLA 2019)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 1st Call for Papers TLLA 2019 3rd International Workshop on Trends in Linear Logic and Applications Dortmund, 29-30 June 2019 Affiliated with FSCD 2019 http://tlla.linear-logic.org/2019/ == Linear Logic is not only a proof theoretical tool to analyse or control the use of ressources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields (analysis of lambda-calculus computations, game semantics, computational complexity, program verification, etc.). The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks. The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as * theory of programming languages * implicit computational complexity * parallelism and concurrency * games and languages * proof theory * philosophy * categories and algebra * possible connections with combinatorics * linguistics * functional analysis and operator algebras -- ** Submission Guidelines -- Contributions are not restricted to talks presenting an original results, but open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome. To propose a contributed talk submit a short abstract whose length is between 2 and 5 pages on https://easychair.org/conferences/?conf=tlla19 -- ** Young Researchers Grants -- A limited number of grants for students or young researches are available. Grants can fully or partially cover registration fees, accommodation and transport. To apply for a grant send a message to the organizers of the workshop with: * Affiliation and contact details * A short CV * A letter of motivation explaining the interest of the applicant on one or more topics of the workshop * If the applicant has submitted an abstract * (Optional) One or two support letters. A letter from the supervisor is mandatory for PhD students. For more details and to apply for a grant see http://tlla.linear-logic.org/2019/#grants -- ** Important dates -- * Submission deadline: 1 May 2019 * Notification to authors:15 May 2019 * Final versions due: 24 May 2019 * YR Grant submission deadline: 31 May 2019 * YR Grant notification: 7 June 2019 * Workshop date: 29-30 June 2019 -- ** Publication -- The abstracts of the contributed and invited talks will be published on the site of the conference. -- ** Committees -- ** Program Committee * Thomas Ehrhard, CNRS - University Paris Diderot * Claudia Faggian, CNRS - University Paris Diderot * Giulio Guerrieri, University of Bath * Stefano Guerrini, University of Paris 13 * Esfandiar Haghverdi, Indiana University Bloomington * Naohiko Hoshino, Kyoto University * Marie Kerjean, INRIA Bretagne Atlantique * Olivier Laurent, CNRS - ENS Lyon (chair) * Paolo Pistone, University of Tubingen * Lorenzo Tortora de Falco, University Roma Tre ** Organizing committee --- * Thomas Ehrhard, CNRS - University Paris Diderot * Stefano Guerrini, University of Paris 13 * Lorenzo Tortora de Falco, University Roma Tre