Event | When | Where | Deadline | |
CAV 2017 |
29th International Conference on Computer-Aided Verification | |
Jul 22, 2017 - Jul 28, 2017 |
Heidelberg, Germany |
Jan 24, 2017 |
ICIMSA 2017 |
4th iCatse Conference on Industrial Engineering, Management Science and Applications (ICIMSA2017) | |
Jun 13, 2017 - Jun 15, 2017 |
Seoul, Korea |
Feb 28, 2017 |
GCETM 2017 |
IV. Global Conference on Engineering and Technology Management 2017 | |
Jul 20, 2017 - Jul 21, 2017 |
Vienna, Austria |
Apr 3, 2017 |
FMCAD 2017 |
Formal Methods in Computer-Aided Design | |
Oct 2, 2017 - Oct 6, 2017 |
Vienna, Austria |
May 8, 2017 (May 1, 2017) |
ICIII 2017 |
ICIII 2017 - 2017 5th International Conference on Industrial and Intelligent Information | |
Jul 11, 2017 - Jul 14, 2017 |
Krakow, Poland |
May 15, 2017 |
IMDA-CASE 2017 |
INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING | |
Oct 12, 2017 - Oct 14, 2017 |
Druskininkai, Lithuania |
May 22, 2017 |
ICIMA 2017 |
International Conference on Intelligent Manufacturing and Automation Engineering | |
Jul 21, 2017 - Jul 23, 2017 |
Chengdu, China |
May 30, 2017 |
ICIDE 2017 |
ACM--2017 International Conference on Industrial Design Engineering (ICIDE 2017) -Ei, Scopus | |
Dec 29, 2017 - Dec 31, 2017 |
Dubai, UAE |
Oct 23, 2017 |
ICIIE 2017 |
International Conference on Industrial Engineering and Industrial Electronic | |
Dec 29, 2017 - Dec 31, 2017 |
Dubai, UAE |
Oct 27, 2017 |
|