Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24617 results Filters Content type Content type (-) Lessons (24248) News (1812) People (1402) (-) Editions (369) Chair (360) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Editions Event Kim Larsen Real-Time Model Checking of Embedded Systems Seminar Documents and media Download support Abstract Kim Larsen is one of the leading figures in formal verification of real-time systems, through the CISS () center he co-founded in Aalborg (Denmark). He is the architect of the UPPAAL (for Uppsala/Aalborg) … 30 Mar 2016 17:30 to 18:30 Event Philippe Descola The uses of land. Cosmopolitics of territoriality (5) Lecture 30 Mar 2016 14:00 to 15:00 Event Jean-Baptiste Rauzy Presumption and justification. On the philosophical use of a legal modality Seminar 30 Mar 2016 16:30 to 18:30 Event Gérard Berry Formal verification of timed programs Lecture Documents and media Download support Download support (pptx) Abstract Timed systems are those for which constraints linked to physical time are essential for correct operation: real-time embedded systems, communication protocols directly dependent on time … 30 Mar 2016 16:00 to 17:30 Event Claudine Tiercelin Reliability and epistemic virtues Lecture Lecture 5 (March 30) focused on the second - reliabilist - axis of virtue epistemology, according to which virtues relate not to character , but to competence and therefore to certain cognitive traits that constitute the agent. The position of its most … 30 Mar 2016 14:30 to 16:00 Event Jean-Luc Fournet Arabic versus Greek (4) : the decisive decades (end of the Umayyad period) (top) Lecture The situation was to change in the first half of the 7th century, a pivotal period in the Arabization of Egypt, when the relationship between Greek and Arabic was reversed in favor of the latter, which would irreversibly triumph in the Abbasid era. For … 30 Mar 2016 11:00 to 12:00 Event Marc Fontecave Enzyme activation: when chemistry replaces biology Lecture Abstract The enzymatic systems used in energy applications are highly complex systems, developed in the course of evolution to ensure complex electron transfer and small molecule activation processes. In particular, they possess highly specific metal … 30 Mar 2016 10:00 to 11:00 Event Jean-Pierre Brun Welcoming participants Symposium 30 Mar 2016 09:00 to 09:30 Event Vincent Laisney Nodier biffin Seminar 29 Mar 2016 17:30 to 18:30 Event Antoine Compagnon A century of literary ragpickers Lecture Voltaire called his opponents ragpickers, but as a humble compiler, he also ascribed the same quality to himself. Denis Diderot is said to have described the Encyclopédie 's contributors in this way. In 1800, Pierre Villiers published a parodic collection … 29 Mar 2016 16:30 to 17:30 Event Jean-Noël Robert Language, Poetry, Awakening : the language universe of Senjûshô (" Extracts from a florilegium ", 13th century) (12) Lecture 29 Mar 2016 10:30 to 11:30 Event Antoine Gaudemet System risk Seminar System risk is the risk that the failure of one financial player, a bank in particular, will spread to the entire financial system and, beyond that, to the real economy. It manifests a de facto solidarity, passive and disordered, which makes financial … 29 Mar 2016 09:15 to 10:45 Series Music : art, technique, knowledge Karol Beffa, chair Artistic creation Seminar 22 Nov 2012 → 17 Jan 2013 Series Music : art, technique, knowledge Karol Beffa, chair Artistic creation Lecture 22 Nov 2012 → 17 Jan 2013 Event José-Alain Sahel Retinal degeneration : pathophysiology Lecture Retinal dystrophies are a very broad group of complex genetic diseases that lead sequentially, and with variable rhythm and distribution, to the loss of function of the rods (night vision) and/or cones (day, color and central vision). We are in fact … 9 Mar 2016 10:30 to 11:30 Event Hélène Dollfus Genetic retinal dystrophies : what rare syndromes tell us Seminar Syndromic hereditary retinal dystrophies are defined by the association of ophthalmological damage with manifestations in one or more other organs, making up a highly heterogeneous group of pathologies on a genetic and biological level. Often regarded as … 9 Mar 2016 11:30 to 12:30 Series Flesh and sky : an interrogation of the ontological foundations of post-war Japan Anne Cheng, chair Chinese Intellectual History Guest lecturer 15 Nov 2012 → 29 Nov 2012 Event Edouard Bard Past and present trends in methane and clathrates Lecture Variations in CH4 content measured in the EPICA Dôme-C ice core in Antarctica can be traced back as far as 800,000 years BP. Long-term fluctuations can be explained by the superposition of cyclical components corresponding to the parameters of the Earth's … 25 Mar 2016 15:00 to 16:00 Event Jean-Yves Chemin The Fourier transform on the Heisenberg group : the " functions " point of view Seminar 25 Mar 2016 11:15 to 12:30 Event Pierre-Louis Lions Singularities and discontinuities in Hamilton-Jacobi equations (14) Lecture 18 Dec 2015 10:00 to 11:00 Event Jean-Luc Fournet Study of Byzantine papyri relating to multilingualism (9) Seminar Knowledge of ancient Greek is required for the seminar. … 24 Mar 2016 15:00 to 17:00 Event Thomas Römer Joseph and the dreams of the cupbearer and the baker (Genesis 40). Pharaoh's dreams and Joseph's ascension (Genesis 41) Lecture Documents and media Download support … 24 Mar 2016 14:00 to 15:00 Event Geremia Cometti Climate change and mining concessions in the Peruvian Andes : the case of the Q'eros and the pilgrimage to Santuario del Señor de Quyllurit'i Seminar 24 Mar 2016 10:00 to 12:00 Event Carlo Ossola Paradigms for a metaphorology II : Words of ice and snow (9) Lecture 23 Mar 2016 17:00 to 18:00 Pagination First page « First Previous page ‹‹ … Page 584 Page 585 Page 586 Page 587 Page 588 Page 589 Page 590 Page 591 Page 592 … Next page ›› Last page Last »
Event Kim Larsen Real-Time Model Checking of Embedded Systems Seminar Documents and media Download support Abstract Kim Larsen is one of the leading figures in formal verification of real-time systems, through the CISS () center he co-founded in Aalborg (Denmark). He is the architect of the UPPAAL (for Uppsala/Aalborg) … 30 Mar 2016 17:30 to 18:30
Event Philippe Descola The uses of land. Cosmopolitics of territoriality (5) Lecture 30 Mar 2016 14:00 to 15:00
Event Jean-Baptiste Rauzy Presumption and justification. On the philosophical use of a legal modality Seminar 30 Mar 2016 16:30 to 18:30
Event Gérard Berry Formal verification of timed programs Lecture Documents and media Download support Download support (pptx) Abstract Timed systems are those for which constraints linked to physical time are essential for correct operation: real-time embedded systems, communication protocols directly dependent on time … 30 Mar 2016 16:00 to 17:30
Event Claudine Tiercelin Reliability and epistemic virtues Lecture Lecture 5 (March 30) focused on the second - reliabilist - axis of virtue epistemology, according to which virtues relate not to character , but to competence and therefore to certain cognitive traits that constitute the agent. The position of its most … 30 Mar 2016 14:30 to 16:00
Event Jean-Luc Fournet Arabic versus Greek (4) : the decisive decades (end of the Umayyad period) (top) Lecture The situation was to change in the first half of the 7th century, a pivotal period in the Arabization of Egypt, when the relationship between Greek and Arabic was reversed in favor of the latter, which would irreversibly triumph in the Abbasid era. For … 30 Mar 2016 11:00 to 12:00
Event Marc Fontecave Enzyme activation: when chemistry replaces biology Lecture Abstract The enzymatic systems used in energy applications are highly complex systems, developed in the course of evolution to ensure complex electron transfer and small molecule activation processes. In particular, they possess highly specific metal … 30 Mar 2016 10:00 to 11:00
Event Antoine Compagnon A century of literary ragpickers Lecture Voltaire called his opponents ragpickers, but as a humble compiler, he also ascribed the same quality to himself. Denis Diderot is said to have described the Encyclopédie 's contributors in this way. In 1800, Pierre Villiers published a parodic collection … 29 Mar 2016 16:30 to 17:30
Event Jean-Noël Robert Language, Poetry, Awakening : the language universe of Senjûshô (" Extracts from a florilegium ", 13th century) (12) Lecture 29 Mar 2016 10:30 to 11:30
Event Antoine Gaudemet System risk Seminar System risk is the risk that the failure of one financial player, a bank in particular, will spread to the entire financial system and, beyond that, to the real economy. It manifests a de facto solidarity, passive and disordered, which makes financial … 29 Mar 2016 09:15 to 10:45
Series Music : art, technique, knowledge Karol Beffa, chair Artistic creation Seminar 22 Nov 2012 → 17 Jan 2013
Series Music : art, technique, knowledge Karol Beffa, chair Artistic creation Lecture 22 Nov 2012 → 17 Jan 2013
Event José-Alain Sahel Retinal degeneration : pathophysiology Lecture Retinal dystrophies are a very broad group of complex genetic diseases that lead sequentially, and with variable rhythm and distribution, to the loss of function of the rods (night vision) and/or cones (day, color and central vision). We are in fact … 9 Mar 2016 10:30 to 11:30
Event Hélène Dollfus Genetic retinal dystrophies : what rare syndromes tell us Seminar Syndromic hereditary retinal dystrophies are defined by the association of ophthalmological damage with manifestations in one or more other organs, making up a highly heterogeneous group of pathologies on a genetic and biological level. Often regarded as … 9 Mar 2016 11:30 to 12:30
Series Flesh and sky : an interrogation of the ontological foundations of post-war Japan Anne Cheng, chair Chinese Intellectual History Guest lecturer 15 Nov 2012 → 29 Nov 2012
Event Edouard Bard Past and present trends in methane and clathrates Lecture Variations in CH4 content measured in the EPICA Dôme-C ice core in Antarctica can be traced back as far as 800,000 years BP. Long-term fluctuations can be explained by the superposition of cyclical components corresponding to the parameters of the Earth's … 25 Mar 2016 15:00 to 16:00
Event Jean-Yves Chemin The Fourier transform on the Heisenberg group : the " functions " point of view Seminar 25 Mar 2016 11:15 to 12:30
Event Pierre-Louis Lions Singularities and discontinuities in Hamilton-Jacobi equations (14) Lecture 18 Dec 2015 10:00 to 11:00
Event Jean-Luc Fournet Study of Byzantine papyri relating to multilingualism (9) Seminar Knowledge of ancient Greek is required for the seminar. … 24 Mar 2016 15:00 to 17:00
Event Thomas Römer Joseph and the dreams of the cupbearer and the baker (Genesis 40). Pharaoh's dreams and Joseph's ascension (Genesis 41) Lecture Documents and media Download support … 24 Mar 2016 14:00 to 15:00
Event Geremia Cometti Climate change and mining concessions in the Peruvian Andes : the case of the Q'eros and the pilgrimage to Santuario del Señor de Quyllurit'i Seminar 24 Mar 2016 10:00 to 12:00
Event Carlo Ossola Paradigms for a metaphorology II : Words of ice and snow (9) Lecture 23 Mar 2016 17:00 to 18:00