BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250114T104500
DTEND;TZID=Europe/Paris:20250114T114500
DTSTAMP:20260421T154125
CREATED:20250121T094507Z
LAST-MODIFIED:20250121T094507Z
UID:11774-1736851500-1736855100@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Abdallah Saffidine (Univ. South New Wales\, Sydney\, Australie)\, « Generalizing Roberts’ characterization of unit interval graphs? How not to do it! »
DESCRIPTION:A celebrated result by Roberts [1969] establishes that an interval graph can be represented by unit-length intervals on the real line if and only if no vertex has three non-adjacent neighbors. In 2016\, Durán et al. conjectured a generalization of this result\, which we recently investigated. We ran an industrial mixed integer programming (MIP) solver on a cluster for several months\, looking for a counter-example to the conjecture. With no success in sight\, we decided another approach was needed. Going back to the drawing board was surprisingly successful: not only did we prove the conjecture to be true; but we also proved it to be false by exhibiting a counter-example that would have eluded our MIP solver for decades. This talk resolves this apparent inconsistency and can serve as a very gentle introduction to structural graph theory. \nBased on joint work with Virginia Ardévol Martínez\, Romeo Rizzi\, Florian Sikora\, and Stéphane Vialette\, MFCS 2024.
URL:https://www.greyc.fr/event/seminaire-algorithmique-abdallah-saffidine-univ-south-new-wales-sydney-australie-generalizing-roberts-characterization-of-unit-interval-graphs-how-not-to-do-it/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250121T104500
DTEND;TZID=Europe/Paris:20250121T114500
DTSTAMP:20260421T154125
CREATED:20250121T085857Z
LAST-MODIFIED:20250121T085937Z
UID:11772-1737456300-1737459900@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Djamel Eddine Amir (LISN\, Univ. Paris-Saclay) « Computability of Compact Spaces »
DESCRIPTION:The topological properties of a set have a strong impact on its computability properties. A striking illustration of this idea is given by spheres\, closed manifolds and finite graphs without endpoints: if a set X is homeomorphic to a sphere\, a closed manifold or such a graph\, then any algorithm that semicomputes X in some sense can be converted into an algorithm that fully computes X. In other words\, the topological properties of X enable one to derive full information about X from partial information about X. In that case\, we say that X has computable type. Those results have been obtained by Miller and Iljazović and others in recent years. We give a characterization of finite simplicial complexes having computable type using a local property of stars of vertices. We argue that the stronger\, relativized version of computable type\, is better behaved. Consequently\, we obtain characterizations of strong computable type\, related to the descriptive complexity of topological invariants. We study two families of topological invariants of low descriptive complexity\, expressing the extensibility and the null-homotopy of continuous functions. We apply the theory to revisit previous results and obtain new ones. This leads us to investigate the expressive power of low complexity invariants in the Borel hierarchy and their ability to differentiate between spaces. Notably\, we show that they are sufficient for distinguishing finite topological graphs.
URL:https://www.greyc.fr/event/seminaire-algorithmique-djamel-eddine-amir-lisn-univ-paris-saclay-computability-of-compact-spaces/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250122T140000
DTEND;TZID=Europe/Paris:20250122T150000
DTSTAMP:20260421T154125
CREATED:20250113T092247Z
LAST-MODIFIED:20250113T092247Z
UID:11762-1737554400-1737558000@www.greyc.fr
SUMMARY:Maxime Bérubé - LAB404 et investigation numérique dans le métavers
DESCRIPTION:Les cybercriminels\, qu’il s’agisse de fraudeurs ou d’auteurs d’intimidations et de menaces en ligne\, adaptent constamment leurs méthodes aux évolutions technologiques. Les environnements virtuels\, ou « métavers »\, illustrent particulièrement bien cette dynamique en ouvrant la voie à de nouvelles formes d’escroqueries et de comportements malveillants. Ces espaces numériques combinant interactions sociales et transactions dématérialisées posent des défis inédits en matière de sécurité et d’investigation.\nCette présentation se propose d’analyser les enjeux liés aux environnements virtuels\, en mettant l’accent sur l’exploitation des traces numériques pour identifier et contrer ces activités criminelles. Nous explorerons les opportunités offertes par l’analyse des données issues des casques de réalité virtuelle et des appareils connectés\, ainsi que celles disponibles auprès des fournisseurs de services\, des applications tierces et des plateformes de cryptomonnaies. Des cas concrets permettront d’illustrer les mécanismes sous-jacents aux fraudes et aux actes d’intimidation en ligne\, tout en mettant en avant des pistes méthodologiques adaptées aux professionnels de l’investigation numérique et de la cybersécurité.
URL:https://www.greyc.fr/event/maxime-berube-lab404-et-investigation-numerique-dans-le-metavers/
LOCATION:Sciences 3- S3 351
CATEGORIES:General,News,Safe,Séminaire Cryptologie et sécurité
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250128T104500
DTEND;TZID=Europe/Paris:20250128T114500
DTSTAMP:20260421T154125
CREATED:20250127T162127Z
LAST-MODIFIED:20250127T162310Z
UID:11779-1738061100-1738064700@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Geoffroy Caillat-Grenier (LIRMM\, Univ. Montpellier)\, « From combinatorics of graphs to communication complexity in algorithmic information theory »
DESCRIPTION:Several connexions between information theory and combinatorics of graphs have been explored in the last decades. Following this path\, we use tools from spectral graph theory to show impossibility results in information theoretic cryptography. We place ourselves in the Kolmogorov complexity framework. After a short introduction to algorithmic information theory and secret key agreement\, we will study some spectral and combinatorial properties of bipartite graphs explicitly constructed. \nThose graphs can represent the inputs for a communication problem. Spectral and combinatorial properties of these objects imply information  inequalities that make impossible some communication protocols for secret key agreement. For instance\, if the graph representing the inputs of the secret key agreement is a spectral expander\, we get the worst case in terms of communication complexity. Moreover\, the communication protocol is inherently uneven: for two participants\, only one of them needs to send all the needed information. Theses facts are connected to the mutual information unextractability phenomenon.
URL:https://www.greyc.fr/event/seminaire-algorithmique-geoffroy-caillat-grenier-lirmm-univ-montpellier-from-combinatorics-of-graphs-to-communication-complexity-in-algorithmic-information-theory/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250130T080000
DTEND;TZID=Europe/Paris:20250207T170000
DTSTAMP:20260421T154125
CREATED:20250130T151219Z
LAST-MODIFIED:20250130T151232Z
UID:11784-1738224000-1738947600@www.greyc.fr
SUMMARY:[Forum] L’intelligence artificielle : vecteur de transformation des services à l’industrie nucléaire
DESCRIPTION:Le Forum intitulé « L’intelligence artificielle : vecteur de transformation des services à l’industrie nucléaire » est organisé le 5 et 6 février 2025 à l’IUT Grand Ouest Normandie à Cherbourg-en-Cotentin. \nLe programme est visible ici. \nVous pouvez vous inscrire pour y assister : ici.
URL:https://www.greyc.fr/event/11784/
CATEGORIES:General,News
END:VEVENT
END:VCALENDAR