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:20250130T080000
DTEND;TZID=Europe/Paris:20250207T170000
DTSTAMP:20260421T140110
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
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250204T104500
DTEND;TZID=Europe/Paris:20250204T114500
DTSTAMP:20260421T140110
CREATED:20250204T142044Z
LAST-MODIFIED:20250204T142044Z
UID:11789-1738665900-1738669500@www.greyc.fr
SUMMARY:Séminaire algorithmique : Béatrice Bérard (LIP6\, Sorbonne Univ.)\, « The reachability problem for Polynomial Interrupt Timed Automata»
DESCRIPTION:Hybrid automata form an expressive model to describe systems combining continuous and discrete evolution modes. However\, most verification problems are undecidable for this model. \nWe recall the particular case of Timed Automata where the reachability problem is PSPACE-complete. We introduce the class of Interrupt Timed Automata featuring special clocks called stopwatches that can be suspended. We show how to decide reachability when these automata are extended with polynomial constraints\, using techniques from computer algebra.
URL:https://www.greyc.fr/event/seminaire-algorithmique-beatrice-berard-lip6-sorbonne-univ-the-reachability-problem-for-polynomial-interrupt-timed-automata/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250205T140000
DTEND;TZID=Europe/Paris:20250205T150000
DTSTAMP:20260421T140110
CREATED:20250130T090851Z
LAST-MODIFIED:20250130T090851Z
UID:11781-1738764000-1738767600@www.greyc.fr
SUMMARY:Abderrahmane Nitaj - The last decade of the RSA cryptosystem
DESCRIPTION:NIST recently released a publication related to the transition to Post-Quantum Cryptography which specifies that most of the public key classical cryptosystems\, especially RSA will be officially deprecated by 2030 and banned after 2035. In this talk\, I will review the limits of the main cryptanalytical attacks on RSA\, and present two new variants of RSA based on the cubic Pell curve.
URL:https://www.greyc.fr/event/abderrahmane-nitaj-the-last-decade-of-the-rsa-cryptosystem/
LOCATION:Sciences 3- S3 351
CATEGORIES:General,News,Safe,Séminaire Cryptologie et sécurité
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250225T104500
DTEND;TZID=Europe/Paris:20250225T114500
DTSTAMP:20260421T140110
CREATED:20250204T142225Z
LAST-MODIFIED:20250228T160524Z
UID:11791-1740480300-1740483900@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Enumeration Classes Defined by Circuits »\, Arnaud Durand (IMJ\, Univ. Paris-Diderot)
DESCRIPTION:Enumerating is the task of generating all solutions associated with an instance of a computational problem. We refine the complexity landscape for enumeration problems by introducing very low classes defined by using Boolean circuits as enumerators. We locate well-known enumeration problems\, e.g.\, from graph theory\, Gray code enumeration\, and propositional satisfiability in our classes. In this way we obtain a framework to distinguish (conditionally but also unconditionally) between the complexity of different problems known to be computable with polynomial delay\, for which a formal way of comparison was not possible to this day. The approach offers a different measure of efficient enumeration such as the one defined using Constant Delay in the context of enumeration for query answering. \nJoint work with Nadia Creignou and Heribert Vollmer.
URL:https://www.greyc.fr/event/seminaire-algorithmique-arnaud-durand-imj-univ-paris-diderot/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250226T140000
DTEND;TZID=Europe/Paris:20250226T150000
DTSTAMP:20260421T140110
CREATED:20250326T130007Z
LAST-MODIFIED:20250130T091656Z
UID:11776-1740578400-1740582000@www.greyc.fr
SUMMARY:Pascal Marchand - A la recherche des signes complotistes en ligne: exploration et expérimentation par la textométrie.
DESCRIPTION:On se situera à l’intersection des sciences de données et des sciences cognitives pour qualifier formellement les rhétoriques et représentations mobilisées dans les commentaires en ligne sur la vaccination. Le corpus (135 620 textes\, 5 481 450 occurrences et 53 835 formes lexicales) fait d’abord l’objet d’une classification hiérarchique descendante (CDH). Pour l’interpréter\, on mobilise un modèle de traitement sociocognitif qui caractérise l’orientation descriptive (valeur informationnelle) versus évaluative (valeur sociale) des commentaires et la mise en place de biais cognitifs. On a également recours à des modèles de langage (LLM) pour tenter de qualifier les classes lexicales et d’identifier les propos complotistes. Dans un deuxième temps\, une approche plus expérimentale analyse la bande vocale de Hold-Up : Retour sur un chaos (2020) et effectue un merge de classes des deux CDH et une analyse des correspondances lexicales (AFC). On montre ainsi quatre formes argumentatives différentes dont l’une ouvre la possibilité d’une radicalisation complotiste.
URL:https://www.greyc.fr/event/pascal-marchand-a-la-recherche-des-signes-complotistes-en-ligne-exploration-et-experimentation-par-la-textometrie/
LOCATION:Sciences 3- S3 351
CATEGORIES:General,News,Safe,Séminaire Cryptologie et sécurité
END:VEVENT
END:VCALENDAR