|
Calls for Papers |
Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming System |
Final Call for Papers - Deadlines Extension
15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2017)
28th August 2017 | Melbourne, Australia | https://software.imdea.org/Conferences/CICLOPS2017/
Co-located with ICLP'17, CP'17, and SAT'17.
Imp...more |
Jun 20 2017 - 4:55pm |
7 years 22 weeks ago |
|
Calls for Papers |
MeMo 2017 CfP: deadline approaching (23rd June 2017) |
CALL FOR PAPERS
3rd International Workshop on Meta Models for Process Languages (MeMo) 2017
affiliated with CONCUR
September 4th, 2017 | Berlin, Germany | https://memo.wikit.itu.dk/home
Aim and Topics
Developing appropriate models for systems, programming languages and processes is not easy...more |
Jun 20 2017 - 4:44pm |
7 years 22 weeks ago |
|
Position Announcements |
TOSN Call for nomination |
CALL FOR NOMINATIONS
Editor-In-Chief ACM Transactions on Sensor Networks
(June 2017)
The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Sensor Networks (TOSN) is coming to an end, and the ACM Publications Board has setup a nominating committee to assist the Board in selectin...more |
Jun 20 2017 - 4:35pm |
7 years 22 weeks ago |
|
Calls for Papers |
CFP: NoCArc 2017 - 10th International Workshop on Network on Chip Architectures |
CALL FOR PAPERS
10th International Workshop on Network on Chip Architectures
October 14-15, 2017 | Boston, USA | http://www.nocarc.org
To be held in conjunction with IEEE/ACM MICRO-50
G E N E R A L I N F O R M A T I O N
Current multicore architectures formed by tens of processing cores w...more |
Jun 20 2017 - 4:32pm |
7 years 22 weeks ago |
|
Calls for Papers |
CFP: 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) |
CALL FOR PAPERS
The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)
October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/
Important Dates
Abstract & Paper Submission (Extended): June 21, 2017 (AoE)
Notification to authors...more |
Jun 20 2017 - 4:07pm |
7 years 22 weeks ago |
|
Calls for Papers |
CFP: M4IOT 2017, 4th workshop on Middleware and Applications for the IoT |
CALL FOR PAPERS
4th workshop on Middleware and Applications for the IoT
at ACM/IFIP/USENIX Middleware Conference (M4IoT)
Fourth edition of the M4IoT workshop, and second federated event with the MoTA workshop
Dec 11-15, 2017 | Las Vegas, Nevada | http://www.m4iot.org
Following the successfu...more |
Jun 20 2017 - 3:57pm |
7 years 22 weeks ago |
|
Calls for Papers |
QEST 2017: Call for Student Papers |
International Conference on Quantitative Evaluation of SysTems (QEST 2017)
Berlin, September 5-7 2017 | http://www.qest.org/qest2017
Co-located with CONCUR, EPEW and Formats
Call for Student Papers:
To encourage students to present their work in progress, a special session named 'Student Forum'...more |
Jun 20 2017 - 3:47pm |
7 years 22 weeks ago |
|
Calls for Papers |
Deadline Extension: International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2017) |
CALL FOR PAPERS - Deadline Extension June 20, 2017
International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2017)
Associated with MFCS 2017
Aalborg University, Denmark | 25-26 August 2017 | http://dhs.gforge.inria.fr/
The purpose of DHS is to connect researchers workin...more |
Apr 14 2017 - 2:51pm |
7 years 22 weeks ago |
|
Position Announcements |
PostDoc in Dynamic Binary Translation |
1 Research Associate (PostDoc) in Dynamic Binary Translation
The University of Cambridge
Deadline 9 July 2017
http://www.jobs.cam.ac.uk/job/13972/
The Project
Applications are invited for a Research Associate to work on Dynamic Binary Translation.
Our research group focuses on a number...more |
Jun 20 2017 - 3:30pm |
7 years 22 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: ACM/IEEE Early Career Workshop at DAC |
Call for Participation
Early Career Workshop
Co-Located with the 2017 Design Automation Conference (DAC)
Sunday, June 18, 2017
Sponsored by ACM SIGDA, IEEE CEDA and Cadence
This workshop is for early and mid-career faculty, and professionals in the field of electronic design automation (EDA). T...more |
Jun 9 2017 - 4:07pm |
7 years 24 weeks ago |
|
Calls for Papers |
CfP: ME workshop @ MODELS2017 |
CALL FOR PAPERS
11th International Workshop on "Models and Evolution"
Co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages & Systems (MODELS 2017)
Austin,Texas | Sept 17-22, 2017 | http://www.models-and-evolution.com/
We cordially invite submissions...more |
Jun 9 2017 - 4:03pm |
7 years 24 weeks ago |
|
Calls for Papers |
Call for Papers: 3rd International Workshop on Executable Modeling (EXE 2017) |
3nd International Workshop on Executable Modeling (EXE 2017) co-located with MODELS 2017
September 17-19, 2017 | Austin, Texas | http://www.modelexecution.org/exe2017
We are pleased to invite you to submit papers to the Third International Workshop on Executable Modeling (EXE 2017), held in con...more |
Jun 9 2017 - 3:30pm |
7 years 24 weeks ago |
|
Calls for Papers |
Call for Contributions Special Issue on Secure Automotive Systems - IEEE Design and Test |
CALL FOR CONTRIBUTIONS
Special Issue on Secure Automotive Systems
Aim and Scope
Modern and emergent automotive systems are highly complex, dominated by a large amount of integrated electronics and software components. The electronic and software components perform and contribute to a diversity...more |
Jun 9 2017 - 3:19pm |
7 years 24 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: CPS Summer School 2017 |
CALL FOR PARTICIPATION
CPS Summer School 2017
Designing Cyber-Physical Systems - From concepts to implementation
Multi-objective Methodologies and Tools for Self-healing and Adaptive Systems
Porto Conte Ricerche, Alghero - Sardinia - Italy | September 25-30, 2017 | http://www.cpsschool.eu
Cyb...more |
Jun 9 2017 - 3:10pm |
7 years 24 weeks ago |
|
Calls for Papers |
2nd CfP: First Workshop Formal Techniques for Real-Time Systems (FORTRESS) @ RTCSA 2017 |
2nd CALL FOR PAPERS - extended deadline
FORmal Techniques for REal-time SystemS (FORTRESS)
1st International Workshop on Formal Techniques for Real-Time Systems FORTRESS
Satellite workshop of 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Hsinchu...more |
May 3 2017 - 4:31pm |
7 years 24 weeks ago |
|
Position Announcements |
Senior Lecturer in Computer Systems,Specialization in Embedded Systems, at Uppsala University |
Applications are invited for a position as Senior Lecturer In Computer Systems With Specialization in Embedded Systems (Tenured position) Particular weight given to techniques for automated analysis of correctness, security and safety of software and hardware for embedded computer systems.
Deadli...more |
Jun 9 2017 - 2:59pm |
7 years 24 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CfP special sessions: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2017) |
CALL FOR SPECIAL SESSIONS
International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2017)
at the Embedded System Week (ESWeek)
October 15-20, 2017 | Seoul, South Korea | http://www.esweek.org/cases
CASES is a premier forum where researchers, developers and p...more |
Jun 9 2017 - 2:56pm |
7 years 24 weeks ago |
|
Calls for Papers |
CFP: Reachability Problems 2017 - DEADLINE EXTENSION |
CALL FOR PAPERS - The deadline for Reachability Problem 2017 has been extended to 19th June 2017
The 11th International Workshop on Reachability Problems (RP'17)
7 - 9 September 2017 | Royal Holloway, University of London, UK | http://rp17.cs.rhul.ac.uk
Hosted at Royal Holloway, University of L...more |
Mar 6 2017 - 5:00pm |
7 years 24 weeks ago |
|
Position Announcements |
Postdoc/PhD positions in Wireless Sensor Networks and Internet of Things at Skoltech, Russia |
Postdoc and PhD positions: Wireless Sensor Networks (WSN) and Internet of Things (IoT)
Location: Moscow, Russia
Funding amount per month: starting from RUR 75,000 (EUR 1,200 equiv.) for PhD students, internationally competitive salary for Postdocs depending on qualification
Hours: Full Time
St...more |
Jun 9 2017 - 2:36pm |
7 years 24 weeks ago |
|
Position Announcements |
2 postdoc positions in engineering dependable and secure systems - University of Florence- Italy |
The University of Florence Florence, Italy, opens two Post Doctoral positions in
***Dependable and Secure Systems***
at the Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics.
Deadline: 23 June 2017
We are recruiting two postdoctoral researchers in t...more |
Jun 9 2017 - 2:30pm |
7 years 24 weeks ago |
|
Calls for Papers |
CfP: IEEE Fifth International Workshop on e-Health Pervasive Wireless Applications and Services (eHPWAS'17) |
CALL FOR PAPERS
IEEE Fifth International Workshop on e-Health Pervasive Wireless Applications and Services (eHPWAS'17)
October 9, 2017 | www.ehpwas.org | Rome, Italy
in conjunction with the 13th IEEE WiMob 2017
IMPORTANT DATES:
Paper submission: July 7, 2017
Acceptance notification: Augus...more |
Jun 9 2017 - 2:23pm |
7 years 24 weeks ago |
|
Calls for Papers |
CfP SOCNE 2017 Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments |
CALL FOR PAPERS - Extended Deadline
11th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2017)
in conjunction with IECON 2017 - 43rd Annual Conference on of the IEEE Industrial Electronics Society
Oct 29 - Nov 1, 2017 | Beijung, China...more |
May 3 2017 - 4:35pm |
7 years 24 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
2017 S5 Abstract Submission Extension FOR POSTERS ONLY |
CALL FOR POSTER ABSTRACTS
2017 Safe and Secure Systems and Software Symposium (S5)
1 - 3 August 2017 | The Crowne Plaza Dayton, Ohio | http://www.mys5.org/
ANNOUNCEMENT: The abstract submission period for the 2017 S5 event has ended and notifications are planned to submitters on/before 16 Jun...more |
Jun 9 2017 - 12:20pm |
7 years 24 weeks ago |
|
Calls for Papers |
Due date Extended: PSCare 2017 - The Fourth International Workshop on Privacy and Security in HealthCare 2017 |
CALL FOR PAPERS - DEADLINE EXTENDED TO JUNE 7 (FIRM DEADLINE)
The Fourth International Workshop on Privacy and Security in HealthCare 2017 (PSCare 2017)
in conjunction with the 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (I...more |
May 5 2017 - 3:56pm |
7 years 24 weeks ago |
|
Calls for Papers |
Call for Papers: 8th International Green and Sustainable Computing Conference (IGSC’17) |
CALL FOR PAPERS: DEADLINE IS APPROACHING
The Eighth International Green and Sustainable Computing Conference (IGSC'17)
October 23-25 2017 | Orlando, Florida | www.green-conf.org
IGSC'17 will provide a forum for presenting and discussing innovative research on a broad range of topics in the fields...more |
Jun 9 2017 - 12:10pm |
7 years 24 weeks ago |
|
Calls for Papers |
CfP: 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare |
CALL FOR PAPERS - FINAL Submission Date: June 7, 2017
7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH17)
September 18-20, 2017 | Lund, Sweden | http://cs-conferences.acadiau.ca/icth-17/
Important Dates
Paper Submissi...more |
Jun 9 2017 - 11:57am |
7 years 24 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
F1/10 Autonomous Racing Competition |
F1/10 Autonomous Racing Competition
http://f1tenth.org/
The F1/10 competition focuses on creating a meaningful and challenging design experience for students. The competition involves designing, building, and testing an autonomous 1/10th scale F1 race car (capable of speeds in excess of 40MPH) all...more |
Apr 19 2016 - 9:40pm |
7 years 24 weeks ago |
|
Calls for Papers |
CfP: Third IEEE International Workshop on Security in NFV-SDN (SN-2017) |
Call for Papers
The Third International Workshop on Security in NFV-SDN
in conjunction with the 3rd IEEE NFV-SDN conference
6-8 November | Berlin, Germany | http://www.sn-2017.info/
Scope
Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networking indust...more |
May 16 2017 - 11:22am |
7 years 27 weeks ago |
|
Position Announcements |
22 PhD student positions in Autonomous Systems and Software |
SWEDEN'S LARGEST RESEARCH PROGRAM OFFERS 22 PHD POSITIONS
Wallenberg Autonomous Systems and Software Program (WASP) is Sweden's
largest individual research program ever, and provides a platform for
academic research and education, fostering interaction with Sweden's
leading technology companies....more |
May 16 2017 - 10:28am |
7 years 27 weeks ago |
|
Position Announcements |
Fully-funded PhD Studentship on Blockchain Technologies |
A fully funded PhD studentship on Blockchain Technologies and Applications is available at the Computing Science and Mathematics division of the University of Stirling, UK.
The studentship will cover tuition fees at Home/EU rate, and a standard stipend at RCUK rates (from about 14,000GBP), for t...more |
May 16 2017 - 10:26am |
7 years 27 weeks ago |
|
Calls for Papers |
CfP: MEMOCODE-2017 - IMPENDING DEADLINE |
Call for Papers
15th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
September 29 - October 2, 2017, Vienna, Austria | http://memocode.irisa.fr/2017
IMPORTANT DATES
Submission deadline (abstract): May 12, 2017
Submission deadline (paper): Ma...more |
Mar 20 2017 - 4:14pm |
7 years 28 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
FEVER 2017 @ CAV - Call for Presentations |
Call for informal presentations (abstracts)
Workshop on Formal approaches to Explainable VERification ( FEVER 2017)
JULY 23, 2017 | HEIDELBERG, GERMANY | http://fever.nilsjansen.org
Co-Located with CAV 2017
The FEVER workshop solicits presentations of ongoing or previously published work to...more |
May 8 2017 - 3:14pm |
7 years 28 weeks ago |
|
Calls for Papers |
CFP: 14th HONET-ICT International Conference |
CALL FOR PAPERS
14th HONET-ICT International Conference "Smart Cities: Improving Quality of Life-Using ICT & IoT"
Oct 09-11, 2017 | Amman, Jordan | http://honet-ict.org
Scope:
The 14th International Conference HONET-ICT '2017 has a major theme as "Smart Cities: Improving Quality of Life-Us...more |
May 8 2017 - 3:10pm |
7 years 28 weeks ago |
|
Calls for Papers |
LOPSTR 2017: 1st Call for Papers |
CALL FOR PAPERS
27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
(co-located with PPDP 2017)
University of Namur, Namur, Belgium | October 10 - 12, 2017 | https://www.sci.unich.it/lopstr17/
DEADLINES:
Abstract submission: June 6, 2017
Paper/Exte...more |
May 8 2017 - 2:58pm |
7 years 28 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Autonomous and Electric Vehicle Technology, Grid and Communications Infrastructure in a Smart City Forum, June 2, 2017 |
Autonomous and Electric Vehicle Technology, Grid and Communications Infrastructure in a Smart City
The automotive sector is undergoing rapid upheaval with the arrival of electric vehicles (EVs) and semi-autonomous vehicles and now moving towards fully autonomous vehicles. A slew of new companies th...more |
May 5 2017 - 4:32pm |
7 years 29 weeks ago |
|
Calls for Papers |
RV'17 - Call for papers and tutorials - DEADLINE EXTENSION MAY 8 |
Call for Papers and Tutorials - DEADLINE EXTENSION, MAY 8
The 17th International Conference on Runtime Verification (RV 2017)
September 13-16 | Seattle, WA, USA | http://rv2017.cs.manchester.ac.uk | rv2017@easychair.org
Runtime verification is concerned with the monitoring and analysis of the ru...more |
Jan 20 2017 - 2:19pm |
7 years 29 weeks ago |
|
Position Announcements |
PhD Student Position on 'Agent-based modeling of drones and their environment in smart cities' |
These PhD works will be co-supervised by Stephane Galland and Christophe Nicolle. And they will take place in the LE2I Laboratory (Laboratoire d'Electronique, Informatique et Image), of the Burgondy Franche-Comte University, located inside the buildings of the Belfort-Montbeliard University of Techn...more |
May 5 2017 - 4:24pm |
7 years 29 weeks ago |
|
Position Announcements |
Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems |
Dear colleagues,
For our new 5-year research project (ERATO MMSD, Metamathematics for
Systems Design) we are looking for senior researchers and postdocs
(10+ positions in total and several are still open), together with
research assistants (PhD students) and internship students.
This broad...more |
May 5 2017 - 4:23pm |
7 years 29 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
DeepLearn 2017: early registration deadline May 19 |
Early registration Deadline May 19, 2017
INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING (DeepLearn 2017)
Organized by:
University of Deusto
Rovira i Virgili University
SCOPE:
DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most...more |
Apr 14 2017 - 2:30pm |
7 years 29 weeks ago |
|
Calls for Papers |
CFP: SiPS 2017 - IEEE Workshop on Signal Processing Systems - Deadline Extended |
CALL FOR PAPERS - DEADLINE EXTENDED TO MAY 4, 2017
IEEE Workshop on Signal Processing Systems (SiPS 2017)
Lorient, France | Oct. 3-5 2017 | www.sips2017.org
Important Dates:
Paper submission deadline: April 27th 2017 May 4, 2017
Acceptance notification: June 27th 2017
Camera ready: July 13th...more |
Mar 6 2017 - 2:19pm |
7 years 29 weeks ago |
|
Calls for Papers |
DaLi 17 - second call for papers |
CALL FOR PAPERS
Workshop DaLi - Dynamic Logic: new trends and applications
Brasilia | 24 September, 2017 | workshop.dali.di.uminho.pt
co-located with FROCOS TABLEAUX and ITP 2017)
Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was intro- duced in the 70'...more |
May 5 2017 - 4:18pm |
7 years 29 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CALL FOR PARTICIPATION-- ASYNC 2017 |
CALL FOR PARTICIPATION-- ASYNC 2017
The 23rd IEEE International Symposium on Asynchronous Circuits and Systems
May 21-24, 2017 | San Diego, California, USA | http://www.async2017.org/
These are the last days for hotel registration at discounted rates and student grant applications!!!
IMPORTANT...more |
May 5 2017 - 4:06pm |
7 years 29 weeks ago |
|
Calls for Papers |
Resilience Week 2017: Call for Papers - EXTENDED TO MAY 22 |
CALL FOR PAPERS - EXTENDED TO MAY 22, 2017
Resilience Week 2017
Wilmington, DE | September 18 - 22, 2017 | http://www.resilienceweek.com/
Resilience Week includes IEEE technically co-sponsored symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastru...more |
Feb 20 2017 - 3:59pm |
7 years 29 weeks ago |
|
Position Announcements |
Postdoc Position - Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France. |
A Postdoc Position is available in the Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France.
http://www-verimag.imag.fr/rsd.html
The position is for two years with possible extension. It is available immediately but the start date can be adapted to the candidate constraints...more |
May 5 2017 - 12:13pm |
7 years 29 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Resource-aware Machine Learning – International Summer School 2017 |
Big data in machine learning is the future. But how to deal with data analysis and limited resources: Computational power, data distribution, energy or memory? From September 25th to 28th, TU Dortmund University, Germany, hosts the 4th summer school on resource-aware machine learning. Further inform...more |
May 3 2017 - 4:32pm |
7 years 29 weeks ago |
|
Calls for Papers |
ISSTA 2017 Demonstrations - Call for Papers |
The ACM SIGSOFT International Symposium on Software Testing and
Analysis (ISSTA) 2017
Call for Papers
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017 Demonstrations Track serves as a venue for publishing and presenting advances in software testing and analysi...more |
May 3 2017 - 4:20pm |
7 years 29 weeks ago |
|
Position Announcements |
Postdoc Position - CPS Modelling for Smart Manufacturing (NTU, Singapore) |
We are seeking a strong and motivated candidate for the position of Research Fellow (Postdoctoral Fellow) in the area of Cyber-Physical Systems, with research focus on the modelling, simulation and synthesis of continuous time and discrete time models. This work will enable the development of a cybe...more |
May 3 2017 - 4:13pm |
7 years 29 weeks ago |
|
Calls for Papers |
STAF Doctoral Symposium 2017 - Call for Papers |
Call for Papers for the STAF Doctoral Symposium
July 17, 2017
Affiliated with STAF 2017 in Marburg
http://www.informatik.uni-marburg.de/staf2017/index.php/call-doctoral-symposium/
The goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work in progres...more |
May 3 2017 - 4:07pm |
7 years 29 weeks ago |
|
Calls for Papers |
CfP: Reliability, safety and security of railway systems (RSSRail 2017) |
International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2017)
November 14-16, 2017 | Pistoia, Italy | https://conferences.ncl.ac.uk/rssrail/
CALL FOR PAPERS
The railway industry is facing an increasing pressur...more |
May 3 2017 - 4:01pm |
7 years 29 weeks ago |
|
Calls for Papers |
CFP "Architectures & Systems for Automotive & Intelligent Transportations" ASAIT'17 (DSD'17) |
CALL FOR PAPERS
Architectures & Systems for Automotive & Intelligent Transportations (ASAIT)
20th Euromicro Conference on Digital System Design (DSD)
Vienna, Austria | Aug. 30th - Sept. 1st, 2017 | http://dsd-seaa2017.ocg.at/asait2017.html
Important Dates:
Deadline for paper submissio...more |
Mar 6 2017 - 6:29pm |
7 years 29 weeks ago |
