Sciences du logiciel - Xavier Leroy
Collège de FranceÉ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 ... more
| Publishes | Twice weekly | Episodes | 100 | Founded | 3 years ago |
|---|---|---|---|---|---|
| Language |  French | Category | Technology | ||
Listen to this Podcast
Latest Episodes
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language
Daan Leijen
Microsoft Research
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et le... more
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs
Matija Pretnar
Université de Ljubljana
Xavier Leroy
Collège de France
Science du logiciel
Année 2023-2024
07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets
Chart Rankings
How this podcast ranks in the Apple Podcasts, Spotify and YouTube charts.
Apple Podcasts | #47 |  South Korea/Technology |
Audience Metrics
Listeners, social reach, demographics and more for this podcast.
| Gender Skew | Location | Interests | |||
|---|---|---|---|---|---|
| Professions | Age Range | Household Income | |||
| Social Media Reach | |||||
Frequently Asked Questions About Sciences du logiciel
Where can I find podcast stats for Sciences du logiciel?
Rephonic provides a wide range of podcast stats for Sciences du logiciel. We scanned the web and collated all of the information that we could find in our comprehensive podcast database. See how many people listen to Sciences du logiciel and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.
How many listeners does Sciences du logiciel get?
Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for Sciences du logiciel, including podcast download numbers and subscriber numbers, so you can make better decisions about which podcasts to sponsor or be a guest on. You will need to upgrade your account to access this premium data.
What are the audience demographics for Sciences du logiciel?
Rephonic provides comprehensive predictive audience data for Sciences du logiciel, including gender skew, age, country, political leaning, income, professions, education level, and interests. You can access these listener demographics by upgrading your account.
How many subscribers and views does Sciences du logiciel have?
To see how many followers or subscribers Sciences du logiciel has on Spotify and other platforms such as Castbox and Podcast Addict, simply upgrade your account. You'll also find viewership figures for their YouTube channel if they have one.
Which podcasts are similar to Sciences du logiciel?
These podcasts share a similar audience with Sciences du logiciel:
How many episodes of Sciences du logiciel are there?
Sciences du logiciel launched 3 years ago and published 100 episodes to date. You can find more information about this podcast including rankings, audience demographics and engagement in our podcast database.
How do I contact Sciences du logiciel?
Our systems regularly scour the web to find email addresses and social media links for this podcast. We scanned the web and collated all of the contact information that we could find in our podcast database. But in the unlikely event that you can't find what you're looking for, our concierge service lets you request our research team to source better contacts for you.
Where can I see ratings and reviews for Sciences du logiciel?
Rephonic pulls ratings and reviews for Sciences du logiciel from multiple sources, including Spotify, Apple Podcasts, Castbox, and Podcast Addict.
View all the reviews in one place instead of visiting each platform individually and use this information to decide if a show is worth pitching or not.
How do I access podcast episode transcripts for Sciences du logiciel?
Rephonic provides full transcripts for episodes of Sciences du logiciel. Search within each transcript for your keywords, whether they be topics, brands or people, and figure out if it's worth pitching as a guest or sponsor. You can even set-up alerts to get notified when your keywords are mentioned.