This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

“BUILD STUFF” is a Software Development Conference for people who actually build stuff. We bring world-class speakers, letting them share about the latest developments, trends and innovations, as well as new directions in software development. Since launching in 2012, it’s really caught on quickly.

Recognized by developers from all over Europe, international Software Development Conference Build Stuff’15 Lithuania will feature 3 days (18-20 Nov’15) of conference sessions and 2 days (21-22 Nov’15) of workshops.

View analytic
Thursday, November 19 • 10:30 - 11:25
(SLIDES) Felienne Hermans @Felienne - A board game night with geeks

Sign up or log in to save this to your schedule and see who's attending!

So this one day, I am playing the board game Quarto (http://en.wikipedia.org/wiki/Quarto_%28board_game%29) with my friend and I wonder, can this game end in a tie, or is there always a winner?

Normal people might have squabbled or shrugged, but not us nerds! We obviously abandoned the game, took our laptops to the local pub and started hacking. In this talk I will explain how I used F# to transform this problem to satisfiability, and ran it through a sat solver to discover if it can indeed end in a tie.

I will also show how to apply the same technique to more useful problems such as scheduling and register allocation.

avatar for Felienne Hermans

Felienne Hermans

Professor in software engineering, Felienne
Felienne is an assistant professor at Delft University of Technology. During her PhD project, she researched the applicability of refactoring and smell detection to spreadsheets, and founded a spin off based on this idea. Now a professor, she continues her mission to improve spreadsheets in the wild using software engineering methods. | | On Saturdays, she teaches a bunch of kids Lego Mindstorms Saturday in a local community center, and she... Read More →

Thursday November 19, 2015 10:30 - 11:25
2. Beta

Attendees (51)

Twitter Feed