|
Calls for Papers |
CfP: PETRA '17 - Extended Deadline Jan 30th, 2017 |
CALL FOR PAPERS - Extended Deadline Jan 30th, 2017
10th International Conference on Pervasive Technologies Related to Assistive Environments
June 21-23, 2017 | Rhodes, Greece | www.petrae.org
The PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdiscipl...more |
Sep 19 2016 - 2:17pm |
7 years 44 weeks ago |
|
Calls for Papers |
2nd CfP: 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017) |
2nd CALL FOR PAPERS - abstracts due: January 27, 2017
2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017)
April 29, 2017 | Uppsala, Sweden | http://se.uni-konstanz.de/crest2017
A satellite event of ETAPS 2017
Topic
Today's IT syste...more |
Dec 1 2016 - 4:15pm |
7 years 44 weeks ago |
|
Calls for Papers |
Deadline Extended (Jan 24): Work in Progress session of RTAS'17 |
CALL FOR WiP PAPERS - Deadline Extended (Jan 24)
The 23rd IEEE Real-Time Embedded Technology & Applications Symposium Work-in-Progress Session (RTAS-WIP 2017)
18 April, 2017 - Pittsburgh, PA, USA
The Work-in-Progress (WiP) session at RTAS 2017 is dedicated to new and on-going research in the...more |
Jan 20 2017 - 12:16pm |
7 years 44 weeks ago |
|
Calls for Papers |
Application of Concurrency to System Design 2017: (extended deadlines!) abstracts due Jan 27 |
CALL FOR PAPERS AND ANNOUNCEMENT
17th International Conference on Application of Concurrency to System Design (ACSD 2017)
Zaragoza, Spain | June 28-30, 2017 | http://pn2017.unizar.es |http://pn2017.unizar.es/wp-content/uploads/2017/01/ACSD-2017-CFP.pdf
IMPORTANT DATES
submission deadline...more |
Jan 20 2017 - 12:03pm |
7 years 44 weeks ago |
|
Calls for Papers |
2017 International Conference on Unmanned Aircraft System |
2017 INTERNATIONAL CONFERENCE ON UNMANNED AIRCRAFT SYSTEMS
http://www.uasconferences.com June 13-16, 2017
Miami Marriott Biscayne Bay 1633 North Bayshore Drive Miami, FL 33132
The 2017 International Conference on Unmanned Aircraft Systems, ICUAS'17, will be held on June 13-16, in the luxurious...more |
Jan 19 2017 - 8:20pm |
7 years 44 weeks ago |
|
Position Announcements |
Faculty Position in Cyber Physical Systems Security at the University of Arizona |
The Systems and Industrial Engineering (SIE) Department at the University of Arizona invites applications and nominations for a tenure-track position in the areas of (1) Cyber-Physical System Security, (2) Cyber Resiliency Engineering, (3) Modeling and Optimization of Networked Devices (e.g. Mobile,...more |
Jan 6 2017 - 12:04pm |
7 years 46 weeks ago |
|
Calls for Papers |
CFP International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) |
3rd INTERNATIONAL WORKSHOP
ON SOFTWARE ENGINEERING
FOR SMART CYBER-PHYSICAL SYSTEMS (SEsCPS)
(In conjunction with ICSE 2017, May 20-28, 2017, Buenos Aires, Argentina)
http://d3s.mff.cuni.cz/conferences/sescps2017/
INTRODUCTION
Cyber-Physical Systems (CPS) are "engineered systems that are buil...more |
Jan 3 2017 - 6:25pm |
7 years 46 weeks ago |
|
Position Announcements |
Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University |
Funded PhD Assistantships - Laboratory for Temporal Logic in Aerospace
Iowa State University of Science and Technology, Ames, Iowa, USA
http://laboratory.temporallogic.org/home-page/phd_2017/
The Iowa State University of Science and Technology offers multiple fully-funded
PhD positions, commen...more |
Jan 3 2017 - 3:43pm |
7 years 46 weeks ago |
|
Calls for Papers |
Call for papers: 1st Workshop on Trusted Smart Contracts WTSC 2017 |
CALL FOR PAPERS
1st Workshop on Trusted Smart Contracts (WTSC 2017)
April 07, 2017 | The Palace Hotel & Spa | Malta | http://fc17.ifca.ai/wtsc/
in association with Financial Cryptography 17
http://fc17.ifca.ai
A potentially highly transformational technology currently developing on top of...more |
Dec 28 2016 - 6:29pm |
7 years 47 weeks ago |
|
Position Announcements |
10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems |
Dear colleagues,
For our new 5.5-year research project (ERATO MMSD, Metamathematics for
Systems Design) we are looking for 10+ senior researchers and
postdocs, together with research assistants (PhD students) and
internship students.
This broad project aims to extend the realm of formal met...more |
Dec 28 2016 - 6:21pm |
7 years 47 weeks ago |
|
Calls for Papers |
CfP: ECMFA 2017 (Abstract Deadline: Feb 17, 2017) |
First Call for Papers
ECMFA 2017 - 13th European Conference on Modelling Foundations and Applications
Marburg (Germany) | 19-20 July 2017v| http://ecmfaconference.wixsite.com/ecmfa2017
Aims and Scope
Model-Based Engineering (MBE) is an approach to the design, analysis and development of softw...more |
Dec 28 2016 - 6:18pm |
7 years 47 weeks ago |
|
Calls for Workshops & Tutorials |
CFP:8th IEEE International Conference on Information, Intelligence, Systems and Applications (IISA 2017) |
First Call for Papers and Invited Sessions, Tutorials & Workshops Proposals
8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017)
28 - 30 August, 2017 | Golden Bay Beach Hotel, Larnaca, Cyprus | http://iisa2017.unipi.gr
The International Conference...more |
Dec 28 2016 - 6:05pm |
7 years 47 weeks ago |
|
Calls for Papers |
Call for Workshops papers: ICICS 2017 |
Call for Workshops Papers
The 8th International Conference on Information and Communication Systems (ICICS 2017)
(Technically Co-Sponsored by IEEE)
April 4-6, 2017 | Irbid, Jordan | http://www.icics.info/icics2017/
Call for Workshop Papers.
2nd International Workshop on Information Se...more |
Dec 28 2016 - 5:31pm |
7 years 47 weeks ago |
|
Position Announcements |
Urban informatics Associate or Full Professor position at CUSP |
Career Opportunities Tenured Associate or Full Professor at CUSP
http://cusp.nyu.edu/career-prospects/careers/tenured-associate-full-professor/
NYU's Center for Urban Science and Progress (CUSP) invites applications for a tenured Associate or Full Professor position in the Center for Urban Science...more |
Dec 28 2016 - 5:27pm |
7 years 47 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
[Alp-CFP] Next 40 Years of Abstract Interpretation Workshop |
Next 40 Years of Abstract Interpretation Workshop
(co-located with POPL 2017)
January 21st, 2017 | Paris, France | http://popl17.sigplan.org/track/N40AI
In POPL 1977, Patrick Cousot and Radhia Cousot introduced Abstract Interpretation in a very well known seminal paper which still is the most...more |
Dec 28 2016 - 4:54pm |
7 years 47 weeks ago |
|
Calls for Papers |
CfP: EMSOFT 2017 (Abstract Deadline: March 31, 2017) |
CALL FOR PAPERS
INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT)
October 15-20, 2017 | Seoul, South Korea | http://www.esweek.org/emsoft/about
Important Dates:
March 31, 2017: Abstract Submission
April 7, 2017: Full Paper Submission
The ACM SIGBED International Conference on Embedd...more |
Dec 28 2016 - 4:28pm |
7 years 47 weeks ago |
|
Calls for Papers |
Reconfigurable Architectures Workshop (RAW) 2017 CFP: Abstract Deadline Jan. 11 |
CALL FOR PAPERS
24th Reconfigurable Architectures Workshop (RAW 2017)
Buena Vista Palace Hotel | Orlando, Florida | USA, May 29-30 2017 | http://raw.necst.it/
IMPORTANT DATES:
Abstract submission January 11, 2017
Submission deadline January 15, 2017
Decision notification Febr...more |
Dec 28 2016 - 4:09pm |
7 years 47 weeks ago |
|
Position Announcements |
Lecturer in Human Computer Interaction at Leicester |
Lecturer in Human Computer Interaction
University of Leicester, UK
Salary Grade 8 - PS38,183 to 46,924 per annum
Permanent and full-time contract
Ref: SEN00780-1
Together our staff and students are discovering innovative ways to change the world for the better and there has never been a more...more |
Dec 28 2016 - 3:58pm |
7 years 47 weeks ago |
|
Calls for Papers |
Joint Call for Papers - Software Technologies: Applications and Foundations (STAF 2017) |
CALL FOR PAPERS
Software Technologies: Applications and Foundations (STAF 2017)
July 17-21, 2017 | Marburg, Germany | http://www.informatik.uni-marburg.de/staf2017/
STAF is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federate...more |
Dec 28 2016 - 3:55pm |
7 years 47 weeks ago |
|
Calls for Papers |
CALL FOR PAPERS - 1st International Workshop on Energy-Aware Computing and Communication for Networked Cyber-Physical Systems |
April 21, 2017 @ CPS Week Conference, Pittsburgh
Scope of the Workshop
Networked Cyber-Physical System (NCPS) includes a set of connected heterogeneous systems ranging from sensors and Internet-of-Things (IoT) devices to compute servers and data centers. More specifically, IoT architecture aims to...more |
Dec 22 2016 - 12:34pm |
7 years 48 weeks ago |
|
Calls for Papers |
CfP: INtelliSys 2017 |
CALL FOR PAPERS
Intelligent Systems Conference (IntelliSys) 2017
7-8 September 2017 | London, United Kingdom | http://saiconference.com/IntelliSys2017
Technically Co-Sponsored by IEEE
We'd like to invite you to submit your papers/posters/demo proposals for the Intelligent Systems Conference (Int...more |
Dec 16 2016 - 11:06am |
7 years 49 weeks ago |
|
Calls for Papers |
IJESI Journals: Call For Paper |
Call for Papers (December 2016 Issue)
International Journal of Engineering and Science Invention
IJESI is peer reviewed International Journal which publishes paper online as well as print version. IJESI is indexed in major indexing like EBSCO HOST, CABELL's library, ULRICH web, Jour Info etc.
ISS...more |
Nov 28 2016 - 10:41am |
7 years 49 weeks ago |
|
Calls for Workshops & Tutorials |
CFW: 11th International Conference on Network and System Security |
CALL FOR WORKSHOPS PROPOSALS
11th International Conference on Network and System Security (NSS 2017)
Helsinki, Finland | 21-23 August, 2017 | https://research.comnet.aalto.fi/NSS2017/index.html
NSS 2017 will be held jointly with IEEE CIT 2017 and ICA3PP 2017
Important Dates:
Workshop Propos...more |
Dec 15 2016 - 4:45pm |
7 years 49 weeks ago |
|
Calls for Papers |
IEEE ESL: Special Issue on APPROXIMATE COMPUTING |
CALL FOR PAPERS
Special Issue on APPROXIMATE COMPUTING
in the IEEE Embedded Systems Letters:
Approximate Computing exploits the inherent error resilience of many applications to optimize power consumption, run time, and/or chip area. Especially in audio, image and video processing, but also in...more |
Dec 15 2016 - 4:29pm |
7 years 49 weeks ago |
|
Calls for Workshops & Tutorials |
ER 2017: Call for Workshops |
CALL FOR WORKSHOPS
The 36th Annual International Conference on Conceptual Modeling (ER17)
November 6-9, 2017 | Valencia, Spain | http://er2017.pros.webs.upv.es
The International Conference on Conceptual Modeling (ER) is the leading
international forum for presenting and discussing research and a...more |
Dec 15 2016 - 4:25pm |
7 years 49 weeks ago |
|
Calls for Papers |
CfP: 20th IEEE International Symposium on Real-Time Computing (ISORC 2017) |
CALL FOR PAPERS
20th IEEE International Symposium on Real-Time Computing (ISORC 2017)
May 16-18, 2017 | The Fields Institute, Toronto, Canada | http://isorc2017.org/
Topics
ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/s...more |
Dec 15 2016 - 4:07pm |
7 years 49 weeks ago |
|
Calls for Papers |
CFP: 4th Int. Workshop on Information Fusion for Smart Mobility Solutions |
CALL FOR PAPERS
Fourth International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS17)
18-20 September, 2017 | Lund, Sweden | http://www.multiagent.fr/Conferences:IFSMS17
In conjunction with the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Netwo...more |
Dec 15 2016 - 3:40pm |
7 years 49 weeks ago |
|
Calls for Papers |
CfP: IEEE ISIE 2017 Deadline extension |
CALL FOR PAPERS - Extended deadline: January 10th, 2017
IEEE 26th International Symposium on Industrial Electronics (ISIE 2017)
19-21 June 2017 | Edinburgh, Scotland | http://www.isie2017.org
ISIE 2017 is the annual International Symposium on Industrial Electronics
covering industrial electron...more |
Dec 15 2016 - 3:29pm |
7 years 49 weeks ago |
|
Calls for Papers |
CfP Ada-Europe 2017 Conference |
CALL FOR PAPERS
2nd International Conference on Reliable Software Technologies - Ada-Europe 2017
12-16 June 2017 | Vienna, Austria | http://www.ada-europe.org/conference2017
Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED(*), SIGPLAN and t...more |
Dec 15 2016 - 3:21pm |
7 years 49 weeks ago |
|
Calls for Papers |
SAFECOMP17 Call for Papers |
CALL FOR PAPERS
The 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP17)
12 - 15 September 2017 | Trento, Italy | http://www.safecomp.org
IMPORTANT DATES:
Workshop proposal submission: 6 February 2017
Full paper submission: 28 February 2017
Notification of...more |
Dec 15 2016 - 3:04pm |
7 years 49 weeks ago |
|
Position Announcements |
Associate/Assistant Professor in Programming Languages at the Technical University of Denmark |
Dear colleagues,
There is an open position in the section for Formal Methods at the Department of Applied Mathematics and Computer Science of Technical University of Denmark. The position is at the assistant or associate professor level within the area of implementation of programming languages.
T...more |
Dec 15 2016 - 2:04pm |
7 years 49 weeks ago |
|
Calls for Papers |
CfP: INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED’17) |
CALL FOR PAPERS
INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED'17)
July 24-26, 2017 | Taipei, Taiwan | http://www.islped.org
Pending sponsorship by the ACM Special Interest Group on Design Automation (SIGDA) and the IEEE Circuits and Systems Society (CASS).
The International...more |
Dec 15 2016 - 2:02pm |
7 years 49 weeks ago |
|
Calls for Papers |
CfP: The 8th International Conference on Information and Communication Systems (ICICS 2017) |
CALL FOR PAPERS - Full paper submission: Dec. 26th, 2016 (Firm)
The 8th International Conference on Information and Communication Systems (ICICS 2017)
April 4-6, 2017 | Irbid, Jordan | http://www.icics.info/icics2017/
Technically Co-Sponsored by IEEE
The International Conference on Informati...more |
Dec 15 2016 - 1:44pm |
7 years 49 weeks ago |
|
Calls for Papers |
CfP: 2nd International Conference on IoT, Big Data and Security (IoTBDS 2017) |
CALL FOR PAPERS
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
Important Dates
Regular Papers
Paper Su...more |
Dec 15 2016 - 1:34pm |
7 years 49 weeks ago |
|
Calls for Papers |
Workshops @ ACM/SPEC ICPE 2017 - Call for Papers |
WORKSHOPS CALL FOR PAPERS AT:
8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017)
Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG
L'Aquila, Italy | April 22-26, 2017 | https://icpe2017.spec.org/
We are pleased to announce that 8 workshops will be held in conjunctio...more |
Dec 15 2016 - 1:25pm |
7 years 49 weeks ago |
|
Calls for Papers |
CFP: 6th International Workshop on Bidirectional Transformations (Bx 17) |
CALL FOR PAPERS
6th International Workshop on Bidirectional Transformations (Bx 17)
Uppsala, Sweden | Saturday April 29th, 2017 | http://bx-community.wikidot.com/bx2017:home
as part of ETAPS 2017
Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two...more |
Dec 15 2016 - 12:54pm |
7 years 49 weeks ago |
|
Position Announcements |
Lecturer/Senior Lecturer openings in Artificial Intelligence and Machine Learning at Imperial College London |
The Department of Computing at Imperial College London invites applications for full-time faculty members at the Lecturer/Senior Lecturer level (comparable to American tenure-track Assistant Professorships) who can contribute to research and teaching, in particular in the area of Artificial Intellig...more |
Dec 15 2016 - 12:33pm |
7 years 49 weeks ago |
|
Position Announcements |
Lecturer/Senior Lecturer openings in Artificial Intelligence and Machine Learning at Imperial College London |
The Department of Computing at Imperial College London invites applications for full-time faculty members at the Lecturer/Senior Lecturer level (comparable to American tenure-track Assistant Professorships) who can contribute to research and teaching, in particular in the area of Artificial Intellig...more |
Dec 15 2016 - 12:33pm |
7 years 49 weeks ago |
|
Calls for Papers |
CfP: The Cyber-Physical Systems journal invites you to submit your research |
Dear readers,
Please find below a general call for papers to the Cyber Physical Systems journal. I'd be delighted to answer any questions or queries that you may have and look forward reading your research.
With best wishes,
Mr Richard Goodman
Cyber Physical Systems
Print ISSN: 2333-5777 Onli...more |
Nov 25 2016 - 9:33am |
7 years 49 weeks ago |
|
Calls for Papers |
CfP: 3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP) |
CALL FOR PAPERS
3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP)
May 24-26, 2017 | Funchal, Madeira | Portugal | http://ebccsp2017.org/
IMPORTANT DATES
Submission deadline for special session papers: February 26, 2017
Notification of acceptance...more |
Dec 7 2016 - 12:50pm |
7 years 50 weeks ago |
|
Calls for Papers |
FormaliSE 2017: Call for Papers |
Call for Papers
5th FME Workshop on Formal Methods in Software Engineering (FORMALISE 2017)
27th May 2017 | Buenos Aires, Argentina | http://www.formalise.org/
co-located with ICSE 2017 (May 20th-May 28th)
INTRODUCTION
FormaliSE is a yearly workshop on Formal Methods in Software Engineering....more |
Dec 7 2016 - 12:17pm |
7 years 50 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
VerifyThis Competition 2017: Call for verification challenges |
FIRST ANNOUNCEMENT AND CALL FOR PROBLEMS
VerifyThis Verification Competition 2017
Competition to be held at ETAPS 2017 | April 22-23, 2017 | Uppsala, Sweden
http://verifythis.ethz.ch
Get involved, even if you cannot participate in the competition: provide a challenge.
IMPORTANT DATES
Submi...more |
Dec 7 2016 - 11:59am |
7 years 50 weeks ago |
|
Position Announcements |
Science of Security (SoS) Summer Internship Positions |
The practice of the "security of science" aims to approach knowledge discovery in the field of cybersecurity in a way that validates predictions though logic or repeatable empirical experiments. Science of security emphasizes the methodology of research in cyber-security as much as the results of th...more |
Dec 6 2016 - 4:58pm |
7 years 50 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Call for Student Consortium (and Travel Award) |
Call for Student Consortium (and Travel Award)
22nd ACM International Conference on Intelligent User Interfaces (IUI 2017)
St. Raphael Resort, Limassol, Cyprus | March 13-16, 2017 | http://iui.acm.org/2017/studcons.html
Are you a Master's or Doctoral student? Want feedback about and mentorship fo...more |
Dec 5 2016 - 12:40pm |
7 years 50 weeks ago |
|
Calls for Papers |
CfP: Special Issue "Emerging Network-on-Chip Architectures for Low Power Embedded Systems" |
Dear Colleagues,
Network-on-Chip emerged in recent years as a viable solution for the design of manycore embedded systems of the next generation. However, communication infrastructure scalability, memory bottleneck and parallelization of tasks, just to cite few examples, are becoming the limiting...more |
Dec 5 2016 - 12:24pm |
7 years 50 weeks ago |
|
Calls for Papers |
CfP: IEEE ICIT 2017 (Deadline Extention) |
CALL FOR PAPERS - Deadline Extended to December 15, 2016
IEEE International Conference on Industrial Technology (ICIT 2017)
IEEE ICIT is one of the flagship yearly conferences of the IEEE Industrial
Electronics Society, devoted to the dissemination of new ideas, research and
works in progress...more |
Dec 5 2016 - 12:22pm |
7 years 50 weeks ago |
|
Position Announcements |
15 Research Positions for PhD Candidates (f / m) System Correctness under Adverse Conditions (SCARE) |
On 11 November 2016, the DFG extended SCARE for a second phase of 4,5 years duration starting from 1 April 2017. This comprises 15 new doctoral positions of three years each.
The Carl von Ossietzky University of Oldenburg, Germany, offers
15 Research Positions for PhD Candidates
in the Computer S...more |
Dec 5 2016 - 12:07pm |
7 years 50 weeks ago |
|
Calls for Papers |
CFP: ICINCO 2017 - Int'l Conf. on Informatics in Control, Automation and Robotics |
CALL FOR PAPERS
14th International Conference on Informatics in Control, Automation and Robotics (ICINCO)
July 29 - 31, 2017 | Madrid, Spain | http://www.icinco.org
In Cooperation with: AAAI, INNS, EUROMICRO, euRobotics AISBL, RSJ, SBA, SPR and EurAI
Technically Co-sponsored by: IEEE and IEEE-...more |
Dec 1 2016 - 5:04pm |
7 years 51 weeks ago |
|
Position Announcements |
Faculty Search - Aerospace Engineering,University of Michigan |
The Department of Aerospace Engineering at The University of Michigan invites applications for multiple tenure-track/tenured faculty positions in all areas of Aerospace Engineering. We are seeking exceptional candidates who will develop a world-class research program and innovative educational exper...more |
Dec 1 2016 - 4:56pm |
7 years 51 weeks ago |
|
Calls for Papers |
CFP: Special Issue on Safety-Critical Cyber Physical Systems in IET Cyber-Physical Systems: Theory & Applications |
Call for Papers
IET Cyber-Physical Systems: Theory & Applications
Special Issue on Safety-Critical Cyber Physical Systems
Cyber-Physical Systems (CPS) deal with the cyber control and physical processes as well as the interactions between them. In the domains of automobile and aerospace (A/A),...more |
Dec 1 2016 - 4:44pm |
7 years 51 weeks ago |
