- GuyKatz_Lab - huji-cs listserver

Fwd: Prof. Rahamimoff program for travel grants to PhD students
by Guy Katz 12 Nov '24

12 Nov '24

FYI: these grants are useful to PhD students who need to go on a longer-than-usual work trip to the US. ---------- Forwarded message --------- From: Eti Alfandari - BSF <eti(a)bsf.org.il> Date: Tue, 12 Nov 2024 at 18:46 Subject: Prof. Rahamimoff program for travel grants to PhD students To: guykatz(a)cs.huji.ac.il <guykatz(a)cs.huji.ac.il> *Please ignore from the first e-mail it was mistake in the date. The date submission is DECEMBER 18, 2024* Dear Colleague, We would like to remind you that December 18th is the next deadline for applications to the next round of the Prof. Rahamimoff program for travel grants to PhD students, Israelis to the U.S., and Americans to Israel. Details about the program can be found using the link http://www.bsf.org.il/BSFPublic/DefaultPage1.aspx?PageId=25&innerTextID=25 We will be happy to receive an application from any of your students who may qualify. Best Regards, Dr. Heni Haring . Acting Executive Director United States - Israel Binational Science Foundation 16 Hartum Street P.O.Box 45086 Har Hotzvim Jerusalem 91450 Israel Tel: 972-2-5828239, Ext 205 Cell: 972-54-7704010 Fax: 972-2-5828306 www.bsf.org.il <https://www.facebook.com/BSF.org.il> <https://twitter.com/usisraelbsf> <https://www.linkedin.com/company/u-s--israel-binational-science-foundation/>

1 0

Fwd: פרלמנט נוער מדעי בנושא בינה מלאכותית במוזיאון המדע
by Guy Katz 31 Oct '24

31 Oct '24

Forwarding, in case this is relevant to anyone. ---------- Forwarded message --------- From: Orna Kupferman <orna(a)cs.huji.ac.il> Date: Thu, 31 Oct 2024 at 14:32 ‪Subject: פרלמנט נוער מדעי בנושא בינה מלאכותית במוזיאון המדע‬ To: faculty <faculty(a)cs.huji.ac.il> Cc: Rony Ben-Chaim <Ronybc(a)mada.org.il> שלום לכולם, (פניתי כבר לחלקכם, ואני שולחת לכל faculty, בעקבות הצעה להרחיב את החיפוש), כבר מעל עשר שנים מקיים מוזיאון המדע *פרלמנט נוער מדעי ירושלמי* בחסות ובשיתוף המחלקה למדע וטכנולוגיה במנהל החינוך בעיריית ירושלים. הפרלמנט מתמקד בהשלכות אתיות וחברתיות העולות בעקבות התקדמות המחקר המדעי והתפתחויות טכנולוגיות. הנושא הנבחר השנה הוא *השימוש בכלי בינה מלאכותית* והסוגיות האתיות העולות מתוכו. מטרת הפרלמנט היא לשתף בני נוער בשיח הציבורי על סוגיות מדעיות המשפיעות על החברה ולעודד מעורבות אזרחית של תלמידים. בפרלמנט ישתתפו כ 70 תלמידי כיתות י' ממגוון בתי ספר בירושלים. בפרלמנט יפעלו במקביל חמש ועדות. את הועדות ינחו דוקטורנטים. הם, ומומחים לכל ועדה, יחשפו את התלמידים לבסיס הידע המדעי הרלוונטי בתחום כמו גם למורכבות של הסוגיות העולות ממנו. יוזמי הפרויקט במוזיאון המדע *מחפשים מנחים* (דוקטורנטים/יות מאסטרנטים/יות) שירצו להנחות את שלוש ימי הפרלמנט ב 22-24 בדצמבר במוזיאון עצמו. מדובר בכ- 30 שעות הנחייה לקבוצה של כ- 10 תלמידים: 22 שעות בפועל בימי הפרלמנט ועוד 4 שעות הכנה ו 4 שעות סיכום, בתשלום של 2,700 ₪. *נראה שיש כאן הזדמנות לפעילות חברתית מוצלחת בתשלום נאה. אתם מוזמנים להעביר לתלמידות ותלמידים רלוונטיות/ים, והמעוניינים מוזמנים למלא את הטופס כאן <https://forms.gle/x7rxgK9yd5tW6Jp68>. * שאלות ובקשות לפרטים נוספים אפשר לשלוח לרוני מהמוזיאון (מכותבת) תודה, אורנה

1 0

Fwd: Israel Verification Day 2024 second call
by Guy Katz 30 Oct '24

30 Oct '24

