finite-model-theory

Download

finite-model-theory@lists.rwth-aachen.de

November 2022

10 participants
12 discussions

VerifyThis 2023: Call for Problems
by Stephen Siegel 02 Nov '22

02 Nov '22

*** VerifyThis 2023: Call For Problems *** CFP Deadline: February 1st, 2023 Website: http://verifythis.ethz.ch VerifyThis is an annual program verification competition held as part of ETAPS. It is an opportunity for community members and tool authors to showcase their work and learn from each other with hands-on exercises. The competition proceeds in three rounds. In each round, participants are given 90 minutes to implement and prove specified properties of a given algorithm and/or data structures. They are free to use any verification tools they choose. We are looking for problem submissions. If you have recently encountered an interesting challenge in your work, don’t hesitate to submit it. Typical challenges have clear input-output specifications and often incorporate one or more of the following: heap allocation, concurrency, arithmetic reasoning. A challenge usually describes a problem using natural language together with some pseudocode, and then provides a list of properties or “verification tasks” of varied levels of difficulty. Contributors are encouraged to look at the Archive of previous problems on the VerifyThis web site, at the URL above. An award will be given for any submission used in the competition. To avoid spoiling the competition for others, we ask that you keep the subject of your submission private. Submissions should be sent by email to xldenis(a)lri.fr and siegel(a)udel.edu. Submission Criteria: * A brief yet precise problem description, specifically identifying verification sub-tasks. * A solution to the challenge is strongly encouraged, otherwise please provide a sketch of correctness. * The description document can use any reasonable format, including plain text or PDF. Sincerely, Stephen Siegel, University of Delaware <siegel(a)udel.edu> Xavier Denis, Université Paris-Saclay <xldenis(a)lri.fr> Co-chairs, VerifyThis 2023

1 0

[Vardi-list] Job Opportunity: Postdoctoral Fellow in
by Moshe Y Vardi 01 Nov '22

01 Nov '22

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 rf29(a)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 riceacademy(a)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-list(a)mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list

1 0