Department of Computer Science – Staff

 AU About Aarhus University  cs.medarbejdere.au.dk News & Events Events

cs.staff.au.dk

  • Organisation
  • Boards and Committees
  • Your Administration at CS
  • CS Staff Club
  • Travel Information
  • IT Services (Science and Technology)
  • News & Events
    • News
    • Events
  • CS Today
  • Card Access at Computer Science

Events

Future Events

Past Events

PhD Defense: Qiang Qu - New techniques for searching and understanding web content

3 Dec
Wednesday 3 December 2014, at 11:00

MADALGO Theory Seminar

26 Nov
Wednesday 26 November 2014, at 14:15 Building 5335, Nygaard 295

MADALGO Theory Seminar: Kasper Green Larsen, MADALGO

Talk: Bas Spitters - Formalizing mathematics in the univalent foundations

25 Nov
Tuesday 25 November 2014, at 14:15 Nygaard-295, Aabogade 34, 8200 Aarhus N

We have been formalizing mathematics in type theory for many years. Although great progress has been made, there were still a number of issues that…

Logic and Semantics talk: Robbert Krebbers - Formalizing C in Coq

17 Nov
Monday 17 November 2014, at 14:00 Nygaard-295, Aabogade 34, 8200 Aarhus N

 

Abstract:

In my PhD project I am developing a formal semantics of a significant  fragment of the C programming language as described by the C11…

PhD Defense: Navid Talebanfard - The structure of solution spaces of logical equations and the complexity of planar graph problems

17 Nov
Monday 17 November 2014, at 13:15

Page 134 of 174.

  • Previous
  • 1
  • …
  • 133
  • 134
  • 135
  • …
  • 174
  • Next
Revised 09.07.2024

Shortcuts

For Students

For PhD students

cs.au.dk

Defibrillator



© — Cookies at au.dk
Privacy Policy
Web Accessibility Statement
5005 / i36