GI Operating Systems Meeting

Björn Döbel doebel at
Fri Jan 17 10:00:24 CET 2014

Hash: SHA1

Hi all,

GI, the German Society of Informatics, comprises a Special Interest
Group on Operating Systems, which is meeting twice a year to discuss
their current research work. The next meeting will be hosted by TU
Dresden in May 2014. Please consider submitting a talk.

Title: Secure and Reliable Operating Systems

Date: May 22/23 2014, TU Dresden, Dept. of Computer Science

Computer systems are an indispensable part of daily life. We can no
longer avoid to trust these systems with private data, confidential
business information, and even our lives. Therefore, this meeting will
focus on operating system mechanisms that enable these systems to
provide reliability and security.

You are cordially invited to submit talks that address design and
implementation of dependable and secure operating systems and runtime
environments. These topics include (amongst others):

* Design of dependable operating system kernels
* Secure application architectures
* Infrastructures for Cloud Computing
* Secure and dependable embedded systems
* Tool support for operating system development

Please send an abstract for your talk until March 31st 2014 to Björn
Döbel (doebel at
Version: GnuPG v1
Comment: Using GnuPG with Icedove -


More information about the l4-hackers mailing list