BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.2.3.1//EN TZID:Europe/Paris X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT UID:5734@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris;VALUE=DATE:20230215 DTEND;TZID=Europe/Paris;VALUE=DATE:20230218 DTSTAMP:20241120T200202Z URL:https://www.i2m.univ-amu.fr/evenements/journees-scalp-au-cirm/ SUMMARY:Workshop (CIRM\, Luminy\, Marseille): Journées Scalp au CIRM DESCRIPTION:Workshop: \n\n\n\n\n\nWORKSHOP\n\n\n\n\nScalp Working Group Day s\nJournées du GT Scalp (Structures formelles pour le CALcul et les Pre uves)\n[su_spacer size="10"]\n15 – 17 February\, 2023\n\n\n\n\n\n\n[su_s pacer size="10"]\n\n\n\n\n\nOrganizing Committee\nComité d’organisation \nPierre Clairambault (CNRS et Aix-Marseille Université)\n\n\n\n\n\n\n\n\ n\n\n\n\n\n\n\n\n\n[su_spacer size="10"]\n\n\n\n\n\n Time schedule \n\n\ n\n\n\n\n\n\n\n\n\n Abstracts \n\n\n\n\n\n\n\n\n\n\n\n Participants \n \n\n\n\n\n\n\n\n\n\n\n\n[su_spacer size="10"]\n\n\n\n\n\n\n\n\n\n\n\n\n\n\ nThis is the fourth occurrence of the GT Scalp days\, the annual meeting o rganized by the working group Scalp (“Structures formelles pour le Calcu l et les Preuves” – Formal Structures for Computation and Proofs). Sca lp is a working group of the GDR IM\, the CNRS structure federating resear ch in mathematical aspects of computer science in France.\n\n\n\n\n\n\n\n\ n\n\n\n\n   The GT Scalp animates the French community of researchers wo rking on the mathematical structures behind proofs and programs\; with a f ocus (but not exclusively) on the interface between them. The themes cover ed by Scalp span an array of disciplines ranging from proof theory to the theory of programming  languages. It covers logic or algebraic calculi ( λ-calculi\, term or graph rewriting\, process calculi. . . )\, deduction systems (classical\, intuitionistic\, linear. . . )\, type theory and infe rence systems\, as well as automated or interactive proof systems\, with a pplications to analysis and verification of programs (abstract interpretat ion\, program logics\, tree automata. . . )\, of their quantitative proper ties (complexity analysis\, probabilistic or quantum program analysis\, im plicit algorithmic complexity). The methods used can be syntactic (sequent systems\, type systems\, abstract machines\, induction and co-induction\, proof search. . . ) or semantic (categories\, domains\, games\, vector sp aces\, realizability. . . ).\nThe objective of the GT Scalp days is to let the community meet and exchange recent ideas or developments. It is of pa rticular importance for young researchers\, for whom it is often one of th e first opportunities to meet the French community on their research topic .\n\n\n\n\n\n\n\n\n\n   Cette rencontre est la quatrième occurrence des Journées du GT Scalp\, la rencontre annuelle organisée par le Groupe de Travail Scalp (Structures formelles pour le Calcul et les Preuves) du gro upement de recherche (GDR) Informatique Mathématique du CNRS.\n   Le GT Scalp anime la communauté des chercheurs français travaillant sur les s tructures mathématiques permettant de modéliser preuves et programmes\, avec une attention particulière (mais non exclusive) à l’interface ent re les deux. Le spectre du groupe\, qui s’insère dans un éventail de d isciplines allant de la théorie de la démonstration à la théorie des l angages de programmation\, couvre notamment les systèmes de calcul d’or igine logico-algébrique (lambda-calcul\, réécriture de termes et de gra phes\, calculs de processus)\, les systèmes de déduction logique (classi que\, intuitionniste\, linéaire)\, la théorie des types et les systèmes d’inférence\, ainsi que les outils de preuve automatiques ou interacti fs\, avec des applications à l’analyse et la vérification de programme s (interprétation abstraite\, logiques de programmes\, automates d’arbr es) et de leurs propriétés quantitatives (analyse de complexité\, analy se de programmes probabilistes ou quantiques\, complexité algorithmique i mplicite). Les méthodes employées sont à la fois de nature syntaxique ( séquents\, systèmes de types\, machines abstraites\, induction et coindu ction\, recherche de preuves) et sémantique (catégories\, domaines\, jeu x\, espaces vectoriels\, réalisabilité).\n   Les journées du GT ont p our objectif de permettre à la communauté de se rencontrer et de partage r idées et résultats récents. Elles permettent en particulier aux jeune s chercheuses et jeunes chercheurs de recontrer\, souvent pour la premièr e fois\, la communauté française autour de leur thématique de recherche .\n\n\n\n\n\n\n\n\n\n\n\n\n\n[su_spacer size="10"]\n\n\n\n\n\n\n\n\n\n\n\n \nSPEAKERS\nto be announced\n\n\n\n\n\n\n\n\n\n\n\n\n\n[su_spacer size="10 "]\n\n\n\n\n\n\n\n\n\n\n\n\nSPONSORS\n\n\n\n\n\n\n\n\n\n\n \n\n\n\n\n\n\n \n BQR pôle calcul\nR. Crubillé\n\n\n\n\n\n\n\n \n\n\n\n\n\n\n\n DYVE RSE\nPPS\nRECIPROG\n\n\n\n\n\n[su_spacer size="10"] ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2 023/01/logo_Scalp-x300.png CATEGORIES:Manifestation scientifique,Workshop LOCATION:Luminy - CIRM\, 163 Avenue de Luminy\, Marseille\, 13009\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - CIRM:geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:STANDARD DTSTART:20221030T020000 TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET END:STANDARD END:VTIMEZONE END:VCALENDAR