[Hol-info] [Vardi-list] Postdoc Position - Analysis Techniques for DNNs
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 networks have inspired system developers to use them in safety-critical cyber-physical control systems, such as autonomous vehicles and air traffic collision avoidance systems. For such applications it is imperative that the correctness of DNN systems be verified. Furthermore, it is desirable that such system be resistant to perturbations introduced by an adversary, or by inadvertent data corruption from system noise, domain shift, or broken sensors. Several recent incidents have underscored the need to better understand DNNs, and verify both their safety and security. This project aims at developing techniques for analysis of DNNs by combining methods from formal methods, cyber-physical systems, and robotics. We are seeking candidates who have demonstrated ability to lead and/or work collaboratively in teams comprised of individuals of diverse backgrounds, skills, and perspectives. BACKGROUND: Applicants must hold a Ph.D. in Computer Science, Electrical & Computer Engineering, Robotics, or a related field. Required skills include excellent analytical skills, excellent software engineering skills, and excellent writing skills. Candidates with current expertise at the intersection of formal methods and robotics/cyber-physical systems will be given priority. This position is particularly suited for candidates who want to follow a career in academia. ABOUT RICE UNIVERSITY: As a leading research university with a distinctive commitment to education, Rice University (http://www.rice.edu) aspires to path breaking research, unsurpassed teaching, and contributions to the betterment of our world. It seeks to fulfill this mission by cultivating a diverse community of learning and discovery that produces leaders across the spectrum of human endeavor. The George R. Brown School of Engineering ranks among the top 20 of undergraduate engineering programs (US News & World Report) and is strongly committed to nurturing the aspirations of faculty, staff and students in an inclusive environment. Rice University is an Equal Opportunity Employer with commitment to diversity at all levels and considers for employment qualified applicants without regard to race, color, religion, age, sex, sexual orientation, gender identity, national or ethnic origin, genetic information, disability, or protected veteran status. Rice University, a Tier 1 Research University, is located in the vibrant urban setting of Houston, TX, the fourth largest city in the U.S. Rice is ranked #16 in National Universities in the 2021 by "US News Best Colleges" and #1 for Quality of Life in the Princeton Review’s 2021 edition of "The Best 382 Colleges." Interested applicants should contact Professor Lydia Kavraki (kavr...@rice.edu) and Professor Moshe Vardi (va...@rice.edu) and provide (a) a CV, (b) the names of three or more references, (c) a one page description of their earlier work and, if desired, (d) a one paragraph statement about their interest in the advertised position. The position is available immediately and applications will be accepted until this position is filled. ___ Vardi-list mailing list vardi-l...@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Vardi-list] 1/14/2021 - World-Logic-Day Lecture: From Aristotle to the iPhone
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 hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Vardi-list] World Logic Day -- From Greek Paradoxes to Political Paradoxes
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 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Vardi-list] Webinar & Call for Model-Checking Community Feedback
*** Apologies for multiple postings * Webinar & Call for Model-Checking Community Feedback "Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community" https://modelchecker.temporallogic.org * Research Goal: --- This is an NSF (U.S. National Science Foundation)-funded effort to develop an open-source, state-of-the-art symbolic model-checking framework for the international model-checking research community. Our goal is to fill the current gap in model checking research platforms: building a freely-available, open-source, scalable model checking infrastructure that accepts expressive models and efficiently interfaces with the currently-maintained state-of-the-art back-end algorithms to provide an extensible research and verification tool. We will create a community resource with a well-documented intermediate representation to enable extensibility, and a web portal, facilitating new modeling languages and back-end algorithmic advances. To add new modeling languages or algorithms, researchers need only to develop a translator to/from the new intermediate language, and will then be able to integrate each advance with the full state-of-the-art in model checking. Project Status: We have developed a candidate intermediate representation for symbolic model checking and revised it via feedback from a Technical Advisory Board. We are now ready for wider community feedback to fuel our next round of revisions and developments. Visit our project website for more details, presentation slides, and more opportunities to interact, including providing comments, joining our mailing list, registering for future webinars, and suggesting names for the new framework. Webinar: Our first workshop will be held online via zoom: 15 February 2022 1:00pm-3:00pm US-CST (GMT-6) Registration is at: https://modelchecker.temporallogic.org Agenda: 15 minutes: Project overview and introduction 45 minutes: Candidate intermediate representation details 60 minutes: Moderated community feedback and questions *** Additional webinars will be held to accommodate other time-zones; please register 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-list mailing list vardi-l...@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Vardi-list] FLoC 2022 Call for Student Volunteers
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 be able to interact with speakers and participants, network with other researchers and meet graduate students from all over the world. See https://www.floc2022.org/volunteers See you at FLoC'22 Moshe ___ Vardi-list mailing list vardi-l...@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien
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 describe, to analyse and, above all, to influence the complex interplay between IT and humanity - for a society that fully respects universal human rights. Pursuing these goals, we will deal at the summer school with topics such as AI, humans, and control; ethics and responsible design; fair systems; participation and democracy; platform power, regulation; work in a new world; or sovereignty and geopolitics. The summer school targets PhD students from engineering, social science and humanities as well as interested persons from industry, institutions and civil society. Leading scientists from the different fields involved will introduce the topics. A typical course is broad enough to provide a general introduction to the chosen topic, whilst one can learn the most relevant contributions in depth. In addition, there is enough room for discussions and presentations of participants’ projects. The summer school is organized by the Center for Artificial Intelligence and Machine Learning/CAIML (TU Wien) [1], the Digital Enlightenment Forum [2], and the Digital Humanism Initiative [3]. Please find further details about the program and the application process here: https://dighum.ec.tuwien.ac.at/summerschool2022/. We are looking forward to seeing you there! Moshe Vardi [1] https://www.tuwien.at/caiml/ [2] https://www.digitalenlightenment.org/ [3] https://dighum.ec.tuwien.ac.at/ - Sign the Vienna Manifesto: https://dighum.ec.tuwien.ac.at Follow us on Twitter @DigHumTUWien - ___ Vardi-list mailing list vardi-l...@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Vardi-list] FW: FLOC 2022 -- Call For Participation
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 PERSON, see https://www.floc2022.org/covid-19 for the latest COVID regulations. It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment. * Website: https://www.floc2022.org/ * Registration: https://www.floc2022.org/registration * Accommodation: https://www.floc2022.org/accommodation Registration for the main conference block gives you access to any other conference in the same period. Conference registration includes reception, lunches, and coffee breaks. A banquet ticket can be added to the conference registration. Registration for a workshop day means you can attend any other workshop on the same day. Workshop registration includes lunches and coffee breaks. ACCOMMODATION https://www.floc2022.org/accommodation We have made block bookings at several locations in Haifa until mid-May and any unsold rooms are now being released. It is imperative that you book NOW to avoid disappointment, as July/August is a busy period in Haifa! ABOUT FLOC During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called “the calculus of computer science”, playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science and was first organized in 1996, as part of the DIMACS Special Year on Logic and Algorithms. Since then FLoC was held in Trento in 1999, Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010, Vienna in 2014, and Oxford in 2018. The eighth Federated Logic Conference (FLoC'22) will be held in Haifa, Israel, in July 2022. CONFERNCES FLoC 2022 brings together twelve major international conferences, 70+ workshops, and several special events. * CAV http://i-cav.org/2022/ * CP https://cp2022.a4cp.org/ * CSF https://www.ieee-security.org/TC/CSF2022/ * DL https://dai.fmph.uniba.sk/events/dl2022/ * FSCD https://www.cs.tau.ac.il/~nachumd/FSCD/ * ICLP https://software.imdea.org/Conferences/ICLP2022/ * IJCAR https://easychair.org/cfp/IJCAR-2022 * ITP https://itpconference.github.io/ITP22/ * KR https://kr2022.cs.tu-dortmund.de/ * NMR https://sites.google.com/view/nmr2022/home-page * LICS https://lics.siglog.org/lics22/ * SAT http://satisfiability.org/SAT22/ KEYNOTES/PLENARY LECTURES * Catuscia Palamidessi, Director of Research at INRIA * Don Knuth, CP invited speaker, The Art of Computer Programming at Stanford University * Orna Kupferman, School of Computer Science and Engineering at The Hebrew University of Jerusalem * Ziyad Hanna, Corporate Vice President at Cadence Design Systems * Aarti Gupta, Department of Computer Science at Princeton University CONFERENCE INVITED SPEAKERS * CAV: Arie Gurfinkel, Neha Rungta * FSCD: Cynthia Kop, Alwen Tiu * ICLP: Fabrizio Riguzzi, Theresa Swift * LICS: Amal Ahmed, Mikolaj Bojanczyk * KR: Yejin Choi, Tony Hunter, Leonid Libkin SOCIAL EVENTS There is one Reception and one Banquet during each FLoC block, and one Workshop Dinner during each of the workshop blocks. For details, see https://www.floc2022.org/program. Guests are welcome: you can reserve your place(s) via the registration system. SPECIAL EVENTS Two logic lounges are held - one on August 2nd and the other on August 7th. See https://www.floc2022.org/logiclounge for details. MENTORING WORKSHOPS Two mentoring workshops will be held, on August 1 and August 5. See https://www.floc2022.org/flocmentoringworkshop for more details. SPONSORSHIP We are indebted to our sponsors for making FLoC possible, see: https://www.floc2022.org/sponsors LOCAL INFORMATION Our website includes details for travel (including accessibility), venues, and things to do in Haifa for our attendees and their families: see https://www.floc2022.org/information for more information. FLoC 2022 promises to be an exciting meeting, and we hope to see you in Haifa! CALL FOR VOLUNTEERS FLoC 2022 invites 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 be able to interact with speakers and participants, network with other researchers, and meet graduate students from all over the world. See
[Hol-info] [Vardi-list] How to be an ethical computer scientist
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 https://mailman.rice.edu/mailman/listinfo/vardi-list ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Vardi-list] A Special Seminar in Honor's of Dana Scott's 90th Birthday
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 will say some opening words before Gordon's talk. An abstract for Gordon's talk, and links to join via Zoom or YouTube livestream, are below. If you would like to attend in person, please email juliet@topos.institute to register as a visitor. See https://topos.site/berkeley-seminar/ Date: Tuesday October 11th, 2022 Time: 1700 UTC (10am Berkeley time) Zoom Link: https://topos-institute.zoom.us/j/87874851972?pwd=eWRjZlUvQWJoNmJFdHgycE1mUDEvQT09 Password: happybday YouTube stream: https://youtu.be/n7moEQtv3qU -- Title: Does recursion help? Speaker: Gordon Plotkin Abstract: As everyone knows, Alonzo Church proposed that the effectively calculable natural number functions are those definable in the untyped lambda calculus. (He used Church numerals to represent natural numbers.) The lambda-definable functions were shown to be the same as the Gödel-Herbrand general recursive functions and the same as the functions computable by Turing machines. The fixed-point combinator Y is crucial for the proofs, as it enables functions to be defined recursively. If we switch to the typed lambda-calculus the situation changes drastically. Helmut Schwichtenberg and Richard Statman showed that only the extended polynomials can then be defined (they used a typed version of the Church numerals). It is natural, therefore, to ask what happens if one adds typed fixed-point combinators to the typed lambda calculus. We present an answer to this question. Our answer makes essential use of Dana Scott's domain theory to model the fixed-point combinators. ___ Vardi-list mailing list vardi-l...@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Vardi-list] Job Opportunity: Postdoctoral Fellow in Tech-Culture-Society
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 in September 2023. We welcome applications from scholars engaged in innovative research and from diverse academic backgrounds that can contribute to the growing interdisciplinary field of study on technology, culture, and society. The ideal candidate should demonstrate a clear research profile in areas such as, but not limited to, social media, algorithmic bias, fairness in machine learning, automation, digital labor, privacy and surveillance, infrastructures, security, artificial intelligence, computational creativity, machine learning, robotics, human-computer interaction, technology policy, and technology and the environment. Background in computer science is preferred, but not required. Candidates must apply through the Rice Academy of Fellows and follow all instructions indicated on their website: riceacademy.rice.edu. To request the Letter of Support, please email Dr. Rodrigo Ferreira at r...@rice.edu with the headline “Request for Letter of Support” by December 7, 2022. Please include as attachments your CV, cover letter detailing your research agenda (including the name of three references), and a writing sample (dissertation chapter or article). For general questions or information about the fellowship, please contact the Rice Academy of Fellows at riceacad...@rice.edu. In addition to applications for this position in Technology, Culture, and Society, the Rice University Academy of Fellows also welcomes applications in several different areas of research. All details about the fellowship program are available on their website: riceacademy.rice.edu. ___ Vardi-list mailing list vardi-l...@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info