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 [...]
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 [...]
CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation – CIMCA’08 CALL FOR PAPERS International Conference on Computational Intelligence for Modelling, Control and Automation 10-12 December 2008 – Vienna, Austria http://community.ise.canberra.edu.au/conference/cimca08/ Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce – IAWTIC08 http://community.ise.canberra.edu.au/conference/iawtic08/ International Conference on Innovation in Software [...]