Bonn-Aachen International Center for Information Technology


News	Application for Master Programmes	B-IT Universities Institute
About B-IT	B-IT Research School	B-IT Applied Science Institute

	Welcome!
	Directors

	About B-IT

	Lecture Series, Talks and Events

	B-IT Annual Report

B-IT Research School
		Research Area Overview
		Research School Events
		For B-IT Research School Students
		Research Area 1: Media Informatics and Advanced Human-Computer Interaction
		Research Area 2: Communication Systems Engineering
		Research Area 3: Software and Information Engineering
		Research Area 4: Life Science Informatics
		Research Area 5: Computer Graphics
		Research Area 6: IT Security
		Research Area 7: Data Mining, Pattern Recognition and Machine Learning
		Research Area 8: Algorithm Design and Formal Foundations of Applied IT

B-IT Universities Institute

	News

	Groups

	Teaching

	IT Services

	Master Programme of Life Science Informatics

	Master Programme of Media Informatics

	Application for Master Programmes

	International Program of Excellence (IPEC)

B-IT Applied Science Institute

	Master Programme of Autonomous Systems

Lecture 1 - Foundations

In this lecture, we'll introduce the general problem of the verification of heap-manipulating programs, we will define a simple programming language and the core of separation logic's proof system. We'll illustrate it on several examples of standard but subtle algorithms for recursive data structures, with often a great gain of conciseness and readability with respect to other formalisms. We'll discuss semantics issues, so as ways of formally proving that a well-proved program has some nice properties.

NEWS

Media Computing Group Acquires Funding For Interactive Surface Research
[more]

Professor Kaisa Nyberg for talk at B-IT
Professor Kaisa Nyberg, Aalto University Finnland, will deliver a talk on 20 January 2012 at 12.00 noon in B-IT lecture hall. [more]

B-IT Media Informatics Students Receives Internship at NII Tokyo
[more]

"Young Scientist Award" 2011 to Steffen Kirchhoff
[more]

Best Poster Award to B-IT Alumna
[more]