Aarhus University logo
English
Title: Softer Software Abstract: Modern software is not soft at all, and it is very difficult for even the competent user to shape it to their…
Title: Elucidating Systems Programming Abstract: We teach things like compilers and operating systems to students. They get a high-level idea, but…
Tobias Langlotz
Title: Augmenting Reality: From Augmented Paintings to Augmented Perceptions
Abstract: It was in the times of mainframe computing…
Title: On Compression Abstract: Store information. Succinctly.
Title: Computation with Polynomials
Abstract: Computational Complexity can come across as a forbidding discipline with hard-to-state problems and…
The talk will be followed by a reception. All interested are welcome to participate.…
Short bio:
Aurore Guillevic is researcher at Inria Nancy (a French research institute in computer science) and works on the implementation aspects…
Title:Topics in Computational Social Choice: Voting, Stable Matchings, and Fair Division
Abstract: Computational social choice is a field at the…
Title:Formal reasoning about programs and programming languages
Abstract:It is well known that it is important to ensure that programs, especially…
Abstract:
How can we assess a network's ability to maintain its functionality under attacks? While network robustness has been studied extensively in…
Page 2 of 4.