Rice University -- Postdoctoral Position
A postdoctoral researcher is sought for a two-year position in
computer science at Rice University to work with Professors Lydia
Kavraki and Moshe Vardi on analysis techniques for deep neural
networks (DNNs).
The impressive capabilities of deep neural
See https://events.rice.edu/#!view/event/event_id/155303
Moshe
___
Vardi-list mailing list
vardi-l...@mailman.rice.edu
https://mailman.rice.edu/mailman/listinfo/vardi-list
___
hol-info mailing list
https://www.eventbrite.at/e/vienna-world-logic-day-lecture-2022-tickets-238178988767
___
Vardi-list mailing list
vardi-l...@mailman.rice.edu
https://mailman.rice.edu/mailman/listinfo/vardi-list
___
r for a future workshop on the website and provide your
timezone when asked.
Research Leads:
---
Kristin Yvonne Rozier, Iowa State University
Natarajan Shankar, SRI
Cesare Tinelli, University of Iowa
Moshe Y. Vardi, Rice University
___
Vardi-lis
The organizers of FLoC 2022 invite students to apply to our volunteer
program. Volunteers will receive a stipend (a variable amount towards
registration and travel costs for students depending on the origin of
travel) in exchange for volunteer work at the conference. FLoC’22
volunteers will
Dear colleagues,
we are pleased to announce that the Digital Humanism Summer School 2022
will take place from September 19th to 23rd, 2022 at TU Wien, Austria.
Digital Humanism (DigHum) is an interdisciplinary approach (integrating
humanities, social, and technical sciences) that aims to
FLOC 2022: The Eighth Federated Logic Conference (FLoC 2022)
July 31 - August 12, 2022, Haifa, Israel
EARLY REGISTRATION CLOSED on 20th June 2022.
REGULAR REGISTRATION CLOSES on 20th July 2022.
ON-SITE REGISTRATION will be possible during the conference.
The conference will take place IN
For a link to this webinar, register here:
https://www.eventbrite.com/e/moshe-vardi-vardifest-lecture-how-to-be-an-ethical-computer-scientist-registration-384304484057
Moshe
___
Vardi-list mailing list
vardi-l...@mailman.rice.edu
On Tuesday, October 11th, we'll be celebrating Dana Scott's 90th birthday with
a special seminar by Gordon Plotkin, titled "Does recursion help?". The seminar
will be held both online and in person at the Topos Institute's Berkeley
office, with Gordon and Dana both present in person. Dana
Postdoctoral Fellow in Technology, Culture, and Society
Two-Year Position with the Rice Academy of Fellows
The Rice University Initiative on Technology, Culture, and Society,
together with the Rice University Academy of Fellows, invite applications
for a 2-year postdoctoral position to begin
10 matches
Mail list logo