public inbox for categories@mta.ca
 help / color / mirror / Atom feed
* Certified Programs and Proofs (CPP) 2023: Call for Participation
@ 2022-12-05 22:00 Steve Zdancewic
  0 siblings, 0 replies; only message in thread
From: Steve Zdancewic @ 2022-12-05 22:00 UTC (permalink / raw)
  To: acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP,
	agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB,
	appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ,
	ats-lang-users-/JYPxA39Uh5TLH3MbocFFw, caml-list-MZpvjPyXg2s,
	categories-59hdLBrVOVU, cl-isabelle-users-33AaDErTWvBK/gkPnarB6Q,
	coq-club-MZpvjPyXg2s, dl-N/hjgmPSN2rYtjvyW6yDsg,
	event-HKdKWCMRuSoyzp8zgePYoYQuADTiUCJX,
	finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR,
	fm-announcements-cwGa0Mn2PPIb0b0yYlRVAg,
	folli-WRVizKnH2qah6J55Ss3d3w, fom-+I05ep9qJbk3uPMLIKxrzw,
	fstar-club-bM+ny+RY8h+a+bCvCPl5/gCzwTLBPCX0,
	GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR,
	grin-eventi-q19zApnVckaMVPazPUTyfzUZDU+1vuVT,
	haskell-HC+Z4NTRIlBAfugRpC6u6w,
	hol-info-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f,
	ic.eatcs.di-AvPnZcJwPP15YBQjdAIqgE6FHaWFtxp8,
	idris-lang-/JYPxA39Uh5TLH3MbocFFw,
	las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX,
	lean-user-/JYPxA39Uh5TLH3MbocFFw, logic-o02PS0xoJP/q4qjOmvqfQQ,
	loginf-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ,
	matryoshka-devel-bM+ny+RY8h+a+bCvCPl5/gCzwTLBPCX0,
	PlanetKR-7hZN9r6sC8U, ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ,
	pvs-1VPwtPCARB1BDgjK7y7TUQ, rewriting-vYW+cPY1g1pWj0EZb7rXcA,
	rewriting-URqwlNng3RYeRlMTHcmXLbhJywXYPV/v,
	srepls-BJlGqfXgjbjQzY9nttDBhA, ssreflect-C19eNOrLonWacSAJ64KLvA

*** Call for Participation ***

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

  - Early registration deadline: 16 December 2022

  - Registration: https://popl23.sigplan.org/attending/registration

  - Further reduced student participation fee: see below

  - Accommodation: Boston Park Plaza
    https://popl23.sigplan.org/venue/POPL-2023-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 2023 (https://popl23.sigplan.org/home/CPP-2023) 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://popl23.sigplan.org/home/CPP-2023

### 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://popl23.sigplan.org/home/CPP-2023#event-overview

### 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://popl23.sigplan.org/home/CPP-2023#About

### Contact

For any questions please contact the chairs:

Steve Zdancewic <stevez-hkHJxBBPWjbG6jMu9gPlYQ@public.gmane.org> (PC co-chair)
Brigitte Pientka <bpientka-S5l+oUlWHzzRDnTH8IMvug@public.gmane.org> (PC co-chair)
Robbert Krebbers <mail-n+AKJYuU+A/jolR8g+p5NfP6llvjuJOh@public.gmane.org> (conference co-chair)
Dmitriy Traytel <traytel-okVzrDOvQGk@public.gmane.org> (conference co-chair)



-- 
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/f8bcc439-135e-291f-6974-1e8f34ceaa81%40seas.upenn.edu.


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

only message in thread, other threads:[~2022-12-05 22:00 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-05 22:00 Certified Programs and Proofs (CPP) 2023: 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