Dijkstra Fellowship soiree 2019

More info will follow asap

• iCal

PhD defense Anne Eggels (SC)

You are cordially invited to the public defense of Anne Eggels on her thesis:

Uncertainty quantification with dependent input data
including applications to offshore wind farm

Promotor: Prof.dr. Daan Crommelin
Co-promotor: prof.dr.ir. Barry Koren

• iCal

16th International Conference on Formal Aspects of Component Software (FACS 2019)

Call for Papers: FACS 2019
FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones.

Invited speakers:

• Wan Fokkink (Professor of Theoretical Computer Science, Vrije Universiteit Amsterdam)
• Carlo Ghezzi (Professor of Software Engineering, Polytechnic University of Milan)
• Kim Larsen (Professor of Computer Science, Aalborg University)

• Web
• Email: Sung-Shik Jongmans
• Phone: see website
• iCal

Seminar by Martin Farach-Colton, Better File Systems through Data Structures

Martin Farach-Colton (Rutgers University) will be visiting CWI on Wednesday October 16. He will be giving a theory/practice talk which may be of your interest.

Title: Better File Systems through Data Structures

Abstract: This talk will describe the lessons learned from the BetrFS project, a research file system based on write-optimized data structures.  BetrFS outperforms other file systems by orders of magnitude on their worst cases, while matching them on their best cases.  BetrFS is also immune to file-system aging (i.e. fragmentation), a problem that can cause up to 20x slowdowns in other file systems.  The talk will explain what write-optimized data structures are, how they work, and how they are used in BetrFS.

• Email: Solon Pissis
• iCal

The forty-fourth Woudschoten Conference

Dear SCS member,

We are pleased to announce the registration for the 44th Woudschoten Conference is now open.

Note: You will be asked to pay directly at the registration, with iDEAL, Mister Cash or credit card. Please have your payment ready. iDEAL or Mister Cash are preferred.

More information about the prices and packages can be found here.

We are very grateful to our sponsors NWO, VORtech, 4TU.AMI, NDNS+ and Sioux Lime.

For further information please contact the secretariat of the organizing committee:
Martine Anholt
CWI - Centrum Wiskunde & Informatica
Organizing committee Woudschoten Conference
Science Park 123, 1098 XG Amsterdam
P.O. Box 94079, NL-1090 GB Amsterdam
Telephone Martine Anholt: +31 20 592 4058

• Web
• Email: Martine Anholt
• Phone: +31 20 5924058
• iCal

CWI Open Dag 5 oktober 2019

CWI doet mee aan de Amsterdam Science Park Open Dag tijdens het Weekend van de Wetenschap. Op zaterdag 5 oktober 2019 is het gebouw geopend van 12.00 - 17.00 voor alle belangstellenden. Wat is er allemaal te doen op het CWI?

CWI Game Lab. Maak je eigen computergame of tekenfilm met het programma Scratch.
Doelgroep: kinderen vanaf 10  jaar.

Veelvlakken bouwen van polydron. Bouwactiviteit van Stichting Vierkant voor Wiskunde.
Doelgroep: kinderen vanaf 4 jaar.
Geheimschrift en schildpadpuzzel & Möbiusband knippen. Knipactiviteit van Stichting Vierkant voor Wiskunde.
Doelgroep: kinderen vanaf 8 jaar.

Lezingen voor volwassenen (zaal L016)
13:00-13:45   Steven Pemberton: Internet and Numbers
14:00-14:45   Judith ter Schure: (Medische) statistiek: afwijken is het nieuwe normaal
15:00-15:45   Karel Jan Schoutens: Hoe kun je rekenen met een quantumcomputer?

Wiskunde- en informaticamarkt. CWI-onderzoekers nemen je mee in hun onderzoek met puzzels, spellen en demonstraties met o.a.:

@ Het handelsreizigersprobleem. Doelgroep: alle leeftijden
Je gaat op reis langs alle universiteitssteden van Nederland en wil natuurlijk je route zo efficiënt mogelijk inplannen. Je taak is dus het vinden van een kortste rondreis langs al deze steden.
@ Hoe random ben jij? Doelgroep: alle leeftijden
Kijk hoe goed je bent in het bedenken van een willekeurige reeks symbolen. Versla jij een quantumcomputer?
@ Polarisatiespel. Doelgroep: alle leeftijden
Stuur met behulp van spiegels en kristallen een laser naar de juiste plek, en ontdek hoe een quantumcomputer werkt.
@ Scan je Surprise ei en raad wat er in zit. Doelgroep: kinderen vanaf 6 jaar
Samen met de scanner-experts van het CWI krijg je de kans om je chocolade Surprise ei te scannen in hun FleX-ray Scanner. Zonder het chocolade Surprise ei te breken, kun je raden wat er in het ei verborgen zit. Na het scannen mag je het chocolade ei natuurlijk breken om op te eten maar vooral ook om te ontdekken of je goed geraden had wat er in het ei zit!
@ Cryptis - Next Generation Cryptography Meets Tetris. Doelgroep: alle leeftijden
Het doel van deze game is om het belang te tonen van zgn asymmetrische cryptografie. In een reeks puzzels decodeer je een bericht met een persoonlijke sleutel, terwijl de computer hetzelfde bericht probeert te decoderen met een openbare sleutel. Voor jou neemt de moeilijkheid lineair toe, terwijl de computer steeds meer problemen zal hebben. Cryptografie beschermt jouw gegevens effectief!
@ Vertrouwen op Artificial Intelligence (AI): Waarom en wanneer niet? Doelgroep: alle leeftijden
Als je een AI model gebruikt dat het “gemiddeld goed” doet, hoe kom je er achter of het ook goed werkt voor jouw specifieke geval en hoe kom je er achter of je de resultaten kunt vertrouwen?
@ Object-Based Multiscreen Entertainment. Doelgroep: alle leeftijden
This demonstration shows a new object-based production platform for authoring programs for multiscreen, together with the associated novel multi-screen services produced at Silverstone during MotoGP2017 and at the Wembley stadium during the FA Final Cup 2018.

Meer informatie over de Open Dag op het Amsterdam Science park:
Amsterdam Science Park Open Dag
Amsterdam Science Park

Bereikbaarheid: Wij raden aan om met het openbaar vervoer naar Amsterdam Science Park te komen. Op station Amsterdam Science Park stoppen vier keer per uur treinen. GVB-bus 40 rijdt elke 15 minuten vanaf de stations Amstel en Muiderpoort naar Amsterdam Science

• iCal