Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Martin Vassor

@Bromind@framapiaf.org
mastodon 4.5.14
  • Open on framapiaf.org

Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy.

Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence.

---

Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.

0 Followers
0 Following
7 Posts
Joined April 11, 2017
Site:
http://vassor.org/
orcid:
https://orcid.org/0000-0002-2057-0495

Posts

Open post
Bromind
Martin Vassor @Bromind@framapiaf.org · May 11, 2026
Martin Vassor
@Bromind@framapiaf.org

Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.

framapiaf.org
Replying to @iergo@mamot.fr
@iergo@mamot.fr @badscooter@bzh.social Raphaël a totalement raison, la gaine est flinguée, il faudra la changer. Aussi, on ne le voit pas sur la video, mais il y a de bonnes chances que le cable lui-même soit HS (puisque gaine plus étanche => cable rouillé), donc à changer ensuite. Si tu as des doutes, il y a sans doute une asso qui peut t'aider pas loin de chez toi :-)
0
1
0
0
Open post
Bromind
Martin Vassor @Bromind@framapiaf.org · Apr 27, 2026
Martin Vassor
@Bromind@framapiaf.org

Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.

framapiaf.org

https://www.franceinfo.fr/economie/medias/france-televisions/le-rapport-du-depute-charles-alloncle-sur-l-audiovisuel-public-a-ete-adopte-par-la-commission-d-enquete_7967558.html

« voter contre ça peut être perçu comme un rejet et avoir de la suspicion sur l'ensemble de l'institution parlementaire »

=> Non. Voter contre un mauvais travail, c'est au contraire montrer qu'on est capable de discernement, et ça donne donc plus de poids aux votes. En approuvant tous les travaux, ça donne l'impression que tout se vaut, et donc montre l'incapacité critique ainsi que le manque d'exigence des commissions.

0
0
0
0
Open post
Bromind
Martin Vassor @Bromind@framapiaf.org · Apr 27, 2026
Martin Vassor
@Bromind@framapiaf.org

Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.

framapiaf.org

@mtriclot@aleph.land bel article qui devrait te plaire : https://www.lemonde.fr/m-le-mag/article/2026/04/24/les-supporteurs-a-la-rescousse-du-fc-sochaux-montbeliard-on-veut-montrer-qu-une-autre-voie-est-possible-dans-le-football_6683003_4500055.html

0
1
0
0
Open post
Bromind
Martin Vassor @Bromind@framapiaf.org · Apr 06, 2026
Martin Vassor
@Bromind@framapiaf.org

Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.

framapiaf.org
Replying to @pixelsfr@mastodon.social
@pixelsfr ping @undonecs
0
0
0
0
Open post
Bromind
Martin Vassor @Bromind@framapiaf.org · Apr 06, 2026
Martin Vassor
@Bromind@framapiaf.org

Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.

framapiaf.org
Replying to @kfort@social.sciences.re
@kfort Au moins on a du soleil aujourd'hui :)
1
2
0
0
Open post
Bromind
Martin Vassor @Bromind@framapiaf.org · Apr 05, 2026
Martin Vassor
@Bromind@framapiaf.org

Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.

framapiaf.org
Replying to @memoire2cite@mastodon.social
@memoire2cite ping @quota_atypique :-)
0
0
0
0
Open post
Bromind
Martin Vassor @Bromind@framapiaf.org · Mar 05, 2026
Martin Vassor
@Bromind@framapiaf.org

Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.

framapiaf.org
Replying to @plushtodon@social.epfl.ch
@plushtodon@social.epfl.ch @Satellite@social.epfl.ch « Satellite »... Ce nom tu vois il semble vraiment resurgir d’outre tombe.
1
0
0
0

Remote instance

framapiaf.org
Open on original server
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 00:04:25 UTC