Vardifest: "On the Not So Unusual Effectivenss of Logic"
Joined April 2022
- Tweets15
- Following1
- Followers40
- Likes1
Moshe @Vardi's @vardifest talk on How to be an Ethical Computer Scientist is now available to watch on YouTube. #vardifest22
bit.ly/VardiFest22
Moshe @Vardi's @vardifest talk on How to be an Ethical Computer Scientist is now available to watch on YouTube. #vardifest22
bit.ly/VardiFest22
vardifest retweeted
Today I’m attending Vardifest, a big celebration of the amazing @vardi and his impressive career.
The day started with a tribute from his colleagues from Rice. What stands out is that everyone mentions his supportive mentorship.
#Vardifest #FLoC2022 #AcademicTwitter
vardifest retweeted
It has been inspiring to listen to Professor Moshe Vardi
@vardi today and "How to be an ethical computer scientist". I love the idea of having a "lovelacian oath" in computer science. This talk has given me more strength to keep on fighting every day. Thank you, Moshe!
I've just registered to a lecture that I've always wanted to hear: How to be an ethical computer scientist
eventbrite.com/e/moshe-vardi…
Knowing Moshe as a top formal-logic researcher, I am sure his take on ethics will be different from the usual social media preaching.
@vardi
Thank you @vardi for an amazing talk to conclude @vardifest . We will share slides and photos soon. Thank you everyone for joining us.
There would be a public talk by Prof. Moshe Y. Vardi (@vardi) at FLoC 2022 on Aug 1, 2022 at 17:10.
The talk will be open to the public and does not require pre-registration.
Title: How to be an ethical computer scientist
Details: easychair.org/smart-program/…
Thanks to FLoC organizers, we are now able to support remote attendance.
If you want to attend the rest of the workshop, please fill this form: forms.gle/SgWTD9w93fvUdhhZ9
(We will send you zoom link by 11 AM Jerusalem time)
Vardifest is here; we start at 9 AM tomorrow (Jerusalem time):
23 short talks and 3 long talks by @PierreWolper, @RajeevAlur, and Orna Kupferman.
vardifest.github.io
Vardifest is here; we start at 9 AM tomorrow (Jerusalem time):
23 short talks and 3 long talks by @PierreWolper, @RajeevAlur, and Orna Kupferman.
vardifest.github.io
We are pleased to confirm @vardi's lecture will be broadcast live. For a webinar link to this talk, please register here: bit.ly/VardiFest
There would be a public talk by Prof. Moshe Y. Vardi (@vardi) at FLoC 2022 on Aug 1, 2022 at 17:10.
The talk will be open to the public and does not require pre-registration.
Title: How to be an ethical computer scientist
Details: easychair.org/smart-program/…
There would be a public talk by Prof. Moshe Y. Vardi (@vardi) at FLoC 2022 on Aug 1, 2022 at 17:10.
The talk will be open to the public and does not require pre-registration.
Title: How to be an ethical computer scientist
Details: easychair.org/smart-program/…
The program is now live at: easychair.org/smart-program/…
Look at the list of speakers and their talk titles -- This is going to be an exciting event.
The final 24 hours to go! We have an exciting list of speakers confirmed.
The deadline for the call for presentation is 7 days away. At this point, you only need to submit abstracts. See the list of tentative confirmed speakers and invited speakers at vardifest.github.io/
The deadline for the call for presentation is 7 days away. At this point, you only need to submit abstracts. See the list of tentative confirmed speakers and invited speakers at vardifest.github.io/
VardiFest: "On the Not So Unusual Effectiveness of Logic" is a workshop in honor of Moshe Vardi (@vardi). Call for presentations is now live: vardifest.github.io/
Update: We will reserve a small number of slots to accommodate remote presentations.
@ShriramKMurthi : Looking forward to your presentation proposal!
I just now found out about @vardifest. Bummed that I can't make its dates! Will celebrate @vardi from afar.
VardiFest: "On the Not So Unusual Effectiveness of Logic" is a workshop in honor of Moshe Vardi (@vardi). Call for presentations is now live: vardifest.github.io/