home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

symposium Informatica 25 jaar! -- 28 februari 2009

locatie

• Academiegebouw, Domplein 29, 3512 JE Utrecht
• zie de route-beschrijving

leiding

• prof. dr. S. Doaitse Swierstra

programma

13.00	ontvangst en registratie
14.00	opening door prof. dr. Arno Siebes
14.05	¡Viva Utrecht! dr. Tanja Vos -- Instituto Tecnológico de Informática Universidad Politécnica de Valencia - España samenvatting: Tanja Vos zal vertellen hoe haar opleiding en promotie onderzoek over formele methoden er uiteindelijk heeft toe bijgedragen dat ze nu werkt op het gebied van software testen. Aan de ene kant begeleidt ze Spaanse bedrijven met het ontwikkelen van betere kwaliteit software. Aan de andere kant doet zij onderzoek naar automatisch software testen en coördineert zij een Europees project over evolutionair testen, het gebruik van metaheuristische zoekalgoritmen om software testen te automatiseren door het te vertalen naar een optimalisatie probleem. Ook zal zij het zeker niet na kunnen laten om te vertellen over de cultuurschokken, waarmee zij nog dagelijks wordt geconfronteerd op maar 1800 kilometer afstand. CV: Tanja Vos studeerde Informatica in Utrecht en promoveerde daar ook op het gebied van formele methoden en correctheid van gedistribueerde algoritmen. Nadat haar proefschrift af was, is zij naar Bolivia gegaan en uiteindelijk in Spanje terecht ben gekomen.
14.25	Ketenautomatisering prof. dr. mr. Jan Grijpink -- Ministerie van Justitie, Dienst BD/DJAS Samenvatting: Keteninformatisering is een nog jonge loot aan de informatiekundestam. Veel grootschalige communicatiestelsels voor de aanpak van maatschappelijke vraagstukken mislukken. Managementconcepten en -instrumenten blijken buiten organisatiegrenzen minder effectief. Het leerstuk Keteninformatisering biedt een alternatieve benadering die ook tot andere informatie-infrastructuren voor publiekprivate ketensamenwerking leidt. In het onderzoekprogramma Ketenlandschap van Nederland is nu een twintigtal maatschappelijke ketens onderzocht. Vergelijking van de vereiste keteninformatie-infrastructuren leidt tot verrassende conclusies. CV: Jan Grijpink (1946) studeerde economie (1969) en rechten (1971) aan de Rijksuniversiteit Groningen en promoveerde in 1997 aan de Technische Universiteit Eindhoven op het onderwerp Keteninformatisering. Hij is werkzaam bij het ministerie van Justitie als raadadviseur met als werkterrein informatiestrategie en sinds 2004 parttime als bijzonder hoogleraar verbonden aan de faculteit Bètawetenschappen van de Universiteit Utrecht, met als leeropdracht Keteninformatisering in de Rechtstaat.
14.50	Informatica Utrecht 25 jaar: Ik weet het, maar kan het niet geloven! prof. dr. Wiebe van der Hoek -- University of Liverpool Samenvatting: De analyse van noties als kennis en geloof in een formele setting is al heel lang een actief vakgebied. Met aanvankelijk belangstelling van filosofen, die zich bijvoorbeeld afvroegen of kennis geloof impliceert (nee dus, zie boven!), en daarna van informatici, die kennislogica handig vonden voor het analyseren van communicatie-protocollen. De interesse beleeft momenteel een nieuwe impuls vanuit de agent- en ook de spel-theorie wereld, mede dankzij het feit dat logici kennis en de verandering ervan in een en hetzelfde systeem weten te analyseren. Kennis van `hogere orde'-- Ik weet dat jij niet weet of ik weet dat ...--- krijgt een heel elegante behandeling in zulke systemen. Met behulp van welbekende vrienden zal ik aantonen dat zulke noties niet wereldvreemd, maar juist heel alledaags zijn. CV: Wiebe van der Hoek promoveerde in 1992 aan de VU bij John-Jules Meyer. Met John-Jules en Linda van der Gaag vormde hij de eerste vaste staf van de groep Intelligente Systemen die in 1993 in Utrecht van start ging. Van 1993 tot 2002 was hij daar als UD actief betrokken bij het onderwijs, onderzoek, en organisatie van de groep, het robotlab, de vakgroep en CKI. Hij haalde er ook zijn senior kwalificaties Onderwijs en Onderzoek. Wiebe is momenteel Hoogleraar in de Agent ART groep, en Head of Department of Computer Science aan de Universiteit van Liverpool.
15.15	theepauze
15.45	Computers en tijd drs. Henk Penning -- Universiteit Utrecht Samenvatting: Tussen verleden en toekomst ligt het 'nu' ; maar als je 'nu' aan een stel computers de simpele vraag stelt 'hoe laat is het?', geven ze allemaal een ander antwoord. Het synchroniseren van computers is een aardig probleem, vooral als uiterste precisie gevraagd word, of als het om heel veel (miljoenen) computers gaat. CV: Henk Penning studeerde Wiskunde in Utrecht. Vanaf 1980 werkt hij bij Informatica, Utrecht ; de eerste vijf jaar tbv onderwijs en onderzoek, en vanaf 1985 als hoofd systeembeheer.
16.00	Querypedia prof. dr. Oege de Moor -- Oxford University, Computing Laboratory Samenvatting: What is the hottest topic on Wikipedia? Which pages are frequently vandalised and what is the geographical location of the vandals? Who is the most influential person in the Netherlands? Did anyone edit both the page about Utrecht University and the academic ranking of world universities? For answering questions such as these, Google is not enough; and the de facto standard for expressing complex queries, SQL, is much too complex for end users. I'll show how modern programming language design combined with some almost-forgotten pieces of database theory provide a solution where anyone can ask hard relational questions of complex datasets like Wikipedia. CV: Oege behoorde tot de eerste lichting van informatica studenten in Utrecht in 1983. Sinds 1994 doceert hij aan de Universiteit van Oxford in Engeland. In 2006 stichte Oege met zes medewerkers Semmle, een Bedrijf dat nieuwe zoektechnologien ontwikkelt. Querypedia is een project van Semmle.
16.30	Research for Games prof. dr. Mark Overmars -- Universiteit Utrecht Samenvatting: Informatica is een snel veranderende wetenschap. Sinds enkele jaren wordt in Utrecht uitgebreid onderzoek gedaan naar technieken voor computer games; een onderwerp dat tien jaar geleden nog helemaal niet serieus genomen werd. Computer games vereisen de meest moderne Informatica technieken, zoals computer graphics, kunstmatige intelligentie, animatie, en mens-machine interactie. Utrecht leidt het grote landelijke GATE onderzoeksproject op dit gebied. Enige voorbeelden van dergelijk onderzoek zullen gegeven worden, alsmede een visie op de computer game van de toekomst. CV: Mark Overmars is sinds 1980 werkzaam bij het departement Informatica van de Universiteit Utrecht. Momenteel leidt hij als hoogleraar de groep Games and Virtual Worlds en is hij directeur van het GATE onderzoeksproject. Zijn onderzoek richt zich op gametechnologie in het algemeen en op pad planning en animatie in het bijzonder. Mark is ook de maker van het programma Game Maker waar mensen eenvoudig computer games mee kunnen maken en hij is mede-eigenaar van het bedrijf YoYo Games .
17.00	sluiting, borrel