Call for Papers and Other Useful Academic Information

Apologies for multiple copies….
——————-
FMWS 2008
First Workshop on Formal Methods for Wireless Systems
23 August, 2008, Toronto, Canada
Satelite workshop of CONCUR 2008
http://www.itu.dk/events/FMWS08/
Scope
—–
The FMWS workshop aims at bringing together researchers interested in
formal methods for wireless systems. More specifically, it puts
focus on theories for semantics,logics, and verification techniques
for wireless systems. Wireless systems are rapidly increasing their
success in real-world applications […]

The Theoretical Foundations of Informatics (TGI) group
at the University of Hamburg, Department of Informatics,
has one open PhD position.
The half-time position is paid according to group 13 of the salary
system TVL that is generally used in German public sector.
The full job description (German only, sorry) can be found at
http://www.verwaltung.uni-hamburg.de/stellenangebote/wissmit/08-05-22_tgi.pdf
The position lasts for three years, starting 01.10.2008.
The […]

CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA’08
CALL FOR PAPERS
International Conference on Computational Intelligence for Modelling,
[…]