#csUnplugged

Martin Quinson ⏚emptty
2026-01-01

To start the new year, I wrote a summary of what I did as a researcher in computer science and professor in 2025. FWIW.

people.irisa.fr/Martin.Quinson

I speak of , software model-checking and exhaustive testing of digital infrastructures, , , and among other things.

SamInstaSamChaTICE
2025-05-04

Abbayes de Prémontrés à Pont-à-Mousson. Chouette lieu pour un colloque sur l’IA en éducation. Présent pour partager 3 activités d’informatique débranchée avec une foultitude d’élèves et d’enseignants scrutateurs et participatifs

May 04, 2025 at 08:22AM

via Instagram instagr.am/p/DJOK_2kou7S/

A group of people wearing purple shirts, labeled "Ambassadeurs Numériques," are engaged in activities in a bright room. Some are gathered around a projection screen displaying a game, while others are at tables with materials for workshops and presentations.A historic building with large windows and a tall bell tower is shown on the left side, surrounded by a lush garden featuring neatly trimmed hedges and lavender. Sunlight illuminates the scene, and a couple is walking through the garden.A courtyard featuring well-maintained gardens surrounded by historic buildings with large windows. The architecture includes a church-like structure with tall spires and a slate roof, set against a clear blue sky.
Julien Narbouxjnarboux
2024-09-11

Le tome 2 du Tangente Éducation sur l’informatique débranchée est sorti.

Couverture de numéro 67-68 de Tangente éducation
2024-08-23

C’est la reprise pour #csunplugged #informatiqueDébranchée. Voici la capsule explicative pour aborder l’IA par apprentissage supervisé au collège et lycée en mode débranché. Activité conçue par la Maison des Mathématiques et de l’Informatique de Lyon.
tube-numerique-educatif.apps.e #ia

2024-01-07

J’ai enfin posté la vidéo qui explique comment sont fabriquées les cartes perforées et vérificateurs du jeu Turing Machine de @YoannLevet édité chez @Scorpionmasque #boardgames #jeuxDeSociété #informatiqueDébranchée #scienceInformatique #csunplugged tube-numerique-educatif.apps.e

Volker Stolzfm_volker
2023-08-16

Gonna play some finite automata with the new students tomorrow!

classic.csunplugged.org/activi

2022-04-29

Puh - hat hier schon mal jemand in der sek II #DataMining eingebaut? Ich würd‘s gerne kurz an #datenbanken anschließen, am liebsten in Theorie und Praxis. #FediLZ #csunplugged #python #pflichtfachinformatik #followerpower

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst