Leader of the group Algorithms and Complexity: Harry Buhrman.

News

CWI research provides mathematical tools to reconstruct ancient genetic code

CWI research provides mathematical tools to reconstruct ancient genetic code

The genetic code of the last universal common ancestor of all present life on earth, appears to be surprisingly advanced. In his PhD thesis, Peter van der Gulik provides mathematical tools to reconstruct this genetic code. He also proposes a new parameter to characterize the genetic code that provides information about the production of amino acids.

CWI research provides mathematical tools to reconstruct ancient genetic code - Read More…

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

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

More info will follow asap

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

  • Quantum Computation with Bounded Space ()
  • Algorithms, protocols and applications for small qubits systems
  • Quantum Algorithms in a Practical Setting
  • Realization of Quantum Computing Applications at Bosch
  • CIFAR grant Quantum Information Science (CIFAR)
  • Taming Quantum Adversaries (None)
  • Quantum Computing (PPS ABN AMRO Bank)
  • Quantum Software Consortium (QSC)
  • Quantum algorithms and applications (QuantAlgo)
  • Research centre for quantum software (QUSOFT)
  • WISE Women In Science Excel (WISE)

Related partners

  • ABN AMRO Bank
  • Bosch Foundation
  • Robert Bosch GmbH
  • CIFAR
  • Technische Universiteit Delft
  • Universiteit Leiden
  • Universiteit van Amsterdam
  • Vrije Universiteit Amsterdam