APTISS is a joint educational,academic and professional forum aimed at a wide variety of state-of-the-art research and development in Trusted Infrastructure. The lectures are presented by international experts. They represent adversity of companies, research institutes and universities. The purpose of this is to provide a platform for the researchers in this region to acquire information and knowledge on Trusted Infrastructures from renowned experts from all over th world. Also, this event aims to enhance the awareness of the industries in this region on the significance of Trusted Computing. Dr. Gernot Heiser will be speaking.

The purpose of the VERIFY workshop series is to discuss problems arising during the formal modeling and verification of information systems and to investigate suitable solutions. Possible perspectives include those of automated theorum proving, tool support, system, engineering and applications. Dr. Gernot Heiser will be a keynote speaker at the event.

 11:30-12:20PM Tuesday, 08/05/08

Speaker: Dr. Gernot Heiser

"EL2:  Open-Source Virtualization: The Right Match for Embedded Linux"

 "EL7:  Embedded Virtualization: Killer App Enabler or Atomic Fly Swatter"

The LinuxWorld conference program features over 100 top-tier, educational sessions covering seven tracks that go deep into Linux and open source industry trends. See the latest products and services from hundreds of top vendors, and make the right choices for your enterprise at the industry's ultimate Linux and open source resource.        

10:30am - 12:00pm Monday, 07/21/2008
Platform Showdown
Open Mobile Exchange
Location: F150/151
Ben Leslie (Open Kernel Labs)
From Android, GNOME Mobile (and friends such as Maemo, Moblin, OpenMoko), and OKL4 (including Linux on L4) to ACCESS Linux Platform and LiMo, expert practitioners will take the stage to compare and contrast the growing number of platforms crowding the mobile field.

Location:

Swissôtel Berlin
Augsburger Strasse 44

This conference will bring together technology developers, researchers, technology users, and regulators, to discuss current achievements, future developments and challenges in defining trust in computing. Dr. Gernot Heiser will serve as a panelist for "Future of Assurance" on July 2, 2008.

Delve into the world of embedded virtualization, and software security in mobile devices with Gernot Heiser and Rob McCammon. In today's connected mobile devices, the OKL4 open source microkernel can provide security, virtualization, and a host of other benefits with absolute minimal memory and performance overhead.

Rob to speak!

3003 Corporate West Drive   
Lisle, IL 60532   

630-505-0900   
Hilton Lisle/Naperville
8:30 am - 2:30 pm

Open Kernel Labs will be exibiting in the Disruption Zone.

The goal of the Flourish Conference is to promote the use and adoption of Free Libre Open Source Software (FLOSS) by demonstrating the practical applications of FLOSS in the business and academic world. While everyone is familiar with businesses that focus on creating non-free proprietary software, the same cannot be said for those who specialize in developing and supporting FLOSS software, and an Open Culture. By attending Flourish, you will get an opportunity to see how using, creating, and supporting FLOSS software can enhance your career, your business, and academic aspirations. Come and Flourish!

Gernot Heiser will lead a technical workshop at this year’s EuroSys conference.  Isolation and Integration in Embedded Systems workshops will be hosted in affiliation with the 2008 EuroSys conference. At this workshop, Heiser will present on his most recent paper, The Role of Virtualization for Embedded Systems. Heiser will cover an introduction to virtualization, properties of embedded systems, virtualization use cases, limits of virtualization, and suitable technologies.

Heiser sits on the program committed for EuroSys 2008 on behalf of the University of New South Wales and National ICT Australia.

Gernot Heiser Presenting:
Wednesday, January 30, 2008
“Do Microkernels Suck?”
Abstract       Blog

Chair for Panel on Grand Challenges in Embedded Software

Tuesday, October 2
3:30PM - 5:30PM

Gernot Heiser

How Virtualization Can Improve Linux-based Mobile Application Robustness and Security

Gernot Heiser

Kernel Hacking for High Assurance

Gernot Heiser

How Open Source can help Australian SMEs compete in the world market.

Gernot Heiser

The OKL4 Microkernel - A High-Performance Virtualization Platform

Gernot Heiser

High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures.

Carl van Schaik and Gernot Heiser 

Darbat: Virtualising a UNIX Kernel

Charles Gray 01-19-07 Computers, Programs and Logic: What Does Linux Prove?

Patryk Zadarnowski