Call for Papers and Other Useful Academic Information

Modeling and analysis of security protocols =========================================== One post-doc position is available in the Department of Computer Science, Stevens Institute of Technology. The project is led by Professors Susanne Wetzel and David Naumann. It involves development of analytic models and simulations of wireless network protocol stacks, including both abstract protocol specifications and actual implementations. We [...]

Call for Workshop Proposals Formal Methods 2009, Eindhoven, The Netherlands symposium 4-6 November, workshops 2 & 3 November FM2009 is the sixteenth international symposium of the Formal Methods Europe association. Ten years after the world congress in Toulouse in 1999, FM2009 will be organized as a world congress again, a global platform for researchers and [...]

Call for Workshop Proposals Formal Methods 2009, Eindhoven, The Netherlands symposium 4-6 November, workshops 2 & 3 November FM2009 is the sixteenth international symposium of the Formal Methods Europe association. Ten years after the world congress in Toulouse in 1999, FM2009 will be organized as a world congress again, a global platform for researchers and [...]

Dear Colleagues, Please find attached an opportunity that I hope is of interest. Please do not hesitate to forward it to potential candidates. Kind Regards, Yacine. —————————– ENSIIE, France, in the context of a European project on multimedia communications over wireless networks has one postdoc position in the topic of ?resource management for multimedia communications [...]

CALL FOR PAPERS ISSAC 2009 International Symposium on Symbolic and Algebraic Computation Korea Institute for Advanced Study Seoul, Korea, July 28-31, 2009 http://issac2009.kias.re.kr/ The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC) is the 34th meeting in a series of conferences, begun in 1966 and held annually since 1981 in North America, Europe and [...]

CALL FOR PAPERS ISSAC 2009 International Symposium on Symbolic and Algebraic Computation Korea Institute for Advanced Study Seoul, Korea, July 28-31, 2009 http://issac2009.kias.re.kr/ The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC) is the 34th meeting in a series of conferences, begun in 1966 and held annually since 1981 in North America, Europe and [...]

****************************************************************************** [Apologies for multiple copies] ******************************************************************************* Second CALL FOR PAPERS Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009) Affiliated with ETAPS 2009 March 28-29, 2009, York, UK http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/ ******************************************************************************* SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to [...]

****************************************************************************** [Apologies for multiple copies] ******************************************************************************* Second CALL FOR PAPERS Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009) Affiliated with ETAPS 2009 March 28-29, 2009, York, UK http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/ ******************************************************************************* SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to [...]

================ POSTDOC POSITION ================ At the Institute for Logic, Language and Computation of the University of Amsterdam, there is a vacancy for a post-doctoral researcher in the field of Logic and Theoretical Computer Science. This position will form part of the NWO-funded VICI project “Algebra and Coalgebra: the mathematical environment of modal logic”, directed by [...]

*************************************************************** Please excuse for multiple posts and distribute as widely as possible *************************************************************** FIRST CALL FOR PAPERS International Workshop on Hybrid Logic 2009 (HyLo 2009) “Conmemorating the Ten Years of HyLo” http://hylo.loria.fr/content/Hylo02 15 – 17 July, 2007 Nancy, France *************************************************************** WORKSHOP PURPOSE: Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. [...]