|
Calls for Papers |
FroCoS 2017 - First Call for Papers |
FIRST CALL FOR PAPERS
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)
Brasilia, Brazil | September 25-29th, 2017 | http://frocos2017.cic.unb.br
Submission Deadlines:
24th April 2017 (abstracts)
28th April 2017 (full papers)
GENERAL INFORMATION
The 11th Inte...more |
Dec 1 2016 - 4:40pm |
8 years 20 hours ago |
|
Calls for Papers |
WAT 2017: Call for papers - PENDING DEADLINE |
CALL FOR PAPERS
Track: Workshop on Adaptive Technology (WAT 2017)
May 16-19, 2017 | Madeira, Portugal |
http://usp.us2.list-manage.com/track/click?u=e2bd2dfe2bca5a783c68a77df&id=3bfbf723f7&e=7a0e921367
The 8th International Conference on Ambient Systems, Networks and Technologies
http:/...more |
Dec 1 2016 - 4:25pm |
8 years 21 hours ago |
|
Calls for Workshops & Tutorials |
[STAF'17] Second Call for Workshops - Deadline Approaching |
CALL FOR WORKSHOPS
STAF 2017: Software Technologies: Applications and Foundations
July 17-21, 2017 | Marburg, Germany | http://www.informatik.uni-marburg.de/staf2017/
Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It w...more |
Dec 1 2016 - 4:02pm |
8 years 21 hours ago |
|
Calls for Papers |
CfP Pending Deadline: 8th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2017) |
CALL FOR PAPERS - DEADLINE December 8, 2016
8th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2017)
May 03-05, 2017 | Caparica, Lisbon, Portugal | http://sites.uninova.pt/doceis
Technological Innovation for Smart Systems
Sponsored by:
SOCOLNET - Soci...more |
Dec 1 2016 - 3:14pm |
8 years 22 hours ago |
|
Calls for Papers |
CfP: International Conference on Quantitative Evaluation of SysTems (QEST 2017) |
CALL FOR PAPERS
International Conference on Quantitative Evaluation of SysTems (QEST 2017)
Berlin, September 5-7 2017 | www.qest.org/qest2017
Co-located with CONCUR
Scope and Topics
The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on quantitative e...more |
Dec 1 2016 - 2:11pm |
8 years 23 hours ago |
|
Calls for Papers |
CfP: FS-MCPS (2nd Workshop on Fail Safety in MCPS) |
Call for Contributions:
3rd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS)
Hannover, Germany, February 21, 2017 | http://www.sts.tuhh.de/aa4r/fs-mcps2017.html
Workshop at "Software Engineering 2017
Goals
Medical cyber-physical systems (MCPSs) extend the notion of conven...more |
Dec 1 2016 - 1:54pm |
8 years 23 hours ago |
|
Calls for Papers |
HotSoS 2017 - Impending deadline! |
Dear HotSoS Community,
The Wednesday, December 14 deadline for submitting papers is rapidly approaching. Please see the Call for Papers below for details about conference topics and submission instructions. More information can be found on the conference website at http://cps-vo.org/group/hotsos...more |
Dec 1 2016 - 1:19pm |
8 years 1 day ago |
|
Calls for Papers |
Call for Papers - The 16th International Workshop on Assurance in Distributed Systems and Networks |
The Sixteenth International Workshop on Assurance in Distributed Systems and Networks (ADSN2017)
Atlanta, Georgia, USA | June 5 - 8, 2017 | https://icdcs2017.gatech.edu/
held in conjunction with the 37th International Conference on Distributed Computing Systems (ICDCS 2017)
Sponsored by the IEEE...more |
Dec 1 2016 - 1:06pm |
8 years 1 day ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Early registration for the 2017 EECI International Graduate School on Control |
FOR ALL PHD STUDENTS in Control:
2017 EECI International Graduate School on Control (EECI-IGSC-2017)
http://www.eeci-igsc.eu
Leaflet and summaries of the courses:
http://www.eeci-igsc.eu/igsc-program/
The deadline for early registration (20EU or Order form) is 28/12/2016.
http://www.ifac-con...more |
Dec 1 2016 - 12:48pm |
8 years 1 day ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Early registration for the 2017 EECI International Graduate School on Control |
FOR ALL PHD STUDENTS in Control:
2017 EECI International Graduate School on Control (EECI-IGSC-2017)
http://www.eeci-igsc.eu
Leaflet and summaries of the courses:
http://www.eeci-igsc.eu/igsc-program/
The deadline for early registration (20EU or Order form) is 28/12/2016.
http://www.ifac-con...more |
Dec 1 2016 - 12:48pm |
8 years 1 day ago |
|
Calls for Papers |
CfP: Second Workshop on Live Adaptation of Software SYstems (LASSY) |
CALL FOR PAPERS
Second Workshop on Live Adaptation of Software SYstems (LASSY-2017)
3rd of April, 2017 | Brussels, Belgium | http://conf.researchr.org/track/LASSY-2017/LASSY-2017-papers
co-located with <Programming> 2017 http://2017.programmingconference.org
Submission deadline: Jan 13, 20...more |
Dec 1 2016 - 12:31pm |
8 years 1 day ago |
|
Calls for Papers |
CfP: International Journal of Mathematics and Statistics Invention (December 2016 Issue) |
International Journal of Mathematics and Statistics Invention
IJMSI is peer reviewed International Journal which publishes paper online as well as print version. Ijmsi is indexed in major indexing like EBSCO HOST, CABELL's library, ULRICH web, Jour Info etc.
ISSN (Online version): 2321 - 4767
ISS...more |
Dec 1 2016 - 12:03pm |
8 years 1 day ago |
|
Position Announcements |
Faculty opening in Embedded Systems, Robotics and Automation at the University of Minnesota |
The Electrical and Computer Engineering Department at the University of Minnesota is conducting a faculty search (at all ranks) for a position in the area of embedded systems, robotics and automation, as part of the MnDRIVE Initiative (https://mndrive.umn.edu/robotics).
Successful candidates will...more |
Nov 30 2016 - 12:41pm |
8 years 2 days ago |
|
Calls for Papers |
3rd International Special Session on Smart Medical Devices, eHealth Systems, and Machine Learning on Medical Data (SmartMedDev) |
We are pleased to announce the 3rd International Special Session on Smart Medical Devices, eHealth Systems, and Machine Learning on Medical Data (SmartMedDev), to be held on February 21 - 23, 2017 in Porto (Portugal) as part of 10th International Conference on Health Informatics (HEALTHINF).
htt...more |
Nov 29 2016 - 10:17am |
8 years 3 days ago |
|
Calls for Papers |
IJHSSI Journals: Call For Paper |
Call for Papers (November 2016 Issue)
International Journal of Humanities and Social Science Invention
IJHSSI is peer reviewed International Journal which publishes paper online as well as print version. IJHSSI is indexed in major indexing like EBSCO HOST, CABELL's library, ULRICH web, Jour Info e...more |
Nov 28 2016 - 10:43am |
8 years 4 days ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017) |
International Conference on Verification, Model Checking, and Abstract Interpretation
VMCAI 2017
Paris, January 15-17, 2017
CALL FOR PARTICIPATION
http://conf.researchr.org/home/VMCAI-2017
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abs...more |
Nov 25 2016 - 6:01am |
8 years 1 week ago |
|
Calls for Papers |
CfP: 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) |
CALL FOR PAPERS
2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
April 18-21, 2017 | Pittsburgh, PA, USA | http://2017.rtas.org/
About
RTAS'17, the 23rd in a series of annual conferences sponsored by the IEEE, will be held in Pittsburgh, PA, USA, as part of the Cyber...more |
Nov 17 2016 - 12:41pm |
8 years 2 weeks ago |
|
Calls for Papers |
CfP: The 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) |
CALL FOR PAPERS
The 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
ICCPS 2017 seeks high-quality technical papers describing original research on cyber-physical systems (CPS), including new results in theory, platform design and implementation, verification and validation,...more |
Nov 17 2016 - 12:33pm |
8 years 2 weeks ago |
|
Calls for Papers |
2017 Hybrid Systems: Computation and Control (HSCC) -- First Call for Papers |
CALL FOR PAPERS
20th International Conference on Hybrid Systems: Computation and Control (HSCC)
April 18-21, 2017 | Pittsburgh, Pennsylvania, USA | http://hscc2017.ece.illinois.edu/
Important dates
Paper Submission deadline: October 13, 2016 (firm, 11:59 pm UTC-12)
Rebuttal phase: TBA
Not...more |
Jul 19 2016 - 9:58pm |
8 years 2 weeks ago |
|
Calls for Papers |
CFPs: The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017) |
CALL FOR PAPERS
The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
July 24-26, 2017 | Leuven, Belgium | http://cs-conferences.acadiau.ca/mobispc-17/
Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development....more |
Nov 17 2016 - 11:34am |
8 years 2 weeks ago |
|
Calls for Papers |
CfP: 10th International Conference on Graph Transformation ICGT 2017 |
First Call for Papers
10th International Conference on Graph Transformation (ICGT 2017)
Marburg (Germany) | 17-18 July 2017 | https://sites.google.com/site/gratra2017/
Part of STAF 2017
Aims and Scope
Dynamic structures are a major cause for complexity when it comes to model and reason abou...more |
Nov 17 2016 - 11:19am |
8 years 2 weeks ago |
|
Calls for Papers |
CfP: International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA 2017) |
Call for Paper
International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA 2017)
June 19-20, 2017, London, UK
IEEE is the Technical Co-Sponsor (TCS) of the International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA 2017), an...more |
Nov 17 2016 - 10:57am |
8 years 2 weeks ago |
|
Calls for Papers |
Call For Papers: The Fourth International Conference on Digital Information Processing, E-Business and Cloud Computing (DIPECC20 |
The Fourth International Conference on Digital Information Processing, E-Business and Cloud Computing (DIPECC2016)
Asia Pacific University of Technology and Innovation (APU), Kuala Lumpur, Malaysia | http://sdiwc.net/conferences/dipecc2016/
IMPORTANT DATES
Submission Dates : Open from now until...more |
Jan 19 2016 - 9:42pm |
8 years 2 weeks ago |
|
Position Announcements |
PostDoc position: Application Specific Computing Systems and Hardware Architectures, RWTH Aachen University |
RWTH Aachen University is Germany's top-ranked technical university with more than 40,000 students and is a member of the IDEA league. The Institute for Communication Technologies and Embedded Systems (ICE, http://www.ice.rwth-aachen.de), being part of the RWTH Department of Electrical and Computer...more |
Nov 9 2016 - 11:12am |
8 years 3 weeks ago |
|
Position Announcements |
Positions in medical CPS at PRECISE Center |
RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of Pennsylvania
http://precise.seas.upenn.edu/
PRECISE center at the University of Pennsylvania is seeking applications for research positions as PhD students and postdocto...more |
Nov 9 2016 - 10:29am |
8 years 3 weeks ago |
|
Position Announcements |
Positions in CPS security at PRECISE Center |
RESEARCH POSITIONS in CYBER-PHYSICAL SECURITY at PRECISE Center School of Engineering and Applied Science University of Pennsylvania
http://precise.seas.upenn.edu/
PRECISE center at the University of Pennsylvania is seeking applications for research positions as PhD students and postdoctoral fel...more |
Nov 9 2016 - 10:30am |
8 years 3 weeks ago |
|
Calls for Papers |
Call for papers and tutorials at International Workshop on Agent-based Modeling and Applications with SARL |
CALL FOR PAPERS AND TUTORIALS
International Workshop on Agent-based Modeling and Applications with SARL (SARL-17)
Madeira, Portugal | May 16-19, 2017 | http://www.multiagent.fr/Conferences:SARL17
In conjunction with the 8th International Conference on Ambient Systems, Networks, and Technologies (...more |
Oct 25 2016 - 2:52pm |
8 years 5 weeks ago |
|
Calls for Workshops & Tutorials |
NFM 2017 - Call For Workshops |
CALL FOR WORKSHOPS
The 9th NASA Formal Methods Symposium (NFM 2017)
May 16 - 18, 2017 | NASA Ames Research Center, Moffett Field, CA, USA | https://ti.arc.nasa.gov/events/nfm-2017
The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners fr...more |
Oct 25 2016 - 2:39pm |
8 years 5 weeks ago |
|
Position Announcements |
Faculty positions at UC Santa Cruz |
Dear Colleagues,
I would like to let you know that we have two Faculty openings at the Assistant Professor (tenure-track) level at the University of California, Santa Cruz, that might be of interest to your graduate students and postdocs.
1) Robotics/Mechatronics position: In my department (C...more |
Oct 24 2016 - 6:05pm |
8 years 5 weeks ago |
|
Calls for Papers |
CfP: 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017) |
CALL FOR PAPERS
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017)
Madeira, Portugal | May 16-19, 2017 | http://cs-conferences.acadiau.ca/ant-17/
Important Dates
Workshops Proposal Due: November 1, 2016
Paper Submission Due: Decemb...more |
Oct 17 2016 - 12:14pm |
8 years 6 weeks ago |
|
Calls for Papers |
CFP: The 7th International Symposium on Internet of Ubiquitous and Pervasive Things |
CALL FOR PAPERS
The 7th International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2017)
To be held in conjunction with Ambient Systems, Networks and Technologies Conference (ANT'17)
May 16-19, 2017 | Madeira, Portugal | http://cs.adelaide.edu.au/~iupt2017/
IMPORTANT DATE...more |
Oct 17 2016 - 12:02pm |
8 years 6 weeks ago |
|
Calls for Papers |
Submission Closes 15th Oct - Computing Conference 2017 (London, UK) |
CALL FOR PAPERS
Computing Conference 2017
18-20 July 2017 | London, UK | http://saiconference.com/Computing2017
Technically Co-Sponsored by IEEE
We'd like to invite you to submit your papers/posters/demo proposals for the Computing Conference 2017 to be held from 18-20 July 2017 in London, Unite...more |
Oct 12 2016 - 5:44pm |
8 years 7 weeks ago |
|
Position Announcements |
Postdoc position in Critical Infrastructure Design and Analysis at Masaryk University, Brno, Czech Republic |
Dear colleagues,
Please find below an offer for postdoctoral positions at the Faculty of Informatics, Masaryk University in Brno, Czech Republic (ranked by QS Top Universities among the best 15% of ranked universities, located in rapidly growing IT hub area with numerous industrial IT R&D cen...more |
Oct 12 2016 - 5:34pm |
8 years 7 weeks ago |
|
Calls for Papers |
CFP: SI on Recent and advanced intrusion detection systems |
CALL FOR PAPERS - SUBMISSION DUE DATE: 30/06/2017
SPECIAL ISSUE ON Recent and advanced intrusion detection systems for current and modern networks and systems
http://www.igi-global.com/calls-for-papers-special/international-journal-information-security-privacy/1096
International Journal of Infor...more |
Oct 12 2016 - 4:08pm |
8 years 7 weeks ago |
|
Calls for Papers |
CFP - Si on Security for Smart Grid and Internet of Things Applications |
CALL FOR PAPERS
Int. J. of Internet Technology and Secured Transactions
Special Issue on: "Security for Smart Grid and Internet of Things Applications"
Guest Editors:
Dr. Mohamed Amine Ferrag, Guelma University, Algeria
Dr. Ahmed Ahmim, University of Larbi Tebessi, Algeria
Dr. Al-Sakib Khan...more |
Oct 12 2016 - 4:02pm |
8 years 7 weeks ago |
|
Calls for Papers |
Call for Paper: 2nd International Workshop on Advanced Interconnect Solutions and Technologies for Emerging Computing Systems |
CALL FOR PAPERS
2nd International Workshop on Advanced Interconnect Solutions and Technologies for Emerging Computing Systems (AISTECS)
January 25th, 2017, Stockholm, Sweden | http://mpsoc.unife.it/~aistecs/index.html
Associated with the 12th HiPEAC Conference on High Performance Embedded Archite...more |
Oct 12 2016 - 3:44pm |
8 years 7 weeks ago |
|
Calls for Papers |
Preliminary Call for Papers: 13th Intl. Conference on integrated Formal Methods |
PRELIMINARY CALL FOR PAPERS
13th International Conference on integrated Formal Methods (iFM 2017)
September 18th - 22nd, 2017 | Turin, Italy | http://ifm2017.di.unito.it/
Important dates
Abstract submission: Tuesday March 28
Paper submission: Tuesday April 4
Notification: Friday...more |
Oct 12 2016 - 3:27pm |
8 years 7 weeks ago |
|
Calls for Papers |
CAV 2017: Call for Papers |
CALL FOR PAPERS
CAV 2017: 29th International Conference on Computer-Aided Verification
July 22-28, 2017 | Heidelberg, Germany | http://cavconference.org/2017/
Important Dates
All deadlines are AOE (Anywhere on Earth).
Papers:
Paper submission: January 24, 2017 (Tuesday)
Au...more |
Oct 12 2016 - 2:53pm |
8 years 7 weeks ago |
|
Calls for Papers |
CfP: SmartMedDev – 3rd International Special Session on Smart Medical Devices – from Lab to Clinical Practice |
CALL FOR PAPERS
3rd International Special Session on Smart Medical Devices - from Lab to Clinical Practice (SmartMedDev)
February 21 - 23, 2017 | Porto, Portugal | http://www.healthinf.biostec.org/SmartMedDev.aspx
In conjunction with: 10th International Conference on Health Informatics - HEALTH...more |
Oct 12 2016 - 2:39pm |
8 years 7 weeks ago |
|
Calls for Workshops & Tutorials |
PLDI 2017 - Call for Workshops and Tutorials |
Call for Workshops and Tutorials
2017 ACM Conference on Programming Language Design and Implementation (PLDI)
June 19-23, 2017 | Barcelona, Spain | http://conf.researchr.org/home/pldi-2017
PLDI is the premier forum in the field of programming languages and programming systems research, covering t...more |
Oct 12 2016 - 2:25pm |
8 years 7 weeks ago |
|
Position Announcements |
Cyber Physical System Research Scientist at Siemens Corporate Technology; Princeton, NJ |
Please have a look at https://jobs.usa.siemens-info.com/jobs/159187/Princeton-NJ-Cyber-Physical-System-Research-Scientist?lang=en-US#.V_wONVUjZzA.emailmore |
Oct 10 2016 - 5:59pm |
8 years 7 weeks ago |
|
Position Announcements |
Lecturer and teaching fellow positions at Leicester |
The Department of Informatics at Leicester is growing its capability for interdisciplinary and applied teaching and research while maintaining a strong presence in the core discipline. As part of this strategy, which will be delivered through a number of appointments over the coming year, we seek to...more |
Oct 5 2016 - 1:28pm |
8 years 8 weeks ago |
|
Calls for Papers |
Last CfP - Extended Deadline: The 16th IEEE International Symposium on Signal Processingand Information Technology (ISSPIT 2016) |
Last Call for Papers - Extended deadline: Oct 6th, 2016
The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016)
December 12-14, 2016 | St. Raphael Resort, Limassol, Cyprus | http://cyprusconferences.org/isspit2016/
The IEEE ISSPIT 2016 is the sixteent...more |
Mar 25 2016 - 11:59am |
8 years 8 weeks ago |
|
Calls for Papers |
CFP: 4PAD special track @ PDP 2017 - Deadline Extension |
CALL FOR PAPERS - Final Deadline extended to October 12, 2016
4th PDP special session on FORmal approaches to PArallel and Distributed systems (4PAD 2017)
St. Petersburg, Russia | 6-8 March 2017 | http://www.pdp2017.org/4pad.html
Please notice the following updates:
- program committee
- doub...more |
Jul 25 2016 - 2:43pm |
8 years 8 weeks ago |
|
Position Announcements |
POSTDOC POSITIONS IN THE DEPARTMENT OF COMPUTER SCIENCE, FEDERAL UNIVERSITY OF BAHIA - BRAZIL |
Full time postdoctoral positions are available in all areas of Computer Science in the Department of Computer Science at the Federal University of Bahia (UFBA), in Salvador, Brazil.
We are looking for outstanding candidates holding a PhD in Computer Science/Engineering or related fields with a stro...more |
Oct 5 2016 - 12:57pm |
8 years 8 weeks ago |
|
Calls for Papers |
CfP: 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017) |
Call for Papers - deadline extension (25/09 abstracts, 28/09 papers)
18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)
January 15-17 2017 | Paris, France | http://conf.researchr.org/home/VMCAI-2017
VMCAI provides a forum for researchers from...more |
Oct 5 2016 - 12:48pm |
8 years 8 weeks ago |
|
Position Announcements |
Postdoc positions at Verimag, France |
The Rigorous System Design team at Verimag Laboratory (http://www-verimag.imag.fr/rsd.html), Grenoble, France, is offering 4 Post-doc positions. We are looking for responsible and mature post-doc who can contribute to the group activities including tool development, handling industrial case-studies...more |
Oct 5 2016 - 12:35pm |
8 years 8 weeks ago |
|
Calls for Papers |
CfP: Special Issue on Security for Smart Grid and Internet of Things Applications |
CALL FOR PAPERS
SI on Security for Smart Grid and Internet of Things Applications
http://www.inderscience.com/info/ingeneral/cfp.php?id=3552
IJITST is indexed in: Scopus (Elsevier), ACM Digital Library...etc
Guest Editors:
Dr. Mohamed Amine Ferrag, Guelma University, Algeria
Dr. Ahmed Ahmi...more |
Oct 5 2016 - 12:28pm |
8 years 8 weeks ago |
|
Calls for Papers |
Call for Book Chapters on CPS |
Call For Book Chapters
http://www.ieee-cps.org/BOOK-CPSBD.html
Cyber-physical system (CPS) addresses the close interactions and feedback controls between cyber components and physical components, where cyber components refer to the sensing and communication systems, while the physical component...more |
Oct 5 2016 - 12:23pm |
8 years 8 weeks ago |
|
Calls for Papers |
CfP: ACM/IEEE Cyber-Physical Systems Week |
CALL FOR PAPERS
ACM/IEEE Cyber-Physical Systems Week
April 18-21, 2017 | Pittsburgh, PA, USA | http://www.cpsweek.org
CPS Week is the premier event on Cyber-Physical Systems research. It brings together five top conferences, HSCC, ICCPS, IoTDI, IPSN, and RTAS, multiple workshops, tutorials, sum...more |
Oct 5 2016 - 12:13pm |
8 years 8 weeks ago |
