To Dexter - A Tribute from Aarhus

Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiFormidling

Abstract

At Aarhus University, we consider Dexter to be one of our oldest and best friends and colleagues. Dexter has visited our Department of Computer Science as a guest professor twice, first in 1981–1982 and again, exactly 10 years later, in 1991–1992. Both visits were immensely successful and laid the ground for continued cooperation during the following years. Dexter made numerous shorter visits to the department, and he served with great enthusiasm and competence on the advisory board for BRICS (Basic Research in Computer Science) Research Center and international PhD-School. BRICS covered both “Track A and B” activities (Algorithmics and Semantics), and as such Dexter was the ideal adviser. Looking back, we pay tribute to Dexter for his many contributions to computer science in Aarhus over a period of more than thirty years.
OriginalsprogEngelsk
TitelLogic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
RedaktørerRobert L. Constable, Alexandra Silva
Antal sider1
ForlagSpringer
Publikationsdato2012
Sider341
Kapitel341
ISBN (Trykt)978-3-642-29484-6
ISBN (Elektronisk)978-3-642-29485-3
DOI
StatusUdgivet - 2012
NavnLecture Notes in Computer Science
Vol/bind7230
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'To Dexter - A Tribute from Aarhus'. Sammen danner de et unikt fingeraftryk.

Citationsformater