Event | When | Where | Deadline | |
FMCAD 2015 |
Formal Methods in Computer-Aided Design | |
Sep 27, 2015 - Sep 30, 2015 |
Austin, Texas |
TBD |
CADE 2015 |
25th International Conference on Automated Deduction | |
Aug 3, 2015 - Aug 7, 2015 |
Berlin, Germany |
Feb 23, 2015 (Feb 16, 2015) |
CIKM 2015 |
Call for Tutorials: The 24th ACM International Conference on Information and Knowledge Management (CIKM 2015) 19-23 October, 2015, Melbourne, Australia | |
Oct 19, 2015 - Oct 23, 2015 |
Melbourne |
Mar 13, 2015 |
WoMO 2015 |
Workshop on Modular Ontologies | |
Jul 25, 2015 - Jul 27, 2015 |
Buenos Aires |
Apr 27, 2015 |
ISWC 2015 |
The 14th International Semantic Web Conference October 11-15, 2015 | |
Oct 11, 2015 - Oct 15, 2015 |
Bethlehem, Pennsylvania, USA |
Apr 30, 2015 (Apr 23, 2015) |
DAMDID/RCDL 2015 |
XVII International Conference on Data Analytics and Management in Data Intensive Domains | |
Oct 13, 2015 - Oct 16, 2015 |
Obninsk, Russia |
Apr 30, 2015 |
CIKM 2015 |
Conference on Information and Knowledge Management | |
Oct 19, 2015 - Oct 23, 2015 |
Melbourne, Australia |
May 8, 2015 (May 1, 2015) |
DAMDID/RCDL 2017 |
XIX International Conference on Data Analytics and Management in Data Intensive Domains | |
Oct 10, 2017 - Oct 13, 2017 |
Moscow, Russia |
Jun 24, 2017 |
|