- GuyKatz_Lab - huji-cs listserver

Updated invitation: Katz Lab Group Meeting @ Thu Mar 28, 2024 10:30am - 11:30am (GMT+2) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 18 Mar '24

18 Mar '24

This event has been updated Changed: description Katz Lab Group Meeting Thursday Mar 28, 2024 ⋅ 10:30am – 11:30am Israel Time Hi all,Our next group meeting will take place on Thursday, 28/03, at 10:30. Nir Somech will tell us about his work on code obfuscation and new technique how to bypass it. The meeting will be held on campus, the exact location will be sent later.Please let me know by specifying whether you intend to participate.Regards,Idan Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il Guests Idan Refaeli - organizer guykatz_lab(a)cs.huji.ac.il katz911(a)gmail.com adiel.ashrov(a)mail.huji.ac.il Guy Amir omri.isac(a)mail.huji.ac.il inbal.shalom(a)mail.huji.ac.il nirsomech(a)gmail.com raya.elsaleh(a)mail.huji.ac.il natan.levy(a)gmail.com ayelet.berzack(a)mail.huji.ac.il yhonatan.spigelman(a)mail.huji.ac.il amitai.edrei(a)mail.huji.ac.il raz.yerushalmi(a)weizmann.ac.il shahaf.bassan(a)mail.huji.ac.il yizhak.elboher(a)mail.huji.ac.il View all guest info https://calendar.google.com/calendar/event?action=VIEW&eid=N2lvYzNqdjhjdG42… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=N2lvYzNqdjhjdG42… Your attendance is optional. ~~//~~ Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this email because you are an attendee on the event. To stop receiving future updates for this event, decline this event. Forwarding this invitation could allow any recipient to send a response to the organizer, be added to the guest list, invite others regardless of their own invitation status, or modify your RSVP. Learn more https://support.google.com/calendar/answer/37135#forwarding

1 0

Updated invitation: Katz Lab Group Meeting @ Thu Mar 28, 2024 10:30am - 11:30am (GMT+2) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 14 Mar '24

14 Mar '24

This event has been updated Changed: time Katz Lab Group Meeting Thursday Mar 28, 2024 ⋅ 10:30am – 11:30am Israel Time פרטים בהמשך Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il Guests Idan Refaeli - organizer guykatz_lab(a)cs.huji.ac.il katz911(a)gmail.com adiel.ashrov(a)mail.huji.ac.il Guy Amir omri.isac(a)mail.huji.ac.il inbal.shalom(a)mail.huji.ac.il nirsomech(a)gmail.com raya.elsaleh(a)mail.huji.ac.il natan.levy(a)gmail.com ayelet.berzack(a)mail.huji.ac.il yhonatan.spigelman(a)mail.huji.ac.il View all guest info https://calendar.google.com/calendar/event?action=VIEW&eid=N2lvYzNqdjhjdG42… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=N2lvYzNqdjhjdG42… Your attendance is optional. ~~//~~ Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this email because you are an attendee on the event. To stop receiving future updates for this event, decline this event. Forwarding this invitation could allow any recipient to send a response to the organizer, be added to the guest list, invite others regardless of their own invitation status, or modify your RSVP. Learn more https://support.google.com/calendar/answer/37135#forwarding

1 0

פגישות מרבו עם סטנפורד
by Guy Katz 10 Mar '24

10 Mar '24

היי כולם, לכל מי שמשתתף בפגישה השבועית עם הקולגות מסטנפורד, שימו לב שבקליפורניה כבר עברו לשעון קיץ - ולכן הפגישה יתקיימו בשעה 20:00 במקום 21:00, עד שגם אנחנו נעבור לשעון קיץ, ואז הן יחזרו ל 21:00. בברכה, גיא -- Guy Katz, PhD Associate Professor, Computer Science School of Computer Science and Engineering, Givat Ram The Hebrew University of Jerusalem

1 0

Call for Papers: SAIV 2024
by Guy Katz 29 Feb '24

29 Feb '24

