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 3 - Race-free concurrency

In this lecture, we will extend the core proof system in order to support synchronization constructs like Hoare monitors, locks, semaphores, or asynchronous message-passing, for the support of which separating conjunction allows quite elegant proof rules. This proof system will ensure that proved programs are race-free, in the sense that a memory cell cannot be accessed by two threads simultaneously. We will then investigate a weaker notion of race, where multiple readers are allowed to read (but not write) the same cell simultaneously, which will drive us to the notion of permission algebras. We will also consider the problem of distributed memory leaks, and we will answer it by a notion of communication's contract.

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]