coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] the Racket summer school of semantics and languages

From: Robby Findler <robby AT eecs.northwestern.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] the Racket summer school of semantics and languages
Date: Sat, 1 Apr 2017 07:10:57 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=robby AT eecs.northwestern.edu; spf=None smtp.mailfrom=robby AT eecs.northwestern.edu; spf=None smtp.helo=postmaster AT mail.ece.northwestern.edu
Ironport-phdr: 9a23:jgAeBxcKY05+r5tchIamlt3ilGMj4u6mDksu8pMizoh2WeGdxcuzbR7h7PlgxGXEQZ/co6odzbGH7+a4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM38G/ZhM9tgqxFvB2svAB/z5LObY2JKPZyYqHQcNUHTmRBRMZRUClBD5ugYYsIFOUOJuZZpJT9qVsPqxuxGA2sC/31yjRVgXL2x6o63P86HgDGxwEvAcwBv2jPrNnvMqcSVvq1zLXIzTTNcfxWwiv955bSchAnu/2DQ69/cdfIxEQpCgjLgFKQqYn/MDOU0OQAq3Kb4PB8WuKslWEntxh9ojy1yccqhYnFnIUVykrL9Sh/3Y07JsW4RVZmbdK6FJZcrTyWO5d2T884QGxkoik3xqUYtZKneCUG0pcqyh7FZ/CabYSF4QjvWPuSLDtmgn9uZaixiAyo8Ue6z+3xTsm030hOripCitTMs2oC1x3X6sSdVPRy4lmu1SyJ1wDU8OFEPUA0lKTFJJ463r4/iIATsULZEiDohUr2kbeadkQi+ue29+TqeqjqqoGYOoNulw3yLqQjlta8DOgiPQUCR22b9v691L3n8035WrJKjvgun6nDt5DVPt8Up66iDgBLzIks9w2/Ay2g0NQfh3kHMFJFeRyZgIjyJ1HBPur4DfGlj1uyjThr2ujKPqf9DZXVMnjDjLDhcK5h5E5b0Qo/1MxQ55ZJCr4aO//zQU/wtNnADhAjKQC0wuDnCM981owEQ26PDLWZY+vutgqD4ftqKO2RbqcUviz8Ir4r/a3Al3g8zGUad6O4lbUWbny8E+4ud1+ea3D9qtoMGnxMuA0kUOz1hUaeXCRVIXu+QvRvtXkAFIu6ANKbFciWi7ub0XLjEw==

The Racket Summer School of Semantics and Languages
Last Call

Imagine yourself confronted with a Mystery Programming Language and
charged with the task of figuring out its semantics. What would you do?

What if you have a formal executable semantics and want to build a
production language for it?

If these questions intrigue you, attend the Racket Summer School:

http://summer-school.racket-lang.org/2017/

This is not your run-of-the-mill summer school. We will do our best
to make it exciting, entertaining, and useful to a broad spectrum of
attendees, both academic and industrial.

P.S. As soon as you get accepted, we will send you your first problem
set. Get ready.

[Coq-Club] the Racket summer school of semantics and languages, Robby Findler, 04/01/2017