---------- Forwarded message --------- From: Hadar Frenkel <hadar.frenkel(a)biu.ac.il> Date: Wed, 30 Oct 2024 at 00:55 Subject: Israel Verification Day 2024 second call To: Hadar Frenkel <hadar.frenkel(a)biu.ac.il>, Doron Peled < doron.peled(a)gmail.com>, Yoni <yoni206(a)gmail.com> ====================================== IVD 2024 December 19 2024 Web: https://sites.google.com/view/ivd-2024/home Talks and posters registration: November 20, 2024 Participation registration: November 20, 2024 ====================================== Hi all, Israel Verification Day (IVD) 2024 will take place at Bar-Ilan University on Thursday, December 19th, 2024. We have extended the presentations and participation deadlines, which are now both on November 20. We would love to see more talks and posters! If you want to present a poster but worry about printing it, don’t worry! We will print all posters at BIU, all you need to do is send us the poster (we will send specific instructions for those registered to present a poster). Register your talk and/or poster here: presentations registration <https://docs.google.com/forms/d/e/1FAIpQLSe1RgXIFfYddFg7lF71GOhUFonOy2rH6T-…> (please also register for participation using the link below). Register here for participation: participation form <https://docs.google.com/forms/d/e/1FAIpQLSfrozuvz7nBR9YjROg_HcoP0ILYpPPGOPn…> . Registration is free, but is needed for organizational reasons. Feel free to contact us with any questions, Looking forward to seeing you all, Doron, Yoni and Hadar

1 0

Fwd: Phoenix cluster upgrade
by Guy Katz 29 Sep '24

29 Sep '24

FYI ---------- Forwarded message --------- From: CS System Group <system(a)cs.huji.ac.il> Date: Sun, 29 Sept 2024 at 14:29 Subject: Phoenix cluster upgrade To: CSE System Group <system(a)cse.huji.ac.il> Dear phoenix cluster users, The phoenix cluster will be upgraded on Sun 27/10 to debian12-5785 (the same distribution the lab workstations were recently upgraded to). Old jobs will be allowed to finish, but phoenix-gw will be rebooted so any interactive 'srun' jobs will be killed. New jobs that can't finish until the downtime will not start until after the upgrade (you can avoid this with the --time-min option, but then the jobs will be killed on 27/10). Please test your jobs on the new distribution by adding --reservation=5785 to sbatch or srun so your jobs will run on an already upgraded node (again, this cannot pass 27/10). Regards, System Group.

1 0

ביקור של גיא אבני ב 16.9
by Guy Katz 15 Sep '24

15 Sep '24

היי כולם, ביום שני הקרוב (16.9) יבקר אצלנו גיא אבני <https://sites.google.com/view/gavni>, חוקר מאונ' חיפה שעובד על אימות פורמלי. הוא ייתן הרצאה ב 12:00, וייתכן שיוכל גם להיפגש 1-1, אם מישהו מעוניין. אשלח פרטים לגבי נושא ההרצאה ומיקומה כשהם יהיו זמינים. בברכה, גיא -- Guy Katz, PhD Associate Professor, Computer Science School of Computer Science and Engineering, Givat Ram The Hebrew University of Jerusalem

1 2

Fwd: IVD 2024 - call for presentations and participation
by Guy Katz 12 Sep '24

12 Sep '24

שלום לכולם, בהמשך להודעה הקודמת בנושא, כעת ההרשמה ל"יום האימות הישראלי" נפתחה. זו הזדמנות טובה להכיר את יתר הקבוצות בארץ שעובדות על נושאים קשורים. בברכה, גיא ---------- Forwarded message --------- From: Hadar Frenkel <hadar.frenkel(a)biu.ac.il> Date: Wed, 11 Sept 2024 at 21:51 Subject: IVD 2024 - call for presentations and participation To: Hadar Frenkel <hadar.frenkel(a)biu.ac.il> Cc: Yoni <yoni206(a)gmail.com>, Doron Peled <doron.peled(a)gmail.com> ====================================== IVD 2024 December 19 2024 Web: https://sites.google.com/view/ivd-2024/home Talks and posters registration: October 31, 2024 Participation registration: November 15, 2024 ====================================== Hi all, Israel Verification Day (IVD) 2024 will take place at Bar-Ilan University on Thursday, December 19th, 2024. If you want to give a talk and/or present a poster, we welcome it! Just register using this form by October 31, 2024: presentations registration <https://docs.google.com/forms/d/e/1FAIpQLSe1RgXIFfYddFg7lF71GOhUFonOy2rH6T-…> . We especially welcome talks and posters by students. If you want to attend without presenting anything, please register here by November 15, 2024: participation form <https://docs.google.com/forms/d/e/1FAIpQLSfrozuvz7nBR9YjROg_HcoP0ILYpPPGOPn…> . Note that registration is free, but is needed for organizational reasons. Please share this call with anyone you think might be interested! Looking forward to seeing you all! Doron, Yoni and Hadar

1 0

Fwd: TACAS25: Artifact Evaluation Committee Member Nomination
by Guy Katz 09 Sep '24

09 Sep '24

