|
Calls for Papers |
CfP: 11th International Conference on Distributed Computing in Sensor Systems (DCOSS) |
The 11th International Conference on Distributed Computing in Sensor Systems (DCOSS)
Fortaleza, Brazil | June 10 - 12, 2015
Distributed sensor systems are paving the way to novel applications unfeasible with mainstream technology, or are proving effective in reducing costs of established practices....more |
Jan 28 2015 - 1:33pm |
9 years 42 weeks ago |
|
Calls for Papers |
CfP: The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015) |
The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)
September 27-30, 2015 | Berlin, Germany
http://euspn-15.dai-labor.de/
http://cs-conferences.acadiau.ca/euspn-13
The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Net...more |
Jan 28 2015 - 3:08pm |
9 years 42 weeks ago |
|
Calls for Papers |
CfP: Robotic Sensor Networks Workshop Deadline Extended to Feb/2/2015 (RSN2015) |
Due to multiple requests, we have extended the RSN2015 workshop deadline to Feb/2/2015.
The 2nd Int. Workshop on Robotic Sensor Networks
part of CPSWEEK
13 April 2015
Seattle Washington, USA
http://www.cse.buffalo.edu/faculty/kdantu/rsn15/
Recent developm...more |
Jan 28 2015 - 2:43pm |
9 years 42 weeks ago |
|
Calls for Papers |
CfP: ICARSC 2015 - Int Conf on Autonomous Robot Systems and Competitions |
15th IEEE(*) International Conference on Autonomous Robot Systems and Competitions
http://robotica2015.utad.pt/ICARSC
April 8-10, 2015 | University of Tras-os-Montes e Alto-Douro (UTAD) Vila Real, Portugal
Sponsored by:
- IEEE Robotics and Automation Society
- Portuguese Robotics Society
An even...more |
Jan 28 2015 - 2:24pm |
9 years 42 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
IPSN'15 Joint Call for Posters and Demos (Deadline Extended to January 30) |
The 14th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2015) draws upon many disciplines including networking, signal and image processing, information and coding theory, databases, information management, distributed algorithms, embedded systems, wireless comm...more |
Jan 28 2015 - 1:26pm |
9 years 42 weeks ago |
|
Calls for Papers |
FormaliSE 2015: Call for Papers (deadline approaching!) |
3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th), in Florence, Italy
http://www.formalise.org/
INTRODUCTION
The software industry has a long-standing and well-earned reputation for failing to deliver on its promi...more |
Jan 27 2015 - 6:22pm |
9 years 42 weeks ago |
|
Calls for Papers |
FM 2015: Joint Call for Papers at FM Satellite Workshops & Doctoral Symposium (20th Intl. Symposium on Formal Methods, Oslo) |
20th International Symposium on Formal Methods
Oslo, Norway
Workshops: June 22-23, 2015
Doctoral Symposium: June 22, 2015
(FM main event June 24-26, 2015)
http://fm2015.ifi.uio.no/workshops/
http://fm2015.ifi.uio.no/fm-2015-doctoral-symposium/
Joint Call for P...more |
Jan 27 2015 - 6:17pm |
9 years 42 weeks ago |
|
Calls for Papers |
CfP: NSV 2015 |
8th International Workshop on Numerical Software Verification
April 13, 2015 | Cyber-Physical Week 2015 | Seattle, WA, USA
Web Page: http://nsv2015.informatik.uni-freiburg.de/
Important Dates
Submissions deadline: ** January 30, 2015 **
Notification: Feb 27, 2015
Final version:...more |
Nov 26 2014 - 3:33pm |
9 years 43 weeks ago |
|
Calls for Papers |
APRES 2015 - Call for Papers (AdaPtive and Reconfigurable Embedded Systems) |
7th Workshop on AdaPtive and Reconfigurable Embedded Systems
http://apres2015.di.fc.ul.pt/
Seattle, USA, April 13, 2015
in conjunction with CPSweek 2015
http://www.cpsweek.org/
IMPORTANT DATES
Submission deadline: January 30, 2015
Author notification: March 6, 2015
Camera ready: March 13, 2015...more |
Jan 19 2015 - 5:21pm |
9 years 44 weeks ago |
|
Calls for Papers |
Extended Deadline - FMICS'15: 20th International Workshop onFormal Methods for Industrial Critical Systems |
CALL FOR PAPERS (incl. deadline extension due to popular demand)
FMICS 2015
20th International Workshop on Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)
22-23 June 2015, Oslo, Norway
In co-location with FM 2015: 20th International Symposium on Formal Methods
The aim of the...more |
Jan 19 2015 - 11:45am |
9 years 44 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CfP: High Confidence Software and Systems Conference (2015) |
The Fifteenth Annual HCSS Conference (2015)
Call for Presentations
Introduction
The fifteenth annual HCSS Conference will be held May 5-8, 2015 at the Historic Inns of Annapolis in Annapolis, Maryland. You are invited to submit a proposal to present a talk at this year's conference. As in previous y...more |
Jan 15 2015 - 10:43am |
9 years 44 weeks ago |
|
Calls for Papers |
Call for Papers: The 2nd Int. Workshop on Robotic Sensor Networks |
The 2nd Int. Workshop on Robotic Sensor Networks
part of CPSWEEK
13 April 2015
Seattle Washington, USA
http://www.cse.buffalo.edu/faculty/kdantu/rsn15/
Recent developments in sensing and actuation technology, along with the miniaturization of computing and communication, have led to...more |
Jan 12 2015 - 2:59pm |
9 years 45 weeks ago |
|
Calls for Papers |
CFP: IST-AWSN 2015 (EXTENDED DEADLINE) |
IST-AWSN 2015 : 10th International Symposium on Intelligent Techniques for Ad hoc and Wireless Sensor Networks
Date: 2-5 June, 2015
Venue: London, United Kingdom
Symposium Website: http://www.ist-awsn2015.lissi.fr/
Full Paper Submission: January 24, 2015 (Extended)
Acceptance Notifica...more |
Jan 12 2015 - 2:40pm |
9 years 45 weeks ago |
|
Calls for Papers |
FORTE 2015: last Call for Papers |
FORTE 2015
A DisCoTec Member Conference
35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
discotec2015.inria.fr/
taking place on June 2-4, 2015 in Grenoble, France
Abstract Submission: January 16, 2015
Paper Submission: Janu...more |
Jan 12 2015 - 1:42pm |
9 years 45 weeks ago |
|
Calls for Papers |
SEUS 2015 - Call for Papers |
11th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2015)
http://www.complang.tuwien.ac.at/seus2015
in conjunction with ISORC 2015
http://www.isorc2015.org
April 13-17, 2015 -- Auckland, New Zealand
Important Dates
- Paper Submissions: Jan 31st, 2015...more |
Jan 6 2015 - 12:20pm |
9 years 46 weeks ago |
|
Calls for Papers |
FM 2015: Final Call for Papers (20th Intl. Symposium on FormalMethods, Oslo) |
20th International Symposium on Formal Methods
Oslo, Norway, June 22-26, 2015
http://fm2015.ifi.uio.no/
Call for Papers
NEWS:
There will be special issues of the Journals
- Acta Informatica and
- Formal Aspects of Computing
featuring selected papers from FM 2015....more |
Jan 6 2015 - 12:10pm |
9 years 46 weeks ago |
|
Calls for Papers |
CfP: SpringSim 2015 - Work in Progress Session |
Work in Progress (WIP) Track
Part of the SPRING SIMULATION MULTI-CONFERENCE 2015
(http://www.scs.org/springsim)
April 12-15, 2015
The Westin Alexandria; Alexandria, VA, USA (Washington DC Area)
With over 330 submissions already under evaluation for SpringSim, we are
currently seeking outstanding...more |
Jan 6 2015 - 12:04pm |
9 years 46 weeks ago |
|
Calls for Papers |
Call for papers - ICARSC 2015 |
5th IEEE(*) International Conference on Autonomous Robot Systems and Competitions
http://robotica2015.utad.pt/en/ICARSC
April 8-10, 2015
University of Tras-os-Montes e Alto-Douro (UTAD)
Vila Real, Portugal
Sponsored by:
- IEEE Robotics and Automation Society
- Portuguese Robotics Society
An e...more |
Dec 23 2014 - 2:09pm |
9 years 48 weeks ago |
|
Calls for Papers |
Deadline January 15: Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems |
News:
[1] Submission deadline extended to January 15.
[2] 27 thematic workshops are registered http://www.iccs-meeting.org/iccs2015/registered-workshops.
[3] In addition to the Full Paper submission, we offer a Presentation Only option (a short abstract is published in a book of abstracts, but no...more |
Dec 23 2014 - 1:43pm |
9 years 48 weeks ago |
|
Calls for Papers |
CfP: Workshop in Feedback Computing at CPSWEEK 2015 |
10th International Workshop on Feedback Computing
Co-located with CPSWeek 2015
April 13th, Seattle, WA, USA
Call for papers
Feedback Computing is a unique forum built around advancing feedback system theory and practice in modeling, analyzing, designing, and optimizing computing systems with respe...more |
Dec 23 2014 - 1:11pm |
9 years 48 weeks ago |
|
Position Announcements |
Post-doctoral research position in Real-Time Systems |
Post-doctoral Researcher in Real-Time Systems @ University of Pennsylvania
The Real-Time Systems Group (http://rtg.cis.upenn.edu) in the PRECISE Center (http://precise.seas.upenn.edu) at the University of Pennsylvania
(http://www.upenn.edu) has an opening for a post-doctoral researcher in the field...more |
Dec 23 2014 - 1:04pm |
9 years 48 weeks ago |
|
Position Announcements |
Assistant Professor / Researcher Position in Computer Science, Halmstad University, Sweden |
Assistant Professor / Researcher Position in Computer Science with focus on Model-Based Testing and Diagnosis at Halmstad University, Sweden
Background
The position is funded by the AUTO-CAAS project, which is a joint project on model-based testing and diagnosis of automotive software,
to be carrie...more |
Dec 23 2014 - 12:29pm |
9 years 48 weeks ago |
|
Calls for Papers |
Call for Papers: FormaliSE 2015 |
3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th), in Florence, Italy
http://www.formalise.org/
INTRODUCTION
The software industry has a long-standing and well-earned reputation for failing to deliver on its prom...more |
Dec 23 2014 - 12:21pm |
9 years 48 weeks ago |
|
General Announcements |
USDOT Connected Vehicle Pilot Deployments: Synopsis Posted |
USDOT posted a synopsis on the Connected Vehicle Pilot Deployments at https://www.fbo.gov/index?s=opportunity&mode=form&id=9ddd7050054d7d66d4cb486bea180f6d&tab=core&_cview=0. The USDOT connected vehicle research program is a multimodal initiative that aims to enable safe, interoperab...more |
Dec 22 2014 - 5:58pm |
9 years 48 weeks ago |
|
Calls for Papers |
CfP: Second International Workshop on the Swarm at the Edge of the Cloud (SWEC) |
CALL FOR PAPERS
Second International Workshop on the Swarm at the Edge of the Cloud (SWEC)
CPSWEEK, April 13, 2015
Seattle, Washington
http://www.terraswarm.org/swec15/
Organizers
General Chair: Alberto Sangiovanni-Vincentelli, UC Berkeley
Program Co-Chairs: Roozbeh Jafari, UT Dallas, Antho...more |
Dec 22 2014 - 5:51pm |
9 years 48 weeks ago |
|
Calls for Papers |
CfP: ECYPS’2015:3rd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems |
On behalf of the Scientific and Organizing Committees it is our great pleasure to invite you to Budva, an exceptional place on the Mediterranean See coast of Montenegro, to participate in:
MECO'2015: 4th Mediterranean Conference on Embedded Computing, and
ECYPS'2015: 3rd EUROMICRO/IEEE Workshop...more |
Dec 22 2014 - 5:17pm |
9 years 48 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
IPSN'15 Joint Call for Posters and Demos |
The 15th ACM/IEEE International Conference on Information Networks
IPSN Joint Call for Posters and Demos
April 13-17, 2015, Seattle, WA, USA
URL: http://ipsn.acm.org/2015/
The 14th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2015) draws upon many disciplines...more |
Dec 22 2014 - 5:06pm |
9 years 48 weeks ago |
|
Calls for Papers |
CfP: FMICS'15: 20th International Workshop on Formal Methods forIndustrial Critical Systems |
FIRST CALL FOR PAPERS
FMICS 2015
20th International Workshop on
Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)
22-23 June 2015, Oslo, Norway
In co-location with FM 2015: 20th International Symposium on Formal Methods
The aim of the FMICS workshop series is to provide a for...more |
Dec 22 2014 - 4:59pm |
9 years 48 weeks ago |
|
Calls for Papers |
CfP: MBT 2015 - deadline extended until December 31 |
The deadline for Model-based testing Workshop was extended until December 31.
10th Workshop on Model-Based Testing
April 18, 2015, London, UK
http://mbt-workshop.org/
Satellite workshop of ETAPS 2015
CALL FOR PAPERS
MBT workshop 2015 celebrates its 10th anniversary. We invite you to join academician...more |
Dec 22 2014 - 4:52pm |
9 years 48 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Microsoft Indoor Localization Competition – IPSN 2015 |
C A L L F O R C O N T E S T E R S
Microsoft Indoor Localization Competition - IPSN 2015
Seattle, WA
April 13-17, 2015
http://research.microsoft.com/en-us/events/indoorloccompetition2015/default.aspx
Over the last 15 years, several indoor localization technologies have been proposed and experimen...more |
Dec 22 2014 - 4:36pm |
9 years 48 weeks ago |
|
Calls for Papers |
Extended Deadline QAPL 2015 |
SECOND CALL FOR PAPERS - Extended Deadline 13th Workshop on Quantitative
Aspects of Programming Languages and Systems (QAPL 2015)
Affiliated with ETAPS 2015 April 11 - 12, 2015, London, United Kingdom
http://qapl15.inria.fr
SCOPE:
Quantitative aspects of computation are important and sometimes e...more |
Dec 22 2014 - 4:28pm |
9 years 48 weeks ago |
|
Calls for Papers |
CfP: Deadline Extension: FESCA@ETAPS 2015 |
Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FESCA 2015.
The submission deadline has been extended to December 21, 2014.
12th International Workshop on Formal Engineering Approaches to Softwa...more |
Dec 22 2014 - 4:18pm |
9 years 48 weeks ago |
|
Calls for Papers |
Don't miss the CfP deadline (Jan. 16) for HotSoS 2015 |
Just a reminder that papers for the Symposium and Bootcamp on the Science of Security (HotSoS 2015) are due January 16, 2015. We are soliciting contributions that either develop scientific methodologies for conducting cyber-security research or demonstrate how such methodologies are used on specific...more |
Dec 22 2014 - 4:14pm |
9 years 48 weeks ago |
|
Calls for Papers |
CfP: PLEASE Workshop at ICSE'15 - submission deadline is Jan 23 |
CALL FOR PAPERS
PLEASE 2015 - The 5th International Workshop on Product LinE Approaches in Software Engineering
>> PLE for a Sustainable Society <<
May 19, 2015, Florence, Italy, held in conjunction with ICSE 2015
Deadline for submissions: January 23, 2015
More info at h...more |
Dec 22 2014 - 3:57pm |
9 years 48 weeks ago |
|
General Announcements |
State Departments of Transportation Connected/Automated Vehicle Research Roadmap |
The American Association of State Highway and Transportation Officials National Cooperative Highway Research Program project 20-24(98) released a draft "Connected/Automated Vehicle Research Roadmap." See http://onlinepubs.trb.org/onlinepubs/nchrp/docs/NCHRP20-24(98)_RoadmapTopics_Final.pdf for a PD...more |
Dec 15 2014 - 5:29pm |
9 years 49 weeks ago |
|
Position Announcements |
Post-doctoral research position in Real-Time Systems @ University of Pennsylvania |
The Real-Time Systems Group (http://rtg.cis.upenn.edu) in the PRECISE Center (http://precise.seas.upenn.edu) at the University of Pennsylvania (http://www.upenn.edu) has an opening for a post-doctoral researcher in the field of real-time systems, cyber-physical systems and real-time virtualization....more |
Dec 12 2014 - 1:42pm |
9 years 49 weeks ago |
|
Calls for Papers |
2nd CFP: 20th Intl. Symposium on Formal Methods (FM 2015), Oslo |
Call for Papers: 20th International Symposium on Formal Methods
Oslo, Norway, June 22-26, 2015
http://fm2015.ifi.uio.no/
NEWS:
There will be special issues of the Journals
Acta Informatica
Formal Aspects of Computing
featuring selected papers from FM 2015.
IMPORTANT DATES:
Jan 2 Abs...more |
Dec 9 2014 - 12:59pm |
9 years 50 weeks ago |
|
Calls for Papers |
CfP: ANT 2015: 6th International Conference on Ambient Systems, Networks and Technologies |
Call for Papers
The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015)
In Conjunction with
The 5th International Conference on Sustainable Energy Information Technology (SEIT-15)
London,United Kingdom, June 2-5, 2015
Conference Website: http://cs-conferences.acadia...more |
Dec 2 2014 - 2:24pm |
9 years 51 weeks ago |
|
Calls for Papers |
SpringSim 2015 - Deadline Extension |
SPRING SIMULATION MULTI-CONFERENCE 2015
April 12-15, 2015, The Westin Alexandria Alexandria, VA, USA (Washington DC Area)
http://www.scs.org/springsim
PAPER SUBMISSION DEADLINE EXTENDED TO DECEMBER 6
(over 300 submissions received already!)
The 2015 Spring Simulation Multi-Conference (SpringSim'1...more |
Dec 2 2014 - 2:07pm |
9 years 51 weeks ago |
|
Calls for Papers |
CfP: Graphs as Models (ETAPS workshop) |
GRAPHS AS MODELS (GaM 2015)
First International Workshop
http://utwente.nl/gam2015/
Satellite Event of ETAPS 2015, London -- 11-12 April 2015
Description
Graphs are used as models in all areas of computer science:
examples are state space graphs, control flow graphs, syntax graphs, UML-type models...more |
Nov 26 2014 - 4:35pm |
9 years 51 weeks ago |
|
Calls for Papers |
NFM 2015 - deadline extension: Nov 18 |
The 7th NASA Formal Methods Symposium
http://www.NASAFormalMethods.org/nfm2015
27 - 29 April 2015 | Pasadena, California, USA
THEME
The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validat...more |
Nov 26 2014 - 4:08pm |
9 years 51 weeks ago |
|
Position Announcements |
Postdoctoral position in Mixed-Criticality Cyber-Physical Systems in NTU, Singapore |
Position type: Postdoc (Research Fellow) for 2 years.
Salary range: Between S$4000 and S$5000 monthly depending on background and experience.
Expected qualifications: PhD in Computer Science, Computer Engineering or related field. Research experience and interest in design and analysis of real-time...more |
Nov 26 2014 - 4:03pm |
9 years 51 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Contributions - 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks |
Call for Contributions
The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.
Authors are invited to submit original papers on the research an...more |
Nov 20 2014 - 3:39pm |
10 years 3 days ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
IPSN 2015 CALL FOR DEMOS AND POSTERS |
IPSN Joint Call for Posters and Demos
The 14th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2015) draws upon many disciplines including networking, signal and image processing, information and coding theory, databases, information management, distributed algor...more |
Nov 20 2014 - 2:26pm |
10 years 4 days ago |
|
Position Announcements |
Professor in Vehicular Software and System Architecture at MDH |
MDH and Volvo CE announces a chair in Computer Science specializing in Vehicular Software and System Architecture. The position is co-funded by MDH, Volvo and KKS.
MDH hosts Sweden's largest research environment in Embedded Systems and we are now searching to strengthen our competence in software an...more |
Nov 18 2014 - 12:41pm |
10 years 6 days ago |
|
Calls for Papers |
CFP PECCS 2015 - Doctoral Consortium on Pervasive and Embedded Computing and Communication Systems (Angers/France) |
Doctoral Consortium on Pervasive and Embedded Computing and Communication Systems
http://www.peccs.org/DoctoralConsortium.aspx
February 11 - 13, 2015
ESEO, Angers, Loire Valley, France
Doctoral Consortium Co-Chairs:
Cesar Benavente-Peces, Universidad Politecnica de Madrid, Spain Sebastien Aubin, E...more |
Nov 18 2014 - 12:39pm |
10 years 6 days ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Last call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo |
News: extra support for workshops offered by FME board
Deadline for proposals: November 14, 2014
CALL FOR PROPOSALS FOR WORKSHOPS
The 20th International Symposium on Formal Methods (FM 2015) will take place in Oslo, Norway, June 22-26, 2015. For this major event, we are inviting people to submit pro...more |
Nov 18 2014 - 12:36pm |
10 years 6 days ago |
|
Calls for Papers |
CALL FOR PAPERS ECRTS 15 Submission deadline: 1 February 2015 (firm deadline) |
EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Lund, Sweden, 8-10th July 2015
Organized by the Euromicro Technical Committee on Real-Time Systems
Conference web site: ecrts15.ecrts.org
THEME AND TOPICS OF INTEREST
ECRTS is the premier European venue for presenting research into the broad area of real-ti...more |
Nov 4 2014 - 8:47pm |
10 years 2 weeks ago |
|
Calls for Papers |
CFP DATE'15 Friday workshop: Model-Implementation Fidelity (MiFi 2015) |
Call for papers
1st Workshop on Model-Implementation Fidelity (MiFi 2015)
http://www.date-conference.com/conference/workshop-w01
Friday Workshop, DATE 2015, 13th March, Grenoble, France
Scope of the workshop
In early design stages, software and platform developers work with abstractions of the hardw...more |
Nov 4 2014 - 8:37pm |
10 years 2 weeks ago |
|
Calls for Papers |
CFP OpenModelica/MODPROD Workshops Febr 2015 |
CFP OpenModelica/MODPROD Workshops Febr 2015
Location: Linkoping University, Linkoping, Sweden
9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015
7th OpenModelica Annual Workshop, February 2, 2015
Special theme for this year: Open Source
Keynotes for MODPROD'2015 W...more |
Nov 4 2014 - 8:32pm |
10 years 2 weeks ago |
