Event | When | Where | Deadline | |
TACAS 2016 |
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
IJCTCM 2015 |
International Journal of Control Theory and Computer Modelling | |
N/A |
N/A |
Nov 10, 2015 |
iFM 2016 |
12th International Conference on integrated Formal Methods | |
Jun 1, 2016 - Jun 3, 2016 |
Reykjavik, Iceland |
Jan 6, 2016 (Dec 21, 2015) |
SIoIS 2016 |
[JoSETAP-SISPress] Special Issues on Information Systems | |
N/A |
N/A |
Jan 31, 2016 |
DisCoTec 2016 |
11th International Federated Conferences on Distributed Computing Techniques | |
Jun 6, 2016 - Jun 9, 2016 |
Heraklion, Crete, Greece |
Feb 15, 2016 (Feb 8, 2016) |
NFM 2016 |
NASA Formal Methods Symposium | |
Jun 7, 2016 - Jun 9, 2016 |
Mineapolis, MN, USA |
Feb 19, 2016 |
ICE 2016 |
9th Interaction and Concurrency Experience | |
Jun 8, 2016 - Jun 9, 2016 |
Heraklion, Greece |
Apr 1, 2016 (Mar 25, 2016) |
MEDI 2016 |
International Conference on Model and Data Engineering | |
Sep 21, 2016 - Sep 23, 2016 |
Aguadulce, AlmerÃa, Spain |
May 11, 2016 (May 2, 2016) |
ReHIS 2016 |
The 3ed International Workshop Reliability of eHealth Information Systems | |
Sep 14, 2016 - Sep 17, 2016 |
Munich, Germany |
May 15, 2016 |
IJSEA 2016 |
International Journal of Software Engineering & Applications | |
N/A |
N/A |
Sep 24, 2016 |
|