Archive for May 2nd, 2008

Theory track at HICSS, Big Island, Hawaii

Last year we had a pretty high level session, we are trying to repeat this again this year, see below. Submission deadline is June 15. More details are below. Wolf Bein Call for Papers: MINI-TRACK ON ALGORITHMIC CHALLENGES IN EMERGING APPLICATIONS OF COMPUTIN G Hawaii International Conference on System Sciences (HICSS-42) January 5-8, 2009 Hilton [...]

CFP: Workshop on Quantification in Constraint Programming

[Concurrency] PhD Positions in Computer Security Foundations

The Institute for Correct System Design, The University of Oldenburg, Germany, currently offers several PhD positions in the area of Computer Security Foundations. Please find a brief description of the PhD topics below. The positions are funded by the Graduate School Trustworthy Software Systems. For information on how to apply please refer to http://www.uni-oldenburg.de/trustsoft/en/31401.html Analysis [...]