BEGIN:VCALENDAR VERSION:2.0 PRODID:-//LAMA CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT SUMMARY:Emanuele Salato DTSTART:20240614T120000Z DTEND:20240614T140000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1639/ CATEGORIES: DESCRIPTION:Titre: Dirichlet Eigenvalues with orthogonality constraints\n \nRésumé: URL:https://lama.univ-smb.fr/talks/1639/ END:VEVENT BEGIN:VEVENT SUMMARY:Muhammad Naveed Zafar DTSTART:20240524T120000Z DTEND:20240524T140000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1648/ CATEGORIES: DESCRIPTION:Titre: Numerical Modelling of Historical Tsunamis\n\nRésumé: Mass movements and delta collapses are significant sources of tsunamis\n in lacustrine environments\, impacting human societies enormously.\n Paleo tsunamis studies play an essential role in understanding\n historical even ts and their consequences\, along with their return\n periods. This study investigates a paleotsunami induced by a subaqueous\n mass movement during the Younger Dryas to Early Holocene transition\,\n ca. 11\,700 years ago in Lake Aiguebelette (NW Alps\, France). Utilizing\n high‐resolution sei smic and bathymetric surveys associated with\n sedimentological\, geochemi cal\, and magnetic analyses\, we uncovered a\n paleotsunami triggered by a seismically induced mass transport deposit.\n Numerical simulations of ma ss movement have been conducted using a\n visco‐plastic Herschel‐Bulke ley rheological model and corresponding\n tsunami wave modeled with disper sive and nondispersive models. Our\n findings reveal for the first time th at dispersive effects may be\n negligible for subaqueous landslides in a r elatively small lake. This\n research reconstructs a previously unreported paleotsunami event and\n enhances our understanding of tsunami dynamics i n lacustrine\n environments. URL:https://lama.univ-smb.fr/talks/1648/ END:VEVENT BEGIN:VEVENT SUMMARY:Yen-Chung Hung DTSTART:20240517T120000Z DTEND:20240517T140000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1647/ CATEGORIES: DESCRIPTION:Titre: Hyperbolic hydrodynamic model of breaking waves\n\nRés umé: URL:https://lama.univ-smb.fr/talks/1647/ END:VEVENT BEGIN:VEVENT SUMMARY:Peio Borthelle DTSTART:20240424T120000Z DTEND:20240424T140000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1646/ CATEGORIES: DESCRIPTION:Titre: Formal demo logic with interactive theorem provers\n\n Résumé: URL:https://lama.univ-smb.fr/talks/1646/ END:VEVENT BEGIN:VEVENT SUMMARY:Alexis de Villeroché DTSTART:20240405T120000Z DTEND:20240405T140000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1645/ CATEGORIES: DESCRIPTION:Titre: Shape Optimization\n\nRésumé: I will be the speaker t his time and I'll talk about Shape Optimization.\n I will explain what are the problems that we try to solve and give a\n few examples then I will p resent some of the main tools that we use\n (\\gamma-convergence\, Buttazz o- Dal Maso existence theorem and Lions\n Concentration Compactness princi ple) and finaly if we still have some\n time\, I will try to introduce the work that I'm doing at the moment.\n All of this with maybe some proofs t o give you an idea of how the field\n works. URL:https://lama.univ-smb.fr/talks/1645/ END:VEVENT BEGIN:VEVENT SUMMARY:Colin Weill--Duflos DTSTART:20240213T130000Z DTEND:20240213T150000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1644/ CATEGORIES: DESCRIPTION:Titre: Introduction to Computer Graphics\n\nRésumé: I will i ntroduce the field\, the kind of objects we manipulate\, the sub\n fields and the kind of problems we want to solve... I will also focus\n on discr ete diferential geometry and our current work on trying to\n adapt existin g tools to geometry defined by surfels (surfaces of\n voxels). URL:https://lama.univ-smb.fr/talks/1644/ END:VEVENT BEGIN:VEVENT SUMMARY:Carlos-Rodrigo Cardenas-Bravo DTSTART:20240131T130000Z DTEND:20240131T150000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1643/ CATEGORIES: DESCRIPTION:Titre: Introduction to electrical modeling of photovoltaic so lar modules\n\nRésumé: In this talk\, I will introduce you to the main e lectrical concepts to\n model the electrical response of a solar module. W e will answer some\n questions like 'Why do we need an electrical model?'\ , 'What is the\n electrical data we can extract from the real world?'\, an d 'How do we\n treat such data?'. For this purpose\, the main concepts wil l be\n conceptualized with a simple example. URL:https://lama.univ-smb.fr/talks/1643/ END:VEVENT BEGIN:VEVENT SUMMARY:Téofil Adamski DTSTART:20240110T130000Z DTEND:20240110T150000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1642/ CATEGORIES: DESCRIPTION:Titre: Short introduction to motivic integration\n\nRésumé: Motivic integration is a powerful tool in algebraic geometry for\n studyin g singularities. The theory was conceived by Kontsevich in 1989\n to provi de a shorter proof of Batyrev's theorem. In 2009\, a more\n "modern" form of this theory has emerged\, spearheaded by Cluckers and\n Loeser. First\, I'll talk about p-adic integration and motivations. Then\n I'll try to in troduce the theory's basic objects\, such as model theory\n and Grothendie ck groups. Finally\, if time permits\, I'll set out some\n axioms of the m otivic integral. URL:https://lama.univ-smb.fr/talks/1642/ END:VEVENT BEGIN:VEVENT SUMMARY:Yen-Chung Hung DTSTART:20230324T130000Z DTEND:20230324T150000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1641/ CATEGORIES: DESCRIPTION:Titre: A new hyperbolic model of wave breaking\n\nRésumé: In this study\, we propose a new hyperbolic model capable to capture the\n w ave breaking phenomenon. The modelling of breaking waves is obtained\n by the depth- averaging method of Large-Eddy Simulations (LES) where\n the sm all scale turbulence is modeled by a turbulent viscosity\, whereas\n the l arge scales are taken into account in the model by an anisotropic\n tensor variable called enstrophy. The hyperbolic structure is derived\n by repla cing the depth-averaged non-hydrostatic pressure with an\n additional vari able. The hyperbolisation of the equations is based on\n taking into accou nt the finite character of the sound speed and\n introducing acoustic ener gy into the system. The resulting model can be\n viewed as a hyperbolic ap proximation of the Serre-Green-Naghdi (SGN)\n equations. Additionally\, i t has asymptotic dispersive properties to\n SGN equations as approaching t o infinite sound speed. The treatment of\n breaking wave is to use the so- called switching method which certain\n terms describing the energy dissip ation are activated once the wave\n breaks. So\, we also present a more-ro bust breaking criteria on which\n only depends the local variables. URL:https://lama.univ-smb.fr/talks/1641/ END:VEVENT BEGIN:VEVENT SUMMARY:Yoann Barszezak DTSTART:20221118T130000Z DTEND:20221118T150000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1640/ CATEGORIES: DESCRIPTION:Titre: The nerve of graphs and categories\n\nRésumé: I will be talking about simplicial sets\, which are combinatorial\n objects widel y used in topology. But this time\, I'll explain how some\n of them can ch aracterize graphs\, and by extension categories.\n After defining what sim plicial sets are\, I will show how to associate\n to each graph a simplici al set\, called its nerve. I will then give a\n nerve for partial order an d categories as well. Then\, we will study\n which simplicial sets arise a s nerves from a category\, given by the so-\n called Segal condition. Fina lly\, I will show how to recover graphs\,\n partial orders and categories from their nerve. URL:https://lama.univ-smb.fr/talks/1640/ END:VEVENT BEGIN:VEVENT SUMMARY:Peio Borthelle DTSTART:20221014T120000Z DTEND:20221014T140000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1650/ CATEGORIES: DESCRIPTION:Titre: Introduction to constructivist Logic\n\nRésumé: Most of you probably heard about ZFC\, this formal theory of sets from\n the early 20th that is said to be the fundamental language for modern\n math . Much rarer are the mathematicians that actually make use of it! \n Sin ce the introduction of ZFC\, formal logic has evolved a lot and since\n several decades other formal systems\, more general (some would say more\n useful!) have been brought up. I will try to introduce the motivations\ n for constructive systems\, the links with computation\, and demystify the\n law of excluded middle. URL:https://lama.univ-smb.fr/talks/1650/ END:VEVENT BEGIN:VEVENT SUMMARY:Mickaël Nahon DTSTART:20220602T120000Z DTEND:20220602T140000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1649/ CATEGORIES: DESCRIPTION:Titre: Introduction to the field of shape optimization\n\nR ésumé: URL:https://lama.univ-smb.fr/talks/1649/ END:VEVENT BEGIN:VEVENT SUMMARY:Colin Weill--Duflos DTSTART:20220519T120000Z DTEND:20220519T140000Z DTSTAMP:20260407T142430Z UID:https://lama.univ-smb.fr/talks/1651/ CATEGORIES: DESCRIPTION:Titre: Introduction to Computer Graphics\n\nRésumé: URL:https://lama.univ-smb.fr/talks/1651/ END:VEVENT END:VCALENDAR