Archive for November 25th, 2008
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 […]
November 25th, 2008 | Posted in CFP | Comments Off
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 […]
November 25th, 2008 | Posted in CFP | Comments Off
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 […]
November 25th, 2008 | Posted in CFP | Comments Off
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 […]
November 25th, 2008 | Posted in CFP | Comments Off
CALL FOR PAPERS ISSAC 2009
International Symposium on Symbolic and Algebraic Computation
Korea Institute for Advanced Study
[…]
November 25th, 2008 | Posted in CFP | Comments Off
CALL FOR PAPERS ISSAC 2009
International Symposium on Symbolic and Algebraic Computation
Korea Institute for Advanced Study
[…]
November 25th, 2008 | Posted in CFP | Comments Off
******************************************************************************
[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 […]
November 25th, 2008 | Posted in CFP | Comments Off
******************************************************************************
[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 […]
November 25th, 2008 | Posted in CFP | Comments Off
================
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 […]
November 25th, 2008 | Posted in CFP | Comments Off
***************************************************************
Please excuse for multiple posts
and distribute as widely as possible
***************************************************************
[…]
November 25th, 2008 | Posted in CFP | Comments Off