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: Thu, 16 Feb 2017 17:44:08 -0600
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:pfVfhBPdooZCV0QtG94l6mtUPXoX/o7sNwtQ0KIMzox0IvzzrarrMEGX3/hxlliBBdydsKMZzbKL+Pm+EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQtFiT69bL9oMBm7rQrdutQXjIB/Nqs/1xzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgzoFOTEk6mHaksx+gqxYrhy8uRJw35XZYJ2JOPdkYq/RYc8WSGhHU81MVyJBGIS8b44XAuQdOuZXtJLyplsTphW+BAmsAv7gyjtWiX/swKY31P4hEQbd0wM7H9MDq2rbo8vpO6cJS+y1yq7IzS/fb/NW1zby9pPIcgw/rvGWW7J8a9TexlQyFw7ciFibtILrPzSQ1usXsmib6fJtVfi1hGE7qAF+vCSvyt4oiobTgIIVxUrI9SJjwIY6I9CzVU11Yca8HZdNqS2XM5F6Tt4+T2xooio3yacKtJGjcCQU1JgqwwTTZv+HfoSS/x7vSuWcLS1liH9nZr6ygQu5/1K6xe3mTMa01U5HripbndnIsXAAzxnT5dKGSvt55EuuxyqA2B7J5uFCJkA0j7bbK54vw7EujZoTrVrMHjXwmEnskqCZa1gk9vCp6+ThfLrmuoeRO5Jqhgz6KKgih9CzDOQiPgUNRWSW9vyw1Lj58k34RLVKgOc2kq7csJ3CP8QbobW2DBRV04s49RmwESup0M8CkXkBK1JFYg6Hj4jnOl7QO/D4Eemwg06qkDtx2f/JI6DhDo3XLnffiLfhYap960lExQUvytBf/otYBa0FIPLuQUD8r8fYDx88Mwys2enrEtR91oUEWWKOGKCVKq3SsUXbrt4oduKLfcoevCv3A/kj/f/ny3EjynEHeqz855wdYmHwMPVgL0GUezK4mNALG3Yiswc1V6rsj0eeUSFefGq/RaR66z0mXtH1RbzfT5yg1eTSlBywGYdbMzhL

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-off-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, 02/17/2017