Leader of the group Networks and Optimization: Guido Schäfer.

News

Current events

Dijkstra Fellowship Soirée 2019

  • 2019-11-21T19:00:00+01:00
  • 2019-11-21T22:30:00+01:00
November 21 Thursday

Start: 2019-11-21 19:00:00+01:00 End: 2019-11-21 22:30:00+01:00

Centrum Wiskunde & Informatica will organize a festive Soirée on the evening of 21 November 2019. The Soirée is by invitation only.

more info will follow asap

CWI Lectures on Programming & Cryptology 2019

  • 2019-11-21T00:00:00+01:00
  • 2019-11-22T23:59:59+01:00
November 21 Thursday

Start: 2019-11-21 00:00:00+01:00 End: 2019-11-22 23:59:59+01:00

Turingzaal - Amsterdam Science Park Congress Centre

Centrum Wiskunde & Informatica kindly requests you to save the date for the annual CWI Lectures on 21 and 22 November 2019.

The Lectures are aimed towards a general academic public and will be organized by Ronald Cramer and Dick Bulterman. 

Confirmed speakers:
- Guido van Rossum (21 November)
- David Chaum (22 November)

During the CWI Lectures Chaum and Van Rossum will discuss their work and views on future developments. Also, other key players in Chaum’s and Van Rossum’s areas of expertise will present their recent advancements.

Further information on the program will follow soon, registration will open in October. For now, please reserve 21 and 22 November in your calendar so you can join us for this year’s edition of the CWI Lectures.

PhD defense Anne Eggels (SC)

  • 2019-11-06T10:00:00+01:00
  • 2019-11-06T11:00:00+01:00
November 6 Wednesday

Start: 2019-11-06 10:00:00+01:00 End: 2019-11-06 11:00:00+01:00

UvA, Agnietenkapel

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

 

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

  • 2019-10-23T09:00:00+02:00
  • 2019-10-25T17:00:00+02:00
October 23 Wednesday

Start: 2019-10-23 09:00:00+02:00 End: 2019-10-25 17:00:00+02:00

Room L016 at CWI, Science Park 123 in Amsterdam

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)

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

  • 2019-10-16T16:00:00+02:00
  • 2019-10-16T17:00:00+02:00
October 16 Wednesday

Start: 2019-10-16 16:00:00+02:00 End: 2019-10-16 17:00:00+02:00

CWI, L017

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.

The forty-fourth Woudschoten Conference

  • 2019-10-09T08:30:00+02:00
  • 2019-10-11T12:00:00+02:00
October 9 Wednesday

Start: 2019-10-09 08:30:00+02:00 End: 2019-10-11 12:00:00+02:00

The Woudschoten Conference Centre, Zeist, The Netherlands

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

Members

Associated Members

Publications

Current projects with external funding

  • Continuous Methods in Discrete Optimization ()
  • Wiskundecluster DIAMANT ()
  • Smart Heuristic Problem Optimization
  • Approximation Algorithms, Quantum Information and Semidefinite Optimization (AQSO)
  • Mixed-Integer Non-Linear Optimisation Applications (MINOA)
  • Polynomial Optimization, Efficiency through Moments and Algebra (POEMA)
  • Vóórkomen en voorkómen van incidenten op het spoor (PPS Prorail)
  • Towards a Quantitative Theory of Integer Programming (QIP)

Related partners

  • Alma Mater Studiorum-Universita di Bologna
  • Alpen-Adria-Universität Klagenfurt
  • CNR Pisa
  • CNRS
  • Dassault Systèmes B.V.
  • IBM
  • INRIA
  • Prorail
  • Rheinische Friedrich-Wilhelmus Universitaet Bonn
  • Technische Universität Dortmund
  • Tilburg University
  • Tromsø, Norway
  • Universita degli Studi di Firenze
  • Universität Konstanz
  • University of Birmingham