Seventh
RacketCon
  Seattle 2017

7–8 October 2017

Venue

Speakers

Register

(seventh RacketCon) is the meeting for everyone interested in Racket—a general-purpose programming language that’s also the world’s first ecosystem for developing and deploying new languages.

RacketCon is for developers, contributors, programmers, educators, and bystanders. It’s an opportunity for all of us to share plans, ideas, and enthusiasm, and help shape the future of Racket.

Keynote

Dan Friedman
& Will Byrd

The Reasoned Racketeers

As Racketeers we are familiar with functional programming: each pure function we write produces one output value when given zero or more input values. What if we erase this distinction between inputs and outputs, and only think about the relationships between these values? We end up with relational programming, which lets us run our programs backwards: we can infer the “input” values that produce a desired “output” value. We can also reorder our code arbitrarily, without changing the meaning of our programs. By writing an interpreter for a subset of Racket using this approach, the interpreter inherits the ability to synthesize Racket programs from example inputs and outputs, among other interesting abilities.

We will demonstrate all of these features using miniKanren, a domain-specific language for constraint logic programming that is itself embedded in Racket.

Daniel P. Friedman is Professor of Computer Science at Indiana University. He is co-author of The Little Schemer, 4th ed., The Seasoned Schemer, The Reasoned Schemer, 2nd ed., The Little Prover, Scheme and the Art of Programming, and Essentials of Programming Languages, 3rd ed., all published by MIT press.

William E. Byrd is a Research Assistant Professor in the School of Computing at the University of Utah. He is co-author of The Reasoned Schemer, 2nd ed., and runs weekly online hangouts on miniKanren and relational programming. Will is also interested in the intersection of programming languages and biology. Ask him about the scanning tunneling microscope (STM) he is building.

Venue

For the first time this year, RacketCon happens in Seattle. We’ll be at Mary Gates Hall on the University of Washington campus. We thank Emina Torlak and the UW School of Computer Science & Engineering for hosting us.

Register

Early bird $75 individual · $45 student (until September 16)Standard $100 individual · $60 student (after September 16)

Buy your ticket at Eventbrite.

RacketCon attendees also get a fantastic group rate at the beautiful & convenient Hotel Deca.

Speakers

Saturday Oct 7

Keynote and talks. Schedule to come!

Saturday evening

19:00–23:00 Food & drink at local brewpub Elysian Fields

Sunday Oct 8

New for (seventh RacketCon)—Racketeer Office Hours, a day devoted to collaborating on existing projects, planning new ones, and getting help and advice from other members of the community. Racket’s core developers & many others will be there—bring your questions & projects!

Matthew Flatt (Racket core)
Robby Findler (Racket core, DrRacket)
Sam Tobin-Hochstadt (Racket core, Typed Racket)
Jay McCarthy (Racket core, web)
Vincent St-Amour (Typed Racket, optimizer, Racket releases)
Matthew Butterick (Pollen)

Sponsors

Black Swan Learning CorpDavid VandersonMatthew Butterick

Sponsorship slots are still available! If you or your company would like to sponsor RacketCon, please get in touch.

Friendly Environment Policy

The Racket community aims to improve the world through programming. It started with the goal of introducing everyone to the wonderful world of program design, with a spirit of full inclusion and no emphasis on any specific group. Over time it has grown into a full-fledged professional community with a well-known reputation for helpfulness and openness on its on-line communication channels. The organizers want to encourage an equally open exchange of ideas at RacketCon, the community’s in-person meet-up.

This spirit requires an environment that enables all to participate without fear of personal harassment. We define harassment as unwelcome or hostile behavior, that is, behavior that focuses on people instead of ideas. The ACM’s anti-harassment policy lists a variety of specific unacceptable factors and behaviors. The organizers consider responses such as “just joking,” or “teasing,” or being “playful” as unacceptable.

Anyone witnessing or subject to unacceptable behavior should notify one of the RacketCon organizers (Matthew Flatt, Vincent St-Amour).

If a participant engages in harassing behavior, the conference organizers may take any action they deem appropriate, from a warning of the offender to an expulsion from the conference [without refund].

[The wording of this policy is directly derived from that of the SNAPL conference, with thanks.]

Previous RacketCons

201620152014201320122011

“Everyone has a universe of beautiful things in their head. Maintaining a nurturing environment for conflicting interests is important. And Racket has it. So if you worry that you do weird and insignificant stuff, I tell you that the world has taught you wrong and Racket is your refugee shelter. Please do not hesitate.”

—Satisfied Customer, RacketCon 2016