[TYPES/announce] Rust Verification Workshop at ETAPS 2023: Call for Talk and Demo Proposals

[Mueller Peter]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for Talk and Demo Proposals
3rd Rust Verification Workshop
Co-located with ETAPS 2023
Paris, France
Sunday, April 23, 2023
https://urldefense.com/v3/__https://sites.google.com/view/rustverify2023/home__;!!IBzWLUs!WvjSkEvaJwWW-00m5MDND8mwv4QX1kSLQH1NoxnBuQo9q_U90qHogB_iZu2NLX8yIy9kr0w7Kov1S_ft7QaeenmG23DeZb42ewX9IBtfTAI$
 

Rust is a recently introduced programming language for writing performant code 
with strong type and memory safety guarantees. It is considered a serious 
alternative to C and C++ for systems programming, because it provides 
high-level abstractions but without the cost of garbage collection. Given the 
growing popularity of Rust, and given that bugs in systems programs can be 
costly, there is growing interest in the program verification community for 
building program verifiers for Rust. In this workshop, we aim to bring together 
language designers, application developers and formal verification tool 
builders, to exchange ideas and build collaborations around developing verified 
Rust programs.
The goal of this workshop is to bring researchers from a variety of different 
backgrounds and perspectives together to exchange new and exciting ideas 
concerning the verification of Rust programs and exploring avenues for 
collaboration.
We want the workshop to be as informal and interactive as possible. The program 
will thus involve a combination of invited talks, contributed talks about work 
in progress, tool demos, and open discussion sessions. There will be no 
published proceedings, but participants will be invited to submit working 
documents, talk slides, etc. to be posted on this website.

Call for Talk and Demo Proposals
-
We solicit proposals for contributed talks and tool demos. Proposals should be 
at most 2 pages, in either plain text or PDF format, and should specify how 
long a talk/demo the speaker wishes to give. By default, contributed talks will 
be 30 minutes long, but proposals for shorter or longer talks will also be 
considered.
We are interested in talks/demos on all topics related to the verification of 
Rust programs (including, for instance, program specification, deductive 
verification, model checking, symbolic execution, runtime monitoring, the 
semantics and formalization of Rust, and tool support). Talks about work in 
progress as well as proposals for challenge problems in Rust are particularly 
encouraged.
Please submit by email to 
peter.muel...@inf.ethz.ch.

Important Dates
-
Deadline for talk/demo proposals:January 20, 2023 (Friday)
Notification of acceptance:February 10, 2023 (Friday)
Workshop: April 23, 2023 (Sunday)

Organizers

Rajeev Joshi, Amazon Web Services 
mailto:joraj...@amazon.com>>
Nicholas Matsakis, Amazon Web Services 
Peter Müller, ETH Zurich 

[TYPES/announce] Certified Programs and Proofs (CPP) 2023: Call for Participation

[Steve Zdancewic]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*** Call for Participation ***

*** Certified Programs and Proofs (CPP) 2023 ***

 - Early registration deadline: 16 December 2022

 - Registration: https://urldefense.com/v3/__https://popl23.sigplan.org/attending/registration__;!!IBzWLUs!VE2zpt_aQX8dkbQUsJdFuhk5Qqou96y_iWz0kNvBKCRg_b850AdKkxPcnJ1JBhQhx8efA8QwNPtEfMLzgRCb2EH-tUZEtfnRBdE$ 


 - Further reduced student participation fee: see below

 - Accommodation: Boston Park Plaza
   https://urldefense.com/v3/__https://popl23.sigplan.org/venue/POPL-2023-venue__;!!IBzWLUs!VE2zpt_aQX8dkbQUsJdFuhk5Qqou96y_iWz0kNvBKCRg_b850AdKkxPcnJ1JBhQhx8efA8QwNPtEfMLzgRCb2EH-tUZEbGAgrZ0$ 


Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their
work. CPP spans areas of computer science, mathematics, logic, and
education.

CPP 2023 
(https://urldefense.com/v3/__https://popl23.sigplan.org/home/CPP-2023__;!!IBzWLUs!VE2zpt_aQX8dkbQUsJdFuhk5Qqou96y_iWz0kNvBKCRg_b850AdKkxPcnJ1JBhQhx8efA8QwNPtEfMLzgRCb2EH-tUZEj6u3gMg$
 ) will be held on
16-17 January 2023 and will be co-located with POPL 2023. CPP 2023 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and
supported by a diverse set of industrial sponsors.
Similarly to other events collocated with POPL 2023, CPP will take
place as an in-person event at Boston Park Plaza, and will require
attendees to provide proof of vaccination (details will be available
soon). Virtual participation via Airmeet will also be available; look for
updated information about that option on the POPL web site.

For more information about this edition and the CPP series, please
visit https://urldefense.com/v3/__https://popl23.sigplan.org/home/CPP-2023__;!!IBzWLUs!VE2zpt_aQX8dkbQUsJdFuhk5Qqou96y_iWz0kNvBKCRg_b850AdKkxPcnJ1JBhQhx8efA8QwNPtEfMLzgRCb2EH-tUZEj6u3gMg$ 


### Invited Speakers

* Sandrine Blazy, University of Rennes and IRISA
* Cezary Kaliszyk, University of Innsbruck

### Accepted papers

The list of accepted papers is available at
https://urldefense.com/v3/__https://popl23.sigplan.org/home/CPP-2023*event-overview__;Iw!!IBzWLUs!VE2zpt_aQX8dkbQUsJdFuhk5Qqou96y_iWz0kNvBKCRg_b850AdKkxPcnJ1JBhQhx8efA8QwNPtEfMLzgRCb2EH-tUZEiSOAxks$ 


### Subsidized student registration

To facilitate in-person participation, CPP 2023 offers the opportunity 
to waive
the registration fees for those that are in need of financial support to 
attend
the conference. This support is particularly aimed at undergraduate and 
graduate

students, postdocs, and those from marginalized groups.

If you wish to apply for support you may do so by sending an email to 
the CPP
conference co-chairs (Dmitriy Traytel and Robbert Krebbers, see below 
for their
email addresses), with a brief description of your situation. The 
deadline for
applications is 11 December 2022, 23:59 AoE. Notifications will be sent 
out at
most two days later; hence, those who cannot be supported will still 
have the

opportunity to register with the regular early registration fee before 16
December. Applications arriving after 11 December will be considered only if
additional budget is remaining.

CPP's student support is made possible by our generous industrial 
supporters:
https://urldefense.com/v3/__https://popl23.sigplan.org/home/CPP-2023*About__;Iw!!IBzWLUs!VE2zpt_aQX8dkbQUsJdFuhk5Qqou96y_iWz0kNvBKCRg_b850AdKkxPcnJ1JBhQhx8efA8QwNPtEfMLzgRCb2EH-tUZEZqMDBQ0$ 


### Contact

For any questions please contact the chairs:

Steve Zdancewic  (PC co-chair)
Brigitte Pientka  (PC co-chair)
Robbert Krebbers  (conference co-chair)
Dmitriy Traytel  (conference co-chair)