April 2024 - GuyKatz_Lab - huji-cs listserver

פגישת הקבוצה ביום שני מבוטלת
by Guy Katz 13 Apr '24

13 Apr '24

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

1 0

Canceled event: Katz Lab Group Meeting @ Mon Apr 15, 2024 11am - 12pm (GMT+3) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 09 Apr '24

09 Apr '24

This event has been canceled. Katz Lab Group Meeting Monday Apr 15, 2024 ⋅ 11am – 12pm Israel Time Join with Google Meet https://meet.google.com/txi-muci-qux?hs=224 שלום לכולם,פגישת הקבוצה הבאה שלנו תערך ביום שני, ה-15/04 בשעה 11:00. מיקום הפגישה ימסר בהמשך.רגע לפני שהוא עוזב אותנו, גיא אמיר ידבר על אימות מערכות Reinforcement Learning, וגם מעט על רובוטיקה.במידה והנכם מתכוונים להגיע, אנא ידעו אותנו דרך אישור הנוכחות לזימון הנ"ל.נתראה,עידן רפאלי Organizer Idan Refaeli idan.refaeli(a)mail.huji.ac.il ~~//~~ 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 @ Mon Apr 15, 2024 11am - 12pm (GMT+3) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 08 Apr '24

08 Apr '24

This event has been updated Changed: time Katz Lab Group Meeting Monday Apr 15, 2024 ⋅ 11am – 12pm Israel Time Join with Google Meet https://meet.google.com/txi-muci-qux?hs=224 שלום לכולם,פגישת הקבוצה הבאה שלנו תערך ביום שני, ה-15/04 בשעה 11:00. מיקום הפגישה ימסר בהמשך.רגע לפני שהוא עוזב אותנו, גיא אמיר ידבר על אימות מערכות Reinforcement Learning, וגם מעט על רובוטיקה.במידה והנכם מתכוונים להגיע, אנא ידעו אותנו דרך אישור הנוכחות לזימון הנ"ל.נתראה,עידן רפאלי 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=MDV1bXAydW9zaGU5… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=MDV1bXAydW9zaGU5… 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 @ Mon Apr 15 11pm - Tue Apr 16, 2024 12am (GMT+3) (guykatz_lab@cs.huji.ac.il)
by Idan Refaeli 08 Apr '24

08 Apr '24

Katz Lab Group Meeting Monday Apr 15 ⋅ 11pm – Tuesday Apr 16, 2024 ⋅ 12am Israel Time Join with Google Meet https://meet.google.com/txi-muci-qux?hs=224 שלום לכולם,פגישת הקבוצה הבאה שלנו תערך ביום שני, ה-15/04 בשעה 11:00. מיקום הפגישה ימסר בהמשך.רגע לפני שהוא עוזב אותנו, גיא אמיר ידבר על אימות מערכות Reinforcement Learning, וגם מעט על רובוטיקה.במידה והנכם מתכוונים להגיע, אנא ידעו אותנו דרך אישור הנוכחות לזימון הנ"ל.נתראה,עידן רפאלי 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=MDV1bXAydW9zaGU5… Reply for guykatz_lab(a)cs.huji.ac.il and view more details https://calendar.google.com/calendar/event?action=VIEW&eid=MDV1bXAydW9zaGU5… 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

Marktoberdorf summer school 2024
by Guy Katz 06 Apr '24

06 Apr '24

Hi all, The call for the Marktoberdorf summer school 2024 has been published: see here <https://sites.google.com/view/marktoberdorf2024/home?authuser=0>. For those not familiar with the event, this is considered the top summer school on verification/automated analysis and related topics. If you think this is relevant for you, get in touch. Kind regards, Guy -- Guy Katz, PhD Associate Professor, Computer Science School of Computer Science and Engineering, Givat Ram The Hebrew University of Jerusalem

1 0

2024

2023

GuyKatz_Lab April 2024

2024

2023

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