JTRES'10: Advance Program

The advance program of the JTRES conference, held next week in Prague, is already availabe at JTRES Webpage. Here are some highlights. 

The keynotes:

• Greg Bollella (ORACLE) : Some Recent Developments Around The RTSJ and Oracle.
• Marc Pantel (University of Toulouse) : Certification and qualification concerns in the development of safety critical systems.
• Rainer Trummer (University of Salzburg) : The JAviator Project
• Marek Prochazka (European Space Agency) : Java in Space?

Also, do not miss the presentations of our two papers, I will be presenting:

• Developing Safety-Critical Java Applications with oSCJ/L0 by Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek

          and

• Static Checking of Safety-Critical Java Annotations by Daniel Tang, Ales Plsek, and Jan Vitek

See you at JTRES.