היי כולם, האם יש מישהו שמעוניין שאציע את שמו ל TACAS 2025 Artifact Evaluation Committee? מדובר בעבודה מעט סיזיפית, אבל בדרך כלל לא ארוכה מאוד, והיא מאפשרת תוספת של שורה נחמדה לקורות החיים - ואח"כ יכולה לשמש גם כמקפצה להצטרף ל Program Committees, שזה תפקיד חשוב יותר. בברכה, גיא ---------- Forwarded message --------- From: TACAS25 <tacas25(a)easychair.org> Date: Mon, 9 Sept 2024 at 16:32 Subject: TACAS25: Artifact Evaluation Committee Member Nomination To: Guy Katz <guykatz(a)cs.huji.ac.il> Dear Guy, We are forming the artifact evaluation committee for TACAS 2025 [1] and would be very happy if you agreed to serve as a committee member. Artifact evaluation involves checking that a piece of software or some other data - the "artifact" - behaves as described in a submission to TACAS. For more information about the AE process, please take a look at last year's instructions [2] as the instructions for this year will be very similar. We anticipate that each committee member will have to review 3-4 artifacts in total. The reviewing will be made in two phases, where the first phase is for tool papers, for which the acceptance of the paper is conditioned on the acceptance of the artifact; and the second phase is for regular papers that wish to have AE badges. The general timeline for reviewing is as follows: Artifact submission (bidding & start reviewing): late October Notification of artifacts for tool paper (phase 1): mid-December Notification of artifacts of regular papers (phase 2): mid-January If you accept our invitation, please fill out the short form at https://forms.gle/KETfokfYhMtqRZsT7 no later than September 18th 2024. We will send formal invitations closer to the submission date. We would also appreciate it if you could share the form within your research group and other people you know that may be interested. Hope to hear from you soon. Best wishes, Daniela Kaufmann & Mark Santolucito TACAS 2025 AEC chairs [1] https://www.etaps.org/2025/conferences/tacas/ [2] https://tacas.info/artifacts-24.php

1 0

Reminder: Guy out of office
by Guy Katz 13 Aug '24

13 Aug '24

Hi all, I will be taking some time off for the second half of August, and will have limited availability also on the first week of September (both kids are starting new misgarot). Please assume all pre-scheduled meetings for August are canceled, and that email replies may be significantly delayed. Bsorot tovot, Guy

1 0

Fwd: Israel Verification Day 2024 ! (IVD'24)
by Guy Katz 27 Jun '24

27 Jun '24

Hi all, Please see below an invitation to attend Israel Verification Day 2024. They used to have these days about a decade ago, and apparently they are being revived. This is a great opportunity to meet the other groups working in this area. Please let me know if you plan to attend and if you'd like to give a presentation. Guy ---------- Forwarded message --------- From: Yoni <yoni206(a)gmail.com> Date: Thu, 27 Jun 2024 at 13:11 Subject: Israel Verification Day 2024 ! (IVD'24) To: Cc: Hadar Frenkel <hadar.frenkel(a)biu.ac.il> Hi Israel verification people, We are organizing “Israel Verification Day 2024” at Bar-Ilan University, on *Thursday, December 19th, 2024*. We would love to see you there! The idea is to mainly have student talks, and also to leave enough time for informal discussions. For our organization, it would be very helpful if you could estimate whether you can make it, and how many of your students/postdocs do you think will attend. This is not a commitment; we are simply seeking a rough estimate. Closer to the event, we will publish a registration link, but there will be no registration fee. Looking forward to hearing from you, Hadar and Yoni

1 0

[Cyber] Fw: Reminder - The Biannual Cyber Conference
by Hila Ovadia 17 Jun '24

17 Jun '24

________________________________ מאת: The Federmann Cyber Security Center Law Program <hcsrcl(a)mail.huji.ac.il> ‏‏נשלח: יום שני 17 יוני 2024 08:53 ‏‏אל: The Federmann Cyber Security Center Law Program <hcsrcl(a)mail.huji.ac.il> ‏‏נושא: Reminder - The Biannual Cyber Conference בוקר טוב, תזכורת למפגש הקרוב בכנס המשותף לחיפה ולירושלים, שיתקיים ביום רביעי בחיפה. Reminder - The Biannual Cyber Conference, in collaboration with the Federmann Cyber Security Research Center at the Hebrew University will take place this Wednesday, June 19. The conference will take place at the University of Haifa, Terrace Building Room 3044. Remote participation is available for our community abroad, Zoom link will be sent following registration. To register please click this link<https://docs.google.com/forms/d/e/1FAIpQLSdXXWWN8JdXk7_FUar3XJrxweGmIeZAjkb…>. Final Conference Schedule: [image002.jpeg]<https://docs.google.com/forms/d/e/1FAIpQLSdXXWWN8JdXk7_FUar3XJrxweGmIeZAjkb…> [image004.jpeg] <https://docs.google.com/forms/d/e/1FAIpQLSdXXWWN8JdXk7_FUar3XJrxweGmIeZAjkb…> _______________________________________________ Cyber mailing list -- cyber(a)cs.huji.ac.il To unsubscribe send an email to cyber-leave(a)cs.huji.ac.il

1 0

2024

2023

GuyKatz_Lab ----- 2024 ----- November 2024 October 2024 September 2024 August 2024 July 2024 June 2024 May 2024 April 2024 March 2024 February 2024 January 2024 ----- 2023 ----- December 2023 November 2023 October 2023 September 2023

GuyKatz_Lab