[TYPES/announce] CPP 2020: Call for Sponsors

[Catalin Hritcu]

The ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
covers all areas that consider formal verification as an essential paradigm for
their work. CPP spans areas of computer science, mathematics, logic, and
education and brings together 100+ researchers and practitioners to present the
latest developments in formal verification. More information about CPP at:
https://popl20.sigplan.org/home/CPP-2020

CPP welcomes corporate donations to help maintain and improve the overall
experience at the conference. The money we get from corporate sponsors will
generally be used to subsidize student attendance (e.g., registration weaving,
which generally increases student participation), cover the travel costs of
invited speakers, and pay for the conference dinner. This will also allow us
explore new ideas such as adding a distinguished paper award, or covering the
fees that would make CPP open access for everyone.

### CPP Support Levels

#### Bronze -- Suggested donation $1000
- your name and logo prominently displayed on the CPP website
- acknowledgment in the CPP PC chair's statement for the proceedings
- big thank you in the CPP PC chair's report talk

#### Silver -- Suggested donation $2500
- as above plus:
- an opportunity to display printed materials or branded merchandise
  (e.g., t-shirts, but **no** coffee containers please) on a joint table in
  the CPP conference room, or, space permitting, next to the entrance door
- one complementary registration to CPP (20-21 January 2019)

#### Gold -- Suggested donation $5000
- as above plus:
- acknowledgement as a sponsor of the CPP keynote talks
- a banner on stage carrying the supporter's logo (it is the company's
  responsibility to produce and bring this to the conference)
- table/booth-like space at CPP where, if you wish, you can display publicity
  material, distribute handouts, talk to people, or demo software
  (for the duration of CPP, 20-21 January 2019).
- an opportunity to also display printed materials at the registration desk
  (which is joint with POPL)
- two complementary registrations to CPP (20-21 January 2019)
- other arrangements are possible based on your needs and interests
  (subject to ACM restrictions on commercial involvement)

#### Platinum -- Suggested donation $10000
- as above plus:
- an opportunity to be the sponsor of the CPP conference dinner;
  a representative from the company will be granted 10 minutes
  at the beginning of the dinner to address the attendees
- an opportunity to include branded merchandise in all POPL and CPP
  participant's swag bag, such as a flyer, for example, if desired
- three complementary registrations to CPP (20-21 January 2019)
- other arrangements are possible based on your needs and interests
  (subject to ACM restrictions on commercial involvement)

### Contact

Questions about how to contribute to CPP may be directed to
catalin.hritcu at gmail.com