Aarhus Universitets logo
English
Title: Eye-Hand Symbiosis for Extended Reality Abstract: While mouse and touch controls for the flat world of 2D displays have matured over time,…
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…
Side 2 af 4