Upcoming Presentations

This next Thursday 14 of February, at 15:45 in Ravelijn 4237, we will have our weekly colloquium with Ramon Onis. This colloquium is public, so everybody is invited to attend.

<< Upcoming Presentations

Date Speaker Title
Feb. 28, 15:45 Carlos Budde Title to be announced
March 7, 15:45 Sophie Lathouwers Reasoning about the correctness of sanitizers
March 14, 15:45 Stephen Siegel Title to be announced
March 21, 15:45 FREE SLOT Title to be announced
March 28, 15:45 Arnd Hartmanns QComp 2019: The First Friendly Competition of Tools for the Analysis of Quantitative Formal Models
April 4, 15:45 Qiannan Zhou Something about me and my study
April 11, 15:45 Wei Zheng Two hamiltonian properties of graphs on the condition of toughness
April 18, 15:45 Sung-Shik Jongmans Title to be announced
April 25, 15:45 FREE SLOT Title to be announced
May 2, 15:45 Zhiwei Guo Compatible spanning circuits in edge-colored graphs
May 23, 15:45 Paula Herber Title to be announced