<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html style="direction: ltr;">
<head>
</head>
<body style="direction: ltr;" bgcolor="#ffffff" text="#000000">
<p style="margin-bottom: 0cm; margin-top: 0pt;">Hello all,</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;"><br>
</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;">I know this was just
announced, but not loud enough, in my opinion, for this short notice:<br>
</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;"><br>
</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;">Shachar's talk is
postponed to Monday, July 26th, 18:30 (same place and hour, next week)
due to July 19th being 9th of Av.</p>
<div bidimailui-direction-uniformity="neutral"><br>
</div>
<div bidimailui-direction-uniformity="ltr" style="direction: ltr;">There
will be no Haifux talk tomorrow (July 19th).<br>
<br>
</div>
Eli
<pre class="moz-signature" cols="72">-- 
Web: <a class="moz-txt-link-freetext" href="http://www.billauer.co.il">http://www.billauer.co.il</a>
</pre>
</body>
</html>