GT Informel Joint working group organised by the teams Concurrency & Distributed Systems and Model-Checking & Synthesis

Prochaine réunion

Format

The seminar inFormel welcomes weekly presentations from the members of the groups Concurrency & Distributed Systems and Model-checking & Synthesis about ongoing work or interesting reading related to the area of the two groups. The seminar may occasionally host speakers visiting LMF.

Where and when

Currently seminars are held in a hybrid mode on

Fridays, 11h00.

Please mind that the room and viso link may change per talk. Check the talk's description for the room. Visio links are distributed internally. Let us know if you are interested in attending a talk - we are happy to send you the link.

()
()
.
[URL] [PDF]
()
()
, .