2017

event

Visible to the public  EBCCSP 2017
May 24, 2017 7:00 am - May 26, 2017 6:00 pm -04

Submitted by Anonymous on Wed, 12/07/2016 - 12:41pm

3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP 2017)

Aim:

The aim of the EBCCSP 2017 conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the event-based systems and architectures applied in wide spectrum of engineering disciplines including control, communication and signal processing.

event

Visible to the public  FormaliSE 2017
May 27, 2017 7:00 am - 6:00 pm -04

Submitted by Anonymous on Wed, 12/07/2016 - 12:14pm

5th FME Workshop on Formal Methods in Software Engineering (FORMALISE 2017)

27th May 2017 | Buenos Aires, Argentina | http://www.formalise.org/

co-located with ICSE 2017 (May 20th-May 28th)

INTRODUCTION

FormaliSE is a yearly workshop on Formal Methods in Software Engineering.

event

Visible to the public  ISDF 2017
Dec 08, 2017 10:15 am - Dec 10, 2017 11:15 am EST

Submitted by jenevieve_sdiwc on Tue, 12/06/2016 - 10:19am

You are invited to participate in The Third International Conference on Information Security and Digital Forensics (ISDF2017) that will be held in Metropolitan College, Thessaloniki, Greece on Dec 8-10, 2017. The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures.

All registered papers will be published in SDIWC Digital Library, and in the proceedings of the conference.

event

Visible to the public  The Fourth International Conference On Digital Enterprise and Information Systems
Jul 19, 2017 9:00 am - Jul 20, 2017 5:00 pm UTC

Submitted by jerikasdiwc on Tue, 12/06/2016 - 2:11am

You are invited to participate in The Fourth International Conference On Digital Enterprise and Information Systems (DEIS2017) that will be held in Jakarta, Indonesia, on July 19 - 20, 2017. The event will be held over two days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures.

event

Visible to the public  IEEE ICIT 2017
Mar 22, 2017 7:00 am - Mar 25, 2017 6:00 pm EDT

Submitted by Anonymous on Mon, 12/05/2016 - 12:17pm

IEEE International Conference on Industrial Technology (ICIT 2017)

It is an immense pleasure to extend a warm welcome to all the academic scholars, professors, industry experts, managers, and business partners to the Annual IEEE Industrial Electronics Society's 18th International Conf. on Industrial Technology (ICIT). 2017 will be held in North America's 3rd largest city, Toronto, which lies within the Province of Ontario, Canada.

event

Visible to the public  ICINCO 2017
Jul 29, 2017 7:00 am - Jul 31, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/01/2016 - 5:03pm

14th International Conference on Informatics in Control, Automation and Robotics (ICINCO)

In Cooperation with: AAAI, INNS, EUROMICRO, euRobotics AISBL, RSJ, SBA, SPR and EurAI
Technically Co-sponsored by: IEEE and IEEE-RAS
Co-organized by: Universidad Rey Juan Carlos
Sponsored by: INSTICC
INSTICC is Member of: WfMC and FIPA
Logistics Partner: SCITEVENTS

event

Visible to the public  FroCoS 2017
Sep 25, 2017 7:00 am - Sep 29, 2017 6:00 pm WEST

Submitted by Anonymous on Thu, 12/01/2016 - 4:35pm

FIRST CALL FOR PAPERS

11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)

GENERAL INFORMATION

The 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) will be held in Brasilia, Brazil, between September 25 to September 29, 2017. Its main goal is to disseminate and promote progress in research areas related to the development of techniques for the integration, combination, and modularization of formal systems together with their analysis.

event

Visible to the public  WAT 2017
May 16, 2017 7:00 am - May 19, 2017 6:00 pm WEST

Submitted by Anonymous on Thu, 12/01/2016 - 4:23pm

Track: Workshop on Adaptive Technology (WAT 2017)

The 8th International Conference on Ambient Systems, Networks and Technologies

http://usp.us2.list-manage.com/track/click?u=e2bd2dfe2bca5a783c68a77df&id=61fe7a8330&e=7a0e921367

Theme

Adaptive approach aims to aid the solution search of practical problems through auto-modifiable mathematical abstractions such as adaptive models and devices. In other words, the adaptive approach can be described as an auto-modifiable formalism.

event

Visible to the public  CREST 2017
Apr 29, 2017 7:00 am - 6:00 pm CEST

Submitted by Anonymous on Thu, 12/01/2016 - 4:10pm

2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017)

A satellite event of ETAPS 2017

event

Visible to the public  STAF'17
Jul 17, 2017 7:00 am - Jul 21, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/01/2016 - 4:00pm

STAF 2017 Software Technologies: Applications and Foundations

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.