Software designed for computational processes that interact with the physical processes.
event
Submitted by Anonymous on Tue, 05/07/2013 - 11:23am
4th International Conference on Pervasive and Embedded Computing and Communication Systems
PECCS 2014 will be held in conjunction with SENSORNETS 2014, PHOTOPTICS 2014 and PhyCS 2014.
Registration to PECCS allows free access to the SENSORNETS, PHOTOPTICS and PhyCS conferences (as a non-speaker).
UPCOMING DEADLINES
Regular Paper Submission: July 30, 2013
Regular Paper Authors Notification: October 9, 2013
Regular Pape
forum
Submitted by Anonymous on Tue, 05/07/2013 - 11:08am
forum
Submitted by Anonymous on Tue, 05/07/2013 - 10:37am
FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN
FINAL CALL FOR PAPERS
International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13
Portland, OR, USA October 20-23, 2013
IMPORTANT DATES
Abstract Submission: May 8
Paper Submission: May 15
Author Notification: July 17
forum
Submitted by Anonymous on Tue, 05/07/2013 - 10:32am
CALL FOR PAPERS
International Conference on Pervasive and Embedded Computing and Communication Systems
PECCS website: http://www.peccs.org/
January 7 - 9, 2014
Lisbon, Portugal
In Cooperation with: EUROMICRO
Sponsored by: INSTICC
INSTICC is Member of: WfMC
Logistics Partner: SCITEVENTS
IMPORTANT DATES:
Regular Paper Submission: July 30, 2013
event
Submitted by Anonymous on Fri, 04/19/2013 - 4:39pm
CALL FOR PARTICIPATION: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/
WORKSHOP SCOPE
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.
event
Submitted by Anonymous on Fri, 04/19/2013 - 4:31pm
event
Submitted by Anonymous on Fri, 04/19/2013 - 4:26pm
MSR 2013: CALL for PARTICIPATION
10th Working Conference on Mining Software Repositories (MSR)
May 18-19, 2013. San Francisco, California, USA
The Mining Software Repositories (MSR) field analyzes the rich data available in software repositories to uncover interesting and actionable information about software systems and projects. The goal of this two-day working conference is to advance the science and practice of MSR.
CONFERENCE PROGRAM
The MSR 2013 program includes:
forum
Submitted by Anonymous on Fri, 04/19/2013 - 4:04pm
forum
Submitted by Anonymous on Fri, 04/19/2013 - 3:58pm
LPAR-19
1st CALL FOR PAPERS
CALL FOR WORKSHOP PROPOSALS
============================================================
The 19th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
============================================================
event
Submitted by Anonymous on Fri, 04/19/2013 - 3:53pm
The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Stellenbosch, South Africa, 14-19 December 2013
www.LPAR-19.info
