February 2024 - GuyKatz_Lab - huji-cs listserver

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

Fwd: קול קורא לנסיעה לכנסים בינלאומיים - חדש
by Guy Katz 05 Feb '24

05 Feb '24

לידיעת כולם - בעבר הצלחנו לקבל כסף לנסיעות מהמרכז הזה. אם אתם נוסעים לכנס להציג מאמר שיש בו נגיעה כלשהי לתחבורה חכמה (למשל, benchmarks של תעופה או רובוטיקה), שווה להגיש. ---------- Forwarded message --------- From: Sapir Cohen <sapircohen(a)savion.huji.ac.il> Date: Mon, 5 Feb 2024 at 10:43 ‪Subject: קול קורא לנסיעה לכנסים בינלאומיים - חדש‬ To: phd(a)cs.huji.ac.il <phd(a)cs.huji.ac.il> שלום רב, מצ"ב קול קורא חדש עם עדכון של תאריך אחרון להגשת מועמדות, עבור מענק לכנסים בתחום תחבורה חכמה בקיץ 2024. *שימו לב תאריך אחרון להגשה- 01/05/2024.* בברכה, ספיר. *ספיר כהן | *עוזרת דיקן Dean's assistant *בית הספר להנדסה ולמדעי המחשב* *ע"ש רחל וסלים בנין* האוניברסיטה העברית בירושלים T 02-5494509 sapircohen(a)savion.huji.ac.il

1 0

2024

2023

GuyKatz_Lab February 2024

2024

2023

GuyKatz_Lab February 2024 ----- 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 February 2024