[Club2] Julian's talk moved to 13:30! Julian Brunner: Wed., July 9, 13:30, Room: Turing (00.09.38)

[Peter Lammich]

> 
> Implementation and Verification of Partial Order Reduction for
> On-The-Fly Model Checking
> Julian Brunner
> ======================================================================
> Wed., July 9, 11:00, Room: Turing (00.09.38)
> 

as the mail's title indicates: The talk is on

Wed., July 9, *13:30*, Room: Turing (00.09.38)