I know I am a little late, but does any one know the phone number for the DIRSHU siyum? thank you -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20120726/8d2e3b9b/attachment.html>