Past Events
Upcoming Events
Past Events
-
HPCS 2014Jul 21, 2014 1:00 AM - Jul 25, 2014 10:00 AMThe 2014 International Conference on High Performance Computing & Simulation Purpose:
-
MOSPAS 2014Jul 21, 2014 1:00 AM - Jul 25, 2014 10:00 AM5th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS 2014) As part of
-
GCM 2014Jul 21, 2014 2:00 AM - Jul 21, 2014 11:00 AM----------------------------------------------------------------------- CALL FOR PAPERS
-
ICTG 2014Jul 21, 2014 2:00 AM - Jul 25, 2014 12:00 PM7th International Conference on Graph Transformation Dynamic structures are a major cause for complexity when it comes to model and reason about systems.
-
ECMFA 2014Jul 21, 2014 2:00 AM - Jul 25, 2014 12:00 PMModel-Based Engineering (MBE) is an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality.
-
STAF 2014Jul 21, 2014 2:00 AM - Jul 25, 2014 11:00 AMSTAF 2014 Doctoral Symposium http://www.cs.york.ac.uk/staf/2014/doctoralsymposium Call for Abstract Submissions Part of Software Technologies: Applications and Foundations 2014 University of York, UK, 21st - 25th July 2014. http://stafconferences…
-
SSV 2014Jul 23, 2014 1:00 AM - Jul 24, 2014 10:00 AM8th International Workshop on Systems Software Verification co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014.
-
TAP 2014Jul 24, 2014 2:00 AM - Jul 25, 2014 11:00 AM8th International Conference on TESTS AND PROOFS Scope ===== The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination
-
GraBaTs 2014Jul 25, 2014 2:00 AM - Jul 25, 2014 11:00 AM8th International Workshop on Graph-Based Tools A satellite event of ICGT'14
-
TTC'14Jul 25, 2014 9:00 AM - Jul 25, 2014 10:00 AMTransformation Tool Contest 2014 The aim of this event is to compare the expressiveness, the usability and the performance of graph and model transformation tools along a number of selected case studies. A deeper understanding of the relative merits of…
-
IEEE INDIN2014Jul 27, 2014 6:00 AM - Jul 30, 2014 4:00 PM12th IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS - INDIN 2014 &nb
-
ICECCS 2014Aug 3, 2014 10:00 PM - Aug 7, 2014 8:00 AMThe 19th IEEE International Conference on Engineering of Complex Computer Systems
-
World Congress PlugFestAug 5, 2014 12:00 PM - Aug 7, 2014 3:00 PMUSDOT Connected Vehicle PlugFest What are PlugFests? The U.S. Department of Transportation's (USDOT) will hold its third Connected Vehicle PlugFest on May 13-15, 2014 in Farmington Hills, Michigan. PlugFests provide venues for vendor-to-vendor connected…
-
Student Poster and Demo Session on Unmanned Aerial VehiclesAug 11, 2014 7:00 AM - Aug 11, 2014 5:00 PMDuring the MobiHoc2014 workshop on "Airborne Networks and Communications", there will be a student poster and demo session on "Unmanned Aerial Vehicles". Students whose posters /demos are selected for presentation will be provided finanical support…
-
NSF/DIMACS Workshop for Aspiring PIs in Secure and Trustworthy Cyberspace (2014)Aug 17, 2014 10:00 AM - Aug 18, 2014 1:30 AMThis one-day workshop was designed for researchers who aspired to participate in NSF's Secure and Trustworthy Cyberspace (SaTC) program. The workshop was by invitation or application, and was open to people with research interests in secure and…