GT Informel Seminar series of the teams Distributed Computing and Model-Checking & Synthesis

Next meeting


The seminar inFormel welcomes 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.

, .