For this meetup, we will provide free pizza and drinks, then we will have 2 speakers give great 20-minute talks. Details of those are below.

We will be holding this event at the Columbus Idea Foundry in their newly opened coworking space! There is a beautiful space for us to host the talks, and we can’t wait to bring you all in to use it.

Address: 421  W State St., Columbus, Ohio 43215

Just come on upstairs and you can’t miss us.

Time: 6:15 for pizza, talks will start at 6:45.

Title: Graph Coloring and Other Fun Problems with Prolog

Speaker: Steven Angles is a software engineer at Sonatype and a Columbus resident. When he’s not hacking or coding, you can find him working on cars or studying aircraft.

Title: How to Use Real Computer Science in Your Day Job

When you leave this user group and return to work, do you expect to apply what you’ve learned here to hard problems, or is there just never time or permission to venture outside of fixing “undefined is not a function” in JavaScript? Many of us do use functional languages, machine learning, proof assistants, parsing, and formal methods in our day jobs, and employment by a CS research department is not a prerequisite. As a consultant who wants to choose the most effective tool for the job and keep my customers happy in the process, I’ve developed a structured approach to finding ways to use the tools of the future (plus a few from the 70s!) in the enterprises of today. I’ll share that with you and examine research into the use of formal methods in other companies. I hope you will leave the talk excited about new possibilities for your day job!

Speaker: Craig Stuntz is a software engineer and a lifelong student of computer science, with specific interests in programming languages, type theory, compilers, and math. He is Technical Director for Improving in Columbus, Ohio, and cofounded the Columbus branch of Papers We Love, a reading group for people interested in academic computer science research. In the past year he has presented talks at CodeMash, Dog Food Conference, Stir Trek, and many user groups.

If you are interested in giving a talk in the future, let me know (me@ntietz.com). Also, give us feedback on this new format so we know if we should keep going with the old format (1 speaker per meetup) or stick with this (multiple shorter talks).