Joy: Pieter Bootsma, Bauke Conijn en Thijs Marinussen

ÆÆÆ!!!: Peter Broere, Teun Koster en Vincent Huisman

<s>GELIMBO</s>GEPWNAGE++: Nicky Gerritsen, Sebastiaan Candel en Sander Toonen.

Voor meer informatie zie: www.nwerc.eu

De uitslag van de voorronde van de Beneluxwedstrijd in Groningen is te zien op: www.bapc.fmf.nl/uitslag

Voordat de geboren Duitse in juni 2003 naar Eindhoven kwam, werkte ze als postdoc aan de ETH Zürich (Zwitserland). Speckmann promoveerde aan de University of British Columbia in Vancouver, Canada.

Maatschappelijke thema's
Speckmann is verheugd over haar uitverkiezing: “Wat ik vooral belangrijk vind, is dat de leden van de Jonge Akademie meepraten over maatschappelijke thema’s en wetenschapsbeleid. Daar heb ik ook wel ideeën over. Naar mijn mening is de financiering van onderzoek in Nederland bijvoorbeeld heel raar geregeld, vooral nu er de laatste tijd minder geld naar de universiteiten gaat. Daar zou ik met minister Plasterk graag eens over praten.”

De Jonge Akademie, een zelfstandig onderdeel van de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW), is in 2005 opgericht om jonge onderzoekers in contact te brengen met collega’s uit andere vakgebieden. De Jonge Akademie geeft haar mening over maatschappelijke en politieke thema's en wil het brede publiek enthousiasmeren voor de wetenschap. Elk jaar worden tien onderzoekers geselecteerd die voor vijf jaar lid mogen zijn van de Jonge Akademie. Hiervoor komen wetenschappers in aanmerking die zich al hebben bewezen, maar nog geen tien jaar geleden zijn gepromoveerd.

Vanuit de TU/e is dr. Carlijn Bouten (Biomedische Technologie) vanaf de oprichting lid van de Jonge Akademie. Onlangs werd bekend dat zij in het kader van de Jonge Akademie fractievoorzitter Femke Halsema van GroenLinks gaat helpen bij het duiden van wetenschappelijke informatie.  Prof. dr. Mark Peletier, hoogleraar wiskunde aan de TU/e behoorde in 2006 tot de eerste lichting van tien nieuwe leden. Speckmann wordt op donderdag 18 maart 2010 geïnstalleerd als lid. Het is de bedoeling dat de eerste generatie, waaronder Bouten, dan zal aftreden.

Networks 51 (2008), no. 3, pp 178-189.

- Asaf Levin, Daniel Paulusma, Gerhard J. Woeginger,    The computational complexity of graph contractions. II. Two tough polynomially solvable cases.

Networks 52 (2008), no. 1, pp 32-56.

Er waren meer dan 50 papers gepubliceerd in Networks in 2008. De twee artikelenseries van Gerard, Asaf en Daniel werden als buitengwoon beoordeeld door diverse leden van de editorial board.

Gerard, Asaf en Daniel ontvangen een certificaat en een geldbedrag in de vorm van een cheque.

15.35 Nationale Olympiade, door drs. Melanie Steentjes, secretaris SNWO

15.45 De olympiade sponsoren, door ir. Harold de Boer, Transtrend

16.00 Prijsuitreiking, door prof.dr. Frits Breukers, voorzitter SNWO

16.30 Olympiadelezing "Wiskunde op het spoor", door prof.dr. A. Schrijver

16.45 Internationale Wiskunde Olympiade Duitsland, door dr. Quintijn Puite

16.55 Huldiging medaillewinnaars, door prof.dr. Dirk Siersma

17.00 Training komend jaar, door dr.ir. Erjen Lefeber

Een van de sprekers, Prof.dr. Alexander Schrijver (1948) is onderzoeker aan het Centrum voor Wiskunde en Informatica (CWI) te Amsterdam. Daarnaast is hij als deeltijdhoogleraar verbonden aan de Universiteit van Amsterdam.

Lex Schrijver is een van de winnaars van de Spinozapremie 2005. Hij ontving de prestigieuze prijs, die ook wel de ‘Nederlandse Nobelprijs’ wordt genoemd, voor zijn voortreffelijke, baanbrekende en inspirerende onderzoek op het gebied van combinatoriek en algoritmiek.

Behalve een aantal boeken publiceerde Schrijver een groot aantal artikelen. Hij ontving een groot aantal prijzen, waaronder tweemaal de Fulkerson Prize van de American Mathematical Society (in 1982 en 2003), de Dantzig Prize van de Mathematical Programming Society en Society for Industrial and Applied Mathematics (2003) en tweemaal de Lanchester Prize van de Operations Research Society of America (in 1987 en 2004).

Het wordt er ook niet eenvoudiger op. De tijd dat software bestond uit enkele duizenden regels code ligt ver achter ons. Hedendaagse softwaretoepassingen behoren tot het meest ingewikkelde dat ooit door mensen bedacht is. De software voor een moderne televisie bevat bijvoorbeeld al miljoenen regels code.

Beroep op de wetenschap
Software is zo complex geworden dat het bedrijfsleven grote softwareprojecten soms moet weigeren, omdat ze deze niet kunnen managen. Steeds vaker wordt dan een beroep gedaan op de wetenschap. Zo lukte het samenwerkende wetenschappers onlangs wél om de aankomst- en vertrektijd tussen de verschillende treinen in de Parijse metro te verkorten van drie naar twee minuten, terwijl een aantal grote ICT-bedrijven moest passen.

