[Caml-list] Certified Programs and Proofs (CPP) 2022: Call for Participation

*** Call for Participation ***
*** Certified Programs and Proofs (CPP 2022) ***
  
 - Early registration deadline: 3 January 2022
 - Getting a visa: https://popl22.sigplan.org/attending/visa-information
 - Registration: https://popl22.sigplan.org/attending/registration
 - Further reduced student participation fee: see below
 - Accommodation: https://popl22.sigplan.org/venue/POPL-2022-venue
  
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 (https://popl22.sigplan.org/home/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 https://popl22.sigplan.org/home/CPP-2022
  
### 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 engineering
* Cesar Munoz (Currently at AWS, Formerly at NASA, USA). Structural Embeddings Revisited
  
### Accepted papers
  
The list of accepted papers is available at
https://popl22.sigplan.org/home/CPP-2022#event-overview
  
### 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 supporters:
https://popl22.sigplan.org/home/CPP-2022
  
### Contact
  
For any questions please contact the chairs:
Andrei Popescu <a.popescu@sheffield.ac.uk> (PC co-chair)
Steve Zdancewic <stevez@seas.upenn.edu> (PC co-chair)
Lennart Beringer <eberinge@cs.princeton.edu> (conference co-chair)
Robbert Krebbers <mail@robbertkrebbers.nl> (conference co-chair)
    

[Caml-list] Call for Workshop Proposals: ICFP 2022

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2022
27th ACM SIGPLAN International Conference on Functional Programming


September 11 - 16, 2022
Ljubljana, Slovenia
https://icfp22.sigplan.org/

The 27th ACM SIGPLAN International Conference on Functional
Programming will be held in Ljubljana, Slovenia on September 11 - 16,
2022, with the option of virtual participation. ICFP provides a forum
for researchers and developers to hear about the latest work on the
design, implementations, principles, and uses of functional
programming.

Proposals are invited for workshops (and other co-located events, such
as symposiums) to be affiliated with ICFP 2022 and sponsored by
SIGPLAN. These events should be less formal and more focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas. The preference is for one-day
events, but other schedules can also be considered.

The workshops are scheduled to occur on September 11th (the day before
ICFP) and September 15-16th (the two days after ICFP).

----------------------------------------------------------------------

Submission details
Deadline for submission: December 24, 2021
Notification of acceptance: January 10, 2022

Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2022 workshop co-chairs (Arthur Azevedo de Amorim
and Zoe Paraskevopoulou) via email to

icfp-workshops-2022@googlegroups.com

by December 24, 2021. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a firm
deadline.

Organizers will be notified if their event proposal is accepted by
January 10, 2022, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.

The proposal form is available at:

http://www.icfpconference.org/icfp2022-files/icfp22-workshops-form.txt

Further information about SIGPLAN sponsorship is available at:

http://www.sigplan.org/Resources/Proposals/Sponsored/

----------------------------------------------------------------------

Selection committee

The proposals will be evaluated by a committee comprising the
following members of the ICFP 2022 organizing committee, together with
the members of the SIGPLAN executive committee.

Workshop Co-Chair: Arthur Azevedo de Amorim (Boston University)
Workshop Co-Chair: Zoe Paraskevopoulou (Northeastern University)
General Chair: Andrej Bauer (University of Ljubljana)
Program Chair: Zena Ariola (University of Oregon)


----------------------------------------------------------------------

Further information

Any queries should be addressed to the workshop co-chairs (Arthur
Azevedo de Amorim and Zoe Paraskevopoulou), via email to
icfp-workshops-2022@googlegroups.com.