caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Certified Programs and Proofs (CPP) 2022: Call for Participation
@ 2021-12-09 13:35 Steve Zdancewic
  0 siblings, 0 replies; only message in thread
From: Steve Zdancewic @ 2021-12-09 13:35 UTC (permalink / raw)
  To: caml-list, coq-club, nuprl, types-announce
  Cc: Andrei Popescu, Lennart Beringer, Robbert Krebbers

[-- Attachment #1: Type: text/plain, Size: 3417 bytes --]


*** Call for Participation ***

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

  - Early registration deadline: 3 January 2022

  - Getting a visa:

  - Registration:

  - Further reduced student participation fee: see below

  - Accommodation:

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 2022 ( will be held on 
17-18 January 2022 and will be co-located with POPL 2022. CPP 2022 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 2022, CPP will take place 
as an in-person event at the Westin Philadelphia (99 South 17th Street 
at Liberty Place, 19103 Philadelphia), and will require attendees to 
provide proof of vaccination (details will be available soon). Authors 
who are unable to attend CPP in person will be able to present remotely. 
All talks will be recorded, and all recordings will be available either 
as a livestream or soon afterwards.

For more information about this edition and the CPP series, please visit

### Invited talks

* June Andronick (UNSW Sydney). The seL4 verification: the art and craft 
of proof and the reality of commercial support

* Andrew W. Appel (Princeton). Coq’s vibrant ecosystem for verification 

* Cesar Munoz (Currently at AWS, Formerly at NASA, USA). Structural 
Embeddings Revisited

### Accepted papers

The list of accepted papers is available at

### Subsidized student registration

To facilitate in-person participation of undergraduate and graduate 
students who require financial assistance, CPP 2022 offers the 
opportunity to register at a special reduced rate, determined on a 
case-by-case basis, and implemented using a special-purpose registration 
code on POPL's registration website. Students wishing to apply for such 
support may do so by sending mail to the CPP conference co-chairs 
(Beringer and Krebbers, see below for their email) preferably by 
December 24, 2021, with a brief description of their situation. 
Notifications will be sent out at most one week later; hence, students 
who cannot be supported will still have the opportunity to register at 
the publicly available reduced rate, which is available until January 
3rd. Applications arriving after December 24th will be considered only 
in exceptional cases. Students who already receive registration support 
for PLMW or are supported by SIGPLAN PAC are not eligible.

CPP's student support is made possible by to our generous industrial 

### Contact

For any questions please contact the chairs:

Andrei Popescu <> (PC co-chair)

Steve Zdancewic <> (PC co-chair)

Lennart Beringer <> (conference co-chair)

Robbert Krebbers <> (conference co-chair)


[-- Attachment #2: Type: text/html, Size: 13274 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-12-09 13:35 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-12-09 13:35 [Caml-list] Certified Programs and Proofs (CPP) 2022: Call for Participation Steve Zdancewic

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).