2014

event

Visible to the public  ECYPS 2014
Dec 19, 2013 1:30 pm - 1:30 pm EST

2nd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2014)
FOCUS:
Embedded systems, being inseparable parts of certain larger (embedding) systems, constitute information-processing parts of cyber-physical systems composed of information-processing and physical sub-systems.
event

Visible to the public  IMCIC 2014
Mar 04, 2014 8:00 am - Mar 07, 2014 6:00 pm EST

Complexity, Informatics and Cybernetics: IMCIC 2014
jointly withThe 20th International Conference on Information Systems Analysis and Synthesis: ISAS 2014
Motives and Purpose
Conceptual and instrumental relationships among Complexity, Informatics and Cybernetics are continuously growing, cross-fertilizing each other and generating important theoretical and technological synergies.
event

Visible to the public  QRMSE 2014
Mar 04, 2014 8:00 am - Mar 07, 2014 6:00 pm EST

Special Track on Qualitative Research and Methodologies in Science and Engineering
Co-located with IMCIC 2014
Qualitative research and methodologies have been effectively used, for a long time in Social Sciences and they are increasingly being used in technological innovation, information systems devel
event

Visible to the public  FPL2014
Sep 02, 2014 8:00 am - Sep 04, 2014 6:00 pm CEST

24th International Conference on Field Programmable Logic and Applications

The International Conference on Field Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic.

event

Visible to the public  CyPhy'14
Apr 14, 2014 8:00 am - 6:00 pm CEST

CyPhy'14 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines.
event

Visible to the public  ECMFA 2014
Jul 21, 2014 8:00 am - Jul 25, 2014 6:00 pm BST

Model-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.

event

Visible to the public  CAV 2014
Jul 18, 2014 8:00 am - Jul 22, 2014 6:00 pm CEST

26th International Conference on Computer Aided Verification (CAV'14)
Part of Vienna Summer of Logic (VSL'14)
18-22 July 2014, Vienna, Austria

CAV 2014 is the 26th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.

event

Visible to the public  FESCA @ ETAPS 2014
Apr 12, 2014 8:00 am - 6:00 pm CEST

FESCA @ ETAPS 2014

11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2014, Grenoble, France

WORKSHOP AIM

event

Visible to the public  Conference on Systems Engineering Research (CSER 2014)
Mar 21, 2014 8:00 am - Mar 22, 2014 5:00 pm PDT

CSER is the leading conference and platform for systems engineering that both pushes the boundaries of current research and identifies and responds to new challenges, fostering new research ideas.