Call for Papers and Other Useful Academic Information

————————————————– CALL FOR PAPERS ————————————————– The First NASA Formal Methods Symposium (NFM 2009) http://ti.arc.nasa.gov/event/nfm09/ April 6 – 8, 2009 Moffett Field, California, USA ————————————————– IMPORTANT DATES: ————————————————– Submission: January 30, 2009 Notification: February 27, 2009 Final version: March 15, 2009 ————————————————– THEME OF CONFERENCE: ————————————————– The widespread use and increasing complexity of safety-critical systems require [...]

International Symposium on Memory Management 2009 http://sysrun.haifa.il.ibm.com/hrl/ISMM2009 CALL FOR PAPERS ISMM is a forum for research in management of dynamically allocated memory. Areas of interest include but are not limited to: explicit storage allocation and deallocation; garbage collection algorithms and implementations; compiler analyses to aid memory management; interactions with languages, operating systems, and hardware, especially [...]

PhD POSITION: “Trust and Authority in an Open Web Environment” at the VU University Amsterdam, Department of Computer Science Deadline for applications: December 15, 2008 THE POSITION This PhD position is concerned with management of trust and authority for accessing, integrating and distributing information resources with varying access limitations, ranging from open Web sources to [...]

Phd Position at Uppsala University Modeling Communication protocols and Automata Learning within the starting European project CONNECT Deadline: Dec. 12, More details below. Uppsala University announces the following PhD position Generating models of network components from observations of their behaviour Background: The importance of model-based techniques for development and verification has motivated research into automated [...]

Caltech’s Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, starting in fall 2009. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation throughout science and engineering. Areas of interest include algorithms, complexity, applied combinatorics, applied probability, statistics, information and [...]