<div dir="ltr">Hi everyone, <div><br></div><div>Just an update on the CTN talk schedule. We normally have the last two of the season in February and March. However, I was determined to get Andreas Burkhalter here, and he couldn't come until May, so we have a bit of gap and then another talk in May. The upcoming dates are: </div><div><br></div><div>March 24 (3:30): David Spafford (University of Waterloo) </div><div>May 12 (3:30): Andreas Burkhalter (Washington University St. Louis)</div><div><br></div><div>Further details to follow. </div><div><br></div><div>Regards, </div><div>Bryan </div></div>