Event | When | Where | Deadline | |
EURASIP RPCM 2011 |
EURASIP JWCN, Special issue on Radio Propagation, Channel Modeling, and Wireless Channel Simulation Tools for Heterogeneous Networking Evaluation | |
N/A |
N/A |
Mar 1, 2011 |
SAS 2011 |
Static Analysis Symposium | |
Sep 14, 2011 - Sep 16, 2011 |
Venice, Italy |
Mar 18, 2011 (Mar 11, 2011) |
GANDALF 2011 |
2nd International Symposium on Games, Automata, Logics and Formal Verification | |
Jun 15, 2011 - Jun 17, 2011 |
Minori, Amalfi Coast, Italy |
Mar 20, 2011 (Mar 13, 2011) |
FMICS 2011 |
Formal Methods for Industrial Critical Systems | |
Aug 29, 2011 - Aug 30, 2011 |
Trento |
Mar 25, 2011 (Mar 18, 2011) |
QEST 2011 |
8th International Conference on Quantitative Evaluation of SysTems | |
Sep 5, 2011 - Sep 8, 2011 |
Aachen, Germany |
Mar 25, 2011 (Mar 18, 2011) |
CONCUR 2011 |
22nd International Conference on Concurrency Theory | |
Sep 6, 2011 - Sep 9, 2011 |
Aachen, Germany |
Apr 8, 2011 (Apr 1, 2011) |
TASE 2011 |
TASE 2011 - 5th IEEE International Symposium on Theoretical Aspects of Software Engineering | |
Aug 29, 2011 - Aug 31, 2011 |
Xi'an, China |
Apr 8, 2011 (Apr 1, 2011) |
PIMRC 2011 |
The 22nd IEEE Symposium on Personal, Indoor, Mobile and Radio Communications (PIMRC 2011) | |
Sep 11, 2011 - Sep 14, 2011 |
Toronto, Canada |
Apr 10, 2011 |
IEEE ICECS 2011 |
The IEEE International Conference on Electronics, Circuits, and Systems | |
Dec 11, 2011 - Dec 14, 2011 |
Beirut, Lebanon |
Jul 15, 2011 |
|