casa.au.dk
Publications
http://casa.au.dk/publications
Department of Computer Science. Center for Advanced Software Analysis. 160; casa.au.dk. Our scientific results are published at top conferences and journals in Programming Languages and Software Engineering:. Inference and Evolution of TypeScript Declaration Files. Kristensen and Møller, FASE 2017 (ETAPS 2017 Best Paper Award Nominee). Repairing Event Race Errors by Controlling Nondeterminism. Adamsen, Møller, Karim, Sridharan, Tip, and Sen, ICSE 2017. Message Safety in Dart. Type Safety Analysis for Dart.
casa.au.dk
Talk by Maria Christakis, University of Kent, January 23
http://casa.au.dk/news/show-news-single/artikel/talk-by-maria-christakis-university-of-kent-january-23
Department of Computer Science. Center for Advanced Software Analysis. 160; casa.au.dk. Talk by Maria Christakis, University of Kent, January 23. Abstract: Most static program analysis techniques do not fully verify all possible executions of a program. They leave executions unverified when they do not check certain properties, fail to verify properties, or check properties under certain unsound assumptions, such as the absence of arithmetic overflow. Date: January 23 at 13:00. Comments on content: .
pit.au.dk
pit.au.dk
http://pit.au.dk/browse/8
Department of Computer Science. Get an overview of the variety of research projects. PIT involved in arranging two ECSCW workshops. WS1: WS1: Participatory Publics: Civic Technology and Local Communities WS2: CSCW at the Boundary of Work and Life See you in Cyprus in September. See you in Aarhus - August 12 - 23, 2013. Brazilian news about Smart Cities the Aarhusian way. PIT co-director Kim Halskov presented on national Danish television. PIT involved in arranging Digital Cities 8. Bldg 5346, 122.
pit.au.dk
pit.au.dk
http://pit.au.dk/browse/7
Department of Computer Science. Get an overview of the variety of research projects. Liam Bannon has been awarded the EUSSET and IISI biennial lifetime achievement award. Liam Bannon is currently Emeritus Professor at the University of Limerick, Ireland, Honorary Professor at the Department of Computer Science,and also part of the Participatory Information Technology Centre at Aarhus University. New technology can "shake up" the museum visitors and museums. PIT in cooperation with Kunsthal Aarhus. Partic...
cs.au.dk
Continuing education
http://cs.au.dk/education/continuing-education
Department of Computer Science. Department of Computer Science. Algorithms and Data Structures. Modelling and Validation of Distributed Systems. Ubiquitous Computing and Interaction. Use, Design and Innovation. Din fremtid begynder med en uddannelse i datalogi eller IT. 160; Department of Computer Science. Masters and Diplomas graduated at Computer Science. Din fremtid begynder med en uddannelse i datalogi eller IT. Master programmes in IT, specialization in Software Construction and IT-Security.
cs.au.dk
Business & Industry
http://cs.au.dk/business-industry
Department of Computer Science. Department of Computer Science. Algorithms and Data Structures. Modelling and Validation of Distributed Systems. Ubiquitous Computing and Interaction. Use, Design and Innovation. Din fremtid begynder med en uddannelse i datalogi eller IT. Get closer to our researchers and students. Creating growth through research and student collaboration. Department of Computer Science has a long tradition for collaboration with business and industry. Through joint research projects.
cs.au.dk
Study environment
http://cs.au.dk/education/study-environment
Department of Computer Science. Department of Computer Science. Algorithms and Data Structures. Modelling and Validation of Distributed Systems. Ubiquitous Computing and Interaction. Use, Design and Innovation. Din fremtid begynder med en uddannelse i datalogi eller IT. 160; Department of Computer Science. Din fremtid begynder med en uddannelse i datalogi eller IT. Orientation week and reading groups. In the course of the orientation week, you get help buying books, an introduction to the party and lectu...
cs.au.dk
Friday lecture talks at Department of Computer Science
http://cs.au.dk/news-events/friday-lectures
Department of Computer Science. Department of Computer Science. Algorithms and Data Structures. Modelling and Validation of Distributed Systems. Ubiquitous Computing and Interaction. Use, Design and Innovation. Din fremtid begynder med en uddannelse i datalogi eller IT. 160; Department of Computer Science. Computer Science Day 2015. Friday lecture talks at Department of Computer Science. The lecture series is organized by the Seminar Committee. Please contact Olivier Danvy. Comments on content: .
cs.au.dk
16-year-old in feature article: IT-courses in elementary schools are a must
http://cs.au.dk/news-events/news/show-news/artikel/16-year-old-in-feature-article-it-courses-in-elementary-schools-are-a-must
Department of Computer Science. Department of Computer Science. Algorithms and Data Structures. Modelling and Validation of Distributed Systems. Ubiquitous Computing and Interaction. Use, Design and Innovation. Din fremtid begynder med en uddannelse i datalogi eller IT. 160; Department of Computer Science. 16-year-old in feature article: IT-courses in elementary schools are a must. Peter Martin Moos Hoffmann. Which will be introduced at Danish high schools in the next academic year. April 2017: 5 articles.
cs.au.dk
Bachelor
http://cs.au.dk/education/bachelor
Department of Computer Science. Department of Computer Science. Algorithms and Data Structures. Modelling and Validation of Distributed Systems. Ubiquitous Computing and Interaction. Use, Design and Innovation. Din fremtid begynder med en uddannelse i datalogi eller IT. 160; Department of Computer Science. Din fremtid begynder med en uddannelse i datalogi eller IT. Bachelor degree programme in Computer Science. Interested in studying computer science? Bachelor degree programme in IT. Tel: 45 8715 4112.
SOCIAL ENGAGEMENT