Community

codecentric mittendrin

Meetups, Stammtische, Hackathons, User Groups: Die codecentric ist weit mehr als die Summe ihrer Mitarbeiter und Projekte.

Hinter jeder erfolgreichen Software steht eine starke Community

Wissensvermittlung, Nachwuchsförderung und der fachliche Austausch auf Augenhöhe sind für uns Herzensangelegenheiten. Wir sind der Meinung: Geteilte Innovationsfreude ist doppelte Innovationsfreude.

Deshalb mischen sich codecentric-Mitarbeiter und -Mitarbeiterinnen gerne unter die Community – ob als Gastgeber, Redner oder Organisatoren diverser Veranstaltungen. Treffen Sie uns auf einem der folgenden Events!

Idris User Group Düsseldorf

Idris User Group Düsseldorf

STARTPLATZ Düsseldorf GmbH, Speditionstraße, Düsseldorf, Deutschland 09.01.2018 | 19:00

Let's play Proofsweeper

Idris User Group Düsseldorf is meeting on Jan 9 to give Proofsweeper game a try:
ProofSweeper is a variant of the classic Minesweeper game in which, to advance in the game, you must formally prove that a cell is or is not a mine using Idris. The game is designed as a fun way to improve your ability to write formal proofs in Idris.

It is played on a square grid of cells (2×2 up to 20×20, selected when you create a new game). The game is played by using a command-line utility called the ProofSweeperEngine to control game flow, and by writing proofs in your favourite text editor. More information on GitHub.

Please bring your laptop. If prossible with a working Idris installation and editor. If you haven’t installed Idris yet, we can help you.

Organisator:

Benedikt Ritter