Relaterat
-
Depuis 2017, Vinciane Pirenne-Delforge est titulaire de la chaire Religion, histoire et société dans le monde grec antique. Les différents termes de cet intitulé désignent les éléments constitutifs de l'enseignement de la chaire et des recherches qui le fondent. Ainsi, le recours aux méthodes éprouvées de la démarche historico-philologique et la mise à profit des apports de l'anthropologie historique permettent d'appréhender l'étroite imbrication de ce que nous appelons « religion » dans les différents aspects de la vie sociale, politique, culturelle, voire économique, du monde grec. Ce dernier est envisagé au sens large de tous les lieux où les Grecs se sont établis, par la fondation de cités.
La religion grecque est un polythéisme, ce qui évoque d'emblée une multiplicité de figures divines. Mais la pluralité qu'exprime le terme ne concerne pas seulement les entités suprahumaines auxquelles les Grecs ont rendu hommage pendant presque un millénaire. Toutes les composantes de leur religion, des représentations aux pratiques, relèvent d'un large éventail de possibles, non pas fondés sur des dogmes ou sur une révélation, mais sur des normes culturellement déterminées et des traditions narratives. Afin de comprendre un tel foisonnement de dieux et de rituels, il convient d'en restituer soigneusement les contextes et de faire droit à la complexité d'une culture dont l'apparente familiarité est un héritage trompeur. L'objectif des recherches menées au sein de la présente chaire est précisément de rendre compte des lignes de force qui structurent l'imaginaire des Grecs, ainsi que des pratiques qu'il induit et qui le constituent.
-
Écrire un petit programme informatique est facile. Concevoir et réaliser un logiciel complet qui soit fiable, pérenne et résistant aux attaques reste extraordinairement difficile. C'est le but des sciences du logiciel que de concevoir et développer les principes, les formalismes mathématiques, les techniques empiriques et les outils informatiques nécessaires pour concevoir, programmer et vérifier des logiciels fiables et sécurisés.
L'enseignement de la chaire Sciences du logiciel vise à explorer cette problématique et à présenter la recherche contemporaine dans ce domaine. Le cours privilégie les approches dites « formelles », par opposition à l'empirisme souvent de mise en génie logiciel. Ces approches s'appuient sur des fondements mathématiquement rigoureux, connus ou en émergence : sémantiques formelles, logiques de programmes, systèmes déductifs, équivalences de programmes, calculs de processus… Historiquement, ces concepts ont émergé de considérations de programmation très terre-à-terre avant de se parer de rigueur mathématique. Le cours s'efforce de retracer ce cheminement des idées en partant de l'intuition du programmeur et en allant jusqu'à la mécanisation de ces approches formelles.
Les premières années de cet enseignement auraient pu s'intituler « Programmer, démontrer », car ils ont exploré plusieurs modes d'interaction entre la programmation de logiciels et la démonstration d'énoncés mathématiques : programmer puis démontrer, comme dans les logiques de programmes pour la vérification déductive ; programmer pour démontrer, comme dans les logiques constructives et l'assistant à la démonstration Coq ; enfin, programmer égale démontrer, comme dans la féconde correspondance de Curry-Howard, objet de la première année du cours.
La recherche de la chaire Sciences du logiciel s'effectue dans le cadre de l'équipe-projet Cambium, commune avec l'Inria. Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en faisant progresser les langages de programmation et les méthodes de vérification formelle de programmes. Les principaux thèmes de recherche sont les systèmes de types et les algorithmes d'inférence de types, la vérification déductive de programmes, le parallélisme à mémoire partagée, et les modèles mémoires faiblement cohérents. L'équipe conçoit et développe deux grands logiciels de recherche qui intègrent et font passer dans la pratique bon nombre de ses résultats : OCaml, un langage de programmation fonctionnel statiquement typé et son implémentation, et CompCert, un compilateur formellement vérifié pour logiciels embarqués critiques.
-
If you want to start a coaching business or personal brand inside the creator econonmy — but aren't sure how to put the puzzle pieces together — this show is for you.
In the Creators Corner, Brian Ellwood shares the successes (and failures) along his journey to building a six-figure online coaching business inside two different niches, and publishing three books..
Creators Corner will give you the step-by-step instructions on how to build a creator business that makes the income and impact you desire. -
Welcome to the Yogipreneur Podcast, brought to you by Digital Yoga Academy - the leader in business and marketing education for yoga teachers worldwide.
The Yogipreneur is for entrepreneurial yoga teachers who want to stop the hustle and overwhelm and instead create more income, freedom and success.
In each episode, you'll learn business and marketing strategies to grow your community in a way that makes it easy for you to take action today.
Hosted by Kelly McHugh, the founder of Digital Yoga Academy, yoga business coach, marketing expert, entrepreneur and yoga teacher.
Discover why thousands of yoga teachers worldwide work with Kelly to successfully fill their offerings, get over their fears of being visible online, implement simple marketing strategies that get results, and turn their side hustles into profitable and sustainable yoga businesses.
Now is the time to make a much bigger impact in the world.
Are you ready? -
Joachim Meire van Surfcatalyst gaat in gesprek met surfers en kitesurfers die een stempel drukken op de surfcultuur in de Lage Landen.
-
Școala Sportivă este o serie de interviuri cu personalități din lumea sportului din România și nu numai. Invitații își împărtășesc părerile și experiențele privind practicarea sportului încă din copilărie. Scopul podcastului Școala Sportivă este de a deveni o sursă locală de educație sportivă în rândul tinerilor. Podcast găzduit de jurnalistul Mircea Meșter.
-
Every week we talk to elite coaches, performance staff and scientists about coaching, personal development and developing players.
-
Vous pouvez télécharger l'intégralité du cours sur notre site Web : www.linguaboost.com « LinguaBoost Néerlandais » est un cours audio pour les débutants ou pour tous ceux qui ont du mal à maîtriser le néerlandais. L'objectif de ce cours est de pratiquer le néerlandais conversationnel dès la toute première leçon. Chaque leçon contient des phrases quotidiennes utiles liées à un sujet spécifique.
-
Louise Carton (26) is één van de grootste talenten uit de Belgische atletiek van deze generatie. Ze won al drie keer het BK veldlopen, één keer het EK en in 2016 ging ze naar de Olympische Spelen in Rio én werd ze uitgeroepen tot Sportbelofte van het Jaar. Voor de buitenwereld is Louise een succesverhaal, maar achter de schermen verliest ze al acht jaar de controle. Louise kampt al jaren met een eetstoornis.
-
In onze jaarlijkse reeks zullen we tijdens de maand Ramadan, kennis en adviezen delen die te maken hebben met deze prachtige maand.
-
Podcasts van de Logistieke Opleiding Jij+Logistiek
Interviews met logistieke experts vanuit verschillende logistieke bedrijven of vanuit logistieke opleidingen.
Expert geven een een duidelijk beeld van de huidige status van de logistiek, maar geven ook een toekomstbeeld van de Logistiek over de nabije en verre toekomst. De experts zijn afkomstig vanuit het bedrijfsleven en vanuit het Logistieke onderwijsveld. De inhoud van de Podcasts zijn zowel geschikt voor Logistiek medewerkers MBO-niveau 2 en voor Logistiek Teamleiders MBO-niveau 3.
De podcast hebben dezelfde naam als de module-namen. -
Join me as I write my 4th non fiction book, from the very first stages of planning and research, to publication day, and beyond! As I research the book, I'll be talking to a variety of book authors, writers, and experts in women's health, and recording our conversations for the podcast. I'll also be keeping a diary of my progress on the book, and sharing with you my research and writing progress, on my substack The Book Forge.
millihill.substack.com -
Le monde de la formation évolue et se complexifie à une vitesse fulgurante. Chaque mois, C’est quand la pause ? vous propose un temps de réflexion en explorant les enjeux, défis et opportunités du domaine pour vous permettre d’appréhender sereinement le futur de l’apprentissage.Chaque épisode suit une recette similaire, mobilise des ingrédients identiques, mais vous propose une expérience unique. Nos actualités · Jérôme, Lionel & Nicolas vous partagent leurs explorations et évolutions personnelles dans le monde de la formation. Trois tendances · Jérôme, Lionel & Nicolas choisissent chacun une tendance pédagogique qu’ils synthétisent et décryptent ensemble pour vous permettre de mieux l’appréhender. Des recommandations · Chaque épisode se conclut par des idées, vidéos, lectures, outils ou conférences à découvrir pour inspirer vos pratiques pédagogiques. Une bonne ambiance · CQLP, c’est surtout trois amis qui partagent leurs pratiques en mélangeant humour et références scientifiques.N'hésitez pas à réagir au podcast sur Twitter grâce au hashtag #CQLPAnimé par :Jérôme Robyns, @JeroRobyns (https://twitter.com/JeroRobyns) Lionel Meinertzhagen, @marginal (https://twitter.com/Marginal) Nicolas Roland, @nicolasroland (https://twitter.com/nicolasroland) Hébergé par Ausha. Visitez ausha.co/fr/politique-de-confidentialite pour plus d'informations.
-
LE PODCAST DE LA COMM' INTERNE ET DE L'EMPLOYEUR BRANDING. Inside comm' a pour vocation de partager conseils et bonnes pratiques.
On le sait, 2020 fut une année charnière dans le monde du travail.
Le rôle de la communication interne et de la marque employeur a beaucoup évolué.
Je suis Hélène Renaud, la fondatrice d'Absolute Agency, une agence de communication full service active en communication interne depuis près de 10 ans.
Hébergé par Ausha. Visitez ausha.co/fr/politique-de-confidentialite pour plus d'informations. -
Dé trading podcast van Nederland met het team van FXminds. Leer handelen en beleggen op de financiële markten en ontdek de beste inzichten en tips op gebied van traden, beleggen, persoonlijke financiën, risicomanagement, mindset, technische analyse, fundamentele analyse, forex, aandelen, crypto en alle andere onderwerpen die jou kunnen helpen naar het verbeteren van jouw persoonlijke financiële situatie.
Bij FXminds zijn wij er namelijk van overtuigd dat een verbeterde financiële situatie indirect kan zorgen voor meer vrijheid en een gelukkig leven.
-
Do you have a dream remodeling, renovation or home improvement project planned for your kitchen, bathroom, basement, roof, exterior, backyard, patio or house addition? If so, listen to the Build It Coach hosted by Dale Scriven-PMP®, DBIA, as he teaches homeowners, property owners, and house flippers expert strategies of how to manage a construction project from the beginning to the end. Obtain authentic strategies not revealed on DIY Network and HGTV.
You will learn how to increase your property value while avoiding deceptive construction industry practices that lead to frustration, sleepless nights, money loss and catastrophic project failure.
Unearth practical knowledge that allows your project to be delivered on time, under budget without being ripped off. Discover how to find and hire reliable Interior Designers, Architects, Engineers, and Contractors. Topics discussed include architecture, engineering, interior design, construction materials, technology, building codes, foundations, carpentry, painting, exterior work, electrical, plumbing. mechanical (HVAC), energy conservation, landscaping, drawings, specifications, insurance, contracts, bonding, and safety.
Uncover the budget-busting schemes General Contractors and Subcontractors use to justify expensive change orders that originate from unclear scopes of work, drawing conflicts, time delays, and fraudulent legal claims.
Get a real understanding of rehab conflicts viewed on popular shows like Property Brothers, Fixer Upper, Flip or Flop, Christina on the Coast, Home Town, House Hunters, Kitchen Crashers, Love It or List It, Rehab Addict, Bath Crashers, This Old House, and Man Caves. -
Annonce importante
-
JUVO provides better insight into your data, giving you an enhanced understanding and a higher return from your data. We offer 3 data solutions: enable, build en optimize.
-
These are recordings of ANU public lectures and special events that are categorised by law
-
Would you give up a successful broadcasting career to become a teacher? What are the challenges facing modern teachers? Becoming a teacher requires learning a variety of skills, from reflective learning to mentoring, and in this series we follow two student teachers currently on the Open University PGCE course as they learn about their profession. We hear personal testimony and actuality from classrooms, mentoring and tutoring sessions, giving an insight into how teachers can develop their skills throughout their careers. The series Learning to Teach also includes the personal testimony from former Radio 2 broadcaster Jonny Saunders, who gave up his career working alongside Chris Evans to become a teacher, and reflections from broadcaster and author Tom Holland, children's television presenter Sidney Sloane and actor Mark Williams on the teachers that inspired them.