Hi all, As many of you know, for the last 5 years I have been co-organizing the FoMLAS workshop (affiliated with the CAV conference), which is a venue for presenting work that (broadly) involves formal methods and deep learning. The workshop has been steadily growing, and this year it has merged with another workshop (Wolverine), and has become the "Symposium on AI Verification" (SAIV). This has upgraded the venue from workshop to conference - although it of course remains a low tier conference - and has made it a more eligible venue to publish new results at. So, if you have anything that you think may be suitable for publishing at SAIV, let me know. The SAIV call for papers is below. Kind regards, Guy ----------------- The 7th International Symposium on AI Verification (SAIV 2024) solicits novel theoretical and algorithmic contributions, innovative applications, and empirical evaluation in the intersection of AI and formal methods. SAIV is a continuation of FoMLAS and WOLVERINE and aims to serve as an interactive platform for idea exchange and cross-pollination between AI and formal methods. Find out more about previous editions on our webpage: https://www.aiverification.org/ SAIV 2024 will take place in Montreal, Canada, on July 22–23, co-located with CAV 2024. SAIV 2024 will host the 5th International Verification of Neural Networks Competition (VNN-COMP 2024). For additional information, see https://sites.google.com/view/vnn2024. Important Dates (all dates are AoE) April 4, 2024 – Abstract Submission April 11, 2024 – Paper Submission May 9, 2024 – Notification Paper Submission Three categories of submissions are invited: 1. Original papers: describe original research and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. 2. Presentation-only papers: describe work recently published or submitted. We see this as a way to provide additional access to important developments that the SAIV attendees may be unaware of. 3. Extended abstracts: describe preliminary work in progress. These reports may range in length from very short to full papers, and will be judged based on the expected level of interest for the community. All accepted papers will be posted online as part of informal proceedings on the day of the conference. If there is sufficient interest, the symposium will have formal post-proceedings, where original papers and extended abstracts may be published. Program Chairs - Guy Avni (University of Haifa) - Mirco Giacobbe (University of Birmingham) - Taylor T. Johnson (Vanderbilt University) - Guy Katz (Hebrew University of Jerusalem) - Anna Lukina (Delft University of Technology) - Nina Narodytska (VMware Research) - Christian Schilling (Aalborg University) Program Committee - Guy Amir (Hebrew University of Jerusalem) - Guy Avni (University of Haifa) - Stanley Bak (Stony Brook University) - Clark Barrett (Stanford University) - Roderick Bloem (Graz University of Technology) - Chih-Hong Cheng (Fraunhofer IKS and Technical University of Munich) - Dana Drachsler Cohen (Technion) - Mirco Giacobbe (University of Birmingham) - Thomas Henzinger (Institute of Science and Technology Austria) - Omri Isac (Hebrew University of Jerusalem) - Suman Jana (Columbia University) - Taylor T. Johnson (Vanderbilt University) - Guy Katz (Hebrew University of Jerusalem) - Ekaterina Komendantskaya (Heriot-Watt University) - Martin Lange (University of Kassel) - Linyi Li (University of Illinois at Urbana-Champaign) - Alessio Lomuscio (Imperial College London) - Anna Lukina (Delft University of Technology) - Ravi Mangal (Carnegie Mellon University) - Nina Narodytska (VMware Research) - Daniel Neider (Technical University of Dortmund) - Corina Pasareanu (Carnegie Mellon University, NASA, KBR) - Guillermo Perez (University of Antwerp) - Luca Pulina (University of Sassari) - Christian Schilling (Aalborg University) - Gagandeep Singh (UIUC and VMware Research) - Paulius Stankaitis (Newcastle University) - Armando Tacchella (Università di Genova) - Hoang Dung Tran (University of Nebraska-Lincoln) - Abhinav Verma (Pennsylvania State University) - Haoze Wu (Stanford University) - Kaidi Xu (Drexel University) - Zhen Zhang (Utah State University) - Yuhao Zhang (University of Wisconsin-Madison) - Min Zhang (East China Normal University) - Shufang Zhu (University of Oxford) -- Guy Katz, PhD Associate Professor, Computer Science School of Computer Science and Engineering, Givat Ram The Hebrew University of Jerusalem

1 0

Updated invitation: Katz Lab Group Meeting @ Tue Mar 5, 2024 10:30am - 11:30am (GMT+2) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 28 Feb '24

28 Feb '24

