*** 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
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