2017

event

Visible to the public  IEEE ISIE 2017
Jun 19, 2017 7:00 am - Jun 21, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/15/2016 - 3:28pm

IEEE 26th International Symposium on Industrial Electronics (ISIE 2017)

ISIE 2017 is the annual International Symposium on Industrial Electronics
covering industrial electronics technologies. Industry experts, researchers and
academics are cordially invited to join us in Edinburgh, the beautiful and
historic capital of Scotland, to participate in a three day symposium.

Accepted technical papers are expected to be disseminated to the audience either
as standard 15 minutes oral presentations or as posters (in dialogue sessions).

event

Visible to the public  Ada-Europe 2017
Jun 12, 2017 7:00 am - Jun 16, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/15/2016 - 3:20pm

2nd International Conference on Reliable Software Technologies - Ada-Europe 2017

Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED(*), SIGPLAN and the Ada Resource Association (ARA) (*) approval pending

event

Visible to the public  SAFECOMP 2017
Sep 12, 2017 7:00 am - Sep 15, 2017 6:00 pm CEST

Submitted by Anonymous on Thu, 12/15/2016 - 3:04pm

The 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP17)

CO-LOCATED EVENTS:

SAFECOMP Workshops: 12 September 2017
IMBSA (International Symposium on Model-Based Safety Assessment): 11-13 September 2017
SEFM (Intern. Conference on Software Engineering and Formal Methods): 5-8 September 2017

ABOUT SAFECOMP

event

Visible to the public  ISLPED 2017
Jul 24, 2017 7:00 am - Jul 26, 2017 6:00 pm CST

Submitted by Anonymous on Thu, 12/15/2016 - 1:51pm

International Symposium n Low Power Electronics and Design

The International Symposium on Low Power Electronics and Design (ISLPED) is the premier forum for presentation of innovative research in all aspects of low power electronics and design, ranging from process technologies and analog/digital circuits, simulation and synthesis tools, system-level design and optimization, to system software and applications.

Topics

Specific topics include, but are not limited to, the following three main tracks and sub-areas:

event

Visible to the public  ICICS 2017
Apr 04, 2017 7:00 am - Apr 06, 2017 6:00 pm EEST

Submitted by Anonymous on Thu, 12/15/2016 - 1:43pm

The 8th International Conference on Information and Communication Systems (ICICS 2017)

Technically Co-Sponsored by IEEE

The International Conference on Information and Communication Systems (ICICS 2017) is a forum for scientists, engineers, and practitioners to present their latest research results, ideas, developments, and applications in all areas of Computer and Information Sciences.

The topics that will be covered in the ICICS 2017 include, but are not limited to:

event

Visible to the public  IoTBDS 2017
Apr 24, 2017 7:00 am - Apr 26, 2017 2:30 pm WEST

Submitted by Anonymous on Thu, 12/15/2016 - 1:34pm

2nd International Conference on IoT, Big Data and Security (IoTBDS 2017)

24-26th April 2017 | Porto, Portugal | http://iotbds.org/

Sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication

event

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

Submitted by Anonymous on Thu, 12/15/2016 - 12:53pm

6th International Workshop on Bidirectional Transformations (Bx 17)

as part of ETAPS 2017

file

Visible to the public DEKER- Decomposing Commodity OS Kernels for Verification

Submitted by Zvonimir Rakamaric on Tue, 12/13/2016 - 5:01pm. Contributors:
file

Visible to the public Building Public Cyber Health

Submitted by Noel Greis on Tue, 12/13/2016 - 4:55pm. Contributors: