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 will create techniques and tools that […]

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 practitioners from […]

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 over WiMAX?.
The successful applicant must have a PhD […]

CALL FOR PAPERS ISSAC 2009
International Symposium on Symbolic and Algebraic Computation
Korea Institute for Advanced Study
[…]

CALL FOR PAPERS ISSAC 2009
International Symposium on Symbolic and Algebraic Computation
Korea Institute for Advanced Study
[…]

******************************************************************************
[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 […]

******************************************************************************
[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 […]

================
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 Dr.
Yde Venema.
Job description
————–
The successful […]

***************************************************************
Please excuse for multiple posts
and distribute as widely as possible
***************************************************************
[…]