It is our great honour and true delight to inform you that GEWIS has chosen a new board on our 151. GM. After a spectacular year, the sun will most definitely set for the 34. board and the tasks shall be adopted by the 35. board as of the first of July in our upcoming lustrum year.
We invite you all to congratulate the new board on the inauguration drink on Thursday the 30th of June 2016, starting at 16:00.
Dear members of GEWIS,
On Wednesday the 29. of June, Study Association GEWIS will convene her 153th General Meeting. Hereby all of her members are invited to attend this meeting as the Code of Conduct article 4 demands.
Up until 4 days prior to the meeting, members can suggest items to be discussed in this meeting. The agenda, minutes and other documents will be posted on the website.
If you are an English speaking member and want to attend this meeting, please notify us in time. The GM is usually in Dutch but might be held in English if someone demands that.
Members that are absent with notice, can authorize another member. Mind that authorizations shall only be accepted when they are signed by hand or submitted via the website. For more information, see the HR article 5.
Dear GEWIS members,
On the 28th of June, the party will start again! It is GEWIS' birthday, and as an association, we will turn 34! As you all know: when it's somebody's birthday, there is pie. So please join the board at GEWIS to enjoy your piece of 'tompoes'!
Dear members,
Next Thursday, it is time for the employee drink again. And this time, DJ Jan-Willem will return! That is the recipe for a great party, so join to chat with your lecturers!
The Constitutieborrel (30/6) is approaching and that means that we need a lot of volunteers to maintain order during the borrel. Do you want to help us make sure that all kinds of objects (incl. board members) remain in the room, then register for this information lunch! Here we will explain the details a bit more and there be room for questions. The registration for the lunch is without any obligations and you still decide afterwards if you want to volunteer during the borrel.
See you the 15th!
Jos Mangnus, Chief of Order
The sun is shining and creates a huge concentration disorder while you study a wide spectrum of interesting subjects. Now is the moment to get out of your routine life before it's to late! I.V.V would like to help you with just that by organizing a magnificent evening, on which you can really relax by playing a snug and competitive game of I.V.V Croquet. You, as a participant, will be provided with tremendously delicious snacks, and of course there will also be great wine which will be sold during the whole activity so there will be nothing in your way to the magnificent feeling of victory. Team up with a fellow GEWIS member, and submit for this wonderful evening full of wine, competition and sociability!
Verum’s Dezyne modeling language: the practical application of Formal Methods in Industry.
In this talk, Paul Hoogendijk (Verum) will show how Verum’s Dezyne language and accompanying tool-set disclose the power and benefits of Formal Methods to a regular engineer, paving the path for adopting Formal Methods in Industry as shown by numerous projects at ASML, Philips, FEI, and Sioux, amongst others.
The Dezyne language has some algebraic properties which allow a software engineer to express models in a very compact and natural way. The same algebraic properties are used for presenting the user normalized, uniform views on the models. Also, these algebraic properties are used for generating Hoare’s CSP (Communication Sequential Processes) as input for the model checker, and for generating the target languages (C, C++, Java, C#, Python, JavaScript).
This talk is the follow-up of the talk in March where Michaël van de Ven (Sioux) talked about his personal, practical experience in applying Verum’s tools in various projects situated in the Brainport region.
De inschrijvingen voor de LIMO zijn geopend! De Landelijke Interuniversitaire Mathematische Olympiade is een jaarlijks terugkerende wedstrijd waarin kleine teams van studenten drie uur krijgen om een aantal wiskundeopgaven op te lossen. Deze opgaven kunnen zeer variëren en bijvoorbeeld de vakgebieden analyse, algebra, meetkunde, kansrekening en logica beslaan.
De volgende editie zal gehouden worden op 10 juni 2016 op het Amsterdamse Science Park. 's ochtends wordt er begonnen met een lezing, 's middags vindt de wedstrijd plaats, waarna tijdens een gezellige borrel gelijk de prijsuitreiking plaatsvindt. Er zal worden afgesloten met een diner in Amsterdam.
Voor meer informatie, zie nsaweb.nl/limo2016/. Inschrijven kan op https://docs.google.com/forms/d/1TwJecTwqdsZqOUsT_tvNjR1sOFkCTi1SNQX2VR_GK7E/viewform?edit_requested=true.
Food for the VV! There is pizza, if the pizza you want does not exist you get margarita!
Short English below
Beste allemaal,
op donderdag 9 juni is het alweer twaalfeneenhalf jaar geleden dat vier jonge knapen besloten om een dispuut op te richten. Zij gaven dit dispuut de naam "In Vino Veritas" of I.V.V voor de luie schrijvers onder ons. En zo geschiedde.
Inmiddels zijn we alweer twaalfeneenhalf jaar verder, zijn we 22 leden rijk en zijn er heel wat flessen wijn geleegd. En zoals het ons betaamd kunnen wij dit heugelijk feit, ons bronzen jubileum, niet ongemerkt voorbij laten. Dus zullen wij op deze dag een mooi programma neer zetten voor alle leden van GEWIS.
In de middag zullen wij op ieder heel uur een kleine activiteit neer zetten. We zullen eenieder van u kennis laten maken met de intellectuele, vloeibare* en musicale genotten des levens. Om vanaf half vijf af te sluiten met een klassieker, de Franse borrel in samenwerking met de BAC. Waarvoor een prachtig wijnmenu is samengesteld en de baquettes zijn besmeerd met brie en filet americain.
We kijken er enorm naar uit en hopen zoveel mogelijk van u te zien. Uw aanwezigheid is voor ons kado genoeg, maar mocht u graag meer willen doen is iets brons natuurlijk altijd een goede kadotip.
Prosit,
Het Dispuut "In Vino Veritas"
Our fraternity "In Vino Veritas" will be 12.5 years old on Thursday the 9th of june. To celebrate this wonderfull fact we have organised a nice program for every GEWIS-member enjoy.
14:00 Popquiz
15:00 Wine Tasting Course*
16:00 Mini-Cantus
And finally together with the BAC a French Social Drink! With a specially selected wine menu and baquettes with brie and filet americain.
Prosit,
Fraternity "In Vino Veritas"
*The wine tasting course will be a purely theoretical course.
Watch out everyone  SCIFI’s Awesomazing Race is here! It's almost summer and therefor
the perfect time for our modern version of a treasure hunt. Join us and experience the
campus in a different, new way.
Form a team with your friends and start your search for the minigames that we have spread
out across campus. Completing the challenges will be a lot of fun but also reward you with
clues. Collect them and they will lead you to our hidden treasure.
You don't want to miss this fun activity, so grab three or four of your friends and sign up.
It will be truely awesomazing!
Subscribe for a delicious pizza just before the SCIFI Awesomazing race!
Dear members of GEWIS,
On Tuesday the 7th of June, Study Association GEWIS will convene her 152th General Meeting. Hereby all of her members are invited to attend this meeting as the Code of Conduct article 4 demands.
Up until 4 days prior to the meeting, members can suggest items to be discussed in this meeting. The agenda, minutes and other papers will become available shortly on the website.
If you are an English speaking member and want to attend this meeting, please notify us in time. The GM is usually in Dutch but might be held in English if someone demands that.
Around 17:00 there will be a possibility to eat something. This will cost around 6 euros. If you would like to order food for this, you should register to do so before Tuesday the 7th of June, 1 PM. Soon there will be the possibility to do so on the GEWIS-website.
When you subscribe for this subscription list, then the board will print the documents for the GM for you.
Dear GEWIS members,
Would you like to have some dinner before the GM of the 7th of June?
Subscribe here to get some!
There is a choice between wok and pizza, see: http://soho.foodnu.nl/ and then the header: http://soho.foodnu.nl/
Dearest members,
Are you tired looking at random geometric figures? Then we have got the solution for you! Come pooling with the AC to see geometry in prACtice. This event will take plACe Monday 6th of June and only for the price 2 euros for seniors and only 1 euro for freshmen. This awesome ACtivity will take plACe at SPC Woensel. You will share a table with 3 other members (4 people per table) for two hours, if you want to expand your great pooling experience it is possible to go on an extra hour (for the price of 5 euro an hour per table). There is also the possibility to have dinner at GEWIS, we serve wok and pizza, for the incredible low price of only 6 euro. Dinner will be ready at half past five. If you choose to have dinner at your own plACe make sure that you’re at GEWIS at a quarter past six. Because than we head to the pool centrum by bike or by OV.
Cheers,
The AC
N.B. In priciple we have a maximum of 40 participants, but if there is enough enthusiasm we can increase the number of tables.