Fouten beperken
Een andere manier van denken is dus hard nodig om controle te houden en de hoeveelheid fouten te beperken. Met bepaalde wiskundige tools -zogeheten formele methoden- kun je met mathematische precisie logisch over software redeneren. Tijdens de FM-week (‘Formele Methoden’) van 2 tot en met 6 november doen wetenschappers hiervoor nieuwe ideeën uit de doeken. Er worden zo’n duizend deelnemers verwacht.

Industry Day
Er vinden verschillende evenementen plaats in samenwerking met bedrijfsleven en de overheid. Kennisuitwisseling en toepasbaarheid van de methoden staan centraal. Zo is donderdag 5 november de Industry Day waar wetenschappers en bedrijfsleven ervaringen uitwisselen over de toepasbaarheid van de methoden.

Nobelprijs
Een van de hoogtepunten van de FM-week is de presentatie door de Amerikaanse informaticus E. Allen Emerson. Hij is één van de grondleggers van het model checken, een succesvolle, industrieel toegepaste formele methode. Emerson kreeg hiervoor in 2007 de Turing Award, ook wel de Nobelprijs voor de informatica genoemd. Op 4 november gaat deze informaticapionier samen met hoogleraar Joost-Pieter Katoen van de RWTH Aachen in op bestaande en nieuwe methoden voor het oplossen van softwareproblemen. Emerson vanuit zijn jarenlange ervaring en Katoen voornamelijk vanuit de nieuwe inzichten op dit gebied.

Meer informatie over de FM-week is te vinden op: http://www.win.tue.nl/fmweek/

De uiteindelijke winnaars worden 19 november bekend gemaakt. Van 11 oktober tot en met 17 november kunnen mensen hun stem voor de publieksprijs uitbrengen via www.brainseindhoven.nl.

Finalist: never stop developing!
Finalist IT Group verleent de IT diensten consultancy, projecten en applicatiebeheer. Zij zijn vooral gespecialiseerd in open source en open standaarden. Finalist werd in 1994 opgericht door de huidige algemeen directeur Jean-Luc van Hulst. In Nederland werkt Finalist met 70 collega’s verdeeld over kantoren in Rotterdam, Amsterdam en Eindhoven. Finalist is tevens gevestigd in New York (V.S.) en Beijing (China). Voor meer informatie: http://www.finalist.com

Finalist directeur en oprichter Jean-Luc van Hulst: “Het is ons ernst om samen met de universiteiten dit signaal ook in mindere tijden af te geven. Zelfs een conjuncturele crisis kan het structurele tekort aan hoogopgeleide IT-ers niet overschaduwen.” Daarom worden juist ook dit jaar ondanks de huidige economische situatie de Finalist-beurzen uitgereikt.

Het aantal vooraanmeldingen van studenten die starten met een studie Technische Informatica is met  1,9% gedaald in vergelijking met het vorige studiejaar. Terwijl landelijk WO opleidingen 18% meer studenten mogen verwelkomen, lopen de vooraanmeldingen van de Technische Informatica opleidingen bij vergelijking sterk uit de pas. Brancheorganisatie ICT~Office gaf in ICT marktmonitor 2009 aan dat het structurele tekort aan ICT-ers in 2013 maar liefst 6000 werknemers omvat.

Volgens Jean-Luc van Hulst verliest Nederland als kennisland haar innovatieve karakter als de situatie zo blijft. Door het enorme tekort kan Nederland in de toekomst geen rol meer spelen als kennisland waarvoor juist expertise zoals die van een afgestudeerde Technische Informatica van groot belang is.

Tijdens de XPO Symposium 2009 zullen een aantal gediplomeerden een presentatie verzorgen in het kader van hun eindproject.

Tijdens de XPO wordt een lunch aangeboden.

Programma 1 oktober 2009:

Dagvoorzitter: dr. A. Aerts, coördinator OOTIprogramma

XPO Symposium 2009 (voorzitter: prof.dr. J. Lukkien)

Locatie: Auditorium (ontvangst, pauze en lunch in de hal, vak D – presentaties in zaal 4)

08.45: ontvangst en welkom gasten

09.20: opening XPO en 3 presentaties

10.40: pauze

11.00: 3 presentaties

12.10: lunch

13.15: 2 presentaties en sluiting XPO 2009

Diplomaceremonie 2009 (voorzitter: prof.dr. K. van Hee)

Locatie: Auditorium (ontvangst en receptie in Voorhof/Senaatszaal – ceremonie in de Blauwe Zaal)

14.30: ontvangst en welkom gasten

15.00: opening ceremonie en uitreiking diploma’s

16.45: receptie

Wij hopen u te verwelkomen op 1 oktober a.s.!

Vrijdagmiddag 13 november is de prijsuitreiking aan de TU/e. De beste 30 leerlingen worden uitgenodigd voor een uitgebreid trainingsprogramma op weg naar het team van zes Nederlandse deelnemers aan de Internationale Wiskunde Olympiade in juli 2010 in Kazachstan.

Nederland organiseert in 2011 de Internationale Wiskunde Olympiade, waar we natuurlijk goed voor de dag willen komen.

Meer informatie op: http://wiskundeolympiade.nl