This event has been updated Changed: description Katz Lab Group Meeting Tuesday Mar 5, 2024 ⋅ 10:30am – 11:30am Israel Time שלום לכולם,פגישת המעבדה הבאה שלנו תערך ביום שלישי, ה-5/3, בשעה 10:30. הפגישה תערך בקמפוס, מיקומה המדוייק יימסר בהמשך.את הפגישה הבאה אני אעביר, ובה אדבר על כלי האימות לרשתות נוירונים האהוב עלינו ביותר, שבו רובנו משתמשים מדי יום - הלא הוא Marabou! בפגישה אדבר על האבולוציה של Marabou, החל מימיו הראשונים שבהם היה ידוע בשם ReluPlex, ועד גרסה Marabou 2 החדשה, וכן על תוכניות פיתוח עתידיות.נתראה בשלישי,עידן Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il Guests Idan Refaeli - organizer guykatz_lab(a)cs.huji.ac.il amitai.edrei(a)mail.huji.ac.il katz911(a)gmail.com adiel.ashrov(a)mail.huji.ac.il Guy Amir omri.isac(a)mail.huji.ac.il inbal.shalom(a)mail.huji.ac.il nirsomech(a)gmail.com raya.elsaleh(a)mail.huji.ac.il natan.levy(a)gmail.com View all guest info https://calendar.google.com/calendar/event?action=VIEW&eid=NmN1NWVhN2U3aTY1… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=NmN1NWVhN2U3aTY1… Your attendance is optional. ~~//~~ Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this email because you are an attendee on the event. To stop receiving future updates for this event, decline this event. Forwarding this invitation could allow any recipient to send a response to the organizer, be added to the guest list, invite others regardless of their own invitation status, or modify your RSVP. Learn more https://support.google.com/calendar/answer/37135#forwarding

1 0

Updated invitation: Katz Lab Group Meeting @ Tue Mar 26, 2024 10:30am - 11:30am (GMT+2) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 19 Feb '24

19 Feb '24

This event has been updated Changed: conferencing Katz Lab Group Meeting Tuesday Mar 26, 2024 ⋅ 10:30am – 11:30am Israel Time פרטים בהמשך Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il Guests Idan Refaeli - organizer guykatz_lab(a)cs.huji.ac.il katz911(a)gmail.com adiel.ashrov(a)mail.huji.ac.il View all guest info https://calendar.google.com/calendar/event?action=VIEW&eid=N2lvYzNqdjhjdG42… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=N2lvYzNqdjhjdG42… Your attendance is optional. ~~//~~ Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this email because you are an attendee on the event. To stop receiving future updates for this event, decline this event. Forwarding this invitation could allow any recipient to send a response to the organizer, be added to the guest list, invite others regardless of their own invitation status, or modify your RSVP. Learn more https://support.google.com/calendar/answer/37135#forwarding

1 0

Invitation: Katz Lab Group Meeting @ Tue Mar 26, 2024 10:30am - 11:30am (GMT+2) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 19 Feb '24

19 Feb '24

Katz Lab Group Meeting Tuesday Mar 26, 2024 ⋅ 10:30am – 11:30am Israel Time Join with Google Meet https://meet.google.com/cmh-fuvz-yxv?hs=224 פרטים בהמשך Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il Guests Idan Refaeli - organizer guykatz_lab(a)cs.huji.ac.il View all guest info https://calendar.google.com/calendar/event?action=VIEW&eid=N2lvYzNqdjhjdG42… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=N2lvYzNqdjhjdG42… Your attendance is optional. ~~//~~ Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this email because you are an attendee on the event. To stop receiving future updates for this event, decline this event. Forwarding this invitation could allow any recipient to send a response to the organizer, be added to the guest list, invite others regardless of their own invitation status, or modify your RSVP. Learn more https://support.google.com/calendar/answer/37135#forwarding

1 0

Invitation: Katz Lab Group Meeting @ Tue Mar 5, 2024 10:30am - 11:30am (GMT+2) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 19 Feb '24

19 Feb '24

Katz Lab Group Meeting Tuesday Mar 5, 2024 ⋅ 10:30am – 11:30am Israel Time פרטים בהמשך Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il Guests Idan Refaeli - organizer guykatz_lab(a)cs.huji.ac.il View all guest info https://calendar.google.com/calendar/event?action=VIEW&eid=NmN1NWVhN2U3aTY1… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=NmN1NWVhN2U3aTY1… Your attendance is optional. ~~//~~ Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this email because you are an attendee on the event. To stop receiving future updates for this event, decline this event. Forwarding this invitation could allow any recipient to send a response to the organizer, be added to the guest list, invite others regardless of their own invitation status, or modify your RSVP. Learn more https://support.google.com/calendar/answer/37135#forwarding

1 0

Updated invitation: Group meeting (15/02, 11:00, Everyone) @ Thu Feb 15, 2024 11am - 12pm (GMT+2) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 15 Feb '24

15 Feb '24

