DAHU - 2016 - Annual activity report

DAHU

DAHU - 2016

Project-Team Dahu

Members

Overall Objectives

Research Program

Research Program

Application Domains

Application Domains

Highlights of the Year

New Results

Specification and verification of data-driven systems
Personal information management.

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Awards

Luc Segoufin together with Mikolaj Bojanczyk, Claire David, Anca Muscholl, and Thomas Schwentick obtained the ACM Alberto O. Mendelzon PODS Test of Time Award in 2016.

Previous |

Home | Next next