The Northwestern Computer Science Economics group (http://econ.eecs.northwestern.edu/) and the Theory group (http://theory.eecs.northwestern.edu/) are seeking a one- or two-year postdoctoral research fellow in the area of algorithmic game theory, mechanism design, microeconomics, algorithms, and/or complexity theory, starting Fall 2009. The an ideal candidate would have have substantial experience in some of the above areas, as well [...]
================================================================= PODC 2009 Call for Papers 28th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing Calgary, Alberta, Canada August 10-13, 2009 http://www.podc.org/podc2009/ [Co-located with SPAA 2009] ================================================================= PODC solicits papers on all areas of distributed computing. Papers from all viewpoints, including theory, practice, and experimentation, are welcome. The common goal is to improve understanding [...]
— SECOND CALL for PAPERS — Ninth International Conference on Typed Lambda Calculi and Applications (TLCA ’09) ========================================================== Brasilia, July 01-03, 2009 ========================================================== Part of Federated Conference on Rewriting, Deduction, and Programming (RDP’09) http://rdp09.cic.unb.br/ ———————————————— ** Title and abstract due 5 January 2009 ** ** Deadline for submission 12 January 2009 ** ———————————————— The TLCA [...]
Call for Papers OpenCert 2009 3rd International Workshop on Foundations and Techniques for Open Source Software Certification York, UK – 28 March 2009 Satellite Event of ETAPS 2009 http://opencert.iist.unu.edu/ Submission deadline: 9 January, 2009 CONTEXT AND OBJECTIVES Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way [...]