This event has been updated Changed: conferencing Group meeting (15/02, 11:00, Everyone) Thursday Feb 15, 2024 ⋅ 11am – 12pm Israel Time שלום לכולם,לאחר שלא התראינו תקופה ארוכה, פגישת הקבוצה הבאה של המעבדה תתקיים ביום חמישי, ה-15/02 בשעה 11:00. מיקום הפגישה ישלח בהמשך.בפגישה הזאת, במקום לקיים הרצאה אחת ארוכה, נקיים אוסף של הרצאות קצרות בנות 3-5 דקות, שבה כל משתתף יספר בקצרה על שאלת מחקר אחת שעליה הוא עובד כעת, ללא שקופיות. אנא חישבו מראש כיצד תציגו את המחקר שלכם, ונסו להתמקד בדברים המהותיים - מה השאלה? למה היא חשובה? איזה טכניקות אתם מפעילים כדי לפתור אותה? - ופחות בפרטים טכניים.למצטרפים החדשים - נא לא להילחץ, מספיק שתציגו את עצמכם ואת הבעיה שאתם עובדים עליה בצורה כללית.אשמח אם תוכלו להגיב להזמנה זו בהקדם אם בכוונתכם להגיע.נתראה,עידן Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il Guests Idan Refaeli - organizer guykatz_lab(a)cs.huji.ac.il katz911(a)gmail.com omri.isac(a)mail.huji.ac.il nirsomech(a)gmail.com yizhak.elboher(a)gmail.com Guy Amir ayelet.berzack(a)mail.huji.ac.il yhonatan.spigelman(a)mail.huji.ac.il raz.yerushalmi(a)weizmann.ac.il adiel.ashrov(a)mail.huji.ac.il yoelschreiber1(a)gmail.com raya.elsaleh(a)mail.huji.ac.il elsalehraya(a)gmail.com amitai.edrei(a)mail.huji.ac.il inbal.shalom(a)mail.huji.ac.il natan.levy1(a)mail.huji.ac.il natan.levy(a)gmail.com shahaf.bassan(a)mail.huji.ac.il View all guest info https://calendar.google.com/calendar/event?action=VIEW&eid=MW9xZGZ1bGc1ZHVs… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=MW9xZGZ1bGc1ZHVs… Your attendance is optional. ~~//~~ Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this email because you are an attendee on the event. To stop receiving future updates for this event, decline this event. Forwarding this invitation could allow any recipient to send a response to the organizer, be added to the guest list, invite others regardless of their own invitation status, or modify your RSVP. Learn more https://support.google.com/calendar/answer/37135#forwarding

1 0

Group meeting (15/02, 11:00, Everyone)
by Idan Refaeli 15 Feb '24

15 Feb '24

שלום לכולם, אני מזכיר כי פגישת הקבוצה נערכת היום בשעה 11:00. הפגישה תתקיים בחדר B210. נתראה, עידן Group meeting (15/02, 11:00, Everyone) Thursday Feb 15, 2024 ⋅ 11am – 12pm Israel Time Join with Google Meet https://meet.google.com/jqm-zrkn-scr?hs=224 שלום לכולם,לאחר שלא התראינו תקופה ארוכה, פגישת הקבוצה הבאה של המעבדה תתקיים ביום חמישי, ה-15/02 בשעה 11:00. מיקום הפגישה ישלח בהמשך.בפגישה הזאת, במקום לקיים הרצאה אחת ארוכה, נקיים אוסף של הרצאות קצרות בנות 3-5 דקות, שבה כל משתתף יספר בקצרה על שאלת מחקר אחת שעליה הוא עובד כעת, ללא שקופיות. אנא חישבו מראש כיצד תציגו את המחקר שלכם, ונסו להתמקד בדברים המהותיים - מה השאלה? למה היא חשובה? איזה טכניקות אתם מפעילים כדי לפתור אותה? - ופחות בפרטים טכניים.למצטרפים החדשים - נא לא להילחץ, מספיק שתציגו את עצמכם ואת הבעיה שאתם עובדים עליה בצורה כללית.אשמח אם תוכלו להגיב להזמנה זו בהקדם אם בכוונתכם להגיע.נתראה,עידן Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il Guests Idan Refaeli - organizer guykatz_lab(a)cs.huji.ac.il katz911(a)gmail.com omri.isac(a)mail.huji.ac.il nirsomech(a)gmail.com yizhak.elboher(a)gmail.com Guy Amir ayelet.berzack(a)mail.huji.ac.il yhonatan.spigelman(a)mail.huji.ac.il raz.yerushalmi(a)weizmann.ac.il adiel.ashrov(a)mail.huji.ac.il yoelschreiber1(a)gmail.com raya.elsaleh(a)mail.huji.ac.il elsalehraya(a)gmail.com amitai.edrei(a)mail.huji.ac.il inbal.shalom(a)mail.huji.ac.il natan.levy1(a)mail.huji.ac.il natan.levy(a)gmail.com shahaf.bassan(a)mail.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