Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events

Events

Future events



Past Events

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…

Theory Seminar: Michael Elkin, Ben-Gurion University - Distributed Algorithms for Graph Coloring

25 Sep
Wednesday 25 September 2013, at 14:15 Nygaard 395

Abstract:

 

Suppose that every vertex of an n-vertex graph G = (V,E) of maximum degree Delta hosts a processor. These processors wake up…

Page 153 of 171.

Revised 17.04.2023
-
Marianne Dammand Iversen