Het is ons een grote eer en een waar genoegen u te mogen mededelen dat GEWIS een nieuw bestuur heeft verkozen op de honderdeenenvijftigste algemene vergadering. Na een spetterend jaar zal voor het vierendertigste bestuur per 1 juli de zon toch echt onder gaan en zullen de
taken in het aankomend lustrumjaar worden overgenomen door het vijfendertigste bestuur.

Wij nodigen u allen van harte uit om het nieuwe bestuur te feliciteren met hun aanstelling; op onze constitutieborrel die zal plaatsvinden op donderdag 30 juni 2016 vanaf 16:00.

Op woensdag 29 juni zal Studievereniging GEWIS haar 153e Algemene Ledenvergadering bijeenroepen. Bij dezen zijn al haar leden uitgenodigd om deze vergadering bij te wonen, zoals vereist conform HR artikel 4.

Tot uiterlijk 4 dagen voor de vergadering kunnen er nog nieuwe punten aangedragen worden. De stukken zullen komende week op de website gezet worden.

Zij die zich afmelden kunnen een ander lid machtigen. Let hierbij op het bepaalde in HR artikel 5, in het bijzonder dat machtigingen alleen worden geaccepteerd als zij schriftelijk ondertekend worden ingeleverd of via de website ingediend zijn op de juiste plek.

Lieve GEWIS-leden,

Op 28 juli is het weer zover; GEWIS is dan jarig! Om dit te vieren heeft het bestuur dit jaar extra uitgepakt! Wie jarig is, trakteert, en daarom zullen er heerlijke tompoezen zijn voor de aanwezigen.

Lieve GEWIS-leden,

Komende donderdag is het weer zover; een medewerkersborrel! En dit keer zal ook DJW weer acte de présence geven! Komt allen om je cijfer een klein beetje omhoog te kletsen bij jouw docenten!

De Constitutieborrel (30/6) komt er weer aan en dat betekent dat we weer mensen nodig hebben voor de ordecommissie. Lijkt deze nobele taak jou iets, schrijf je dan vrijblijvend in voor de Ordecommissie Interesselunch. Hier zullen
we alles haarfijn uitleggen en al je eventuele vragen beantwoorden, en
kun je er voor kiezen om je aan te melden.

Graag tot de 15e!
Groetjes,

Jos Mangnus, Hoofd Ordecommissie

Nu de zon zijn stempel drukt op onze dagelijkse bezigheden en zorgt voor een groot concentratiegebrek gedurende het bestuderen van allerlei interessante onderwerpen, is het van belang zo nu en dan te zorgen voor een welkome onderbreking. Men wil immers niet in een sleur belanden. I.V.V voorziet u hierin i de vorm van een zeer puike avond waarop u weer even helemaal tot rust kunt komen door een gezellig doch competitief spelletje I.V.V Croquet. U zult als deelnemer voorzien worden van bourgondisch lekkere hapjes en zal er heerlijke wijn verkocht worden, opdat er u niets meer de weg zal staan uw zorgen geheel te laten varen. Zoek snel een medespeler en schrijf u in voor deze heerlijke avond vol wijn, competitie en bovenal, gezelligheid!

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.

Eten voor de VV! Er is pizza! Als de pizza niet bestaat of te verkrijgen is krijg je margaritha,

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!

Schrijf je nu in voor een heerlijke pizza voor bij de SCIFI Awesomazing race!!

Geachte GEWIS-leden

Op dinsdag 7 juni 2016 zal Studievereniging GEWIS haar 152e Algemene Vergadering bijeenroepen. Bij dezen zijn al haar leden uitgenodigd om deze vergadering bij te wonen, zoals vereist conform HR artikel 4.

Tot uiterlijk 4 dagen voor de vergadering kunnen er nog nieuwe punten aangedragen worden. De stukken zullen komende week op de website gezet worden.

Rond 17:00 uur is er gelegenheid om wat te eten, de kosten hiervoor bedragen ongeveer 6 euro. Wanneer je hiervan gebruik wilt maken, dien je je uiterlijk voor dinsdag 7 juni, 13:00 uur, opgegeven te hebben. Op de GEWIS-site is binnenkort de inschrijflijst te vinden om je eten te reserveren.

Zij die zich afmelden kunnen een ander lid machtigen. Let hierbij op het bepaalde in HR artikel 5, in het bijzonder dat machtigingen alleen worden geaccepteerd als zij schriftelijk ondertekend worden ingeleverd of via de website ingediend zijn op de juiste plek.

Als u zich inschrijft voor deze activiteit, zal het bestuur u voorzien in stukken voor deze AV.

Beste GEWIS-leden,

Wilt u voor de AV van 7 juni 2016 ook wat eten?
Schrijf je dan hier in!

Er is keuze tussen wok en pizza; zie http://soho.foodnu.nl/ kopje: Wokgerechten

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.