Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events

Events

Future events



Past Events

Theory Seminar: Gert Stølting Brodal, AU - The Encoding Complexity of Two Dimensional Range Minimum Data Structures

2 Oct
Wednesday 2 October 2013, at 14:15 Nygaard 395

Abstract:

 

In the two-dimensional range minimum query problem an input matrix A of dimension m x n, m? n, has to be preprocessed into a data…

PITalk with Deborah , Virginia Tech - Semi-Participatory Semi-Design: Working with American Middle School Teachers under Conditions of Inequity to Promote Other People’s Agendas

30 Sep
Monday 30 September 2013, at 12:00 5335-395 Nygaard

PhD Defens: Jakob Grauenkjær Thomsen - Specification and verification of information on the World Wide Web

27 Sep
Friday 27 September 2013, at 13:00

Qualifying Exam: Thor Siiger Prentow - Supporting Indoor Work Task Logistics With Adaptive Algorithms Based on Indoor Positioning -- Applied to Hospital Settings

26 Sep
Thursday 26 September 2013, at 14:00 Building 5335, room 395 (Nygaard)

Talk: Noam Zeilberger - Type refinement and monoidal closed bifibrations

26 Sep
Thursday 26 September 2013, at 09:30 5335-395 Nygaard Møderum

Abstract:

The concept of "refinement" in type theory is a way of reconciling the "intrinsic" and the "extrinsic" semantics of types (a.k.a. "Church…

Page 153 of 171.

Revised 17.04.2023
-
Marianne Dammand Iversen