Groupe de Travail commun Concurrence & Distribué et Model-Checking & Synthèse

Le groupe de travail commun des groupes Concurrence & Distribué et Model-checking & Synthèse est une réunion hebdomadaire permettant de présenter ses travaux en cours ou ses lectures intéressantes en rapport avec les thèmes développés dans les deux groupes. Le groupe de travail peut également accueillir, occasionnellement, des orateurs extérieurs en visite au LMF.

Dates et heure: Le groupe de travail a lieu cette année le vendredi à 11h00 (en visio pour le moment).

Format de réunion

Le groupe de travail encourage les formats de réunion qui se détachent du format classique (et un peu formel) de conférence/séminaire et vont vers une forme de réunion plus libre et plus flexible, où l'animateur n'a pas forcément un plan complet de ce qui va se passer dans la réunion. Il apporte juste une idée, un problème, un sujet, etc. et lance une discussion. Dans ce cadre, l'animateur est incité à faire usage du tableau blanc, autant que possible (mais rien n'est interdit).

Un format plus classique, avec un exposé de type conférence et une séance de questions/discussion en fin d'exposé est également bienvenu, notamment pour permettre de faire une répétition d'un exposé pour une conférence.

Pour tendre vers ce nouvel esprit et l'encourager, on ne demande pas aux animateurs de proposer un résumé, mais seulement un titre qui doit suffire à donner les quelques mots-clés qui résument le sujet de la réunion.

Prochaines réunions

Lien pour participer aux réunions: Cliquer ici

Date

Animateur

Sujet

MCS

Ve 23 Avr 2021, 11:00

Pierre Vandenhove

Arena-independent finite-memory strategies

Ve 16 Avr 2021, 11:00

Ve 9 Avr 2021, 11:00

MCS

Ve 12 Mar 2021, 11:00

Aiswarya Cyriac (CMI)

Weighted Tiling Systems for Graphs: Evaluation Complexity (part 2)

MCS

Ve 5 Mar 2021, 11:00

Rustam Galimullin

Group Knowledge in Public Communication

MCS

Ve 19 Fév 2021, 11:00

Aiswarya Cyriac (CMI)

Weighted Tiling Systems for Graphs: Evaluation Complexity (part 1)

CDS-MCS

Ve 29 Jan 2021, 11:00

group discussion

Kick-off meeting

MCS

Ve 22 Jan 2021, 11:00

Serge Haddad

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models

Archives