Announcement

forum

Visible to the public Deadline Extension: 1st Int'l Workshop on Model-Based Design for Cyber-Physical Systems (in conjunction with IEEE/IFIP DSN 2015)

Submitted by ssedighs on Mon, 03/09/2015 - 10:05pm

Call for Papers (Deadline extended to March 15)
First International Workshop on Model-Based Design for Cyber-Physical Systems (MB4CP 2015)
In Conjunction with the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
June 22th, 2015, Rio de Janeiro, Brazil
http://mb4cp.ipd.kit.edu/mb4cp_2015

forum

Visible to the public IEEE PerCom 2015 - Call for Papers

Submitted by KNEW on Mon, 03/09/2015 - 11:19am

CALL FOR PARTICIPATION

IEEE PerCom 2015

Thirteenth IEEE International Conference on Pervasive Computing and Communications

http://www.percom.org

St. Louis, Missouri, USA
March 23 - 27, 2015

Sponsored by: IEEE Computer Society

(IEEE TCCC, IEEE TCPP)
National Science Foundation

Pervasive and Mobile Computing Journal (Elsevier)

Missouri University of Science and Technology, Rolla, USA
==========================================================

forum

Visible to the public Call for Papers for the 3rd IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2015)

Submitted by KNEW on Thu, 03/05/2015 - 4:09pm

Call for Papers for the 3rd IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2015)

Venue & Dates:
Hong Kong, China, August 19-21, 2015

Conference Website:
http://www.cpsna.org/

Co-Located Conference:
http://www.rtcsa.org/

TOPICS

forum

Visible to the public 2015 Program Solicitation: Cybersecurity Innovation for Cyberinfrastructure (CICI)

Submitted by KNEW on Wed, 03/04/2015 - 11:57am

Cybersecurity Innovation for Cyberinfrastructure (CICI)
PROGRAM SOLICITATION
NSF 15-549
NSF Logo
National Science Foundation

Directorate for Computer & Information Science & Engineering
Division of Advanced Cyberinfrastructure

Full Proposal Deadline(s) (due by 5 p.m. proposer's local time):

June 02, 2015

forum

Visible to the public 1st CfP: ABZ 2016

Submitted by Anonymous on Mon, 03/02/2015 - 5:30pm

5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z)

May 23-27, 2016 -- Linz, Austria

http://www.cdcc.faw.jku.at/ABZ2016/

forum

Visible to the public F-IDE 2015: Call for papers (FM2015 Workshop)

Submitted by Anonymous on Mon, 03/02/2015 - 5:22pm

The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015)

22 June 2015, Oslo, Norway | http://www.eecs.qmul.ac.uk/~masci/fide2015

OVERVIEW

The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) will be held in Oslo, Norway, in June, 2015.

forum

Visible to the public Extension CFP: ICINCO 2015 - Int'l Conf. on Informatics in Control, Automation and Robotics (Colmar, Alsace/France)

Submitted by Anonymous on Mon, 03/02/2015 - 5:18pm

12th International Conference on Informatics in Control, Automation and Robotics

ICINCO website: http://www.icinco.org

In Cooperation with: EUROMICRO, AAAI, APCA, INNS, APNNA and euRobotics AISBL
Co-Sponsored by: IFAC
Sponsored by: INSTICC
INSTICC is Member of: WfMC and FIPA
Technically Co-sponsored by: IEEE CSS
Logistics Partner: SCITEVENTS

IMPORTANT DATES:

forum

Visible to the public CfP: WATERS 2015: 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems

Submitted by Anonymous on Mon, 03/02/2015 - 4:51pm

6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'15)

http://waters2015.inria.fr
July 7, 2015 in Lund, Sweden
In conjunction with ECRTS'15

The goal of the WATERS workshop series is to create a common ground and a community to share methodologies, software tools, best practices, data sets, application models, benchmarks and any other way to improve comparability of results in the current practice of research in real-time and embedded systems.

forum

Visible to the public Conference on Simulation-Based Test Beds for Smart Grids at CMU March 30

Submitted by Anonymous on Mon, 03/02/2015 - 4:41pm

Save the Date!

The Tenth Anniversary of the Carnegie Mellon University Electricity Conference

Monday, March 30 through Wednesday, April 1, 2015 (Conference) and Thursday, April 2-Friday, April 3 (Workshop). Please see http://www.ece.cmu.edu/~electricityconference/ for details. Location is the Carnegie Mellon Pittsburgh campus. This year's theme is "Testbeds for Smart Grids and Smart Cities."

forum

Visible to the public GCM 2015: Call for Papers

Submitted by Anonymous on Mon, 03/02/2015 - 4:32pm

6th International Workshop on GRAPH COMPUTATION MODELS

20 July, 2015, L'Aquila, Italy
co-located with ICGT 2015, part of STAF 2015
http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html